module Cardano.Ledger.Huddle

majorProtocolVersionRule ∷ Era era ⇒ Proxy era → Rule Source #

shelleyCDDL ∷ Huddle Source #

shelleyProtocolVersionGroup ∷ HuddleRule "major_protocol_version" era ⇒ Proxy era → Named Group Source #

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

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

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

protocolParamUpdateRule ∷ HuddleGroup "protocol_version" era ⇒ Proxy era → Rule Source #

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

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

vkeywitnessRule ∷ Era era ⇒ Proxy era → Rule Source #

bootstrapWitnessRule ∷ Era era ⇒ Proxy era → Rule Source #

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

genesisHashRule ∷ Era era ⇒ Proxy era → Rule Source #

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

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

scriptAnyGroup ∷ HuddleRule "native_script" 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 #

withdrawalsRule ∷ Era era ⇒ Proxy era → Rule Source #

dnsNameRule ∷ Rule Source #

urlRule ∷ Rule Source #

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

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

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

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

relayRule ∷ (HuddleGroup "single_host_addr" era, HuddleGroup "single_host_name" era, HuddleGroup "multi_host_name" 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 #

genesisDelegateHashRule ∷ Era era ⇒ Proxy era → Rule Source #

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

deltaCoinRule ∷ Rule Source #

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

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

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

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

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

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

untaggedSet ∷ IsType0 a ⇒ a → GRuleCall Source #