Safe Haskell	None
Language	Haskell2010

Plutus.PAB.Arbitrary

Contents

Orphan instances

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

acceptingValidator :: Validator
acceptingMintingPolicy :: MintingPolicy
genResponse :: PABReq -> Maybe (Gen PABResp)

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 Language Source #
Instance details Methods arbitrary :: Gen Language Source # shrink :: Language -> [Language] Source #
Arbitrary Value Source #
Instance details Methods arbitrary :: Gen Value Source # shrink :: Value -> [Value] Source #
Arbitrary Slot Source #
Instance details Methods arbitrary :: Gen Slot Source # shrink :: Slot -> [Slot] Source #
Arbitrary TokenName Source #
Instance details Methods arbitrary :: Gen TokenName Source # shrink :: TokenName -> [TokenName] Source #
Arbitrary ValidatorHash Source #
Instance details Methods arbitrary :: Gen ValidatorHash Source # shrink :: ValidatorHash -> [ValidatorHash] Source #
Arbitrary Tx Source #
Instance details Methods arbitrary :: Gen Tx Source # shrink :: Tx -> [Tx] 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 OutputDatum Source #
Instance details Methods arbitrary :: Gen OutputDatum Source # shrink :: OutputDatum -> [OutputDatum] Source #
Arbitrary Address Source #
Instance details Methods arbitrary :: Gen Address Source # shrink :: Address -> [Address] Source #
Arbitrary TxId Source #
Instance details Methods arbitrary :: Gen TxId Source # shrink :: TxId -> [TxId] Source #
Arbitrary Datum Source #
Instance details Methods arbitrary :: Gen Datum Source # shrink :: Datum -> [Datum] Source #
Arbitrary MkTxError Source #
Instance details Methods arbitrary :: Gen MkTxError Source # shrink :: MkTxError -> [MkTxError] Source #
Arbitrary PABReq Source #
Instance details Methods arbitrary :: Gen PABReq Source # shrink :: PABReq -> [PABReq] Source #
Arbitrary ActiveEndpoint Source #
Instance details Methods arbitrary :: Gen ActiveEndpoint Source # shrink :: ActiveEndpoint -> [ActiveEndpoint] Source #
Arbitrary EndpointDescription Source #
Instance details Methods arbitrary :: Gen EndpointDescription Source # shrink :: EndpointDescription -> [EndpointDescription] Source #
Arbitrary WalletAPIError Source #
Instance details Methods arbitrary :: Gen WalletAPIError Source # shrink :: WalletAPIError -> [WalletAPIError] Source #
Arbitrary ThreadToken Source #
Instance details Methods arbitrary :: Gen ThreadToken Source # shrink :: ThreadToken -> [ThreadToken] Source #
Arbitrary PubKeyHash Source #
Instance details Methods arbitrary :: Gen PubKeyHash Source # shrink :: PubKeyHash -> [PubKeyHash] Source #
Arbitrary PubKey Source #
Instance details Methods arbitrary :: Gen PubKey Source # shrink :: PubKey -> [PubKey] Source #
Arbitrary Data Source #
Instance details Methods arbitrary :: Gen Data Source # shrink :: Data -> [Data] Source #
Arbitrary WrongOutTypeError Source #
Instance details Methods arbitrary :: Gen WrongOutTypeError Source # shrink :: WrongOutTypeError -> [WrongOutTypeError] Source #
Arbitrary ValidationError Source #
Instance details Methods arbitrary :: Gen ValidationError Source # shrink :: ValidationError -> [ValidationError] Source #
Arbitrary TxInType Source #
Instance details Methods arbitrary :: Gen TxInType Source # shrink :: TxInType -> [TxInType] Source #
Arbitrary TxIn Source #
Instance details Methods arbitrary :: Gen TxIn Source # shrink :: TxIn -> [TxIn] Source #
Arbitrary TxInputType Source #
Instance details Methods arbitrary :: Gen TxInputType Source # shrink :: TxInputType -> [TxInputType] Source #
Arbitrary TxInput Source #
Instance details Methods arbitrary :: Gen TxInput Source # shrink :: TxInput -> [TxInput] Source #
Arbitrary Withdrawal Source #
Instance details Methods arbitrary :: Gen Withdrawal Source # shrink :: Withdrawal -> [Withdrawal] Source #
Arbitrary Certificate Source #
Instance details Methods arbitrary :: Gen Certificate Source # shrink :: Certificate -> [Certificate] Source #
Arbitrary TxOut Source #
Instance details Methods arbitrary :: Gen TxOut Source # shrink :: TxOut -> [TxOut] Source #
Arbitrary StakePubKeyHash Source #
Instance details Methods arbitrary :: Gen StakePubKeyHash Source # shrink :: StakePubKeyHash -> [StakePubKeyHash] Source #
Arbitrary StakePubKey Source #
Instance details Methods arbitrary :: Gen StakePubKey Source # shrink :: StakePubKey -> [StakePubKey] Source #
Arbitrary PaymentPubKeyHash Source #
Instance details Methods arbitrary :: Gen PaymentPubKeyHash Source # shrink :: PaymentPubKeyHash -> [PaymentPubKeyHash] Source #
Arbitrary PaymentPubKey Source #
Instance details Methods arbitrary :: Gen PaymentPubKey Source # shrink :: PaymentPubKey -> [PaymentPubKey] Source #
Arbitrary Signature Source #
Instance details Methods arbitrary :: Gen Signature Source # shrink :: Signature -> [Signature] Source #
Arbitrary Ada Source #
Instance details Methods arbitrary :: Gen Ada Source # shrink :: Ada -> [Ada] Source #
Arbitrary ConnectionError Source #
Instance details Methods arbitrary :: Gen ConnectionError Source # shrink :: ConnectionError -> [ConnectionError] Source #
Arbitrary MintingPolicyHash Source #
Instance details Methods arbitrary :: Gen MintingPolicyHash Source # shrink :: MintingPolicyHash -> [MintingPolicyHash] Source #
Arbitrary DatumHash Source #
Instance details Methods arbitrary :: Gen DatumHash Source # shrink :: DatumHash -> [DatumHash] Source #
Arbitrary ScriptHash Source #
Instance details Methods arbitrary :: Gen ScriptHash Source # shrink :: ScriptHash -> [ScriptHash] Source #
Arbitrary MintingPolicy Source #
Instance details Methods arbitrary :: Gen MintingPolicy Source # shrink :: MintingPolicy -> [MintingPolicy] Source #
Arbitrary Redeemer Source #
Instance details Methods arbitrary :: Gen Redeemer Source # shrink :: Redeemer -> [Redeemer] Source #
Arbitrary Validator Source #
Instance details Methods arbitrary :: Gen Validator Source # shrink :: Validator -> [Validator] Source #
Arbitrary ScriptError Source #
Instance details Methods arbitrary :: Gen ScriptError Source # shrink :: ScriptError -> [ScriptError] Source #
Arbitrary Script Source #
Instance details Methods arbitrary :: Gen Script Source # shrink :: Script -> [Script] Source #
Arbitrary CurrencySymbol Source #
Instance details Methods arbitrary :: Gen CurrencySymbol Source # shrink :: CurrencySymbol -> [CurrencySymbol] Source #
Arbitrary Credential Source #
Instance details Methods arbitrary :: Gen Credential Source # shrink :: Credential -> [Credential] Source #
Arbitrary StakingCredential Source #
Instance details Methods arbitrary :: Gen StakingCredential Source # shrink :: StakingCredential -> [StakingCredential] Source #
Arbitrary DCert Source #
Instance details Methods arbitrary :: Gen DCert Source # shrink :: DCert -> [DCert] Source #
Arbitrary RedeemerPtr Source #
Instance details Methods arbitrary :: Gen RedeemerPtr Source # shrink :: RedeemerPtr -> [RedeemerPtr] Source #
Arbitrary ScriptTag Source #
Instance details Methods arbitrary :: Gen ScriptTag Source # shrink :: ScriptTag -> [ScriptTag] 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 (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 (Versioned script) script, Arbitrary script) => Arbitrary (Versioned script) Source #
Instance details Methods arbitrary :: Gen (Versioned script) Source # shrink :: Versioned script -> [Versioned script] 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 (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, Arbitrary a) => Arbitrary (Extended a) Source #
Instance details Methods arbitrary :: Gen (Extended a) Source # shrink :: Extended a -> [Extended a] 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 #