cardano-ledger-babbage-1.13.0.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Babbage.HuddleSpec

Synopsis

Documentation

class (Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT) ⇒ Era era Source #

Instances

Instances details
Era AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era BabbageEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era ByronEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName ByronEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName ByronEra = "Byron"
type PreviousEra ByronEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type PreviousEra ByronEra = VoidEra
type ProtVerLow ByronEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh ByronEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era ConwayEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName ConwayEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName ConwayEra = "Conway"
type PreviousEra ConwayEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow ConwayEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh ConwayEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era DijkstraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era MaryEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

blockRule ∷ (HuddleRule "header" era, HuddleRule "transaction_body" era, HuddleRule "transaction_witness_set" era, HuddleRule "auxiliary_data" era) ⇒ Proxy era → Rule Source #

transactionRule ∷ (HuddleRule "transaction_body" era, HuddleRule "transaction_witness_set" era, HuddleRule "auxiliary_data" era) ⇒ Proxy era → Rule Source #

auxiliaryScriptsRuleHuddleRule "native_script" era ⇒ Proxy era → Rule Source #

auxiliaryDataArrayRuleHuddleRule "auxiliary_scripts" era ⇒ Proxy era → Rule Source #

auxiliaryDataRuleHuddleRule "auxiliary_data_array" era ⇒ Proxy era → Rule Source #

int64Rule ∷ (HuddleRule "min_int64" era, HuddleRule "max_int64" era) ⇒ Proxy era → Rule Source #

nativeScriptRule ∷ (HuddleGroup "script_pubkey" era, HuddleGroup "script_all" era, HuddleGroup "script_any" era, HuddleGroup "script_n_of_k" era, HuddleGroup "script_invalid_before" era, HuddleGroup "script_invalid_hereafter" era) ⇒ Proxy era → Rule Source #

scriptNOfKGroup ∷ (HuddleRule "int64" era, HuddleRule "native_script" era) ⇒ Proxy era → Named Group Source #

certificateRule ∷ (HuddleGroup "account_registration_cert" era, HuddleGroup "account_unregistration_cert" era, HuddleGroup "delegation_to_stake_pool_cert" era, HuddleGroup "pool_registration_cert" era, HuddleGroup "pool_retirement_cert" era, HuddleGroup "genesis_delegation_cert" era, HuddleGroup "move_instantaneous_rewards_cert" era) ⇒ Proxy era → Rule Source #

genesisDelegationCertGroup ∷ (HuddleRule "genesis_hash" era, HuddleRule "genesis_delegate_hash" era) ⇒ Proxy era → Named Group Source #

genesisHashRuleEra era ⇒ Proxy era → Rule Source #

headerBodyRule ∷ (HuddleGroup "operational_cert" era, HuddleGroup "protocol_version" era) ⇒ Proxy era → Rule Source #

headerRuleHuddleRule "header_body" era ⇒ Proxy era → Rule Source #

moveInstantaneousRewardRuleHuddleRule "delta_coin" era ⇒ Proxy era → Rule Source #

moveInstantaneousRewardsCertGroupHuddleRule "move_instantaneous_reward" era ⇒ Proxy era → Named Group Source #

multiHostNameGroupHuddleRule "dns_name" era ⇒ Proxy era → Named Group Source #

poolMetadataRuleHuddleRule "url" era ⇒ Proxy era → Rule Source #

poolParamsGroup ∷ (HuddleRule "relay" era, HuddleRule "pool_metadata" era) ⇒ Proxy era → Named Group Source #

poolRegistrationCertGroupHuddleGroup "pool_params" era ⇒ Proxy era → Named Group Source #

proposedProtocolParameterUpdatesRule ∷ (HuddleRule "genesis_hash" era, HuddleRule "protocol_param_update" era) ⇒ Proxy era → Rule Source #

protocolParamUpdateRuleHuddleGroup "protocol_version" era ⇒ Proxy era → Rule Source #

relayRule ∷ (HuddleGroup "single_host_addr" era, HuddleGroup "single_host_name" era, HuddleGroup "multi_host_name" era) ⇒ Proxy era → Rule Source #

scriptAllGroupHuddleRule "native_script" era ⇒ Proxy era → Named Group Source #

scriptAnyGroupHuddleRule "native_script" era ⇒ Proxy era → Named Group Source #

singleHostNameGroupHuddleRule "dns_name" era ⇒ Proxy era → Named Group Source #

transactionIdRuleEra era ⇒ Proxy era → Rule Source #

transactionInputRuleHuddleRule "transaction_id" era ⇒ Proxy era → Rule Source #

transactionWitnessSetRule ∷ (HuddleRule "vkeywitness" era, HuddleRule "native_script" era, HuddleRule "bootstrap_witness" era) ⇒ Proxy era → Rule Source #

updateRuleHuddleRule "proposed_protocol_parameter_updates" era ⇒ Proxy era → Rule Source #

vkeywitnessRuleEra era ⇒ Proxy era → Rule Source #

withdrawalsRuleEra era ⇒ Proxy era → Rule Source #

class (KnownSymbol name, Era era) ⇒ HuddleGRule (name ∷ Symbol) era where Source #

Methods

huddleGRuleProxy era → GRuleDef Source #

class (KnownSymbol name, Era era) ⇒ HuddleGroup (name ∷ Symbol) era where Source #

Methods

huddleGroupProxy era → Named Group Source #

Instances

Instances details
HuddleGroup "account_registration_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "account_registration_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "account_registration_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "account_registration_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "account_registration_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "account_unregistration_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "account_unregistration_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "account_unregistration_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "account_unregistration_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "account_unregistration_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "genesis_delegation_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "genesis_delegation_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "genesis_delegation_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "genesis_delegation_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "genesis_delegation_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "multi_host_name" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "multi_host_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "multi_host_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "multi_host_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "multi_host_name" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "operational_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "operational_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "operational_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "operational_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "pool_params" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "pool_params" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "pool_params" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "pool_params" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "pool_params" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "pool_registration_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "pool_registration_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "pool_registration_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "pool_registration_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "pool_registration_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "pool_retirement_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "pool_retirement_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "pool_retirement_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "pool_retirement_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "pool_retirement_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "protocol_version" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "protocol_version" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "protocol_version" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "protocol_version" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_all" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_all" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_all" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_all" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_all" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_any" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_any" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_any" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_any" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_any" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_invalid_before" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_invalid_before" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_invalid_before" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_invalid_before" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_invalid_hereafter" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_invalid_hereafter" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_invalid_hereafter" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_invalid_hereafter" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_n_of_k" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_n_of_k" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_n_of_k" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_n_of_k" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_n_of_k" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_pubkey" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_pubkey" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_pubkey" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_pubkey" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_pubkey" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "single_host_addr" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "single_host_addr" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "single_host_addr" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "single_host_addr" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "single_host_addr" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "single_host_name" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "single_host_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "single_host_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "single_host_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "single_host_name" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

class (KnownSymbol name, Era era) ⇒ HuddleRule (name ∷ Symbol) era where Source #

Methods

huddleRuleProxy era → Rule Source #

Instances

Instances details
Era era ⇒ HuddleRule "addr_keyhash" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "address" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "asset_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "asset_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "asset_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "auxiliary_data" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "auxiliary_data" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_data" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_data" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "auxiliary_data_array" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "auxiliary_data_array" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_data_array" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_data_array" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Era era ⇒ HuddleRule "auxiliary_data_hash" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "auxiliary_data_map" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_data_map" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_scripts" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "auxiliary_scripts" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_scripts" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_scripts" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "big_int" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "big_int" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "big_nint" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "big_nint" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "big_uint" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "big_uint" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "block" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "block" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "block" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "block" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "block" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "block_number" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "bootstrap_witness" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "bootstrap_witness" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "bootstrap_witness" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "bootstrap_witness" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "bootstrap_witness" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "bounded_bytes" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "bounded_bytes" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "certificate" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "certificate" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "certificate" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "certificate" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "certificate" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "coin" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "cost_model" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "cost_models" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "cost_models" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Era era ⇒ HuddleRule "credential" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "data" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "datum_option" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "delta_coin" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "delta_coin" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "delta_coin" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "delta_coin" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "delta_coin" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "distinct_bytes" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "distinct_bytes" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "dns_name" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "dns_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "dns_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "dns_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "dns_name" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "epoch" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "epoch_interval" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "ex_unit_prices" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "ex_unit_prices" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "ex_units" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "ex_units" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "genesis_delegate_hash" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "genesis_delegate_hash" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "genesis_delegate_hash" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "genesis_delegate_hash" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "genesis_delegate_hash" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "genesis_hash" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "genesis_hash" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "genesis_hash" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "genesis_hash" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "genesis_hash" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "hash28" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "hash32" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "header" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "header" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "header" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "header" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "header" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "header_body" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "header_body" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "header_body" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "header_body" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "header_body" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "int64" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "int64" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "int64" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "int64" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Era era ⇒ HuddleRule "ipv4" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "ipv6" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "kes_period" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "kes_signature" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "kes_vkey" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "language" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "language" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "major_protocol_version" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "major_protocol_version" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "major_protocol_version" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "major_protocol_version" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "major_protocol_version" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "max_int64" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "max_int64" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "max_int64" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "max_int64" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Era era ⇒ HuddleRule "max_word32" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "max_word64" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "metadata" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "metadatum" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "metadatum_label" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "min_int64" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "min_int64" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "min_int64" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "min_int64" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "mint" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "mint" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "mint" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "move_instantaneous_reward" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "move_instantaneous_reward" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "move_instantaneous_reward" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "move_instantaneous_reward" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "move_instantaneous_reward" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "native_script" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "native_script" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "native_script" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "native_script" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "native_script" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "network_id" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "network_id" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Era era ⇒ HuddleRule "nonce" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "nonnegative_interval" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "operational_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "plutus_data" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "plutus_data" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "plutus_v1_script" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "plutus_v1_script" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "plutus_v2_script" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "policy_id" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "policy_id" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "policy_id" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Era era ⇒ HuddleRule "pool_keyhash" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "pool_metadata" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "pool_metadata" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "pool_metadata" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "pool_metadata" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "pool_metadata" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "port" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "positive_coin" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "positive_int" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "positive_interval" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "positive_interval" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Era era ⇒ HuddleRule "positive_word32" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "proposed_protocol_parameter_updates" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "protocol_param_update" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "protocol_param_update" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "protocol_param_update" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "protocol_param_update" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "protocol_param_update" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "protocol_version" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "redeemer" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "redeemer" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "redeemer_tag" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "redeemer_tag" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "redeemers" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "redeemers" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "relay" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "relay" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "relay" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "relay" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "relay" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "required_signers" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "required_signers" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Era era ⇒ HuddleRule "reward_account" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "script" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "script_data_hash" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "script_data_hash" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Era era ⇒ HuddleRule "script_hash" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "sequence_number" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "shelley_transaction_output" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Era era ⇒ HuddleRule "signature" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "signkey_kes" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "slot" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "stake_credential" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "transaction" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_body" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_body" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_body" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_body" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_body" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_id" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_id" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_id" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_id" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_id" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "transaction_index" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "transaction_input" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_input" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_input" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_input" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_input" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_output" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_output" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_output" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_output" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_output" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_witness_set" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_witness_set" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_witness_set" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_witness_set" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_witness_set" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "unit_interval" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "update" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "update" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "update" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "update" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "update" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "url" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "url" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "url" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "url" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "url" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "value" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "value" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "value" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Era era ⇒ HuddleRule "vkey" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "vkeywitness" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "vkeywitness" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "vkeywitness" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "vkeywitness" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "vkeywitness" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "vrf_cert" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "vrf_keyhash" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "vrf_vkey" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "withdrawals" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "withdrawals" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "withdrawals" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "withdrawals" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "withdrawals" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

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 #

constrIsType0 a ⇒ a → GRuleCall Source #

multiasset ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era, IsType0 a) ⇒ Proxy era → a → GRuleCall Source #

babbageOperationalCertRuleEra era ⇒ Proxy era → Rule Source #

Babbage changed operational_cert from Named Group to Rule to match actual block serialization. See header_body instance for full explanation. Ref: PR #3762, Issue #3559

babbageProtocolVersionRuleHuddleRule "major_protocol_version" era ⇒ Proxy era → Rule Source #

Babbage changed protocol_version from Named Group to Rule to match actual block serialization. See header_body instance for full explanation. Ref: PR #3762, Issue #3559

babbageTransactionOutput ∷ (HuddleRule "address" era, HuddleRule "value" era, HuddleRule "datum_option" era) ⇒ Proxy era → RuleRule Source #

babbageScript ∷ (HuddleRule "native_script" era, HuddleRule "plutus_v1_script" era, HuddleRule "plutus_v2_script" era) ⇒ Proxy era → Rule Source #

Orphan instances

HuddleGroup "account_registration_cert" BabbageEra Source # 
Instance details

HuddleGroup "account_unregistration_cert" BabbageEra Source # 
Instance details

HuddleGroup "delegation_to_stake_pool_cert" BabbageEra Source # 
Instance details

HuddleGroup "genesis_delegation_cert" BabbageEra Source # 
Instance details

HuddleGroup "move_instantaneous_rewards_cert" BabbageEra Source # 
Instance details

HuddleGroup "multi_host_name" BabbageEra Source # 
Instance details

HuddleGroup "pool_params" BabbageEra Source # 
Instance details

HuddleGroup "pool_registration_cert" BabbageEra Source # 
Instance details

HuddleGroup "pool_retirement_cert" BabbageEra Source # 
Instance details

HuddleGroup "script_all" BabbageEra Source # 
Instance details

HuddleGroup "script_any" BabbageEra Source # 
Instance details

HuddleGroup "script_invalid_before" BabbageEra Source # 
Instance details

HuddleGroup "script_invalid_hereafter" BabbageEra Source # 
Instance details

HuddleGroup "script_n_of_k" BabbageEra Source # 
Instance details

HuddleGroup "script_pubkey" BabbageEra Source # 
Instance details

HuddleGroup "single_host_addr" BabbageEra Source # 
Instance details

HuddleGroup "single_host_name" BabbageEra Source # 
Instance details

HuddleRule "asset_name" BabbageEra Source # 
Instance details

HuddleRule "auxiliary_data" BabbageEra Source # 
Instance details

HuddleRule "auxiliary_data_array" BabbageEra Source # 
Instance details

HuddleRule "auxiliary_data_map" BabbageEra Source # 
Instance details

HuddleRule "auxiliary_scripts" BabbageEra Source # 
Instance details

HuddleRule "big_int" BabbageEra Source # 
Instance details

HuddleRule "big_nint" BabbageEra Source # 
Instance details

HuddleRule "big_uint" BabbageEra Source # 
Instance details

HuddleRule "block" BabbageEra Source # 
Instance details

HuddleRule "bootstrap_witness" BabbageEra Source # 
Instance details

HuddleRule "bounded_bytes" BabbageEra Source # 
Instance details

HuddleRule "certificate" BabbageEra Source # 
Instance details

HuddleRule "cost_models" BabbageEra Source # 
Instance details

HuddleRule "data" BabbageEra Source # 
Instance details

HuddleRule "datum_option" BabbageEra Source # 
Instance details

HuddleRule "delta_coin" BabbageEra Source # 
Instance details

HuddleRule "distinct_bytes" BabbageEra Source # 
Instance details

HuddleRule "dns_name" BabbageEra Source # 
Instance details

HuddleRule "ex_unit_prices" BabbageEra Source # 
Instance details

HuddleRule "ex_units" BabbageEra Source # 
Instance details

HuddleRule "genesis_delegate_hash" BabbageEra Source # 
Instance details

HuddleRule "genesis_hash" BabbageEra Source # 
Instance details

HuddleRule "header" BabbageEra Source # 
Instance details

HuddleRule "header_body" BabbageEra Source # 
Instance details

HuddleRule "int64" BabbageEra Source # 
Instance details

HuddleRule "language" BabbageEra Source # 
Instance details

HuddleRule "major_protocol_version" BabbageEra Source # 
Instance details

HuddleRule "max_int64" BabbageEra Source # 
Instance details

HuddleRule "min_int64" BabbageEra Source # 
Instance details

HuddleRule "mint" BabbageEra Source # 
Instance details

HuddleRule "move_instantaneous_reward" BabbageEra Source # 
Instance details

HuddleRule "native_script" BabbageEra Source # 
Instance details

HuddleRule "network_id" BabbageEra Source # 
Instance details

HuddleRule "operational_cert" BabbageEra Source # 
Instance details

HuddleRule "plutus_data" BabbageEra Source # 
Instance details

HuddleRule "plutus_v1_script" BabbageEra Source # 
Instance details

HuddleRule "plutus_v2_script" BabbageEra Source # 
Instance details

HuddleRule "policy_id" BabbageEra Source # 
Instance details

HuddleRule "pool_metadata" BabbageEra Source # 
Instance details

HuddleRule "positive_interval" BabbageEra Source # 
Instance details

HuddleRule "proposed_protocol_parameter_updates" BabbageEra Source # 
Instance details

HuddleRule "protocol_param_update" BabbageEra Source # 
Instance details

HuddleRule "protocol_version" BabbageEra Source # 
Instance details

HuddleRule "redeemer" BabbageEra Source # 
Instance details

HuddleRule "redeemer_tag" BabbageEra Source # 
Instance details

HuddleRule "redeemers" BabbageEra Source # 
Instance details

HuddleRule "relay" BabbageEra Source # 
Instance details

HuddleRule "required_signers" BabbageEra Source # 
Instance details

HuddleRule "script" BabbageEra Source # 
Instance details

HuddleRule "script_data_hash" BabbageEra Source # 
Instance details

HuddleRule "shelley_transaction_output" BabbageEra Source # 
Instance details

HuddleRule "transaction" BabbageEra Source # 
Instance details

HuddleRule "transaction_body" BabbageEra Source # 
Instance details

HuddleRule "transaction_id" BabbageEra Source # 
Instance details

HuddleRule "transaction_input" BabbageEra Source # 
Instance details

HuddleRule "transaction_output" BabbageEra Source # 
Instance details

HuddleRule "transaction_witness_set" BabbageEra Source # 
Instance details

HuddleRule "update" BabbageEra Source # 
Instance details

HuddleRule "url" BabbageEra Source # 
Instance details

HuddleRule "value" BabbageEra Source # 
Instance details

HuddleRule "vkeywitness" BabbageEra Source # 
Instance details

HuddleRule "withdrawals" BabbageEra Source # 
Instance details