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

Cardano.Ledger.Alonzo.HuddleSpec

Documentation

constrIsType0 a ⇒ a → GRuleCall Source #

bigUintRuleHuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

bigNintRuleHuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

bigIntRuleHuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

scriptDataHashRuleEra era ⇒ Proxy era → Rule Source #

plutusV1ScriptRuleHuddleRule "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

HuddleGroup "account_unregistration_cert" AlonzoEra Source # 
Instance details

HuddleGroup "delegation_to_stake_pool_cert" AlonzoEra Source # 
Instance details

HuddleGroup "genesis_delegation_cert" AlonzoEra Source # 
Instance details

HuddleGroup "move_instantaneous_rewards_cert" AlonzoEra Source # 
Instance details

HuddleGroup "multi_host_name" AlonzoEra Source # 
Instance details

HuddleGroup "operational_cert" AlonzoEra Source # 
Instance details

HuddleGroup "pool_params" AlonzoEra Source # 
Instance details

HuddleGroup "pool_registration_cert" AlonzoEra Source # 
Instance details

HuddleGroup "pool_retirement_cert" AlonzoEra Source # 
Instance details

HuddleGroup "protocol_version" AlonzoEra Source # 
Instance details

HuddleGroup "script_all" AlonzoEra Source # 
Instance details

HuddleGroup "script_any" AlonzoEra Source # 
Instance details

HuddleGroup "script_invalid_before" AlonzoEra Source # 
Instance details

HuddleGroup "script_invalid_hereafter" AlonzoEra Source # 
Instance details

HuddleGroup "script_n_of_k" AlonzoEra Source # 
Instance details

HuddleGroup "script_pubkey" AlonzoEra Source # 
Instance details

HuddleGroup "single_host_addr" AlonzoEra Source # 
Instance details

HuddleGroup "single_host_name" AlonzoEra Source # 
Instance details

HuddleRule "asset_name" AlonzoEra Source # 
Instance details

HuddleRule "auxiliary_data" AlonzoEra Source # 
Instance details

HuddleRule "auxiliary_data_array" AlonzoEra Source # 
Instance details

HuddleRule "auxiliary_data_map" AlonzoEra Source # 
Instance details

HuddleRule "auxiliary_scripts" AlonzoEra Source # 
Instance details

HuddleRule "big_int" AlonzoEra Source # 
Instance details

HuddleRule "big_nint" AlonzoEra Source # 
Instance details

HuddleRule "big_uint" AlonzoEra Source # 
Instance details

HuddleRule "block" AlonzoEra Source # 
Instance details

HuddleRule "bootstrap_witness" AlonzoEra Source # 
Instance details

HuddleRule "bounded_bytes" AlonzoEra Source # 
Instance details

HuddleRule "certificate" AlonzoEra Source # 
Instance details

HuddleRule "cost_model" AlonzoEra Source # 
Instance details

HuddleRule "cost_models" AlonzoEra Source # 
Instance details

HuddleRule "delta_coin" AlonzoEra Source # 
Instance details

HuddleRule "distinct_bytes" AlonzoEra Source # 
Instance details

HuddleRule "dns_name" AlonzoEra Source # 
Instance details

HuddleRule "ex_unit_prices" AlonzoEra Source # 
Instance details

HuddleRule "ex_units" AlonzoEra Source # 
Instance details

HuddleRule "genesis_delegate_hash" AlonzoEra Source # 
Instance details

HuddleRule "genesis_hash" AlonzoEra Source # 
Instance details

HuddleRule "header" AlonzoEra Source # 
Instance details

HuddleRule "header_body" AlonzoEra Source # 
Instance details

HuddleRule "int64" AlonzoEra Source # 
Instance details

HuddleRule "language" AlonzoEra Source # 
Instance details

HuddleRule "major_protocol_version" AlonzoEra Source # 
Instance details

HuddleRule "max_int64" AlonzoEra Source # 
Instance details

HuddleRule "min_int64" AlonzoEra Source # 
Instance details

HuddleRule "mint" AlonzoEra Source # 
Instance details

HuddleRule "move_instantaneous_reward" AlonzoEra Source # 
Instance details

HuddleRule "native_script" AlonzoEra Source # 
Instance details

HuddleRule "network_id" AlonzoEra Source # 
Instance details

HuddleRule "plutus_data" AlonzoEra Source # 
Instance details

HuddleRule "plutus_v1_script" AlonzoEra Source # 
Instance details

HuddleRule "policy_id" AlonzoEra Source # 
Instance details

HuddleRule "pool_metadata" AlonzoEra Source # 
Instance details

HuddleRule "positive_interval" AlonzoEra Source # 
Instance details

HuddleRule "proposed_protocol_parameter_updates" AlonzoEra Source # 
Instance details

HuddleRule "protocol_param_update" AlonzoEra Source # 
Instance details

HuddleRule "redeemer" AlonzoEra Source # 
Instance details

HuddleRule "redeemer_tag" AlonzoEra Source # 
Instance details

HuddleRule "redeemers" AlonzoEra Source # 
Instance details

HuddleRule "relay" AlonzoEra Source # 
Instance details

HuddleRule "required_signers" AlonzoEra Source # 
Instance details

HuddleRule "script_data_hash" AlonzoEra Source # 
Instance details

HuddleRule "transaction" AlonzoEra Source # 
Instance details

HuddleRule "transaction_body" AlonzoEra Source # 
Instance details

HuddleRule "transaction_id" AlonzoEra Source # 
Instance details

HuddleRule "transaction_input" AlonzoEra Source # 
Instance details

HuddleRule "transaction_output" AlonzoEra Source # 
Instance details

HuddleRule "transaction_witness_set" AlonzoEra Source # 
Instance details

HuddleRule "update" AlonzoEra Source # 
Instance details

HuddleRule "url" AlonzoEra Source # 
Instance details

HuddleRule "value" AlonzoEra Source # 
Instance details

HuddleRule "vkeywitness" AlonzoEra Source # 
Instance details

HuddleRule "withdrawals" AlonzoEra Source # 
Instance details