Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Generic.Scriptic

Documentation

theSlot ∷ Int → SlotNo Source #

class (EraScript era, Show (Script era)) ⇒ Scriptic era where Source #

Methods

always ∷ Natural → Proof era → Script era Source #

alwaysAlt ∷ Natural → Proof era → Script era Source #

never ∷ Natural → Proof era → Script era Source #

require ∷ KeyHash 'Witness → Proof era → NativeScript era Source #

allOf ∷ [Proof era → NativeScript era] → Proof era → NativeScript era Source #

anyOf ∷ [Proof era → NativeScript era] → Proof era → NativeScript era Source #

mOf ∷ Int → [Proof era → NativeScript era] → Proof era → NativeScript era Source #

Instances

Instances details

Scriptic AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof AllegraEra → Script AllegraEra Source # alwaysAlt ∷ Natural → Proof AllegraEra → Script AllegraEra Source # never ∷ Natural → Proof AllegraEra → Script AllegraEra Source # require ∷ KeyHash 'Witness → Proof AllegraEra → NativeScript AllegraEra Source # allOf ∷ [Proof AllegraEra → NativeScript AllegraEra] → Proof AllegraEra → NativeScript AllegraEra Source # anyOf ∷ [Proof AllegraEra → NativeScript AllegraEra] → Proof AllegraEra → NativeScript AllegraEra Source # mOf ∷ Int → [Proof AllegraEra → NativeScript AllegraEra] → Proof AllegraEra → NativeScript AllegraEra Source #
Scriptic AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof AlonzoEra → Script AlonzoEra Source # alwaysAlt ∷ Natural → Proof AlonzoEra → Script AlonzoEra Source # never ∷ Natural → Proof AlonzoEra → Script AlonzoEra Source # require ∷ KeyHash 'Witness → Proof AlonzoEra → NativeScript AlonzoEra Source # allOf ∷ [Proof AlonzoEra → NativeScript AlonzoEra] → Proof AlonzoEra → NativeScript AlonzoEra Source # anyOf ∷ [Proof AlonzoEra → NativeScript AlonzoEra] → Proof AlonzoEra → NativeScript AlonzoEra Source # mOf ∷ Int → [Proof AlonzoEra → NativeScript AlonzoEra] → Proof AlonzoEra → NativeScript AlonzoEra Source #
Scriptic BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof BabbageEra → Script BabbageEra Source # alwaysAlt ∷ Natural → Proof BabbageEra → Script BabbageEra Source # never ∷ Natural → Proof BabbageEra → Script BabbageEra Source # require ∷ KeyHash 'Witness → Proof BabbageEra → NativeScript BabbageEra Source # allOf ∷ [Proof BabbageEra → NativeScript BabbageEra] → Proof BabbageEra → NativeScript BabbageEra Source # anyOf ∷ [Proof BabbageEra → NativeScript BabbageEra] → Proof BabbageEra → NativeScript BabbageEra Source # mOf ∷ Int → [Proof BabbageEra → NativeScript BabbageEra] → Proof BabbageEra → NativeScript BabbageEra Source #
Scriptic ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof ConwayEra → Script ConwayEra Source # alwaysAlt ∷ Natural → Proof ConwayEra → Script ConwayEra Source # never ∷ Natural → Proof ConwayEra → Script ConwayEra Source # require ∷ KeyHash 'Witness → Proof ConwayEra → NativeScript ConwayEra Source # allOf ∷ [Proof ConwayEra → NativeScript ConwayEra] → Proof ConwayEra → NativeScript ConwayEra Source # anyOf ∷ [Proof ConwayEra → NativeScript ConwayEra] → Proof ConwayEra → NativeScript ConwayEra Source # mOf ∷ Int → [Proof ConwayEra → NativeScript ConwayEra] → Proof ConwayEra → NativeScript ConwayEra Source #
Scriptic MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof MaryEra → Script MaryEra Source # alwaysAlt ∷ Natural → Proof MaryEra → Script MaryEra Source # never ∷ Natural → Proof MaryEra → Script MaryEra Source # require ∷ KeyHash 'Witness → Proof MaryEra → NativeScript MaryEra Source # allOf ∷ [Proof MaryEra → NativeScript MaryEra] → Proof MaryEra → NativeScript MaryEra Source # anyOf ∷ [Proof MaryEra → NativeScript MaryEra] → Proof MaryEra → NativeScript MaryEra Source # mOf ∷ Int → [Proof MaryEra → NativeScript MaryEra] → Proof MaryEra → NativeScript MaryEra Source #
Scriptic ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof ShelleyEra → Script ShelleyEra Source # alwaysAlt ∷ Natural → Proof ShelleyEra → Script ShelleyEra Source # never ∷ Natural → Proof ShelleyEra → Script ShelleyEra Source # require ∷ KeyHash 'Witness → Proof ShelleyEra → NativeScript ShelleyEra Source # allOf ∷ [Proof ShelleyEra → NativeScript ShelleyEra] → Proof ShelleyEra → NativeScript ShelleyEra Source # anyOf ∷ [Proof ShelleyEra → NativeScript ShelleyEra] → Proof ShelleyEra → NativeScript ShelleyEra Source # mOf ∷ Int → [Proof ShelleyEra → NativeScript ShelleyEra] → Proof ShelleyEra → NativeScript ShelleyEra Source #

class Scriptic era ⇒ PostShelley era where Source #

Methods

before ∷ Int → Proof era → NativeScript era Source #

after ∷ Int → Proof era → NativeScript era Source #

Instances

Instances details

PostShelley AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods before ∷ Int → Proof AllegraEra → NativeScript AllegraEra Source # after ∷ Int → Proof AllegraEra → NativeScript AllegraEra Source #
PostShelley AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods before ∷ Int → Proof AlonzoEra → NativeScript AlonzoEra Source # after ∷ Int → Proof AlonzoEra → NativeScript AlonzoEra Source #
PostShelley BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods before ∷ Int → Proof BabbageEra → NativeScript BabbageEra Source # after ∷ Int → Proof BabbageEra → NativeScript BabbageEra Source #
PostShelley ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods before ∷ Int → Proof ConwayEra → NativeScript ConwayEra Source # after ∷ Int → Proof ConwayEra → NativeScript ConwayEra Source #
PostShelley MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods before ∷ Int → Proof MaryEra → NativeScript MaryEra Source # after ∷ Int → Proof MaryEra → NativeScript MaryEra Source #

class HasTokens era where Source #

Methods

forge ∷ Integer → Script era → MultiAsset Source #

Instances

Instances details

HasTokens AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script AlonzoEra → MultiAsset Source #
HasTokens BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script BabbageEra → MultiAsset Source #
HasTokens ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script ConwayEra → MultiAsset Source #
HasTokens MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script MaryEra → MultiAsset Source #

matchkey ∷ Scriptic era ⇒ Int → Proof era → NativeScript era Source #

test21 ∷ Scriptic era ⇒ Proof era → Script era Source #

test22 ∷ PostShelley era ⇒ Proof era → Script era Source #