Network.HTTP.Scheduler

Definitions

record ScheduleResponse : Type -> (Type -> Type) -> Type

Totality: total
Visibility: public export
Constructor: 

MkScheduleResponse : HttpResponse -> Channel (Either (HttpError e) (Maybe (List Bits8))) -> ScheduleResponse e m

Projections:

.content : ScheduleResponse e m -> Channel (Either (HttpError e) (Maybe (List Bits8)))

.raw_http_response : ScheduleResponse e m -> HttpResponse

.raw_http_response : ScheduleResponse e m -> HttpResponse

Visibility: public export

raw_http_response : ScheduleResponse e m -> HttpResponse

Visibility: public export

.content : ScheduleResponse e m -> Channel (Either (HttpError e) (Maybe (List Bits8)))

Visibility: public export

content : ScheduleResponse e m -> Channel (Either (HttpError e) (Maybe (List Bits8)))

Visibility: public export

record ScheduleRequest : Type -> (Type -> Type) -> Type

Totality: possibly not terminating due to call to $resolved17785
Visibility: public export
Constructor: 

MkScheduleRequest : RawHttpMessage -> Stream (Of Bits8) m (Either e ()) -> Channel (Either (HttpError e) (ScheduleResponse e m)) -> ScheduleRequest e m

Projections:

.content : ScheduleRequest e m -> Stream (Of Bits8) m (Either e ())

.raw_http_message : ScheduleRequest e m -> RawHttpMessage

.response : ScheduleRequest e m -> Channel (Either (HttpError e) (ScheduleResponse e m))

.raw_http_message : ScheduleRequest e m -> RawHttpMessage

Visibility: public export

raw_http_message : ScheduleRequest e m -> RawHttpMessage

Visibility: public export

.content : ScheduleRequest e m -> Stream (Of Bits8) m (Either e ())

Visibility: public export

content : ScheduleRequest e m -> Stream (Of Bits8) m (Either e ())

Visibility: public export

.response : ScheduleRequest e m -> Channel (Either (HttpError e) (ScheduleResponse e m))

Visibility: public export

response : ScheduleRequest e m -> Channel (Either (HttpError e) (ScheduleResponse e m))

Visibility: public export

interface Scheduler : Type -> (Type -> Type) -> Type -> Type

Parameters: e, m, a
Methods:

schedule_request : a -> Protocol -> ScheduleRequest e m -> m ()

  Schedule a HTTP request

evict_all : a -> m ()

  Evict all HTTP connections, returning scheduler to a clean state (and closing all resources)

Implementation: 

Scheduler e IO (PoolManager e)

schedule_request : Scheduler e m a => a -> Protocol -> ScheduleRequest e m -> m ()

  Schedule a HTTP request

Visibility: public export

evict_all : Scheduler e m a => a -> m ()

  Evict all HTTP connections, returning scheduler to a clean state (and closing all resources)

Visibility: public export

start_request : (HasIO m, Scheduler e m scheduler) => scheduler -> Protocol -> RawHttpMessage -> Stream (Of Bits8) m (Either e ()) -> m (Either (HttpError e) (HttpResponse, Stream (Of Bits8) m (Either (HttpError e) ())))

Visibility: public export