Module v1

Proptest strategies for Plutus V1 types

These strategies always return valid values.

Functions

arb_address

Strategy to generate a Cardano address

arb_asset_class

Strategy to generate an asset class

arb_assoc_map

Strategy to generate an AssocMap, given the strategies to generate keys and values

arb_certificate_index

Strategy to generate a certificate index.

arb_chain_pointer

Strategy to generate a chain pointer

arb_credential

Strategy to generate a credential

arb_currency_symbol

Strategy to generate a currency symbol

arb_d_cert

Strategy to generate a DCert

arb_datum

Strategy to generate a Datum

arb_datum_hash

Strategy to generate a Datum hash

arb_ed25519_pub_key_hash

Strategy to generate Ed25519 public key hash

arb_extended

Strategy to generate an Extended set

arb_extended_posix_time

Strategy to generate an extended POSIX time

arb_interval

Strategy to generate a Interval

arb_interval_posix_time

Strategy to generate a Interval

arb_ledger_bytes

Strategy to generate an arbitrary bytestring with a fixed length

arb_lovelace

arb_lower_bound

Strategy to generate a LowerBound

arb_minting_policy_hash

Strategy to generate a minting policy hash

arb_native_tokens

Strategy to generate a Value

arb_payment_pub_key_hash

Strategy to generate a PaymentPubKeyHash

arb_plutus_data

Strategy to generate an arbitrary PlutusData with a maximum depth of 5 recursions

arb_plutus_interval

Strategy to generate a PlutusInterval

arb_plutus_interval_posix_time

Strategy to generate a PlutusInterval

arb_posix_time

Strategy to generate a POSIX Time

arb_redeemer

Strategy to generate a Redeemer

arb_redeemer_hash

Strategy to generate a Datum hash

arb_script_context

Strategy to generate a ScriptContext

arb_script_hash

Strategy to generate a ScriptHash

arb_script_purpose

Strategy to generate a ScriptPurpose

arb_slot

Strategy to generate a slot number

arb_stake_pub_key_hash

arb_staking_credential

Strategy to generate a staking credential

arb_token_name

Strategy to generate a token name

arb_transaction_hash

Strategy to generate a transaction hash

arb_transaction_index

Strategy to generate a transaction index

arb_transaction_info

Strategy to generate a TransactionInfo. Note that its inputs, outputs, d_cert, signatories and datums field will each have a length of 0 to 5

arb_transaction_input

Strategy to generate a transaction input

arb_transaction_output

Strategy to generate transaction output

arb_tx_in_info

Strategy to generate a TxInInfo

arb_upper_bound

Strategy to generate an UpperBound

arb_validator_hash

Strategy to generate a validator hash

arb_value

Strategy to generate a Value