| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Marlowe.Protocol.HeaderSync.Server
Documentation
newtype MarloweHeaderSyncServer m a Source #
Constructors
| MarloweHeaderSyncServer | |
Fields
| |
Instances
| Functor m => Functor (MarloweHeaderSyncServer m) Source # | |
Defined in Language.Marlowe.Protocol.HeaderSync.Server Methods fmap :: (a -> b) -> MarloweHeaderSyncServer m a -> MarloweHeaderSyncServer m b Source # (<$) :: a -> MarloweHeaderSyncServer m b -> MarloweHeaderSyncServer m a Source # | |
data ServerStIdle m a Source #
Constructors
| ServerStIdle | |
Fields
| |
Instances
| Functor m => Functor (ServerStIdle m) Source # | |
Defined in Language.Marlowe.Protocol.HeaderSync.Server Methods fmap :: (a -> b) -> ServerStIdle m a -> ServerStIdle m b Source # (<$) :: a -> ServerStIdle m b -> ServerStIdle m a Source # | |
data ServerStIntersect m a where Source #
Constructors
| SendMsgIntersectFound :: BlockHeader -> ServerStIdle m a -> ServerStIntersect m a | |
| SendMsgIntersectNotFound :: ServerStIdle m a -> ServerStIntersect m a |
Instances
| Functor m => Functor (ServerStIntersect m) Source # | |
Defined in Language.Marlowe.Protocol.HeaderSync.Server Methods fmap :: (a -> b) -> ServerStIntersect m a -> ServerStIntersect m b Source # (<$) :: a -> ServerStIntersect m b -> ServerStIntersect m a Source # | |
data ServerStNext m a where Source #
Constructors
| SendMsgNewHeaders :: BlockHeader -> [ContractHeader] -> ServerStIdle m a -> ServerStNext m a | |
| SendMsgRollBackward :: ChainPoint -> ServerStIdle m a -> ServerStNext m a | |
| SendMsgWait :: ServerStWait m a -> ServerStNext m a |
Instances
| Functor m => Functor (ServerStNext m) Source # | |
Defined in Language.Marlowe.Protocol.HeaderSync.Server Methods fmap :: (a -> b) -> ServerStNext m a -> ServerStNext m b Source # (<$) :: a -> ServerStNext m b -> ServerStNext m a Source # | |
data ServerStWait m a Source #
Constructors
| ServerStWait | |
Fields
| |
Instances
| Functor m => Functor (ServerStWait m) Source # | |
Defined in Language.Marlowe.Protocol.HeaderSync.Server Methods fmap :: (a -> b) -> ServerStWait m a -> ServerStWait m b Source # (<$) :: a -> ServerStWait m b -> ServerStWait m a Source # | |
hoistMarloweHeaderSyncServer :: forall m n a. Functor m => (forall x. m x -> n x) -> MarloweHeaderSyncServer m a -> MarloweHeaderSyncServer n a Source #
marloweHeaderSyncServerPeer :: forall m a. Functor m => MarloweHeaderSyncServer m a -> PeerTraced MarloweHeaderSync 'AsServer 'StIdle m a Source #