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

Language.Marlowe.Runtime.Core.Gen

Documentation

class (Arbitrary (Contract v), Arbitrary (Datum v), Arbitrary (Inputs v), Arbitrary (PayoutDatum v), IsMarloweVersion v) => ArbitraryMarloweVersion v Source #

Instances

Instances details
ArbitraryMarloweVersion 'V1 Source # 
Instance details

Defined in Language.Marlowe.Runtime.Core.Gen

patchMarloweTransactionMetadata :: MarloweTransactionMetadata -> MarloweTransactionMetadata Source #

Orphan instances

Arbitrary MarloweData Source # 
Instance details

Methods

arbitrary :: Gen MarloweData

shrink :: MarloweData -> [MarloweData]

Arbitrary MarloweParams Source # 
Instance details

Methods

arbitrary :: Gen MarloweParams

shrink :: MarloweParams -> [MarloweParams]

Arbitrary ContractId Source # 
Instance details

Methods

arbitrary :: Gen ContractId

shrink :: ContractId -> [ContractId]

Arbitrary MarloweMetadata Source # 
Instance details

Methods

arbitrary :: Gen MarloweMetadata

shrink :: MarloweMetadata -> [MarloweMetadata]

Arbitrary MarloweMetadataTag Source # 
Instance details

Methods

arbitrary :: Gen MarloweMetadataTag

shrink :: MarloweMetadataTag -> [MarloweMetadataTag]

Arbitrary MarloweTransactionMetadata Source # 
Instance details

Methods

arbitrary :: Gen MarloweTransactionMetadata

shrink :: MarloweTransactionMetadata -> [MarloweTransactionMetadata]

Arbitrary SomeMarloweVersion Source # 
Instance details

Methods

arbitrary :: Gen SomeMarloweVersion

shrink :: SomeMarloweVersion -> [SomeMarloweVersion]

ArbitraryMarloweVersion v => Arbitrary (Payout v) Source # 
Instance details

Methods

arbitrary :: Gen (Payout v)

shrink :: Payout v -> [Payout v]

ArbitraryMarloweVersion v => Arbitrary (Transaction v) Source # 
Instance details

Methods

arbitrary :: Gen (Transaction v)

shrink :: Transaction v -> [Transaction v]

ArbitraryMarloweVersion v => Arbitrary (TransactionOutput v) Source # 
Instance details

Methods

arbitrary :: Gen (TransactionOutput v)

shrink :: TransactionOutput v -> [TransactionOutput v]

ArbitraryMarloweVersion v => Arbitrary (TransactionScriptOutput v) Source # 
Instance details

Methods

arbitrary :: Gen (TransactionScriptOutput v)

shrink :: TransactionScriptOutput v -> [TransactionScriptOutput v]