Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Core.HuddleSpec

Contents

Orphan instances

Synopsis

plutusScriptGen ∷ MonadGen m ⇒ m RuleTerm

Documentation

plutusScriptGen ∷ MonadGen m ⇒ m RuleTerm Source #

Generator for plutus scripts that produces random bytestrings. This avoids collisions when scripts appear in sets (tag 258).

Orphan instances

Era era ⇒ HuddleGroup "protocol_version" era Source #
Instance details Methods huddleGroupNamed ∷ Proxy "protocol_version" → Proxy era → GroupDef Source #
Era era ⇒ HuddleRule "addr_keyhash" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "addr_keyhash" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "address" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "address" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "auxiliary_data_hash" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "auxiliary_data_hash" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "block_number" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "block_number" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "coin" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "coin" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "credential" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "credential" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "epoch" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "epoch" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "epoch_interval" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "epoch_interval" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "hash28" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "hash28" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "hash32" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "hash32" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "ipv4" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "ipv4" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "ipv6" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "ipv6" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "kes_period" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "kes_period" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "kes_signature" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "kes_signature" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "kes_vkey" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "kes_vkey" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "major_protocol_version" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "major_protocol_version" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "max_word32" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "max_word32" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "max_word64" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "max_word64" → Proxy era → Rule Source #
(Era era, HuddleRule "metadatum" era) ⇒ HuddleRule "metadata" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "metadata" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "metadatum_label" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "metadatum_label" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "nonce" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "nonce" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "nonnegative_interval" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "nonnegative_interval" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "pool_keyhash" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "pool_keyhash" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "port" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "port" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "positive_coin" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "positive_coin" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "positive_int" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "positive_int" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "positive_word32" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "positive_word32" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "protocol_version" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "protocol_version" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "reward_account" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "reward_account" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "script_hash" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "script_hash" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "sequence_number" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "sequence_number" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "signature" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "signature" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "signkey_kes" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "signkey_kes" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "slot" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "slot" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "slot_interval" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "slot_interval" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "stake_credential" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "stake_credential" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "transaction_index" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "transaction_index" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "unit_interval" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "unit_interval" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "vkey" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "vkey" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "vrf_keyhash" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "vrf_keyhash" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "vrf_vkey" era Source #
Instance details Methods huddleRuleNamed ∷ Proxy "vrf_vkey" → Proxy era → Rule Source #