| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Mary.CDDL
Contents
Synopsis
- int64 ∷ Rule
- update ∷ Era era ⇒ Rule
- signature ∷ Rule
- slot ∷ Rule
- epoch ∷ Rule
- allegraCDDL ∷ Huddle
- nonzero_int64 ∷ Rule
- allegra_native_script ∷ Rule
- auxiliary_data_array ∷ Rule
- auxiliary_data ∷ Rule
- transaction_witness_set ∷ Rule
- addr_keyhash ∷ Rule
- address ∷ Rule
- auxiliary_data_hash ∷ Rule
- block_number ∷ Rule
- coin ∷ Rule
- credential ∷ Rule
- distinct ∷ IsSizeable s ⇒ Value s → Rule
- dns_name64 ∷ Rule
- epoch_interval ∷ Rule
- hash28 ∷ Rule
- hash32 ∷ Rule
- ipv4 ∷ Rule
- ipv6 ∷ Rule
- kes_period ∷ Rule
- kes_signature ∷ Rule
- kes_vkey ∷ Rule
- max_word32 ∷ Rule
- metadata ∷ Rule
- metadatum ∷ Rule
- metadatum_label ∷ Rule
- mkPoolRules ∷ Rule → Rule → (Named Group, Named Group, [HuddleItem])
- mkScriptAll ∷ IsType0 script ⇒ script → Named Group
- mkScriptAny ∷ IsType0 script ⇒ script → Named Group
- mkScriptInvalidBefore ∷ Named Group
- mkScriptInvalidHereafter ∷ Named Group
- mkScriptNOfK ∷ (IsType0 threshold, IsType0 script) ⇒ threshold → script → Named Group
- mkScriptPubkey ∷ Named Group
- nonce ∷ Rule
- nonnegative_interval ∷ Rule
- pool_keyhash ∷ Rule
- port ∷ Rule
- positive_coin ∷ Rule
- positive_int ∷ Rule
- positive_word32 ∷ Rule
- reward_account ∷ Rule
- script_hash ∷ Rule
- sequence_number ∷ Rule
- signkey_kes ∷ Rule
- single_host_addr ∷ Named Group
- stake_credential ∷ Rule
- transaction_index ∷ Rule
- unit_interval ∷ Rule
- untagged_nonempty_set ∷ IsType0 a ⇒ a → GRuleCall
- untagged_set ∷ IsType0 a ⇒ a → GRuleCall
- url64 ∷ Rule
- vkey ∷ Rule
- vrf_cert ∷ Rule
- vrf_keyhash ∷ Rule
- vrf_vkey ∷ Rule
- account_registration_cert ∷ Named Group
- account_unregistration_cert ∷ Named Group
- bootstrap_witness ∷ Rule
- certificate ∷ Rule
- delegation_to_stake_pool_cert ∷ Named Group
- genesis_hash ∷ Rule
- header ∷ Era era ⇒ Rule
- major_protocol_version ∷ Era era ⇒ Rule
- operational_cert ∷ Named Group
- protocol_version ∷ Era era ⇒ Named Group
- shelleyCDDL ∷ Huddle
- transaction_id ∷ Rule
- transaction_input ∷ Rule
- vkeywitness ∷ Rule
- withdrawals ∷ Rule
- maryCDDL ∷ Huddle
- value ∷ Rule
- multiasset ∷ IsType0 a ⇒ a → GRuleCall
- policy_id ∷ Rule
- asset_name ∷ Rule
- mint ∷ Rule
Documentation
auxiliary_data ∷ Rule Source #
Adds auxiliary_data_array format for batching native scripts with metadata.
transaction_witness_set ∷ Rule Source #
Uses allegra_native_script with timelock support (invalid_before/hereafter).
mkPoolRules ∷ Rule → Rule → (Named Group, Named Group, [HuddleItem]) Source #
Generate pool-related definitions with protocol-version-specific dns_name and url sizes.
nonnegative_interval ∷ Rule Source #
nonnegative_interval = tag 0 [uint, positive_int]
untagged_nonempty_set ∷ IsType0 a ⇒ a → GRuleCall Source #
untagged_set ∷ IsType0 a ⇒ a → GRuleCall Source #
major_protocol_version ∷ Era era ⇒ Rule Source #
Multi-asset support
multiasset ∷ IsType0 a ⇒ a → GRuleCall Source #