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 (EraCrypto era) → 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

Crypto c ⇒ Scriptic (AllegraEra c) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof (AllegraEra c) → Script (AllegraEra c) Source # alwaysAlt ∷ Natural → Proof (AllegraEra c) → Script (AllegraEra c) Source # never ∷ Natural → Proof (AllegraEra c) → Script (AllegraEra c) Source # require ∷ KeyHash 'Witness (EraCrypto (AllegraEra c)) → Proof (AllegraEra c) → NativeScript (AllegraEra c) Source # allOf ∷ [Proof (AllegraEra c) → NativeScript (AllegraEra c)] → Proof (AllegraEra c) → NativeScript (AllegraEra c) Source # anyOf ∷ [Proof (AllegraEra c) → NativeScript (AllegraEra c)] → Proof (AllegraEra c) → NativeScript (AllegraEra c) Source # mOf ∷ Int → [Proof (AllegraEra c) → NativeScript (AllegraEra c)] → Proof (AllegraEra c) → NativeScript (AllegraEra c) Source #
Crypto c ⇒ Scriptic (AlonzoEra c) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof (AlonzoEra c) → Script (AlonzoEra c) Source # alwaysAlt ∷ Natural → Proof (AlonzoEra c) → Script (AlonzoEra c) Source # never ∷ Natural → Proof (AlonzoEra c) → Script (AlonzoEra c) Source # require ∷ KeyHash 'Witness (EraCrypto (AlonzoEra c)) → Proof (AlonzoEra c) → NativeScript (AlonzoEra c) Source # allOf ∷ [Proof (AlonzoEra c) → NativeScript (AlonzoEra c)] → Proof (AlonzoEra c) → NativeScript (AlonzoEra c) Source # anyOf ∷ [Proof (AlonzoEra c) → NativeScript (AlonzoEra c)] → Proof (AlonzoEra c) → NativeScript (AlonzoEra c) Source # mOf ∷ Int → [Proof (AlonzoEra c) → NativeScript (AlonzoEra c)] → Proof (AlonzoEra c) → NativeScript (AlonzoEra c) Source #
Crypto c ⇒ Scriptic (BabbageEra c) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof (BabbageEra c) → Script (BabbageEra c) Source # alwaysAlt ∷ Natural → Proof (BabbageEra c) → Script (BabbageEra c) Source # never ∷ Natural → Proof (BabbageEra c) → Script (BabbageEra c) Source # require ∷ KeyHash 'Witness (EraCrypto (BabbageEra c)) → Proof (BabbageEra c) → NativeScript (BabbageEra c) Source # allOf ∷ [Proof (BabbageEra c) → NativeScript (BabbageEra c)] → Proof (BabbageEra c) → NativeScript (BabbageEra c) Source # anyOf ∷ [Proof (BabbageEra c) → NativeScript (BabbageEra c)] → Proof (BabbageEra c) → NativeScript (BabbageEra c) Source # mOf ∷ Int → [Proof (BabbageEra c) → NativeScript (BabbageEra c)] → Proof (BabbageEra c) → NativeScript (BabbageEra c) Source #
Crypto c ⇒ Scriptic (ConwayEra c) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof (ConwayEra c) → Script (ConwayEra c) Source # alwaysAlt ∷ Natural → Proof (ConwayEra c) → Script (ConwayEra c) Source # never ∷ Natural → Proof (ConwayEra c) → Script (ConwayEra c) Source # require ∷ KeyHash 'Witness (EraCrypto (ConwayEra c)) → Proof (ConwayEra c) → NativeScript (ConwayEra c) Source # allOf ∷ [Proof (ConwayEra c) → NativeScript (ConwayEra c)] → Proof (ConwayEra c) → NativeScript (ConwayEra c) Source # anyOf ∷ [Proof (ConwayEra c) → NativeScript (ConwayEra c)] → Proof (ConwayEra c) → NativeScript (ConwayEra c) Source # mOf ∷ Int → [Proof (ConwayEra c) → NativeScript (ConwayEra c)] → Proof (ConwayEra c) → NativeScript (ConwayEra c) Source #
Crypto c ⇒ Scriptic (MaryEra c) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof (MaryEra c) → Script (MaryEra c) Source # alwaysAlt ∷ Natural → Proof (MaryEra c) → Script (MaryEra c) Source # never ∷ Natural → Proof (MaryEra c) → Script (MaryEra c) Source # require ∷ KeyHash 'Witness (EraCrypto (MaryEra c)) → Proof (MaryEra c) → NativeScript (MaryEra c) Source # allOf ∷ [Proof (MaryEra c) → NativeScript (MaryEra c)] → Proof (MaryEra c) → NativeScript (MaryEra c) Source # anyOf ∷ [Proof (MaryEra c) → NativeScript (MaryEra c)] → Proof (MaryEra c) → NativeScript (MaryEra c) Source # mOf ∷ Int → [Proof (MaryEra c) → NativeScript (MaryEra c)] → Proof (MaryEra c) → NativeScript (MaryEra c) Source #
Crypto c ⇒ Scriptic (ShelleyEra c) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof (ShelleyEra c) → Script (ShelleyEra c) Source # alwaysAlt ∷ Natural → Proof (ShelleyEra c) → Script (ShelleyEra c) Source # never ∷ Natural → Proof (ShelleyEra c) → Script (ShelleyEra c) Source # require ∷ KeyHash 'Witness (EraCrypto (ShelleyEra c)) → Proof (ShelleyEra c) → NativeScript (ShelleyEra c) Source # allOf ∷ [Proof (ShelleyEra c) → NativeScript (ShelleyEra c)] → Proof (ShelleyEra c) → NativeScript (ShelleyEra c) Source # anyOf ∷ [Proof (ShelleyEra c) → NativeScript (ShelleyEra c)] → Proof (ShelleyEra c) → NativeScript (ShelleyEra c) Source # mOf ∷ Int → [Proof (ShelleyEra c) → NativeScript (ShelleyEra c)] → Proof (ShelleyEra c) → NativeScript (ShelleyEra c) 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

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

class HasTokens era where Source #

Methods

forge ∷ Integer → Script era → MultiAsset (EraCrypto era) Source #

Instances

Instances details

Crypto c ⇒ HasTokens (AlonzoEra c) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script (AlonzoEra c) → MultiAsset (EraCrypto (AlonzoEra c)) Source #
Crypto c ⇒ HasTokens (BabbageEra c) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script (BabbageEra c) → MultiAsset (EraCrypto (BabbageEra c)) Source #
Crypto c ⇒ HasTokens (ConwayEra c) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script (ConwayEra c) → MultiAsset (EraCrypto (ConwayEra c)) Source #
Crypto c ⇒ HasTokens (MaryEra c) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script (MaryEra c) → MultiAsset (EraCrypto (MaryEra c)) 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 #