marlowe-runtime-0.0.5: Runtime system for running Marlowe financial contracts on the Cardano Computation Layer
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Marlowe.Runtime.Discovery.Api

Synopsis

Documentation

data ContractHeader Source #

A Marlowe contract header is a compact structure that contains all the significant metadata related to a Marlowe Contract on chain.

Constructors

ContractHeader 

Fields

  • contractId :: ContractId

    The ID of the Marlowe contract instance.

  • rolesCurrency :: PolicyId

    The ID of the minting policy used to mint the role tokens.

  • metadata :: MarloweTransactionMetadata

    Any custom metadata attached to the contract's creation transaction.

  • marloweScriptHash :: ScriptHash

    The hash of the validator script.

  • marloweScriptAddress :: Address

    The address of the validator script.

  • payoutScriptHash :: ScriptHash

    The address of the payout validator script.

  • marloweVersion :: SomeMarloweVersion

    The version of the contract.

  • blockHeader :: BlockHeader

    The header of the block in which the contract instance was published.

Instances

Instances details
ToJSON ContractHeader Source # 
Instance details

Defined in Language.Marlowe.Runtime.Discovery.Api

Methods

toJSON :: ContractHeader -> Value

toEncoding :: ContractHeader -> Encoding

toJSONList :: [ContractHeader] -> Value

toEncodingList :: [ContractHeader] -> Encoding

Generic ContractHeader Source # 
Instance details

Defined in Language.Marlowe.Runtime.Discovery.Api

Associated Types

type Rep ContractHeader :: Type -> Type Source #

Show ContractHeader Source # 
Instance details

Defined in Language.Marlowe.Runtime.Discovery.Api

Binary ContractHeader Source # 
Instance details

Defined in Language.Marlowe.Runtime.Discovery.Api

Methods

put :: ContractHeader -> Put

get :: Get ContractHeader

putList :: [ContractHeader] -> Put

Eq ContractHeader Source # 
Instance details

Defined in Language.Marlowe.Runtime.Discovery.Api

Ord ContractHeader Source # 
Instance details

Defined in Language.Marlowe.Runtime.Discovery.Api

Variations ContractHeader Source # 
Instance details

Defined in Language.Marlowe.Runtime.Discovery.Api

type Rep ContractHeader Source # 
Instance details

Defined in Language.Marlowe.Runtime.Discovery.Api

type Rep ContractHeader = D1 ('MetaData "ContractHeader" "Language.Marlowe.Runtime.Discovery.Api" "marlowe-runtime-0.0.5-FHveyMFtaf1SmQ3ejxwem-discovery-api" 'False) (C1 ('MetaCons "ContractHeader" 'PrefixI 'True) (((S1 ('MetaSel ('Just "contractId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractId) :*: S1 ('MetaSel ('Just "rolesCurrency") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PolicyId)) :*: (S1 ('MetaSel ('Just "metadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MarloweTransactionMetadata) :*: S1 ('MetaSel ('Just "marloweScriptHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash))) :*: ((S1 ('MetaSel ('Just "marloweScriptAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Address) :*: S1 ('MetaSel ('Just "payoutScriptHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash)) :*: (S1 ('MetaSel ('Just "marloweVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SomeMarloweVersion) :*: S1 ('MetaSel ('Just "blockHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader)))))