| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Dijkstra.CDDL
Synopsis
- header ∷ Rule
- header_body ∷ Rule
- protocol_version ∷ Rule
- transaction_output ∷ Rule
- certificate ∷ Rule
- protocol_param_update ∷ Rule
- auxiliary_data ∷ Rule
- transaction_body ∷ Rule
- block ∷ Rule
- transaction ∷ Rule
- transaction_witness_set ∷ Rule
- script_data_hash ∷ Rule
- certificates ∷ Rule
- language ∷ Rule
- cost_models ∷ Rule
- proposal_procedure ∷ Rule
- proposal_procedures ∷ Rule
- gov_action ∷ Rule
- parameter_change_action ∷ Named Group
- alonzo_auxiliary_data ∷ Rule
- dijkstraCDDL ∷ Huddle
- guards ∷ Rule
- dijkstra_script ∷ Rule
- dijkstra_redeemer_tag ∷ Rule
- plutus_v4_script ∷ Rule
- int64 ∷ Rule
- value ∷ Rule
- set ∷ IsType0 t0 ⇒ t0 → GRuleCall
- update ∷ Rule
- signature ∷ Rule
- epoch ∷ 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
- big_int ∷ Rule
- big_uint ∷ Rule
- big_nint ∷ Rule
- minInt64 ∷ Integer
- maxInt64 ∷ Integer
- maxWord64 ∷ Rule
- negInt64 ∷ Rule
- posInt64 ∷ Rule
- nonZeroInt64 ∷ Rule
- positive_int ∷ Rule
- maxWord32 ∷ Rule
- posWord32 ∷ Rule
- unit_interval ∷ Rule
- nonnegative_interval ∷ Rule
- bounded_bytes ∷ Rule
- distinct ∷ IsSizeable s ⇒ Value s → Rule
- shelleyCDDL ∷ Huddle
- transaction_index ∷ Rule
- operational_cert ∷ Rule
- major_protocol_version ∷ Era era ⇒ Rule
- transaction_input ∷ Rule
- transaction_id ∷ Rule
- stake_registration ∷ Named Group
- stake_deregistration ∷ Named Group
- stake_delegation ∷ Named Group
- pool_registration ∷ Named Group
- pool_retirement ∷ 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
- pool_params ∷ Named Group
- port ∷ Rule
- ipv4 ∷ Rule
- ipv6 ∷ Rule
- dns_name ∷ Rule
- single_host_addr ∷ Named Group
- multi_host_name ∷ Named Group
- relay ∷ Rule
- pool_metadata ∷ Rule
- url ∷ Rule
- withdrawals ∷ Rule
- proposed_protocol_parameter_updates ∷ Rule
- 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
- genesis_delegate_hash ∷ Rule
- genesis_hash ∷ Rule
- script_hash ∷ Rule
- metadata_hash ∷ Rule
- nonce ∷ Rule
- nonempty_set ∷ IsType0 t0 ⇒ t0 → GRuleCall
- allegraCDDL ∷ Huddle
- native_script ∷ Rule
- script_pubkey ∷ Named Group
- script_all ∷ Named Group
- script_any ∷ Named Group
- script_n_of_k ∷ Named Group
- invalid_before ∷ Named Group
- invalid_hereafter ∷ Named Group
- metadata ∷ Rule
- auxiliary_scripts ∷ Rule
- maryCDDL ∷ Huddle
- multiasset ∷ IsType0 a ⇒ a → GRuleCall
- policy_id ∷ Rule
- asset_name ∷ Rule
- alonzoCDDL ∷ Huddle
- required_signers ∷ Rule
- redeemers ∷ Rule → Rule
- plutus_data ∷ Rule
- constr ∷ IsType0 x ⇒ x → GRuleCall
- redeemer ∷ Rule
- ex_units ∷ Rule
- ex_unit_prices ∷ Rule
- cost_model ∷ Rule
- positive_interval ∷ Rule
- network_id ∷ Rule
- auxiliary_data_hash ∷ Rule
- mint ∷ Rule
- babbageCDDL ∷ Huddle
- shelley_transaction_output ∷ Rule
- babbage_transaction_output ∷ Rule → Rule
- plutus_v1_script ∷ Rule
- plutus_v2_script ∷ Rule
- data' ∷ Rule
- datum_option ∷ Rule
- babbage_script ∷ Rule
- conwayCDDL ∷ Huddle
- voting_procedures ∷ Rule
- voting_procedure ∷ Rule
- policy_hash ∷ Rule
- 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
- 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_voting_thresholds ∷ Rule
- drep_voting_thresholds ∷ Rule
- plutus_v3_script ∷ Rule
- conway_redeemer_tag ∷ Rule
- potential_languages ∷ Rule
- shelley_auxiliary_data ∷ Rule
- shelley_ma_auxiliary_data ∷ Rule
- epoch_no ∷ Rule
- epoch_interval ∷ Rule
- slot_no ∷ Rule
- block_no ∷ Rule
- conway_script ∷ Rule
- oset ∷ IsType0 t0 ⇒ t0 → GRuleCall
- nonempty_oset ∷ IsType0 t0 ⇒ t0 → GRuleCall
- set_len_spec ∷ IsType0 t0 ⇒ Text → Word64 → t0 → GRuleCall
Documentation
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.
this is the same as the current int64 definition but without zero
nonnegative_interval ∷ Rule Source #
nonnegative_interval = tag 0 [uint, positive_int]
major_protocol_version ∷ Era era ⇒ Rule Source #
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.
multiasset ∷ IsType0 a ⇒ a → GRuleCall Source #
oset ∷ IsType0 t0 ⇒ t0 → GRuleCall Source #
An OSet is a Set that preserves the order of its elements.
nonempty_oset ∷ IsType0 t0 ⇒ t0 → GRuleCall Source #
An NonEmpty OSet is a NonEmpty Set that preserves the order of its elements.