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