Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Conway.HuddleSpec

Contents

Orphan instances

Synopsis

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
allegraCDDL ∷ Huddle
blockRule ∷ (HuddleRule "header" era, HuddleRule "transaction_body" era, HuddleRule "transaction_witness_set" era, HuddleRule "auxiliary_data" era) ⇒ Proxy era → Rule
transactionRule ∷ (HuddleRule "transaction_body" era, HuddleRule "transaction_witness_set" era, HuddleRule "auxiliary_data" era) ⇒ Proxy era → Rule
auxiliaryScriptsRule ∷ HuddleRule "native_script" era ⇒ Proxy era → Rule
auxiliaryDataArrayRule ∷ HuddleRule "auxiliary_scripts" era ⇒ Proxy era → Rule
auxiliaryDataRule ∷ HuddleRule "auxiliary_data_array" era ⇒ Proxy era → Rule
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
scriptNOfKGroup ∷ HuddleRule "native_script" era ⇒ Proxy era → Named Group
scriptInvalidBeforeGroup ∷ Era era ⇒ Proxy era → Named Group
scriptInvalidHereafterGroup ∷ Era era ⇒ Proxy era → Named Group
majorProtocolVersionRule ∷ Era era ⇒ Proxy era → Rule
accountRegistrationCertGroup ∷ Era era ⇒ Proxy era → Named Group
accountUnregistrationCertGroup ∷ Era era ⇒ Proxy era → Named Group
bootstrapWitnessRule ∷ Era era ⇒ Proxy era → Rule
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
delegationToStakePoolCertGroup ∷ Era era ⇒ Proxy era → Named Group
deltaCoinRule ∷ Rule
genesisDelegateHashRule ∷ Era era ⇒ Proxy era → Rule
genesisDelegationCertGroup ∷ (HuddleRule "genesis_hash" era, HuddleRule "genesis_delegate_hash" era) ⇒ Proxy era → Named Group
genesisHashRule ∷ Era era ⇒ Proxy era → Rule
headerBodyRule ∷ (HuddleGroup "operational_cert" era, HuddleGroup "protocol_version" era) ⇒ Proxy era → Rule
headerRule ∷ HuddleRule "header_body" era ⇒ Proxy era → Rule
moveInstantaneousRewardRule ∷ HuddleRule "delta_coin" era ⇒ Proxy era → Rule
moveInstantaneousRewardsCertGroup ∷ HuddleRule "move_instantaneous_reward" era ⇒ Proxy era → Named Group
multiHostNameGroup ∷ HuddleRule "dns_name" era ⇒ Proxy era → Named Group
poolMetadataRule ∷ HuddleRule "url" era ⇒ Proxy era → Rule
poolParamsGroup ∷ (HuddleRule "relay" era, HuddleRule "pool_metadata" era) ⇒ Proxy era → Named Group
poolRegistrationCertGroup ∷ HuddleGroup "pool_params" era ⇒ Proxy era → Named Group
poolRetirementCertGroup ∷ Era era ⇒ Proxy era → Named Group
proposedProtocolParameterUpdatesRule ∷ (HuddleRule "genesis_hash" era, HuddleRule "protocol_param_update" era) ⇒ Proxy era → Rule
protocolParamUpdateRule ∷ HuddleGroup "protocol_version" era ⇒ Proxy era → Rule
relayRule ∷ (HuddleGroup "single_host_addr" era, HuddleGroup "single_host_name" era, HuddleGroup "multi_host_name" era) ⇒ Proxy era → Rule
scriptAllGroup ∷ HuddleRule "native_script" era ⇒ Proxy era → Named Group
scriptAnyGroup ∷ HuddleRule "native_script" era ⇒ Proxy era → Named Group
scriptPubkeyGroup ∷ Era era ⇒ Proxy era → Named Group
shelleyCDDL ∷ Huddle
singleHostAddrGroup ∷ Era era ⇒ Proxy era → Named Group
singleHostNameGroup ∷ HuddleRule "dns_name" era ⇒ Proxy era → Named Group
transactionIdRule ∷ Era era ⇒ Proxy era → Rule
transactionInputRule ∷ HuddleRule "transaction_id" era ⇒ Proxy era → Rule
transactionOutputRule ∷ Era era ⇒ Proxy era → Rule
transactionWitnessSetRule ∷ (HuddleRule "vkeywitness" era, HuddleRule "native_script" era, HuddleRule "bootstrap_witness" era) ⇒ Proxy era → Rule
untaggedSet ∷ IsType0 a ⇒ a → GRuleCall
updateRule ∷ HuddleRule "proposed_protocol_parameter_updates" era ⇒ Proxy era → Rule
vkeywitnessRule ∷ Era era ⇒ Proxy era → Rule
class (KnownSymbol name, Era era) ⇒ HuddleGRule (name ∷ Symbol) era where
- huddleGRule ∷ Proxy era → GRuleDef
class (KnownSymbol name, Era era) ⇒ HuddleGroup (name ∷ Symbol) era where
- huddleGroup ∷ Proxy era → Named Group
class (KnownSymbol name, Era era) ⇒ HuddleRule (name ∷ Symbol) era where
- huddleRule ∷ Proxy era → Rule
alonzoCDDL ∷ Huddle
exUnitsRule ∷ Rule
networkIdRule ∷ Rule
positiveIntervalRule ∷ Era era ⇒ Proxy era → Rule
bigUintRule ∷ HuddleRule "bounded_bytes" era ⇒ Proxy era → Rule
bigNintRule ∷ HuddleRule "bounded_bytes" era ⇒ Proxy era → Rule
bigIntRule ∷ HuddleRule "bounded_bytes" era ⇒ Proxy era → Rule
scriptDataHashRule ∷ Era era ⇒ Proxy era → Rule
boundedBytesRule ∷ Rule
distinctBytesRule ∷ Rule
exUnitPricesRule ∷ HuddleRule "positive_interval" era ⇒ Proxy era → Rule
requiredSignersRule ∷ HuddleRule "addr_keyhash" era ⇒ Proxy era → Rule
constr ∷ IsType0 a ⇒ a → GRuleCall
assetNameRule ∷ Proxy era → Rule
maryCDDL ∷ Huddle
babbageCDDL ∷ Huddle
babbageProtocolVersionRule ∷ HuddleRule "major_protocol_version" era ⇒ Proxy era → Rule
babbageOperationalCertRule ∷ Era era ⇒ Proxy era → Rule
alonzoTransactionOutputRule ∷ (HuddleRule "address" era, HuddleRule "value" era, HuddleRule "hash32" era) ⇒ Proxy era → Rule
dataRule ∷ HuddleRule "plutus_data" era ⇒ Proxy era → Rule
datumOptionRule ∷ (HuddleRule "hash32" era, HuddleRule "data" era) ⇒ Proxy era → Rule
babbageTransactionOutput ∷ (HuddleRule "address" era, HuddleRule "value" era, HuddleRule "datum_option" era) ⇒ Proxy era → Rule → Rule
babbageScript ∷ (HuddleRule "native_script" era, HuddleRule "plutus_v1_script" era, HuddleRule "plutus_v2_script" era) ⇒ Proxy era → Rule
conwayCDDL ∷ Huddle
conwayMultiasset ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era, IsType0 a) ⇒ Proxy era → a → GRuleCall
conwayValueRule ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era, HuddleRule "positive_coin" era) ⇒ Proxy era → Rule
conwayMintRule ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era, HuddleRule "nonzero_int64" era) ⇒ Proxy era → Rule
conwayWithdrawalsRule ∷ Era era ⇒ Proxy era → Rule
conwayRedeemer ∷ (HuddleRule "redeemer_tag" era, HuddleRule "plutus_data" era, HuddleRule "ex_units" era) ⇒ Proxy era → Rule
conwayRedeemerTag ∷ Rule
anchorRule ∷ (HuddleRule "url" era, HuddleRule "hash32" era) ⇒ Proxy era → Rule
drepRule ∷ (HuddleRule "addr_keyhash" era, HuddleRule "script_hash" era) ⇒ Proxy era → Rule
voterRule ∷ (HuddleRule "addr_keyhash" era, HuddleRule "script_hash" era) ⇒ Proxy era → Rule
dnsNameRule ∷ Proxy era → Rule
urlRule ∷ Proxy era → Rule
voteRule ∷ Proxy era → Rule
drepCredentialRule ∷ HuddleRule "credential" era ⇒ Proxy era → Rule
committeeHotCredentialRule ∷ HuddleRule "credential" era ⇒ Proxy era → Rule
committeeColdCredentialRule ∷ HuddleRule "credential" era ⇒ Proxy era → Rule
accountRegistrationDepositCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group
accountUnregistrationDepositCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group
delegationToDrepCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "drep" era) ⇒ Proxy era → Named Group
delegationToStakePoolAndDrepCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "pool_keyhash" era, HuddleRule "drep" era) ⇒ Proxy era → Named Group
accountRegistrationDelegationToStakePoolCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "pool_keyhash" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group
accountRegistrationDelegationToDrepCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "drep" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group
accountRegistrationDelegationToStakePoolAndDrepCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "pool_keyhash" era, HuddleRule "drep" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group
committeeAuthorizationCertGroup ∷ (HuddleRule "committee_cold_credential" era, HuddleRule "committee_hot_credential" era) ⇒ Proxy era → Named Group
committeeResignationCertGroup ∷ (HuddleRule "committee_cold_credential" era, HuddleRule "anchor" era) ⇒ Proxy era → Named Group
drepRegistrationCertGroup ∷ (HuddleRule "drep_credential" era, HuddleRule "coin" era, HuddleRule "anchor" era) ⇒ Proxy era → Named Group
drepUnregistrationCertGroup ∷ (HuddleRule "drep_credential" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group
drepUpdateCertGroup ∷ (HuddleRule "drep_credential" era, HuddleRule "anchor" era) ⇒ Proxy era → Named Group
votingProcedureRule ∷ (HuddleRule "vote" era, HuddleRule "anchor" era) ⇒ Proxy era → Rule
votingProceduresRule ∷ (HuddleRule "voter" era, HuddleRule "gov_action_id" era, HuddleRule "voting_procedure" era) ⇒ Proxy era → Rule
constitutionRule ∷ (HuddleRule "anchor" era, HuddleRule "script_hash" era) ⇒ Proxy era → Rule
parameterChangeActionGroup ∷ (HuddleRule "gov_action_id" era, HuddleRule "protocol_param_update" era, HuddleRule "policy_hash" era) ⇒ Proxy era → Named Group
hardForkInitiationActionGroup ∷ (HuddleRule "gov_action_id" era, HuddleRule "protocol_version" era) ⇒ Proxy era → Named Group
treasuryWithdrawalsActionGroup ∷ (HuddleRule "reward_account" era, HuddleRule "coin" era, HuddleRule "policy_hash" era) ⇒ Proxy era → Named Group
noConfidenceGroup ∷ HuddleRule "gov_action_id" era ⇒ Proxy era → Named Group
updateCommitteeGroup ∷ (HuddleRule "gov_action_id" era, HuddleRule "committee_cold_credential" era, HuddleRule "epoch" era, HuddleRule "unit_interval" era) ⇒ Proxy era → Named Group
newConstitutionGroup ∷ (HuddleRule "gov_action_id" era, HuddleRule "constitution" era) ⇒ Proxy era → Named Group
infoActionRule ∷ Rule
govActionRule ∷ (HuddleGroup "parameter_change_action" era, HuddleGroup "hard_fork_initiation_action" era, HuddleGroup "treasury_withdrawals_action" era, HuddleGroup "no_confidence" era, HuddleGroup "update_committee" era, HuddleGroup "new_constitution" era, HuddleRule "info_action" era) ⇒ Proxy era → Rule
proposalProcedureRule ∷ (HuddleRule "coin" era, HuddleRule "reward_account" era, HuddleRule "gov_action" era, HuddleRule "anchor" era) ⇒ Proxy era → Rule
proposalProceduresRule ∷ HuddleRule "proposal_procedure" era ⇒ Proxy era → Rule
poolVotingThresholdsRule ∷ HuddleRule "unit_interval" era ⇒ Proxy era → Rule
drepVotingThresholdsRule ∷ HuddleRule "unit_interval" era ⇒ Proxy era → Rule
maybeTaggedSet ∷ IsType0 a ⇒ a → GRuleCall
maybeTaggedNonemptySet ∷ IsType0 a ⇒ a → GRuleCall
maybeTaggedNonemptyOset ∷ IsType0 a ⇒ a → GRuleCall
policyHashRule ∷ HuddleRule "script_hash" era ⇒ Proxy era → Rule
potentialLanguagesRule ∷ Proxy era → Rule
conwayCertificateRule ∷ (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 "account_registration_deposit_cert" era, HuddleGroup "account_unregistration_deposit_cert" era, HuddleGroup "delegation_to_drep_cert" era, HuddleGroup "delegation_to_stake_pool_and_drep_cert" era, HuddleGroup "account_registration_delegation_to_stake_pool_cert" era, HuddleGroup "account_registration_delegation_to_drep_cert" era, HuddleGroup "account_registration_delegation_to_stake_pool_and_drep_cert" era, HuddleGroup "committee_authorization_cert" era, HuddleGroup "committee_resignation_cert" era, HuddleGroup "drep_registration_cert" era, HuddleGroup "drep_unregistration_cert" era, HuddleGroup "drep_update_cert" era) ⇒ Proxy era → Rule
certificatesRule ∷ HuddleRule "certificate" era ⇒ Proxy era → Rule

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

Associated Types

type EraName AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AllegraEra = "Allegra"
type PreviousEra AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AllegraEra = ShelleyEra
type ProtVerLow AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AllegraEra = 3
type ProtVerHigh AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AllegraEra = ProtVerLow AllegraEra

Methods

eraName ∷ String 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 PreviousEra AlonzoEra = MaryEra
type ProtVerLow AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AlonzoEra = 5
type ProtVerHigh AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AlonzoEra = 6

Methods

eraName ∷ String Source #

Era BabbageEra

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName BabbageEra = "Babbage"
type PreviousEra BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra BabbageEra = AlonzoEra
type ProtVerLow BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow BabbageEra = 7
type ProtVerHigh BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh BabbageEra = 8

Methods

eraName ∷ String 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 ProtVerLow ByronEra = 0
type ProtVerHigh ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ByronEra = 1

Methods

eraName ∷ String 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 PreviousEra ConwayEra = BabbageEra
type ProtVerLow ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ConwayEra = 9
type ProtVerHigh ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ConwayEra = 11

Methods

eraName ∷ String Source #

Era DijkstraEra

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName DijkstraEra = "Dijkstra"
type PreviousEra DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra DijkstraEra = ConwayEra
type ProtVerLow DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow DijkstraEra = 12
type ProtVerHigh DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh DijkstraEra = 12

Methods

eraName ∷ String Source #

Era MaryEra

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName MaryEra = "Mary"
type PreviousEra MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra MaryEra = AllegraEra
type ProtVerLow MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow MaryEra = 4
type ProtVerHigh MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra

Methods

eraName ∷ String Source #

Era ShelleyEra

Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ShelleyEra = "Shelley"
type PreviousEra ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ShelleyEra = ByronEra
type ProtVerLow ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ShelleyEra = 2
type ProtVerHigh ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

Methods

eraName ∷ String Source #

allegraCDDL ∷ Huddle 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 #

auxiliaryScriptsRule ∷ HuddleRule "native_script" era ⇒ Proxy era → Rule Source #

auxiliaryDataArrayRule ∷ HuddleRule "auxiliary_scripts" era ⇒ Proxy era → Rule Source #

auxiliaryDataRule ∷ HuddleRule "auxiliary_data_array" 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 "native_script" era ⇒ Proxy era → Named Group Source #

scriptInvalidBeforeGroup ∷ Era era ⇒ Proxy era → Named Group Source #

scriptInvalidHereafterGroup ∷ Era era ⇒ Proxy era → Named Group Source #

majorProtocolVersionRule ∷ Era era ⇒ Proxy era → Rule Source #

accountRegistrationCertGroup ∷ Era era ⇒ Proxy era → Named Group Source #

accountUnregistrationCertGroup ∷ Era era ⇒ Proxy era → Named Group Source #

bootstrapWitnessRule ∷ Era era ⇒ Proxy era → Rule 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 #

delegationToStakePoolCertGroup ∷ Era era ⇒ Proxy era → Named Group Source #

deltaCoinRule ∷ Rule Source #

genesisDelegateHashRule ∷ Era era ⇒ Proxy era → Rule Source #

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

genesisHashRule ∷ Era era ⇒ Proxy era → Rule Source #

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

headerRule ∷ HuddleRule "header_body" era ⇒ Proxy era → Rule Source #

moveInstantaneousRewardRule ∷ HuddleRule "delta_coin" era ⇒ Proxy era → Rule Source #

moveInstantaneousRewardsCertGroup ∷ HuddleRule "move_instantaneous_reward" era ⇒ Proxy era → Named Group Source #

multiHostNameGroup ∷ HuddleRule "dns_name" era ⇒ Proxy era → Named Group Source #

poolMetadataRule ∷ HuddleRule "url" era ⇒ Proxy era → Rule Source #

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

poolRegistrationCertGroup ∷ HuddleGroup "pool_params" era ⇒ Proxy era → Named Group Source #

poolRetirementCertGroup ∷ Era era ⇒ Proxy era → Named Group Source #

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

protocolParamUpdateRule ∷ HuddleGroup "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 #

scriptAllGroup ∷ HuddleRule "native_script" era ⇒ Proxy era → Named Group Source #

scriptAnyGroup ∷ HuddleRule "native_script" era ⇒ Proxy era → Named Group Source #

scriptPubkeyGroup ∷ Era era ⇒ Proxy era → Named Group Source #

shelleyCDDL ∷ Huddle Source #

singleHostAddrGroup ∷ Era era ⇒ Proxy era → Named Group Source #

singleHostNameGroup ∷ HuddleRule "dns_name" era ⇒ Proxy era → Named Group Source #

transactionIdRule ∷ Era era ⇒ Proxy era → Rule Source #

transactionInputRule ∷ HuddleRule "transaction_id" era ⇒ Proxy era → Rule Source #

transactionOutputRule ∷ Era era ⇒ Proxy era → Rule Source #

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

untaggedSet ∷ IsType0 a ⇒ a → GRuleCall Source #

updateRule ∷ HuddleRule "proposed_protocol_parameter_updates" era ⇒ Proxy era → Rule Source #

vkeywitnessRule ∷ Era era ⇒ Proxy era → Rule Source #

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

Methods

huddleGRule ∷ Proxy era → GRuleDef Source #

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

Methods

huddleGroup ∷ Proxy era → Named Group Source #

Instances

Instances details

HuddleGroup "account_registration_cert" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "account_registration_cert" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "account_registration_cert" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "account_registration_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_registration_cert" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "account_registration_cert" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "account_registration_delegation_to_drep_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_registration_delegation_to_stake_pool_and_drep_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_registration_delegation_to_stake_pool_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_registration_deposit_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_unregistration_cert" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "account_unregistration_cert" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "account_unregistration_cert" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "account_unregistration_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_unregistration_cert" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "account_unregistration_cert" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "account_unregistration_deposit_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "committee_authorization_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "committee_resignation_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "delegation_to_drep_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "delegation_to_stake_pool_and_drep_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "delegation_to_stake_pool_cert" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "delegation_to_stake_pool_cert" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "delegation_to_stake_pool_cert" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "delegation_to_stake_pool_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "delegation_to_stake_pool_cert" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "delegation_to_stake_pool_cert" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "drep_registration_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "drep_unregistration_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "drep_update_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "genesis_delegation_cert" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "genesis_delegation_cert" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "genesis_delegation_cert" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "genesis_delegation_cert" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "genesis_delegation_cert" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "hard_fork_initiation_action" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "move_instantaneous_rewards_cert" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "move_instantaneous_rewards_cert" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "move_instantaneous_rewards_cert" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "move_instantaneous_rewards_cert" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "move_instantaneous_rewards_cert" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "multi_host_name" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "multi_host_name" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "multi_host_name" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "multi_host_name" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "multi_host_name" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "multi_host_name" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "new_constitution" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "no_confidence" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "operational_cert" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "operational_cert" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "operational_cert" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "operational_cert" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "parameter_change_action" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "pool_params" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "pool_params" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "pool_params" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "pool_params" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "pool_params" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "pool_params" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "pool_registration_cert" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "pool_registration_cert" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "pool_registration_cert" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "pool_registration_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "pool_registration_cert" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "pool_registration_cert" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "pool_retirement_cert" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "pool_retirement_cert" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "pool_retirement_cert" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "pool_retirement_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "pool_retirement_cert" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "pool_retirement_cert" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "protocol_version" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "protocol_version" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "protocol_version" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "protocol_version" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "script_all" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "script_all" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "script_all" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "script_all" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_all" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "script_all" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "script_any" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "script_any" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "script_any" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "script_any" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_any" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "script_any" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "script_invalid_before" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "script_invalid_before" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "script_invalid_before" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "script_invalid_before" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_invalid_before" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "script_invalid_hereafter" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "script_invalid_hereafter" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "script_invalid_hereafter" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "script_invalid_hereafter" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_invalid_hereafter" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "script_n_of_k" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "script_n_of_k" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "script_n_of_k" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "script_n_of_k" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_n_of_k" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "script_n_of_k" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "script_pubkey" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "script_pubkey" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "script_pubkey" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "script_pubkey" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_pubkey" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "script_pubkey" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "single_host_addr" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "single_host_addr" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "single_host_addr" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "single_host_addr" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "single_host_addr" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "single_host_addr" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "single_host_name" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleGroup ∷ Proxy AllegraEra → Named Group Source #
HuddleGroup "single_host_name" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleGroup ∷ Proxy AlonzoEra → Named Group Source #
HuddleGroup "single_host_name" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleGroup ∷ Proxy BabbageEra → Named Group Source #
HuddleGroup "single_host_name" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "single_host_name" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleGroup ∷ Proxy MaryEra → Named Group Source #
HuddleGroup "single_host_name" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleGroup ∷ Proxy ShelleyEra → Named Group Source #
HuddleGroup "treasury_withdrawals_action" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "update_committee" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #

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

Methods

huddleRule ∷ Proxy era → Rule Source #

Instances

Instances details

Era era ⇒ HuddleRule "addr_keyhash" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "address" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "alonzo_transaction_output" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "alonzo_transaction_output" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "anchor" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "asset_name" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "asset_name" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "asset_name" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "asset_name" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "auxiliary_data" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "auxiliary_data" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "auxiliary_data" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "auxiliary_data" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "auxiliary_data" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "auxiliary_data_array" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "auxiliary_data_array" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "auxiliary_data_array" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "auxiliary_data_array" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "auxiliary_data_array" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
Era era ⇒ HuddleRule "auxiliary_data_hash" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "auxiliary_data_map" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "auxiliary_data_map" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "auxiliary_data_map" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "auxiliary_scripts" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "auxiliary_scripts" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "auxiliary_scripts" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "auxiliary_scripts" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "auxiliary_scripts" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "big_int" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "big_int" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "big_int" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "big_nint" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "big_nint" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "big_nint" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "big_uint" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "big_uint" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "big_uint" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "block" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "block" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "block" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "block" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "block" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "block" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
Era era ⇒ HuddleRule "block_number" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "bootstrap_witness" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "bootstrap_witness" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "bootstrap_witness" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "bootstrap_witness" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "bootstrap_witness" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "bootstrap_witness" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "bounded_bytes" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "bounded_bytes" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "bounded_bytes" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "certificate" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "certificate" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "certificate" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "certificate" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "certificate" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "certificate" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "certificates" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "coin" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "committee_cold_credential" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "committee_hot_credential" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "constitution" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "cost_model" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "cost_models" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "cost_models" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "cost_models" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "credential" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "data" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "data" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "datum_option" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "datum_option" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "delta_coin" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "delta_coin" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "delta_coin" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "delta_coin" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "delta_coin" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "distinct_bytes" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "distinct_bytes" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "distinct_bytes" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "dns_name" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "dns_name" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "dns_name" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "dns_name" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "dns_name" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "dns_name" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "drep" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "drep_credential" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "drep_voting_thresholds" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "epoch" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "epoch_interval" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "ex_unit_prices" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "ex_unit_prices" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "ex_unit_prices" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "ex_units" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "ex_units" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "ex_units" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "genesis_delegate_hash" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "genesis_delegate_hash" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "genesis_delegate_hash" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "genesis_delegate_hash" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "genesis_delegate_hash" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "genesis_delegate_hash" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "genesis_hash" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "genesis_hash" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "genesis_hash" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "genesis_hash" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "genesis_hash" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "genesis_hash" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "gov_action" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
(Era era, HuddleRule "transaction_id" era) ⇒ HuddleRule "gov_action_id" era Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "hash28" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "hash32" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "header" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "header" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "header" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "header" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "header" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "header" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "header_body" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "header_body" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "header_body" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "header_body" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "header_body" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "header_body" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "info_action" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "int64" era
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "ipv4" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "ipv6" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "kes_period" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "kes_signature" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "kes_vkey" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "language" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "language" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "language" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "major_protocol_version" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "major_protocol_version" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "major_protocol_version" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "major_protocol_version" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "major_protocol_version" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "major_protocol_version" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
Era era ⇒ HuddleRule "max_int64" era
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "max_word32" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "max_word64" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "metadata" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "metadatum" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "metadatum_label" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "min_int64" era
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "mint" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "mint" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "mint" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "mint" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "move_instantaneous_reward" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "move_instantaneous_reward" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "move_instantaneous_reward" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "move_instantaneous_reward" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "move_instantaneous_reward" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "native_script" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "native_script" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "native_script" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "native_script" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "native_script" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "native_script" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
Era era ⇒ HuddleRule "negative_int64" era Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "network_id" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "network_id" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "network_id" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "nonce" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "nonnegative_interval" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "nonzero_int64" era Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "operational_cert" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "operational_cert" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
(Era era, HuddleRule "big_int" era, HuddleRule "bounded_bytes" era) ⇒ HuddleRule "plutus_data" era
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
(Era era, HuddleRule "distinct_bytes" era) ⇒ HuddleRule "plutus_v1_script" era
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
(Era era, HuddleRule "distinct_bytes" era) ⇒ HuddleRule "plutus_v2_script" era
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
(Era era, HuddleRule "distinct_bytes" era) ⇒ HuddleRule "plutus_v3_script" era Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "policy_hash" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "policy_id" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "policy_id" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "policy_id" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "policy_id" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
Era era ⇒ HuddleRule "pool_keyhash" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "pool_metadata" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "pool_metadata" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "pool_metadata" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "pool_metadata" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "pool_metadata" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "pool_metadata" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "pool_voting_thresholds" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "port" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "positive_coin" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "positive_int" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "positive_int64" era Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "positive_interval" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "positive_interval" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "positive_interval" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "positive_word32" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "potential_languages" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "proposal_procedure" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "proposal_procedures" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "proposed_protocol_parameter_updates" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "proposed_protocol_parameter_updates" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "proposed_protocol_parameter_updates" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "proposed_protocol_parameter_updates" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "proposed_protocol_parameter_updates" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "proposed_protocol_parameter_updates" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "protocol_param_update" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "protocol_param_update" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "protocol_param_update" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "protocol_param_update" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "protocol_param_update" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "protocol_param_update" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "protocol_version" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "protocol_version" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "redeemer" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "redeemer" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "redeemer" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "redeemer_tag" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "redeemer_tag" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "redeemer_tag" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "redeemers" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "redeemers" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "redeemers" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "relay" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "relay" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "relay" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "relay" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "relay" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "relay" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "required_signers" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "required_signers" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "required_signers" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "reward_account" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "script" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "script" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "script_data_hash" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "script_data_hash" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "script_data_hash" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "script_hash" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "sequence_number" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "signature" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "signkey_kes" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "slot" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "stake_credential" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "transaction" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "transaction" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "transaction" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "transaction" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "transaction" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "transaction_body" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "transaction_body" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "transaction_body" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "transaction_body" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction_body" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "transaction_body" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "transaction_id" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "transaction_id" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "transaction_id" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "transaction_id" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction_id" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "transaction_id" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
Era era ⇒ HuddleRule "transaction_index" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "transaction_input" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "transaction_input" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "transaction_input" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "transaction_input" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction_input" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "transaction_input" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "transaction_output" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "transaction_output" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "transaction_output" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "transaction_output" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction_output" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "transaction_output" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "transaction_witness_set" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "transaction_witness_set" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "transaction_witness_set" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "transaction_witness_set" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction_witness_set" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "transaction_witness_set" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
Era era ⇒ HuddleRule "unit_interval" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "update" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "update" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "update" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "update" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "update" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "update" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "url" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "url" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "url" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "url" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "url" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "url" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "value" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "value" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "value" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "value" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
Era era ⇒ HuddleRule "vkey" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "vkeywitness" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "vkeywitness" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "vkeywitness" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "vkeywitness" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "vkeywitness" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "vkeywitness" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #
HuddleRule "vote" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "voter" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "voting_procedure" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "voting_procedures" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "vrf_cert" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "vrf_keyhash" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
Era era ⇒ HuddleRule "vrf_vkey" era
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "withdrawals" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.HuddleSpec Methods huddleRule ∷ Proxy AllegraEra → Rule Source #
HuddleRule "withdrawals" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.HuddleSpec Methods huddleRule ∷ Proxy AlonzoEra → Rule Source #
HuddleRule "withdrawals" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.HuddleSpec Methods huddleRule ∷ Proxy BabbageEra → Rule Source #
HuddleRule "withdrawals" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.HuddleSpec Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "withdrawals" MaryEra
Instance details Defined in Cardano.Ledger.Mary.HuddleSpec Methods huddleRule ∷ Proxy MaryEra → Rule Source #
HuddleRule "withdrawals" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.HuddleSpec Methods huddleRule ∷ Proxy ShelleyEra → Rule Source #

alonzoCDDL ∷ Huddle 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 #

exUnitPricesRule ∷ HuddleRule "positive_interval" era ⇒ Proxy era → Rule Source #

requiredSignersRule ∷ HuddleRule "addr_keyhash" era ⇒ Proxy era → Rule Source #

constr ∷ IsType0 a ⇒ a → GRuleCall Source #

assetNameRule ∷ Proxy era → Rule Source #

maryCDDL ∷ Huddle Source #

babbageCDDL ∷ Huddle Source #

babbageProtocolVersionRule ∷ HuddleRule "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

babbageOperationalCertRule ∷ Era 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

alonzoTransactionOutputRule ∷ (HuddleRule "address" era, HuddleRule "value" era, HuddleRule "hash32" era) ⇒ Proxy era → Rule Source #

dataRule ∷ HuddleRule "plutus_data" era ⇒ Proxy era → Rule Source #

datumOptionRule ∷ (HuddleRule "hash32" era, HuddleRule "data" era) ⇒ Proxy era → Rule Source #

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

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

conwayCDDL ∷ Huddle Source #

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

conwayValueRule ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era, HuddleRule "positive_coin" era) ⇒ Proxy era → Rule Source #

conwayMintRule ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era, HuddleRule "nonzero_int64" era) ⇒ Proxy era → Rule Source #

conwayWithdrawalsRule ∷ Era era ⇒ Proxy era → Rule Source #

conwayRedeemer ∷ (HuddleRule "redeemer_tag" era, HuddleRule "plutus_data" era, HuddleRule "ex_units" era) ⇒ Proxy era → Rule Source #

conwayRedeemerTag ∷ Rule Source #

anchorRule ∷ (HuddleRule "url" era, HuddleRule "hash32" era) ⇒ Proxy era → Rule Source #

drepRule ∷ (HuddleRule "addr_keyhash" era, HuddleRule "script_hash" era) ⇒ Proxy era → Rule Source #

voterRule ∷ (HuddleRule "addr_keyhash" era, HuddleRule "script_hash" era) ⇒ Proxy era → Rule Source #

dnsNameRule ∷ Proxy era → Rule Source #

urlRule ∷ Proxy era → Rule Source #

voteRule ∷ Proxy era → Rule Source #

drepCredentialRule ∷ HuddleRule "credential" era ⇒ Proxy era → Rule Source #

committeeHotCredentialRule ∷ HuddleRule "credential" era ⇒ Proxy era → Rule Source #

committeeColdCredentialRule ∷ HuddleRule "credential" era ⇒ Proxy era → Rule Source #

accountRegistrationDepositCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group Source #

accountUnregistrationDepositCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group Source #

delegationToDrepCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "drep" era) ⇒ Proxy era → Named Group Source #

delegationToStakePoolAndDrepCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "pool_keyhash" era, HuddleRule "drep" era) ⇒ Proxy era → Named Group Source #

accountRegistrationDelegationToStakePoolCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "pool_keyhash" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group Source #

accountRegistrationDelegationToDrepCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "drep" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group Source #

accountRegistrationDelegationToStakePoolAndDrepCertGroup ∷ (HuddleRule "stake_credential" era, HuddleRule "pool_keyhash" era, HuddleRule "drep" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group Source #

committeeAuthorizationCertGroup ∷ (HuddleRule "committee_cold_credential" era, HuddleRule "committee_hot_credential" era) ⇒ Proxy era → Named Group Source #

committeeResignationCertGroup ∷ (HuddleRule "committee_cold_credential" era, HuddleRule "anchor" era) ⇒ Proxy era → Named Group Source #

drepRegistrationCertGroup ∷ (HuddleRule "drep_credential" era, HuddleRule "coin" era, HuddleRule "anchor" era) ⇒ Proxy era → Named Group Source #

drepUnregistrationCertGroup ∷ (HuddleRule "drep_credential" era, HuddleRule "coin" era) ⇒ Proxy era → Named Group Source #

drepUpdateCertGroup ∷ (HuddleRule "drep_credential" era, HuddleRule "anchor" era) ⇒ Proxy era → Named Group Source #

votingProcedureRule ∷ (HuddleRule "vote" era, HuddleRule "anchor" era) ⇒ Proxy era → Rule Source #

votingProceduresRule ∷ (HuddleRule "voter" era, HuddleRule "gov_action_id" era, HuddleRule "voting_procedure" era) ⇒ Proxy era → Rule Source #

constitutionRule ∷ (HuddleRule "anchor" era, HuddleRule "script_hash" era) ⇒ Proxy era → Rule Source #

parameterChangeActionGroup ∷ (HuddleRule "gov_action_id" era, HuddleRule "protocol_param_update" era, HuddleRule "policy_hash" era) ⇒ Proxy era → Named Group Source #

hardForkInitiationActionGroup ∷ (HuddleRule "gov_action_id" era, HuddleRule "protocol_version" era) ⇒ Proxy era → Named Group Source #

treasuryWithdrawalsActionGroup ∷ (HuddleRule "reward_account" era, HuddleRule "coin" era, HuddleRule "policy_hash" era) ⇒ Proxy era → Named Group Source #

noConfidenceGroup ∷ HuddleRule "gov_action_id" era ⇒ Proxy era → Named Group Source #

updateCommitteeGroup ∷ (HuddleRule "gov_action_id" era, HuddleRule "committee_cold_credential" era, HuddleRule "epoch" era, HuddleRule "unit_interval" era) ⇒ Proxy era → Named Group Source #

newConstitutionGroup ∷ (HuddleRule "gov_action_id" era, HuddleRule "constitution" era) ⇒ Proxy era → Named Group Source #

infoActionRule ∷ Rule Source #

govActionRule ∷ (HuddleGroup "parameter_change_action" era, HuddleGroup "hard_fork_initiation_action" era, HuddleGroup "treasury_withdrawals_action" era, HuddleGroup "no_confidence" era, HuddleGroup "update_committee" era, HuddleGroup "new_constitution" era, HuddleRule "info_action" era) ⇒ Proxy era → Rule Source #

proposalProcedureRule ∷ (HuddleRule "coin" era, HuddleRule "reward_account" era, HuddleRule "gov_action" era, HuddleRule "anchor" era) ⇒ Proxy era → Rule Source #

proposalProceduresRule ∷ HuddleRule "proposal_procedure" era ⇒ Proxy era → Rule Source #

poolVotingThresholdsRule ∷ HuddleRule "unit_interval" era ⇒ Proxy era → Rule Source #

drepVotingThresholdsRule ∷ HuddleRule "unit_interval" era ⇒ Proxy era → Rule Source #

maybeTaggedSet ∷ IsType0 a ⇒ a → GRuleCall Source #

maybeTaggedNonemptySet ∷ IsType0 a ⇒ a → GRuleCall Source #

maybeTaggedNonemptyOset ∷ IsType0 a ⇒ a → GRuleCall Source #

policyHashRule ∷ HuddleRule "script_hash" era ⇒ Proxy era → Rule Source #

potentialLanguagesRule ∷ Proxy era → Rule Source #

conwayCertificateRule ∷ (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 "account_registration_deposit_cert" era, HuddleGroup "account_unregistration_deposit_cert" era, HuddleGroup "delegation_to_drep_cert" era, HuddleGroup "delegation_to_stake_pool_and_drep_cert" era, HuddleGroup "account_registration_delegation_to_stake_pool_cert" era, HuddleGroup "account_registration_delegation_to_drep_cert" era, HuddleGroup "account_registration_delegation_to_stake_pool_and_drep_cert" era, HuddleGroup "committee_authorization_cert" era, HuddleGroup "committee_resignation_cert" era, HuddleGroup "drep_registration_cert" era, HuddleGroup "drep_unregistration_cert" era, HuddleGroup "drep_update_cert" era) ⇒ Proxy era → Rule Source #

certificatesRule ∷ HuddleRule "certificate" era ⇒ Proxy era → Rule Source #

Orphan instances

HuddleGroup "account_registration_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_registration_delegation_to_drep_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_registration_delegation_to_stake_pool_and_drep_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_registration_delegation_to_stake_pool_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_registration_deposit_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_unregistration_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "account_unregistration_deposit_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "committee_authorization_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "committee_resignation_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "delegation_to_drep_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "delegation_to_stake_pool_and_drep_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "delegation_to_stake_pool_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "drep_registration_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "drep_unregistration_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "drep_update_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "hard_fork_initiation_action" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "multi_host_name" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "new_constitution" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "no_confidence" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "parameter_change_action" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "pool_params" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "pool_registration_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "pool_retirement_cert" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_all" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_any" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_invalid_before" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_invalid_hereafter" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_n_of_k" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "script_pubkey" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "single_host_addr" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "single_host_name" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "treasury_withdrawals_action" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleGroup "update_committee" ConwayEra Source #
Instance details Methods huddleGroup ∷ Proxy ConwayEra → Named Group Source #
HuddleRule "alonzo_transaction_output" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "anchor" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "asset_name" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "auxiliary_data" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "auxiliary_data_array" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "auxiliary_data_map" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "auxiliary_scripts" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "big_int" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "big_nint" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "big_uint" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "block" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "bootstrap_witness" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "bounded_bytes" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "certificate" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "certificates" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "committee_cold_credential" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "committee_hot_credential" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "constitution" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "cost_models" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "data" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "datum_option" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "distinct_bytes" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "dns_name" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "drep" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "drep_credential" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "drep_voting_thresholds" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "ex_unit_prices" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "ex_units" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "genesis_delegate_hash" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "genesis_hash" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "gov_action" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
(Era era, HuddleRule "transaction_id" era) ⇒ HuddleRule "gov_action_id" era Source #
Instance details Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "header" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "header_body" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "info_action" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "language" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "major_protocol_version" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "mint" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "native_script" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "negative_int64" era Source #
Instance details Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "network_id" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "nonzero_int64" era Source #
Instance details Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "operational_cert" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
(Era era, HuddleRule "distinct_bytes" era) ⇒ HuddleRule "plutus_v3_script" era Source #
Instance details Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "policy_hash" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "policy_id" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "pool_metadata" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "pool_voting_thresholds" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
Era era ⇒ HuddleRule "positive_int64" era Source #
Instance details Methods huddleRule ∷ Proxy era → Rule Source #
HuddleRule "positive_interval" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "potential_languages" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "proposal_procedure" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "proposal_procedures" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "proposed_protocol_parameter_updates" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "protocol_param_update" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "protocol_version" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "redeemer" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "redeemer_tag" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "redeemers" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "relay" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "required_signers" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "script" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "script_data_hash" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction_body" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction_id" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction_input" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction_output" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "transaction_witness_set" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "update" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "url" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "value" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "vkeywitness" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "vote" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "voter" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "voting_procedure" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "voting_procedures" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #
HuddleRule "withdrawals" ConwayEra Source #
Instance details Methods huddleRule ∷ Proxy ConwayEra → Rule Source #