Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Marlowe.Protocol.Types

Documentation

data MarloweRuntime where Source #

Constructors

StInit :: MarloweRuntime
StMarloweSync :: MarloweSync -> MarloweRuntime
StMarloweHeaderSync :: MarloweHeaderSync -> MarloweRuntime
StMarloweQuery :: MarloweQuery -> MarloweRuntime
StTxJob :: Job MarloweTxCommand -> MarloweRuntime
StMarloweLoad :: MarloweLoad -> MarloweRuntime
StContractQuery :: Query ContractRequest -> MarloweRuntime
StMarloweTransfer :: MarloweTransfer -> MarloweRuntime

Instances

Instances details

BinaryMessage MarloweRuntime Source #
Instance details Defined in Language.Marlowe.Protocol.Types Methods putMessage :: forall (pr :: PeerRole) (st :: MarloweRuntime) (st' :: MarloweRuntime). PeerHasAgency pr st -> Message MarloweRuntime st st' -> Put getMessage :: forall (pr :: PeerRole) (st :: MarloweRuntime). PeerHasAgency pr st -> Get (SomeMessage st)
ShowProtocol MarloweRuntime Source #
Instance details Defined in Language.Marlowe.Protocol.Types Methods showsPrecMessage :: forall (pr :: PeerRole) (st :: MarloweRuntime) (st' :: MarloweRuntime). Int -> PeerHasAgency pr st -> Message MarloweRuntime st st' -> ShowS showsPrecServerHasAgency :: forall (st :: MarloweRuntime). Int -> ServerHasAgency st -> ShowS showsPrecClientHasAgency :: forall (st :: MarloweRuntime). Int -> ClientHasAgency st -> ShowS
OTelProtocol MarloweRuntime Source #
Instance details Defined in Language.Marlowe.Protocol.Types Methods protocolName :: Proxy MarloweRuntime -> Text messageAttributes :: forall (pr :: PeerRole) (st :: MarloweRuntime) (st' :: MarloweRuntime). PeerHasAgency pr st -> Message MarloweRuntime st st' -> MessageAttributes
Protocol MarloweRuntime Source #
Instance details Defined in Language.Marlowe.Protocol.Types Associated Types data Message MarloweRuntime st st' data ClientHasAgency st data ServerHasAgency st data NobodyHasAgency st Methods exclusionLemma_ClientAndServerHaveAgency :: forall (st :: MarloweRuntime). ClientHasAgency st -> ServerHasAgency st -> Void exclusionLemma_NobodyAndClientHaveAgency :: forall (st :: MarloweRuntime). NobodyHasAgency st -> ClientHasAgency st -> Void exclusionLemma_NobodyAndServerHaveAgency :: forall (st :: MarloweRuntime). NobodyHasAgency st -> ServerHasAgency st -> Void
HasSignature MarloweRuntime Source #
Instance details Defined in Language.Marlowe.Protocol.Types Methods signature :: Proxy MarloweRuntime -> Text
data ClientHasAgency (st :: MarloweRuntime) Source #
Instance details Defined in Language.Marlowe.Protocol.Types data ClientHasAgency (st :: MarloweRuntime) where TokInit :: ClientHasAgency 'StInit TokClientMarloweSync :: forall (st :: MarloweSync). ClientHasAgency st -> ClientHasAgency ('StMarloweSync st) TokClientMarloweHeaderSync :: forall (st :: MarloweHeaderSync). ClientHasAgency st -> ClientHasAgency ('StMarloweHeaderSync st) TokClientMarloweQuery :: forall (st :: MarloweQuery). ClientHasAgency st -> ClientHasAgency ('StMarloweQuery st) TokClientMarloweLoad :: forall (st :: MarloweLoad). ClientHasAgency st -> ClientHasAgency ('StMarloweLoad st) TokClientMarloweTransfer :: forall (st :: MarloweTransfer). ClientHasAgency st -> ClientHasAgency ('StMarloweTransfer st) TokClientTxJob :: forall (st :: Job MarloweTxCommand). ClientHasAgency st -> ClientHasAgency ('StTxJob st) TokClientContractQuery :: forall (st :: Query ContractRequest). ClientHasAgency st -> ClientHasAgency ('StContractQuery st)
data Message MarloweRuntime (st :: MarloweRuntime) (st' :: MarloweRuntime) Source #
Instance details Defined in Language.Marlowe.Protocol.Types data Message MarloweRuntime (st :: MarloweRuntime) (st' :: MarloweRuntime) where MsgRunMarloweSync :: Message MarloweRuntime 'StInit ('StMarloweSync 'StInit) MsgRunMarloweHeaderSync :: Message MarloweRuntime 'StInit ('StMarloweHeaderSync 'StIdle) MsgRunMarloweQuery :: Message MarloweRuntime 'StInit ('StMarloweQuery ('StReq :: Query MarloweSyncRequest)) MsgRunMarloweLoad :: Message MarloweRuntime 'StInit ('StMarloweLoad ('StProcessing 'RootNode)) MsgRunMarloweTransfer :: Message MarloweRuntime 'StInit ('StMarloweTransfer 'StIdle) MsgRunTxJob :: Message MarloweRuntime 'StInit ('StTxJob ('StInit :: Job MarloweTxCommand)) MsgRunContractQuery :: Message MarloweRuntime 'StInit ('StContractQuery ('StReq :: Query ContractRequest)) MsgMarloweSync :: forall (st :: MarloweSync) (st' :: MarloweSync). Message MarloweSync st st' -> Message MarloweRuntime ('StMarloweSync st) ('StMarloweSync st') MsgMarloweHeaderSync :: forall (st :: MarloweHeaderSync) (st' :: MarloweHeaderSync). Message MarloweHeaderSync st st' -> Message MarloweRuntime ('StMarloweHeaderSync st) ('StMarloweHeaderSync st') MsgMarloweQuery :: forall (st :: MarloweQuery) (st' :: MarloweQuery). Message MarloweQuery st st' -> Message MarloweRuntime ('StMarloweQuery st) ('StMarloweQuery st') MsgMarloweLoad :: forall (st :: MarloweLoad) (st' :: MarloweLoad). Message MarloweLoad st st' -> Message MarloweRuntime ('StMarloweLoad st) ('StMarloweLoad st') MsgMarloweTransfer :: forall (st :: MarloweTransfer) (st' :: MarloweTransfer). Message MarloweTransfer st st' -> Message MarloweRuntime ('StMarloweTransfer st) ('StMarloweTransfer st') MsgTxJob :: forall (st :: Job MarloweTxCommand) (st' :: Job MarloweTxCommand). Message (Job MarloweTxCommand) st st' -> Message MarloweRuntime ('StTxJob st) ('StTxJob st') MsgContractQuery :: forall (st :: Query ContractRequest) (st' :: Query ContractRequest). Message (Query ContractRequest) st st' -> Message MarloweRuntime ('StContractQuery st) ('StContractQuery st')
data NobodyHasAgency (st :: MarloweRuntime) Source #
Instance details Defined in Language.Marlowe.Protocol.Types data NobodyHasAgency (st :: MarloweRuntime) where TokNobodyMarloweSync :: forall (st :: MarloweSync). NobodyHasAgency st -> NobodyHasAgency ('StMarloweSync st) TokNobodyMarloweHeaderSync :: forall (st :: MarloweHeaderSync). NobodyHasAgency st -> NobodyHasAgency ('StMarloweHeaderSync st) TokNobodyMarloweQuery :: forall (st :: MarloweQuery). NobodyHasAgency st -> NobodyHasAgency ('StMarloweQuery st) TokNobodyMarloweLoad :: forall (st :: MarloweLoad). NobodyHasAgency st -> NobodyHasAgency ('StMarloweLoad st) TokNobodyMarloweTransfer :: forall (st :: MarloweTransfer). NobodyHasAgency st -> NobodyHasAgency ('StMarloweTransfer st) TokNobodyTxJob :: forall (st :: Job MarloweTxCommand). NobodyHasAgency st -> NobodyHasAgency ('StTxJob st) TokNobodyContractQuery :: forall (st :: Query ContractRequest). NobodyHasAgency st -> NobodyHasAgency ('StContractQuery st)
data ServerHasAgency (st :: MarloweRuntime) Source #
Instance details Defined in Language.Marlowe.Protocol.Types data ServerHasAgency (st :: MarloweRuntime) where TokServerMarloweSync :: forall (st :: MarloweSync). ServerHasAgency st -> ServerHasAgency ('StMarloweSync st) TokServerMarloweHeaderSync :: forall (st :: MarloweHeaderSync). ServerHasAgency st -> ServerHasAgency ('StMarloweHeaderSync st) TokServerMarloweQuery :: forall (st :: MarloweQuery). ServerHasAgency st -> ServerHasAgency ('StMarloweQuery st) TokServerMarloweLoad :: forall (st :: MarloweLoad). ServerHasAgency st -> ServerHasAgency ('StMarloweLoad st) TokServerMarloweTransfer :: forall (st :: MarloweTransfer). ServerHasAgency st -> ServerHasAgency ('StMarloweTransfer st) TokServerTxJob :: forall (st :: Job MarloweTxCommand). ServerHasAgency st -> ServerHasAgency ('StTxJob st) TokServerContractQuery :: forall (st :: Query ContractRequest). ServerHasAgency st -> ServerHasAgency ('StContractQuery st)