| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Allegra.HuddleSpec
Contents
Documentation
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 #
int64Rule ∷ (HuddleRule "min_int64" era, HuddleRule "max_int64" era) ⇒ Proxy era → Rule Source #
nativeScriptRule ∷ (HuddleGroup "script_pubkey" era, HuddleGroup "script_all" era, HuddleGroup "script_any" era, HuddleGroup "script_n_of_k" era, HuddleGroup "script_invalid_before" era, HuddleGroup "script_invalid_hereafter" era) ⇒ Proxy era → Rule Source #
scriptNOfKGroup ∷ (HuddleRule "int64" era, HuddleRule "native_script" era) ⇒ Proxy era → Named Group Source #