Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Marlowe.Protocol.HeaderSync.Types

Documentation

data MarloweHeaderSync where Source #

Constructors

StIdle :: MarloweHeaderSync
StIntersect :: MarloweHeaderSync
StNext :: MarloweHeaderSync
StWait :: MarloweHeaderSync
StDone :: MarloweHeaderSync

Instances

Instances details

BinaryMessage MarloweHeaderSync Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types Methods putMessage :: forall (pr :: PeerRole) (st :: MarloweHeaderSync) (st' :: MarloweHeaderSync). PeerHasAgency pr st -> Message MarloweHeaderSync st st' -> Put getMessage :: forall (pr :: PeerRole) (st :: MarloweHeaderSync). PeerHasAgency pr st -> Get (SomeMessage st)
MessageEq MarloweHeaderSync Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types Methods messageEq :: AnyMessageAndAgency MarloweHeaderSync -> AnyMessageAndAgency MarloweHeaderSync -> Bool
MessageVariations MarloweHeaderSync Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types Methods messageVariations :: forall (pr :: PeerRole) (st :: MarloweHeaderSync). PeerHasAgency pr st -> NonEmpty (SomeMessage st) agencyVariations :: NonEmpty (SomePeerHasAgency MarloweHeaderSync)
ShowProtocol MarloweHeaderSync Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types Methods showsPrecMessage :: forall (pr :: PeerRole) (st :: MarloweHeaderSync) (st' :: MarloweHeaderSync). Int -> PeerHasAgency pr st -> Message MarloweHeaderSync st st' -> ShowS showsPrecServerHasAgency :: forall (st :: MarloweHeaderSync). Int -> ServerHasAgency st -> ShowS showsPrecClientHasAgency :: forall (st :: MarloweHeaderSync). Int -> ClientHasAgency st -> ShowS
OTelProtocol MarloweHeaderSync Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types Methods protocolName :: Proxy MarloweHeaderSync -> Text messageAttributes :: forall (pr :: PeerRole) (st :: MarloweHeaderSync) (st' :: MarloweHeaderSync). PeerHasAgency pr st -> Message MarloweHeaderSync st st' -> MessageAttributes
MessageToJSON MarloweHeaderSync Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types Methods messageToJSON :: forall (pr :: PeerRole) (st :: MarloweHeaderSync) (st' :: MarloweHeaderSync). PeerHasAgency pr st -> Message MarloweHeaderSync st st' -> Value
Protocol MarloweHeaderSync Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types Associated Types data Message MarloweHeaderSync st st' data ClientHasAgency st data ServerHasAgency st data NobodyHasAgency st Methods exclusionLemma_ClientAndServerHaveAgency :: forall (st :: MarloweHeaderSync). ClientHasAgency st -> ServerHasAgency st -> Void exclusionLemma_NobodyAndClientHaveAgency :: forall (st :: MarloweHeaderSync). NobodyHasAgency st -> ClientHasAgency st -> Void exclusionLemma_NobodyAndServerHaveAgency :: forall (st :: MarloweHeaderSync). NobodyHasAgency st -> ServerHasAgency st -> Void
HasSignature MarloweHeaderSync Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types Methods signature :: Proxy MarloweHeaderSync -> Text
data ClientHasAgency (st :: MarloweHeaderSync) Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types data ClientHasAgency (st :: MarloweHeaderSync) where TokIdle :: ClientHasAgency 'StIdle TokWait :: ClientHasAgency 'StWait
data Message MarloweHeaderSync (from :: MarloweHeaderSync) (to :: MarloweHeaderSync) Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types data Message MarloweHeaderSync (from :: MarloweHeaderSync) (to :: MarloweHeaderSync) where MsgIntersect :: [BlockHeader] -> Message MarloweHeaderSync 'StIdle 'StIntersect MsgDone :: Message MarloweHeaderSync 'StIdle 'StDone MsgRequestNext :: Message MarloweHeaderSync 'StIdle 'StNext MsgNewHeaders :: BlockHeader -> [ContractHeader] -> Message MarloweHeaderSync 'StNext 'StIdle MsgRollBackward :: ChainPoint -> Message MarloweHeaderSync 'StNext 'StIdle MsgWait :: Message MarloweHeaderSync 'StNext 'StWait MsgPoll :: Message MarloweHeaderSync 'StWait 'StNext MsgCancel :: Message MarloweHeaderSync 'StWait 'StIdle MsgIntersectFound :: BlockHeader -> Message MarloweHeaderSync 'StIntersect 'StIdle MsgIntersectNotFound :: Message MarloweHeaderSync 'StIntersect 'StIdle
data NobodyHasAgency (st :: MarloweHeaderSync) Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types data NobodyHasAgency (st :: MarloweHeaderSync) where TokDone :: NobodyHasAgency 'StDone
data ServerHasAgency (st :: MarloweHeaderSync) Source #
Instance details Defined in Language.Marlowe.Protocol.HeaderSync.Types data ServerHasAgency (st :: MarloweHeaderSync) where TokNext :: ServerHasAgency 'StNext TokIntersect :: ServerHasAgency 'StIntersect