Module v3

Proptest strategies for Plutus V3 types

These strategies always return valid values.

Functions

• arb_changed_parameters
  Strategy to generate change parameters
• arb_cold_committee_credential
  Strategy to generate cold committee credentials
• arb_committee
  Strategy to generate committees
• arb_constitution
  Strategy to generate constitutions
• arb_d_rep
  Strategy to generate DReps
• arb_d_rep_credential
  Strategy to generate DRep credentials
• arb_delegatee
  Strategy to generate delegatees
• arb_governance_action
  Strategy to generate governance actions
• arb_governance_action_id
  Strategy to generate governance action ids
• arb_hot_committee_credential
  Strategy to generate hot committee credentials
• arb_proposal_procedure
  Strategy to generate protocol procedures
• arb_protocol_version
  Strategy to generate protocol versions
• arb_rational
  Strategy to generate rationals
• arb_script_context
  Strategy to generate script contexts
• arb_script_info
  Strategy to generate script info
• arb_script_purpose
  Strategy to generate script purposes
• arb_transaction_hash
  Strategy to generate a transaction hash
• arb_transaction_info
  Strategy to generate transaction info
• arb_transaction_input
  Strategy to generate a transaction input
• arb_tx_cert
  Strategy to generate tx certs
• arb_tx_in_info
  Strategy to generate a TxInInfo
• arb_vote
  Strategy to generate votes
• arb_voter
  Strategy to generate voters