TyTTP.HTTP.Consumer

Reexports

Definitions

interface Accept : Type -> Type

Parameters: t
Methods:

contentType : (ty : Type) -> ty = t => List String

Implementation: 

Consumer a t -> Accept t

contentType : Accept t => (ty : Type) -> ty = t => List String

Visibility: public export

data IsAccept : Type -> Type

Totality: total
Visibility: public export
Constructor: 

ItIsAccept : Accept t => IsAccept t

ConsumerError : Type

Visibility: public export

interface Consumer : Type -> Type -> Type

Parameters: a, t
Constraints: Accept t
Methods:

consumeRaw : (ty : Type) -> ty = t => String -> Buffer -> Either ConsumerError a

consumeRaw : Consumer a t => (ty : Type) -> ty = t => String -> Buffer -> Either ConsumerError a

Visibility: public export

data IsConsumer : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

ItIsConsumer : Consumer a t => IsConsumer a t

unsafeConsumeBody : Error e => HasIO m => MonadPromise e m p => (Context me u v h1 s h2 Buffer b -> MonadPromise e m p' => p' (Context me' u' v' h1' s' h2' a' b')) -> Context me u v h1 s h2 (Publisher m e Buffer) b -> p (Context me' u' v' h1' s' h2' a' b')

  This function consumes the stream from the underlying server, thus the original stream cannot be used twice.
  If you make sure that the original stream is not used twice, then this function can be used.

Visibility: export

consumes : Error e => MonadTrans t => MonadPromise e IO m => Alternative (t m) => HasContentType h1 => (list : List Type) -> NonEmpty list => All IsAccept list => All (IsConsumer a) list => (Context me u v h1 s h2 (Either ConsumerError a) b -> MonadPromise e IO m' => m' (Context me' u' v' h1' s' h2' a' b')) -> Context me u v h1 s h2 (Publisher IO e Buffer) b -> t m (Context me' u' v' h1' s' h2' (Publisher IO e Buffer) b')

Visibility: export

consumes' : Error e => MonadTrans t => MonadPromise e IO m => Alternative (t m) => HasContentType h1 => (list : List Type) -> NonEmpty list => All IsAccept list => All (IsConsumer a) list => (Context me u v h1 s h2 ConsumerError b -> MonadPromise e IO m' => m' (Context me' u' v' h1' s' h2' a' b')) -> (Context me u v h1 s h2 a b -> MonadPromise e IO m'' => m'' (Context me' u' v' h1' s' h2' a'' b')) -> Context me u v h1 s h2 (Publisher IO e Buffer) b -> t m (Context me' u' v' h1' s' h2' (Publisher IO e Buffer) b')

Visibility: export