Idris2Doc : Network.HTTP.Pool.Worker

Network.HTTP.Pool.Worker

(source)

Definitions

worker_handle : Socket -> IORef Bool -> IO () -> Queue (Event e) -> (HttpError e -> IO ()) -> (String -> CertificateCheck IO) -> Protocol -> String -> IO ()
Visibility: export