plutus-pab-1.2.0.0
Safe Haskell None
Language Haskell2010

Plutus.PAB.Arbitrary

Description

Temporary code that'll make it easy for us to generate arbitrary events. This should either be deleted when we can get real events, or at least moved across to the test suite.

Synopsis

Documentation

acceptingValidator :: Validator Source #

A validator that always succeeds.

acceptingMintingPolicy :: MintingPolicy Source #

A minting policy that always succeeds.

genResponse :: PABReq -> Maybe ( Gen PABResp) Source #

Generate responses for mock requests. This function returns a Maybe because we can't (yet) create a generator for every request type.

Orphan instances

Arbitrary Value Source #
Instance details

Methods

arbitrary :: Gen Value Source #

shrink :: Value -> [ Value ] Source #

Arbitrary Lovelace Source #
Instance details

Methods

arbitrary :: Gen Lovelace Source #

shrink :: Lovelace -> [ Lovelace ] Source #

Arbitrary Quantity Source #
Instance details

Methods

arbitrary :: Gen Quantity Source #

shrink :: Quantity -> [ Quantity ] Source #

Arbitrary PolicyId Source #
Instance details

Methods

arbitrary :: Gen PolicyId Source #

shrink :: PolicyId -> [ PolicyId ] Source #

Arbitrary AssetName Source #
Instance details

Methods

arbitrary :: Gen AssetName Source #

shrink :: AssetName -> [ AssetName ] Source #

Arbitrary AssetId Source #
Instance details

Methods

arbitrary :: Gen AssetId Source #

shrink :: AssetId -> [ AssetId ] Source #

Arbitrary Value Source #
Instance details

Methods

arbitrary :: Gen Value Source #

shrink :: Value -> [ Value ] Source #

Arbitrary Language Source #
Instance details

Methods

arbitrary :: Gen Language Source #

shrink :: Language -> [ Language ] Source #

Arbitrary Slot Source #
Instance details

Methods

arbitrary :: Gen Slot Source #

shrink :: Slot -> [Slot] Source #

Arbitrary TxOutRef Source #
Instance details

Methods

arbitrary :: Gen TxOutRef Source #

shrink :: TxOutRef -> [ TxOutRef ] Source #

Arbitrary ToCardanoError Source #
Instance details

Methods

arbitrary :: Gen ToCardanoError Source #

shrink :: ToCardanoError -> [ToCardanoError] Source #

Arbitrary Value Source #
Instance details

Methods

arbitrary :: Gen Value Source #

shrink :: Value -> [ Value ] Source #

Arbitrary Address Source #
Instance details

Methods

arbitrary :: Gen Address Source #

shrink :: Address -> [ Address ] Source #

Arbitrary OutputDatum Source #
Instance details

Methods

arbitrary :: Gen OutputDatum Source #

shrink :: OutputDatum -> [ OutputDatum ] Source #

Arbitrary Data Source #
Instance details

Methods

arbitrary :: Gen Data Source #

shrink :: Data -> [ Data ] Source #

Arbitrary TxId Source #
Instance details

Methods

arbitrary :: Gen TxId Source #

shrink :: TxId -> [ TxId ] Source #

Arbitrary ScriptTag Source #
Instance details

Methods

arbitrary :: Gen ScriptTag Source #

shrink :: ScriptTag -> [ ScriptTag ] Source #

Arbitrary RedeemerPtr Source #
Instance details

Methods

arbitrary :: Gen RedeemerPtr Source #

shrink :: RedeemerPtr -> [ RedeemerPtr ] Source #

Arbitrary DCert Source #
Instance details

Methods

arbitrary :: Gen DCert Source #

shrink :: DCert -> [ DCert ] Source #

Arbitrary StakingCredential Source #
Instance details

Methods

arbitrary :: Gen StakingCredential Source #

shrink :: StakingCredential -> [ StakingCredential ] Source #

Arbitrary Credential Source #
Instance details

Methods

arbitrary :: Gen Credential Source #

shrink :: Credential -> [ Credential ] Source #

Arbitrary PubKeyHash Source #
Instance details

Methods

arbitrary :: Gen PubKeyHash Source #

shrink :: PubKeyHash -> [ PubKeyHash ] Source #

Arbitrary CurrencySymbol Source #
Instance details

Methods

arbitrary :: Gen CurrencySymbol Source #

shrink :: CurrencySymbol -> [ CurrencySymbol ] Source #

Arbitrary TokenName Source #
Instance details

Methods

arbitrary :: Gen TokenName Source #

shrink :: TokenName -> [ TokenName ] Source #

Arbitrary Script Source #
Instance details

Methods

arbitrary :: Gen Script Source #

shrink :: Script -> [ Script ] Source #

Arbitrary ScriptError Source #
Instance details

Methods

arbitrary :: Gen ScriptError Source #

shrink :: ScriptError -> [ ScriptError ] Source #

Arbitrary Validator Source #
Instance details

Methods

arbitrary :: Gen Validator Source #

shrink :: Validator -> [ Validator ] Source #

Arbitrary Datum Source #
Instance details

Methods

arbitrary :: Gen Datum Source #

shrink :: Datum -> [ Datum ] Source #

Arbitrary Redeemer Source #
Instance details

Methods

arbitrary :: Gen Redeemer Source #

shrink :: Redeemer -> [ Redeemer ] Source #

Arbitrary MintingPolicy Source #
Instance details

Methods

arbitrary :: Gen MintingPolicy Source #

shrink :: MintingPolicy -> [ MintingPolicy ] Source #

Arbitrary ScriptHash Source #
Instance details

Methods

arbitrary :: Gen ScriptHash Source #

shrink :: ScriptHash -> [ ScriptHash ] Source #

Arbitrary ValidatorHash Source #
Instance details

Methods

arbitrary :: Gen ValidatorHash Source #

shrink :: ValidatorHash -> [ ValidatorHash ] Source #

Arbitrary DatumHash Source #
Instance details

Methods

arbitrary :: Gen DatumHash Source #

shrink :: DatumHash -> [ DatumHash ] Source #

Arbitrary MintingPolicyHash Source #
Instance details

Methods

arbitrary :: Gen MintingPolicyHash Source #

shrink :: MintingPolicyHash -> [ MintingPolicyHash ] Source #

Arbitrary LedgerBytes Source #
Instance details

Methods

arbitrary :: Gen LedgerBytes Source #

shrink :: LedgerBytes -> [ LedgerBytes ] Source #

Arbitrary BuiltinData Source #
Instance details

Methods

arbitrary :: Gen BuiltinData Source #

shrink :: BuiltinData -> [ BuiltinData ] Source #

Arbitrary BuiltinByteString Source #
Instance details

Methods

arbitrary :: Gen BuiltinByteString Source #

shrink :: BuiltinByteString -> [ BuiltinByteString ] Source #

Arbitrary PaymentPubKeyHash Source #
Instance details

Methods

arbitrary :: Gen PaymentPubKeyHash Source #

shrink :: PaymentPubKeyHash -> [PaymentPubKeyHash] Source #

Arbitrary MkTxError Source #
Instance details

Methods

arbitrary :: Gen MkTxError Source #

shrink :: MkTxError -> [ MkTxError ] Source #

Arbitrary ValidationError Source #
Instance details

Methods

arbitrary :: Gen ValidationError Source #

shrink :: ValidationError -> [ValidationError] Source #

Arbitrary TxOut Source #
Instance details

Methods

arbitrary :: Gen TxOut Source #

shrink :: TxOut -> [TxOut] Source #

Arbitrary TxIn Source #
Instance details

Methods

arbitrary :: Gen TxIn Source #

shrink :: TxIn -> [TxIn] Source #

Arbitrary PaymentPubKey Source #
Instance details

Methods

arbitrary :: Gen PaymentPubKey Source #

shrink :: PaymentPubKey -> [PaymentPubKey] Source #

Arbitrary StakePubKey Source #
Instance details

Methods

arbitrary :: Gen StakePubKey Source #

shrink :: StakePubKey -> [StakePubKey] Source #

Arbitrary StakePubKeyHash Source #
Instance details

Methods

arbitrary :: Gen StakePubKeyHash Source #

shrink :: StakePubKeyHash -> [StakePubKeyHash] Source #

Arbitrary PubKey Source #
Instance details

Methods

arbitrary :: Gen PubKey Source #

shrink :: PubKey -> [PubKey] Source #

Arbitrary Signature Source #
Instance details

Methods

arbitrary :: Gen Signature Source #

shrink :: Signature -> [Signature] Source #

Arbitrary Certificate Source #
Instance details

Methods

arbitrary :: Gen Certificate Source #

shrink :: Certificate -> [Certificate] Source #

Arbitrary TxInType Source #
Instance details

Methods

arbitrary :: Gen TxInType Source #

shrink :: TxInType -> [TxInType] Source #

Arbitrary TxInput Source #
Instance details

Methods

arbitrary :: Gen TxInput Source #

shrink :: TxInput -> [TxInput] Source #

Arbitrary TxInputType Source #
Instance details

Methods

arbitrary :: Gen TxInputType Source #

shrink :: TxInputType -> [TxInputType] Source #

Arbitrary Withdrawal Source #
Instance details

Methods

arbitrary :: Gen Withdrawal Source #

shrink :: Withdrawal -> [Withdrawal] Source #

Arbitrary Ada Source #
Instance details

Methods

arbitrary :: Gen Ada Source #

shrink :: Ada -> [Ada] Source #

Arbitrary WalletAPIError Source #
Instance details

Methods

arbitrary :: Gen WalletAPIError Source #

shrink :: WalletAPIError -> [WalletAPIError] Source #

Arbitrary ConnectionError Source #
Instance details

Methods

arbitrary :: Gen ConnectionError Source #

shrink :: ConnectionError -> [ConnectionError] Source #

Arbitrary WrongOutTypeError Source #
Instance details

Methods

arbitrary :: Gen WrongOutTypeError Source #

shrink :: WrongOutTypeError -> [WrongOutTypeError] Source #

Arbitrary ActiveEndpoint Source #
Instance details

Methods

arbitrary :: Gen ActiveEndpoint Source #

shrink :: ActiveEndpoint -> [ActiveEndpoint] Source #

Arbitrary PABReq Source #
Instance details

Methods

arbitrary :: Gen PABReq Source #

shrink :: PABReq -> [PABReq] Source #

Arbitrary EndpointDescription Source #
Instance details

Methods

arbitrary :: Gen EndpointDescription Source #

shrink :: EndpointDescription -> [EndpointDescription] Source #

Arbitrary ThreadToken Source #
Instance details

Methods

arbitrary :: Gen ThreadToken Source #

shrink :: ThreadToken -> [ThreadToken] Source #

Arbitrary ( AddressInEra BabbageEra ) Source #
Instance details

Methods

arbitrary :: Gen ( AddressInEra BabbageEra ) Source #

shrink :: AddressInEra BabbageEra -> [ AddressInEra BabbageEra ] Source #

( Arg ( Extended a) a, Arg ( LowerBound a) a, Arg ( UpperBound a) a, Arg ( Interval a) a, Arbitrary a) => Arbitrary ( Interval a) Source #
Instance details

Methods

arbitrary :: Gen ( Interval a) Source #

shrink :: Interval a -> [ Interval a] Source #

( Arg ( Extended a) a, Arbitrary a) => Arbitrary ( Extended a) Source #
Instance details

Methods

arbitrary :: Gen ( Extended a) Source #

shrink :: Extended a -> [ Extended a] Source #

( Arg ( Extended a) a, Arg ( UpperBound a) a, Arbitrary a) => Arbitrary ( UpperBound a) Source #
Instance details

Methods

arbitrary :: Gen ( UpperBound a) Source #

shrink :: UpperBound a -> [ UpperBound a] Source #

( Arg ( Extended a) a, Arg ( LowerBound a) a, Arbitrary a) => Arbitrary ( LowerBound a) Source #
Instance details

Methods

arbitrary :: Gen ( LowerBound a) Source #

shrink :: LowerBound a -> [ LowerBound a] Source #

( Arg (Versioned script) script, Arbitrary script) => Arbitrary (Versioned script) Source #
Instance details

Methods

arbitrary :: Gen (Versioned script) Source #

shrink :: Versioned script -> [Versioned script] Source #

( Arbitrary k, Arbitrary v) => Arbitrary ( Map k v) Source #
Instance details

Methods

arbitrary :: Gen ( Map k v) Source #

shrink :: Map k v -> [ Map k v] Source #