Stellar.HTTP.Async

Convert callback code into continuation monads

Definitions

JSPublisher : Type -> Type

  A JSPublisher is a callback running in IO and producing javascript errors

Visibility: public export

JSCont : Type -> Type

  JSCont is the continuation monad running in IO

Visibility: public export

toCont : Applicative m => (e -> (() `m`)) -> Publisher m e a -> ContT () m a

  Convert a publisher callback into a continuation

Visibility: export

asyncifyRequest : RawHttpRequest -> JSPublisher (HttpRequest String (List (String, String)) Buffer)

  Convert a RawHttpRequest into a callback that returns the whole request, not just the body

Visibility: export

asyncify : RawHttpRequest -> JSCont (HttpRequest String (List (String, String)) Buffer)

  Convert a RawHttpRequest into a continuation with the entire request accessible directly

Visibility: export