| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Conway.CDDL
Contents
Synopsis
- int64 ∷ Rule
- signature ∷ Rule
- epoch ∷ Rule
- allegraCDDL ∷ Huddle
- auxiliary_scripts ∷ Rule
- coin ∷ Rule
- positive_coin ∷ Rule
- address ∷ Rule
- reward_account ∷ Rule
- addr_keyhash ∷ Rule
- pool_keyhash ∷ Rule
- vrf_keyhash ∷ Rule
- hash28 ∷ Rule
- hash32 ∷ Rule
- hash64 ∷ Rule
- bytes80 ∷ Rule
- vkey ∷ Rule
- vrf_vkey ∷ Rule
- vrf_cert ∷ Rule
- kes_vkey ∷ Rule
- kes_signature ∷ Rule
- signkey_kes ∷ Rule
- big_int ∷ Rule
- min_int64 ∷ Rule
- max_int64 ∷ Rule
- negative_int64 ∷ Rule
- positive_int64 ∷ Rule
- nonzero_int64 ∷ Rule
- positive_int ∷ Rule
- max_word32 ∷ Rule
- positive_word32 ∷ Rule
- unit_interval ∷ Rule
- nonnegative_interval ∷ Rule
- bounded_bytes ∷ Rule
- distinct ∷ IsSizeable s ⇒ Value s → Rule
- untagged_nonempty_set ∷ IsType0 a ⇒ a → GRuleCall
- shelleyCDDL ∷ Huddle
- transaction_index ∷ Rule
- operational_cert ∷ Rule
- major_protocol_version ∷ Era era ⇒ Rule
- transaction_id ∷ Rule
- stake_registration ∷ Named Group
- stake_deregistration ∷ Named Group
- stake_delegation ∷ Named Group
- stake_credential ∷ Rule
- credential ∷ Rule
- port ∷ Rule
- single_host_addr ∷ Named Group
- transaction_metadatum ∷ Rule
- vkeywitness ∷ Rule
- bootstrap_witness ∷ Rule
- genesis_hash ∷ Rule
- script_hash ∷ Rule
- metadata_hash ∷ Rule
- nonce ∷ Rule
- maryCDDL ∷ Huddle
- policy_id ∷ Rule
- asset_name ∷ Rule
- alonzoCDDL ∷ Huddle
- constr ∷ IsType0 x ⇒ x → GRuleCall
- ex_units ∷ Rule
- positive_interval ∷ Rule
- network_id ∷ Rule
- auxiliary_data_hash ∷ Rule
- babbageCDDL ∷ Huddle
- babbage_transaction_output ∷ Rule → Rule
- plutus_data ∷ Rule
- conwayCDDL ∷ Huddle
- potential_languages ∷ 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
- block_no ∷ Rule
- slot_no ∷ Rule
- transaction_input ∷ Rule
- withdrawals ∷ Rule
- mint ∷ Rule
- voting_procedures ∷ Rule
- anchor ∷ Rule
- hard_fork_initiation_action ∷ Named Group
- treasury_withdrawals_action ∷ Named Group
- no_confidence ∷ Named Group
- update_committee ∷ Named Group
- new_constitution ∷ Named Group
- info_action ∷ Rule
- gov_action_id ∷ Rule
- policy_hash ∷ Rule
- shelley_transaction_output ∷ Rule
- epoch_interval ∷ Rule
- ex_unit_prices ∷ Rule
- pool_voting_thresholds ∷ Rule
- drep_voting_thresholds ∷ Rule
- plutus_v1_script ∷ Rule
- plutus_v2_script ∷ Rule
- plutus_v3_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
- shelley_auxiliary_data ∷ Rule
- shelley_ma_auxiliary_data ∷ Rule
- maybe_tagged_set ∷ IsType0 a ⇒ a → GRuleCall
- maybe_tagged_nonempty_set ∷ IsType0 a ⇒ a → GRuleCall
- maybe_tagged_oset ∷ IsType0 a ⇒ a → GRuleCall
- maybe_tagged_nonempty_oset ∷ IsType0 a ⇒ a → 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]
untagged_nonempty_set ∷ IsType0 a ⇒ a → GRuleCall Source #
major_protocol_version ∷ Era era ⇒ Rule Source #
Sets
maybe_tagged_set ∷ IsType0 a ⇒ a → GRuleCall Source #
maybe_tagged_nonempty_set ∷ IsType0 a ⇒ a → GRuleCall Source #
maybe_tagged_oset ∷ IsType0 a ⇒ a → GRuleCall Source #
maybe_tagged_nonempty_oset ∷ IsType0 a ⇒ a → GRuleCall Source #