| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Alonzo.CDDL
Synopsis
- auxiliary_scripts ∷ Rule
- metadata ∷ Rule
- invalid_hereafter ∷ Named Group
- invalid_before ∷ Named Group
- script_any ∷ Named Group
- script_all ∷ Named Group
- script_pubkey ∷ Named Group
- allegraCDDL ∷ Huddle
- shelleyCDDL ∷ Huddle
- transaction_index ∷ Rule
- operational_cert ∷ Named Group
- transaction_input ∷ Rule
- certificate ∷ 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
- single_host_name ∷ Named Group
- multi_host_name ∷ Named Group
- relay ∷ Rule
- pool_metadata ∷ Rule
- url ∷ Rule
- withdrawals ∷ Rule
- transaction_metadatum ∷ Rule
- transaction_metadatum_label ∷ 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
- set ∷ IsType0 t0 ⇒ t0 → GRuleCall
- nonempty_set ∷ IsType0 t0 ⇒ t0 → GRuleCall
- 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
- asset_name ∷ Rule
- policy_id ∷ Rule
- maryCDDL ∷ Huddle
- alonzoCDDL ∷ Huddle
- block ∷ Rule
- transaction ∷ Rule
- next_major_protocol_version ∷ Integer
- major_protocol_version ∷ Rule
- protocol_version ∷ Named Group
- transaction_body ∷ Rule
- required_signers ∷ Rule
- transaction_output ∷ Rule
- script_data_hash ∷ Rule
- certificates ∷ Rule
- protocol_param_update ∷ Rule
- proposed_protocol_parameter_updates ∷ Rule
- update ∷ Rule
- transaction_witness_set ∷ Rule
- redeemers ∷ Rule
- plutus_script ∷ Rule
- plutus_data ∷ Rule
- constr ∷ IsType0 x ⇒ x → GRuleCall
- redeemer ∷ Rule
- redeemer_tag ∷ Rule
- ex_units ∷ Rule
- ex_unit_prices ∷ Rule
- language ∷ Rule
- cost_models ∷ Rule
- cost_model ∷ Rule
- auxiliary_data ∷ Rule
- header ∷ Rule
- header_body ∷ Rule
- native_script ∷ Rule
- script_n_of_k ∷ Named Group
- positive_interval ∷ Rule
- network_id ∷ Rule
- auxiliary_data_hash ∷ Rule
- multiasset ∷ IsType0 a ⇒ a → GRuleCall
- mint ∷ Rule
- value ∷ Rule
Documentation
nonempty_set ∷ IsType0 t0 ⇒ t0 → GRuleCall Source #
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 #