| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Marlowe.Protocol.Server
Documentation
data MarloweRuntimeServer m a Source #
Constructors
| MarloweRuntimeServer | |
Fields
| |
Instances
| Functor m => Functor (MarloweRuntimeServer m) Source # | |
Defined in Language.Marlowe.Protocol.Server Methods fmap :: (a -> b) -> MarloweRuntimeServer m a -> MarloweRuntimeServer m b Source # (<$) :: a -> MarloweRuntimeServer m b -> MarloweRuntimeServer m a Source # | |
data MarloweRuntimeServerDirect m a Source #
Constructors
| MarloweRuntimeServerDirect | |
Fields
| |
Instances
| Functor m => Functor (MarloweRuntimeServerDirect m) Source # | |
Defined in Language.Marlowe.Protocol.Server Methods fmap :: (a -> b) -> MarloweRuntimeServerDirect m a -> MarloweRuntimeServerDirect m b Source # (<$) :: a -> MarloweRuntimeServerDirect m b -> MarloweRuntimeServerDirect m a Source # | |
hoistMarloweRuntimeServer :: Functor m => (forall x. m x -> n x) -> MarloweRuntimeServer m a -> MarloweRuntimeServer n a Source #
hoistMarloweRuntimeServerDirect :: Functor m => (forall x. m x -> n x) -> MarloweRuntimeServerDirect m a -> MarloweRuntimeServerDirect n a Source #
marloweRuntimeServerPeer :: Monad m => MarloweRuntimeServer m a -> PeerTraced MarloweRuntime 'AsServer 'StInit m a Source #
marloweRuntimeServerDirectPeer :: Monad m => MarloweRuntimeServerDirect m a -> PeerTraced MarloweRuntime 'AsServer 'StInit m a Source #
serveMarloweRuntimeClient :: Monad m => MarloweRuntimeServer m a -> MarloweRuntimeClient m b -> m (a, b) Source #
serveMarloweRuntimeClientDirect :: Monad m => MarloweRuntimeServerDirect m a -> MarloweRuntimeClient m b -> m (a, b) Source #
connectTraced :: forall ps st m a b. (Protocol ps, Monad m) => PeerTraced ps 'AsServer st m a -> PeerTraced ps 'AsClient st m b -> m (a, b) Source #