| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Marlowe.Protocol.Sync.Client
Documentation
newtype MarloweSyncClient m a Source #
Constructors
| MarloweSyncClient | |
Fields
| |
Instances
| Functor m => Functor (MarloweSyncClient m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Client Methods fmap :: (a -> b) -> MarloweSyncClient m a -> MarloweSyncClient m b Source # (<$) :: a -> MarloweSyncClient m b -> MarloweSyncClient m a Source # | |
data ClientStInit m a where Source #
Constructors
| SendMsgFollowContract :: ContractId -> ClientStFollow m a -> ClientStInit m a | |
| SendMsgIntersect :: ContractId -> MarloweVersion v -> [BlockHeader] -> ClientStIntersect v m a -> ClientStInit m a |
Instances
| Functor m => Functor (ClientStInit m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Client Methods fmap :: (a -> b) -> ClientStInit m a -> ClientStInit m b Source # (<$) :: a -> ClientStInit m b -> ClientStInit m a Source # | |
data ClientStFollow m a Source #
Constructors
| ClientStFollow | |
Fields
| |
Instances
| Functor m => Functor (ClientStFollow m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Client Methods fmap :: (a -> b) -> ClientStFollow m a -> ClientStFollow m b Source # (<$) :: a -> ClientStFollow m b -> ClientStFollow m a Source # | |
data ClientStIntersect v m a Source #
Constructors
| ClientStIntersect | |
Fields
| |
Instances
| Functor m => Functor (ClientStIntersect v m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Client Methods fmap :: (a -> b) -> ClientStIntersect v m a -> ClientStIntersect v m b Source # (<$) :: a -> ClientStIntersect v m b -> ClientStIntersect v m a Source # | |
data ClientStIdle v m a where Source #
Constructors
| SendMsgRequestNext :: ClientStNext v m a -> ClientStIdle v m a | |
| SendMsgDone :: a -> ClientStIdle v m a |
Instances
| Functor m => Functor (ClientStIdle v m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Client Methods fmap :: (a -> b) -> ClientStIdle v m a -> ClientStIdle v m b Source # (<$) :: a -> ClientStIdle v m b -> ClientStIdle v m a Source # | |
data ClientStNext v m a Source #
Constructors
| ClientStNext | |
Fields
| |
Instances
| Functor m => Functor (ClientStNext v m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Client Methods fmap :: (a -> b) -> ClientStNext v m a -> ClientStNext v m b Source # (<$) :: a -> ClientStNext v m b -> ClientStNext v m a Source # | |
data ClientStWait v m a where Source #
Constructors
| SendMsgPoll :: ClientStNext v m a -> ClientStWait v m a | |
| SendMsgCancel :: ClientStIdle v m a -> ClientStWait v m a |
Instances
| Functor m => Functor (ClientStWait v m) Source # | |
Defined in Language.Marlowe.Protocol.Sync.Client Methods fmap :: (a -> b) -> ClientStWait v m a -> ClientStWait v m b Source # (<$) :: a -> ClientStWait v m b -> ClientStWait v m a Source # | |
hoistMarloweSyncClient :: forall m n a. Functor m => (forall x. m x -> n x) -> MarloweSyncClient m a -> MarloweSyncClient n a Source #
marloweSyncClientPeer :: forall m a. Functor m => MarloweSyncClient m a -> PeerTraced MarloweSync 'AsClient 'StInit m a Source #
serveMarloweSyncClient :: forall m a b. Monad m => MarloweSyncServer m a -> MarloweSyncClient m b -> m (a, b) Source #