Server.accepted: def of gralha-http-server@0.1.0.0
Import: import gralha-http-server@0.1.0.0/server.bend as Server
Lines 105-115 of gralha-http-server@0.1.0.0/server.bend: https://jend.leeeet.dev/read.txt?path=gralha-http-server@0.1.0.0/server.bend&start_line=105&end_line=115

import Base
import gralha-http-core@0.1.0.0/http.bend as Http

def accepted(~S: Type, ~handle: Http.Request -> S -> IO(S & Http.Response),
  got: Listener & Result<&1, &1, U32 & String, Socket>, state: S, +max: U32) -> IO(Listener & S):
  (listener, result) = got
  match result:
    case Fail{err}:
      IO.pure(Listener & S, (listener, state))
    case Done{socket}:
      do IO<Listener & S>:
        request : Socket & Maybe<&2, Http.Request> <- read(socket, max)
        next : S <- answer(~S, ~handle, request, state)
        return (listener, next)

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Listener
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=Request
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=Response
  https://jend.leeeet.dev/definition.txt?path=gralha-http-server@0.1.0.0/server.bend&name=answer
  https://jend.leeeet.dev/definition.txt?path=gralha-http-server@0.1.0.0/server.bend&name=read