| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Conway.CDDL
Synopsis
- auxiliary_scripts ∷ Rule
- allegraCDDL ∷ Huddle
- shelleyCDDL ∷ Huddle
- transaction_index ∷ Rule
- stake_registration ∷ Named Group
- stake_deregistration ∷ Named Group
- stake_delegation ∷ Named Group
- genesis_key_delegation ∷ Named Group
- move_instantaneous_rewards_cert ∷ Named Group
- move_instantaneous_reward ∷ Rule
- delta_coin ∷ Rule
- stake_credential ∷ Rule
- credential ∷ Rule
- port ∷ Rule
- ipv4 ∷ Rule
- ipv6 ∷ Rule
- single_host_addr ∷ Named Group
- transaction_metadatum ∷ Rule
- transaction_metadata ∷ Rule
- vkeywitness ∷ Rule
- bootstrap_witness ∷ Rule
- multisig_script ∷ Rule
- multisig_pubkey ∷ Named Group
- multisig_all ∷ Named Group
- multisig_any ∷ Named Group
- multisig_n_of_k ∷ Named Group
- epoch ∷ Rule
- genesis_delegate_hash ∷ Rule
- genesis_hash ∷ Rule
- script_hash ∷ Rule
- metadata_hash ∷ Rule
- nonce ∷ Rule
- coin ∷ Rule
- positive_coin ∷ Rule
- address ∷ Rule
- reward_account ∷ Rule
- addr_keyhash ∷ Rule
- pool_keyhash ∷ Rule
- vrf_keyhash ∷ Rule
- hash28 ∷ Rule
- hash32 ∷ Rule
- vkey ∷ Rule
- vrf_vkey ∷ Rule
- vrf_cert ∷ Rule
- kes_vkey ∷ Rule
- kes_signature ∷ Rule
- signkeyKES ∷ Rule
- signature ∷ Rule
- big_int ∷ Rule
- big_uint ∷ Rule
- big_nint ∷ Rule
- minInt64 ∷ Integer
- maxInt64 ∷ Integer
- maxWord64 ∷ Integer
- negInt64 ∷ Rule
- posInt64 ∷ Rule
- nonZeroInt64 ∷ Rule
- int64 ∷ Rule
- positive_int ∷ Rule
- unit_interval ∷ Rule
- nonnegative_interval ∷ Rule
- bounded_bytes ∷ Rule
- distinct ∷ IsSizeable s ⇒ Value s → Rule
- auxiliary_data_hash ∷ Rule
- network_id ∷ Rule
- positive_interval ∷ Rule
- cost_model ∷ Rule
- ex_units ∷ Rule
- redeemer ∷ Rule
- constr ∷ IsType0 x ⇒ x → GRuleCall
- alonzoCDDL ∷ Huddle
- maryCDDL ∷ Huddle
- policy_id ∷ Rule
- asset_name ∷ Rule
- update ∷ Rule
- proposed_protocol_parameter_updates ∷ Rule
- datum_option ∷ Rule
- data' ∷ Rule
- plutus_data ∷ Rule
- babbageCDDL ∷ Huddle
- conwayCDDL ∷ Huddle
- block ∷ Rule
- transaction ∷ Rule
- header ∷ Rule
- header_body ∷ Rule
- operational_cert ∷ Rule
- protocol_version ∷ Rule
- next_major_protocol_version ∷ Integer
- major_protocol_version ∷ Rule
- transaction_body ∷ Rule
- voting_procedures ∷ Rule
- voting_procedure ∷ Rule
- proposal_procedure ∷ Rule
- proposal_procedures ∷ Rule
- certificates ∷ Rule
- gov_action ∷ Rule
- policy_hash ∷ Rule
- parameter_change_action ∷ Named Group
- hard_fork_initiation_action ∷ Named Group
- treasury_withdrawals_action ∷ Named Group
- no_confidence ∷ Named Group
- update_committee ∷ Named Group
- new_constitution ∷ Named Group
- constitution ∷ Rule
- info_action ∷ Rule
- voter ∷ Rule
- anchor ∷ Rule
- vote ∷ Rule
- gov_action_id ∷ Rule
- required_signers ∷ Rule
- transaction_input ∷ Rule
- transaction_output ∷ Rule
- shelley_transaction_output ∷ Rule
- babbage_transaction_output ∷ Rule
- script_data_hash ∷ Rule
- certificate ∷ Rule
- pool_registration ∷ Named Group
- pool_retirement ∷ Named Group
- reg_cert ∷ Named Group
- unreg_cert ∷ Named Group
- vote_deleg_cert ∷ Named Group
- stake_vote_deleg_cert ∷ Named Group
- stake_reg_deleg_cert ∷ Named Group
- vote_reg_deleg_cert ∷ Named Group
- stake_vote_reg_deleg_cert ∷ Named Group
- auth_committee_hot_cert ∷ Named Group
- resign_committee_cold_cert ∷ Named Group
- reg_drep_cert ∷ Named Group
- unreg_drep_cert ∷ Named Group
- update_drep_cert ∷ Named Group
- drep ∷ Rule
- drep_credential ∷ Rule
- committee_cold_credential ∷ Rule
- committee_hot_credential ∷ Rule
- pool_params ∷ Named Group
- dns_name ∷ Rule
- single_host_name ∷ Named Group
- multi_host_name ∷ Named Group
- relay ∷ Rule
- url ∷ Rule
- pool_metadata ∷ Rule
- withdrawals ∷ Rule
- protocol_param_update ∷ Rule
- pool_voting_thresholds ∷ Rule
- drep_voting_thresholds ∷ Rule
- transaction_witness_set ∷ Rule
- plutus_v1_script ∷ Rule
- plutus_v2_script ∷ Rule
- plutus_v3_script ∷ Rule
- redeemers ∷ Rule
- redeemer_tag ∷ Rule
- ex_unit_prices ∷ Rule
- language ∷ Rule
- potential_languages ∷ Rule
- cost_models ∷ Rule
- transaction_metadatum_label ∷ Rule
- metadata ∷ Rule
- auxiliary_data ∷ Rule
- native_script ∷ Rule
- script_pubkey ∷ Named Group
- script_all ∷ Named Group
- script_any ∷ Named Group
- script_ref ∷ Rule
- script_n_of_k ∷ Named Group
- invalid_before ∷ Named Group
- invalid_hereafter ∷ Named Group
- multiasset ∷ IsType0 a ⇒ a → GRuleCall
- value ∷ Rule
- mint ∷ Rule
- epoch_no ∷ Rule
- epoch_interval ∷ Rule
- slot_no ∷ Rule
- block_no ∷ Rule
- script ∷ Rule
- set ∷ IsType0 t0 ⇒ t0 → GRuleCall
- nonempty_set ∷ IsType0 t0 ⇒ t0 → GRuleCall
Documentation
this is the same as the current int64 definition but without zero
nonnegative_interval ∷ Rule Source #
nonnegative_interval = tag 0 [uint, positive_int]
multiasset ∷ IsType0 a ⇒ a → GRuleCall Source #
set ∷ IsType0 t0 ⇒ t0 → GRuleCall Source #
Conway era introduces an optional 258 tag for sets, which will become mandatory in the second era after Conway. We recommend all the tooling to account for this future breaking change sooner rather than later, in order to provide a smooth transition for their users.
nonempty_set ∷ IsType0 t0 ⇒ t0 → GRuleCall Source #
Conway era introduces an optional 258 tag for sets, which will become mandatory in the second era after Conway. We recommend all the tooling to account for this future breaking change sooner rather than later, in order to provide a smooth transition for their users.