| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Marlowe.Protocol.HeaderSync.Client
Documentation
newtype MarloweHeaderSyncClient m a Source #
Constructors
| MarloweHeaderSyncClient | |
Fields
| |
Instances
| Functor m => Functor (MarloweHeaderSyncClient m) Source # | |
Defined in Language.Marlowe.Protocol.HeaderSync.Client Methods fmap :: (a -> b) -> MarloweHeaderSyncClient m a -> MarloweHeaderSyncClient m b Source # (<$) :: a -> MarloweHeaderSyncClient m b -> MarloweHeaderSyncClient m a Source # | |
data ClientStIdle m a where Source #
Constructors
| SendMsgRequestNext :: ClientStNext m a -> ClientStIdle m a | |
| SendMsgIntersect :: [BlockHeader] -> ClientStIntersect m a -> ClientStIdle m a | |
| SendMsgDone :: a -> ClientStIdle m a |
Instances
| Functor m => Functor (ClientStIdle m) Source # | |
Defined in Language.Marlowe.Protocol.HeaderSync.Client Methods fmap :: (a -> b) -> ClientStIdle m a -> ClientStIdle m b Source # (<$) :: a -> ClientStIdle m b -> ClientStIdle m a Source # | |
data ClientStIntersect m a Source #
Constructors
| ClientStIntersect | |
Fields
| |
Instances
| Functor m => Functor (ClientStIntersect m) Source # | |
Defined in Language.Marlowe.Protocol.HeaderSync.Client Methods fmap :: (a -> b) -> ClientStIntersect m a -> ClientStIntersect m b Source # (<$) :: a -> ClientStIntersect m b -> ClientStIntersect m a Source # | |
data ClientStNext m a Source #
Constructors
| ClientStNext | |
Fields
| |
Instances
| Functor m => Functor (ClientStNext m) Source # | |
Defined in Language.Marlowe.Protocol.HeaderSync.Client Methods fmap :: (a -> b) -> ClientStNext m a -> ClientStNext m b Source # (<$) :: a -> ClientStNext m b -> ClientStNext m a Source # | |
data ClientStWait m a where Source #
Constructors
| SendMsgPoll :: ClientStNext m a -> ClientStWait m a | |
| SendMsgCancel :: ClientStIdle m a -> ClientStWait m a |
Instances
| Functor m => Functor (ClientStWait m) Source # | |
Defined in Language.Marlowe.Protocol.HeaderSync.Client Methods fmap :: (a -> b) -> ClientStWait m a -> ClientStWait m b Source # (<$) :: a -> ClientStWait m b -> ClientStWait m a Source # | |
hoistMarloweHeaderSyncClient :: forall m n a. Functor m => (forall x. m x -> n x) -> MarloweHeaderSyncClient m a -> MarloweHeaderSyncClient n a Source #
marloweHeaderSyncClientPeer :: forall m a. Functor m => MarloweHeaderSyncClient m a -> PeerTraced MarloweHeaderSync 'AsClient 'StIdle m a Source #
serveMarloweHeaderSyncClient :: forall m a b. Monad m => MarloweHeaderSyncServer m a -> MarloweHeaderSyncClient m b -> m (a, b) Source #