Network.HTTP.Pool.IOStuff

Definitions

OkOrError : Type -> Type -> Type

Visibility: public export

read_line' : LinearIO m => List Bits8 -> (1 _ : Handle' t_ok t_closed) -> L1 m (OkOrError t_ok t_closed)

Visibility: public export

read_line : LinearIO m => (1 _ : Handle' t_ok t_closed) -> L1 m (OkOrError t_ok t_closed)

Visibility: public export

read_until_empty_line' : String -> LinearIO m => (1 _ : Handle' t_ok t_closed) -> L1 m (OkOrError t_ok t_closed)

Visibility: public export

read_until_empty_line : LinearIO m => (1 _ : Handle' t_ok t_closed) -> L1 m (OkOrError t_ok t_closed)

Visibility: public export