Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Marlowe.Runtime.Transaction.Gen

Contents

Orphan instances

Orphan instances

Arbitrary MediaType Source #
Instance details Methods arbitrary :: Gen MediaType shrink :: MediaType -> [MediaType]
Arbitrary ApplyInputsConstraintsBuildupError Source #
Instance details Methods arbitrary :: Gen ApplyInputsConstraintsBuildupError shrink :: ApplyInputsConstraintsBuildupError -> [ApplyInputsConstraintsBuildupError]
Arbitrary ApplyInputsError Source #
Instance details Methods arbitrary :: Gen ApplyInputsError shrink :: ApplyInputsError -> [ApplyInputsError]
Arbitrary ConstraintError Source #
Instance details Methods arbitrary :: Gen ConstraintError shrink :: ConstraintError -> [ConstraintError]
Arbitrary CreateBuildupError Source #
Instance details Methods arbitrary :: Gen CreateBuildupError shrink :: CreateBuildupError -> [CreateBuildupError]
Arbitrary CreateError Source #
Instance details Methods arbitrary :: Gen CreateError shrink :: CreateError -> [CreateError]
Arbitrary LoadMarloweContextError Source #
Instance details Methods arbitrary :: Gen LoadMarloweContextError shrink :: LoadMarloweContextError -> [LoadMarloweContextError]
Arbitrary Mint Source #
Instance details Methods arbitrary :: Gen Mint shrink :: Mint -> [Mint]
Arbitrary NFTMetadataFile Source #
Instance details Methods arbitrary :: Gen NFTMetadataFile shrink :: NFTMetadataFile -> [NFTMetadataFile]
Arbitrary RoleTokenMetadata Source #
Instance details Methods arbitrary :: Gen RoleTokenMetadata shrink :: RoleTokenMetadata -> [RoleTokenMetadata]
Arbitrary RoleTokensConfig Source #
Instance details Methods arbitrary :: Gen RoleTokensConfig shrink :: RoleTokensConfig -> [RoleTokensConfig]
Arbitrary SubmitError Source #
Instance details Methods arbitrary :: Gen SubmitError shrink :: SubmitError -> [SubmitError]
Arbitrary SubmitStatus Source #
Instance details Methods arbitrary :: Gen SubmitStatus shrink :: SubmitStatus -> [SubmitStatus]
Arbitrary WalletAddresses Source #
Instance details Methods arbitrary :: Gen WalletAddresses shrink :: WalletAddresses -> [WalletAddresses]
Arbitrary WithdrawError Source #
Instance details Methods arbitrary :: Gen WithdrawError shrink :: WithdrawError -> [WithdrawError]
Arbitrary URI Source #
Instance details Methods arbitrary :: Gen URI shrink :: URI -> [URI]
Arbitrary URIAuth Source #
Instance details Methods arbitrary :: Gen URIAuth shrink :: URIAuth -> [URIAuth]
ArbitraryCommand MarloweTxCommand Source #
Instance details Methods arbitraryTag :: Gen (SomeTag MarloweTxCommand) arbitraryCmd :: Tag MarloweTxCommand status err result -> Gen (MarloweTxCommand status err result) arbitraryJobId :: Tag MarloweTxCommand status err result -> Maybe (Gen (JobId MarloweTxCommand status err result)) arbitraryStatus :: Tag MarloweTxCommand status err result -> Maybe (Gen status) arbitraryErr :: Tag MarloweTxCommand status err result -> Maybe (Gen err) arbitraryResult :: Tag MarloweTxCommand status err result -> Gen result shrinkCommand :: MarloweTxCommand status err result -> [MarloweTxCommand status err result] shrinkJobId :: JobId MarloweTxCommand status err result -> [JobId MarloweTxCommand status err result] shrinkErr :: Tag MarloweTxCommand status err result -> err -> [err] shrinkResult :: Tag MarloweTxCommand status err result -> result -> [result] shrinkStatus :: Tag MarloweTxCommand status err result -> status -> [status]
CommandVariations MarloweTxCommand Source #
Instance details Methods tags :: NonEmpty (SomeTag MarloweTxCommand) cmdVariations :: Tag MarloweTxCommand status err result -> NonEmpty (MarloweTxCommand status err result) jobIdVariations :: Tag MarloweTxCommand status err result -> [JobId MarloweTxCommand status err result] statusVariations :: Tag MarloweTxCommand status err result -> [status] errVariations :: Tag MarloweTxCommand status err result -> [err] resultVariations :: Tag MarloweTxCommand status err result -> NonEmpty result
ArbitraryMarloweVersion v => Arbitrary (ContractCreated v) Source #
Instance details Methods arbitrary :: Gen (ContractCreated v) shrink :: ContractCreated v -> [ContractCreated v]
ArbitraryMarloweVersion v => Arbitrary (InputsApplied v) Source #
Instance details Methods arbitrary :: Gen (InputsApplied v) shrink :: InputsApplied v -> [InputsApplied v]
ArbitraryMarloweVersion v => Arbitrary (WithdrawTx v) Source #
Instance details Methods arbitrary :: Gen (WithdrawTx v) shrink :: WithdrawTx v -> [WithdrawTx v]
(ArbitraryMarloweVersion v, IsCardanoEra era) => Arbitrary (ContractCreatedInEra era v) Source #
Instance details Methods arbitrary :: Gen (ContractCreatedInEra era v) shrink :: ContractCreatedInEra era v -> [ContractCreatedInEra era v]
(ArbitraryMarloweVersion v, IsCardanoEra era) => Arbitrary (InputsAppliedInEra era v) Source #
Instance details Methods arbitrary :: Gen (InputsAppliedInEra era v) shrink :: InputsAppliedInEra era v -> [InputsAppliedInEra era v]
(ArbitraryMarloweVersion v, IsCardanoEra era) => Arbitrary (WithdrawTxInEra era v) Source #
Instance details Methods arbitrary :: Gen (WithdrawTxInEra era v) shrink :: WithdrawTxInEra era v -> [WithdrawTxInEra era v]