Safe Haskell	Safe-Inferred
Language	GHC2021

Choreography.Network.Http

Contents

Description

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

Synopsis

type API = "send" :> (Capture "from" LocTm :> (ReqBody '[PlainText] String :> PostNoContent))
newtype HttpConfig = HttpConfig {
- locToUrl :: HashMap LocTm BaseUrl
}
type Host = String
type Port = Int
mkHttpConfig :: [(LocTm, (Host, Port))] -> HttpConfig
locs :: HttpConfig -> [LocTm]
type RecvChans = HashMap LocTm (Chan String)
mkRecvChans :: HttpConfig -> IO RecvChans
runNetworkHttp :: MonadIO m => HttpConfig -> LocTm -> Network m a -> m a

Servant API

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

Http configuration

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

Constructors

HttpConfig
Fields locToUrl :: HashMap LocTm BaseUrl

Instances details

Backend HttpConfig Source #
Instance details Defined in Choreography.Network.Http Methods runNetwork :: MonadIO m => HttpConfig -> LocTm -> Network m a -> m a Source #

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