def loop.next

gralha-http-server@0.1.0.0 · server.bend:146

import Base

146def loop.next(-S: Type, got: Listener & S, next: Listener -> S -> IO(Listener & S)) -> IO(Listener & S):
147  (listener, state) = got
148  next(listener)(state)