Choreography.Network.Http

This module implments the HTTP message transport backend for the Network monad.

Servant API

type API = "send" :> (Capture "from" LocTm :> (ReqBody '[PlainText] String :> PostNoContent))

Http configuration

newtype HttpConfig

The HTTP backend configuration specifies how locations are mapped to network hosts and ports.

Constructors

HttpConfig

Fields

• locToUrl :: HashMap LocTm BaseUrl

Instances

Backend HttpConfig

Defined in Choreography.Network.Http

Methods

runNetwork :: MonadIO m => HttpConfig -> LocTm -> Network m a -> m a

type Host = String

type Port = Int

mkHttpConfig :: [(LocTm, (Host, Port))] -> HttpConfig

Create a HTTP backend configuration from a association list that maps locations to network hosts and ports.

locs :: HttpConfig -> [LocTm]

Receiving channels

type RecvChans = HashMap LocTm (Chan String)

mkRecvChans :: HttpConfig -> IO RecvChans

HTTP backend

runNetworkHttp :: MonadIO m => HttpConfig -> LocTm -> Network m a -> m a