| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Marlowe.Protocol.Sync.Server
Documentation
newtype MarloweSyncServer m a Source #
Constructors
| MarloweSyncServer | |
Fields
| |
Instances
| Functor m => Functor (MarloweSyncServer m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Server Methods fmap :: (a -> b) -> MarloweSyncServer m a -> MarloweSyncServer m b Source # (<$) :: a -> MarloweSyncServer m b -> MarloweSyncServer m a Source # | |
data ServerStInit m a Source #
Constructors
| ServerStInit | |
Fields
| |
Instances
| Functor m => Functor (ServerStInit m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Server Methods fmap :: (a -> b) -> ServerStInit m a -> ServerStInit m b Source # (<$) :: a -> ServerStInit m b -> ServerStInit m a Source # | |
data ServerStFollow m a where Source #
Constructors
| SendMsgContractFound :: BlockHeader -> MarloweVersion v -> CreateStep v -> ServerStIdle v m a -> ServerStFollow m a | |
| SendMsgContractNotFound :: a -> ServerStFollow m a |
Instances
| Functor m => Functor (ServerStFollow m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Server Methods fmap :: (a -> b) -> ServerStFollow m a -> ServerStFollow m b Source # (<$) :: a -> ServerStFollow m b -> ServerStFollow m a Source # | |
data ServerStIntersect v m a where Source #
Constructors
| SendMsgIntersectFound :: BlockHeader -> ServerStIdle v m a -> ServerStIntersect v m a | |
| SendMsgIntersectNotFound :: a -> ServerStIntersect v m a |
Instances
| Functor m => Functor (ServerStIntersect v m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Server Methods fmap :: (a -> b) -> ServerStIntersect v m a -> ServerStIntersect v m b Source # (<$) :: a -> ServerStIntersect v m b -> ServerStIntersect v m a Source # | |
data ServerStIdle v m a Source #
Constructors
| ServerStIdle | |
Fields
| |
Instances
| Functor m => Functor (ServerStIdle v m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Server Methods fmap :: (a -> b) -> ServerStIdle v m a -> ServerStIdle v m b Source # (<$) :: a -> ServerStIdle v m b -> ServerStIdle v m a Source # | |
data ServerStNext v m a where Source #
Constructors
| SendMsgRollForward :: BlockHeader -> [ContractStep v] -> ServerStIdle v m a -> ServerStNext v m a | |
| SendMsgRollBackward :: BlockHeader -> ServerStIdle v m a -> ServerStNext v m a | |
| SendMsgRollBackCreation :: a -> ServerStNext v m a | |
| SendMsgWait :: ServerStWait v m a -> ServerStNext v m a |
Instances
| Functor m => Functor (ServerStNext v m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Server Methods fmap :: (a -> b) -> ServerStNext v m a -> ServerStNext v m b Source # (<$) :: a -> ServerStNext v m b -> ServerStNext v m a Source # | |
data ServerStWait v m a Source #
Constructors
| ServerStWait | |
Fields
| |
Instances
| Functor m => Functor (ServerStWait v m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Server Methods fmap :: (a -> b) -> ServerStWait v m a -> ServerStWait v m b Source # (<$) :: a -> ServerStWait v m b -> ServerStWait v m a Source # | |
hoistMarloweSyncServer :: forall m n a. Functor m => (forall x. m x -> n x) -> MarloweSyncServer m a -> MarloweSyncServer n a Source #
marloweSyncServerPeer :: forall m a. Functor m => MarloweSyncServer m a -> PeerTraced MarloweSync 'AsServer 'StInit m a Source #