cardano-ledger-alonzo-1.15.0.0: Cardano ledger introducing Plutus Core
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Alonzo.HuddleSpec

Documentation

module Cardano.Ledger.Mary.HuddleSpec

alonzoCDDL ∷ Huddle Source #

constr ∷ IsType0 a ⇒ a → GRuleCall Source #

exUnitsRule ∷ Rule Source #

networkIdRule ∷ Rule Source #

positiveIntervalRule ∷ Era era ⇒ Proxy era → Rule Source #

bigUintRule ∷ HuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

bigNintRule ∷ HuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

bigIntRule ∷ HuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

scriptDataHashRule ∷ Era era ⇒ Proxy era → Rule Source #

boundedBytesRule ∷ Rule Source #

distinctBytesRule ∷ Rule Source #

plutusV1ScriptRule ∷ HuddleRule "distinct_bytes" era ⇒ Proxy era → Rule Source #

plutusDataRule ∷ (HuddleRule "plutus_data" era, HuddleRule "bounded_bytes" era, HuddleRule "big_int" era) ⇒ Proxy era → Rule Source #

Orphan instances

HuddleGroup "account_registration_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "account_unregistration_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "delegation_to_stake_pool_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "genesis_delegation_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "move_instantaneous_rewards_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "multi_host_name" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "operational_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "pool_params" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "pool_registration_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "pool_retirement_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "protocol_version" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "script_all" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "script_any" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "script_invalid_before" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "script_invalid_hereafter" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "script_n_of_k" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "script_pubkey" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "single_host_addr" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleGroup "single_host_name" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → Named Group Source #

HuddleRule "asset_name" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data_array" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data_map" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_scripts" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "big_int" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "big_nint" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "big_uint" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "block" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "bootstrap_witness" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "bounded_bytes" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "certificate" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "cost_model" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "cost_models" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "delta_coin" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "distinct_bytes" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "dns_name" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "ex_unit_prices" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "ex_units" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "genesis_delegate_hash" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "genesis_hash" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "header" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "header_body" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "int64" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "language" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "major_protocol_version" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "max_int64" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "min_int64" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "mint" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "move_instantaneous_reward" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "native_script" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "network_id" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "plutus_data" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "plutus_v1_script" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "policy_id" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "pool_metadata" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "positive_interval" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "proposed_protocol_parameter_updates" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "protocol_param_update" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "redeemer" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "redeemer_tag" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "redeemers" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "relay" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "required_signers" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "script_data_hash" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_body" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_id" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_input" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_output" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_witness_set" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "update" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "url" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "value" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "vkeywitness" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "withdrawals" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #