module Cardano.Ledger.Conway.HuddleSpec

dijkstraCDDL ∷ Huddle Source #

guardsRule ∷ (HuddleRule "addr_keyhash" era, HuddleRule "credential" era) ⇒ Proxy era → Rule Source #

subTransactionsRule ∷ (HuddleRule "transaction_input" era, HuddleRule "transaction_output" era, HuddleRule "slot" era, HuddleRule "certificates" era, HuddleRule "withdrawals" era, HuddleRule "auxiliary_data_hash" era, HuddleRule "mint" era, HuddleRule "script_data_hash" era, HuddleRule "network_id" era, HuddleRule "voting_procedures" era, HuddleRule "proposal_procedures" era, HuddleRule "coin" era, HuddleRule "positive_coin" era, HuddleRule "credential" era, HuddleRule "plutus_data" era, HuddleRule "transaction_witness_set" era, HuddleRule "auxiliary_data" era) ⇒ Proxy era → Rule Source #

subTransactionRule ∷ (HuddleRule "transaction_input" era, HuddleRule "transaction_output" era, HuddleRule "slot" era, HuddleRule "certificates" era, HuddleRule "withdrawals" era, HuddleRule "auxiliary_data_hash" era, HuddleRule "mint" era, HuddleRule "script_data_hash" era, HuddleRule "network_id" era, HuddleRule "voting_procedures" era, HuddleRule "proposal_procedures" era, HuddleRule "coin" era, HuddleRule "positive_coin" era, HuddleRule "credential" era, HuddleRule "plutus_data" era, HuddleRule "transaction_witness_set" era, HuddleRule "auxiliary_data" era) ⇒ Proxy era → Rule Source #

subTransactionBodyRule ∷ (HuddleRule "transaction_input" era, HuddleRule "transaction_output" era, HuddleRule "slot" era, HuddleRule "certificates" era, HuddleRule "withdrawals" era, HuddleRule "auxiliary_data_hash" era, HuddleRule "mint" era, HuddleRule "script_data_hash" era, HuddleRule "network_id" era, HuddleRule "voting_procedures" era, HuddleRule "proposal_procedures" era, HuddleRule "coin" era, HuddleRule "positive_coin" era, HuddleRule "credential" era, HuddleRule "plutus_data" era) ⇒ Proxy era → Rule Source #

requiredTopLevelGuardsRule ∷ (HuddleRule "credential" era, HuddleRule "plutus_data" era) ⇒ Proxy era → Rule Source #

dijkstraScriptRule ∷ (HuddleRule "native_script" era, HuddleRule "plutus_v1_script" era, HuddleRule "plutus_v2_script" era, HuddleRule "plutus_v3_script" era, HuddleRule "plutus_v4_script" era) ⇒ Proxy era → Rule Source #

dijkstraNativeScriptRule ∷ (HuddleGroup "script_pubkey" era, HuddleGroup "script_all" era, HuddleGroup "script_any" era, HuddleGroup "script_n_of_k" era, HuddleGroup "script_invalid_before" era, HuddleGroup "script_invalid_hereafter" era, HuddleRule "credential" era) ⇒ Proxy era → Rule Source #

scriptRequireGuardGroup ∷ HuddleRule "credential" era ⇒ Proxy era → Named Group Source #

dijkstraRedeemerTagRule ∷ Proxy era → Rule Source #

auxiliaryDataMapRule ∷ (HuddleRule "metadata" era, HuddleRule "native_script" era, HuddleRule "plutus_v1_script" era, HuddleRule "plutus_v2_script" era, HuddleRule "plutus_v3_script" era, HuddleRule "plutus_v4_script" era) ⇒ Proxy era → Rule Source #