Documentation

module Test.Cardano.Ledger.Core.Binary.CDDL

set ∷ IsType0 t0 ⇒ t0 → GRuleCall Source #

update ∷ ∀ era. Era era ⇒ Rule Source #

epoch ∷ Rule Source #

header ∷ ∀ era. Era era ⇒ Rule Source #

nonce ∷ Rule Source #

ipv4 ∷ Rule Source #

ipv6 ∷ Rule Source #

shelleyCDDL ∷ Huddle Source #

withdrawals ∷ Rule Source #

block ∷ ∀ era. Era era ⇒ Rule Source #

transaction ∷ ∀ era. Era era ⇒ Rule Source #

transaction_body ∷ ∀ era. Era era ⇒ Rule Source #

transaction_witness_set ∷ Rule Source #

transaction_index ∷ Rule Source #

transaction_metadata ∷ Rule Source #

header_body ∷ ∀ era. Era era ⇒ Rule Source #

operational_cert ∷ Named Group Source #

protocol_version ∷ ∀ era. Era era ⇒ Named Group Source #

major_protocol_version ∷ ∀ era. Era era ⇒ Rule Source #

transaction_input ∷ Rule Source #

transaction_output ∷ Rule Source #

certificate ∷ Rule Source #

metadata_hash ∷ Rule Source #

transaction_id ∷ Rule Source #

stake_registration ∷ Named Group Source #

stake_deregistration ∷ Named Group Source #

stake_delegation ∷ Named Group Source #

pool_registration ∷ Named Group Source #

pool_retirement ∷ Named Group Source #

genesis_key_delegation ∷ Named Group Source #

move_instantaneous_rewards_cert ∷ Named Group Source #

stake_credential ∷ Rule Source #

pool_params ∷ Named Group Source #

genesis_hash ∷ Rule Source #

genesis_delegate_hash ∷ Rule Source #

move_instantaneous_reward ∷ Rule Source #

delta_coin ∷ Rule Source #

credential ∷ Rule Source #

script_hash ∷ Rule Source #

relay ∷ Rule Source #

pool_metadata ∷ Rule Source #

port ∷ Rule Source #

dns_name ∷ Rule Source #

single_host_addr ∷ Named Group Source #

single_host_name ∷ Named Group Source #

multi_host_name ∷ Named Group Source #

url ∷ Rule Source #

proposed_protocol_parameter_updates ∷ ∀ era. Era era ⇒ Rule Source #

protocol_param_update ∷ ∀ era. Era era ⇒ Rule Source #

vkeywitness ∷ Rule Source #

multisig_script ∷ Rule Source #

bootstrap_witness ∷ Rule Source #

transaction_metadatum ∷ Rule Source #

transaction_metadatum_label ∷ Rule Source #

multisig_pubkey ∷ Named Group Source #

multisig_all ∷ Named Group Source #

multisig_any ∷ Named Group Source #

multisig_n_of_k ∷ Named Group Source #

nonempty_set ∷ IsType0 t0 ⇒ t0 → GRuleCall Source #