Idris2Doc : Stellar.HTTP

Stellar.HTTP

(source)
Reexports
import public Stellar.HTTP.Types
import public Stellar.API
import public Stellar.API.Morphism
import public Stellar.API.Maybe
import public Stellar.HTTP.Engine
Definitions
attachRouter : a =&> Maybe b -> (IO $- b) =&> End -> (IO $- a) =&> End
  helper to attach an effectful server with a router

  Visibility: export
http' : ServerConfig -> Costate (IO $- PlainHTTP) -> IO ()
  Run a server given a costate in PlainHTTP

  Visibility: export
httpJSON : ServerConfig -> Costate (IO $- JSONHTTP) -> IO ()
  Run a server given a costate in JSONHTTP, ensure each request has a content-type=application/json

  Visibility: export
httpJSONNoCheck : ServerConfig -> Costate (IO $- JSONHTTP) -> IO ()
  Run a server given a costate in JSONHTTP, does not check for content-type

  Visibility: export