cardano-ledger-dijkstra-0.1.0.0: Cardano ledger with nested transactions
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Dijkstra.Scripts

Documentation

data family PlutusScript era Source #

Instances

Instances details
Generic (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript AlonzoEra) ∷ TypeType #

Generic (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type Rep (PlutusScript DijkstraEra) ∷ TypeType #

Show (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Show (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

SafeToHash (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

SafeToHash (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

NFData (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfPlutusScript AlonzoEra → () #

NFData (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnfPlutusScript DijkstraEra → () #

Eq (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Eq (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Ord (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Ord (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

MemPack (PlutusScript AlonzoEra)

It might seem that this instance unnecessarily utilizes a zero Tag, but it is needed for forward compatibility with plutus scripts from future eras.

That being said, currently this instance is not used at all, since reference scripts where introduced in Babbage era and MemPack for now is only used for TxOuts

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

MemPack (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

NoThunks (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

newtype PlutusScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

data PlutusScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

data PlutusScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

newtype PlutusScript DijkstraEra Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.12.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))
type Rep (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.20.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3)))))
type Rep (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Orphan instances

AllegraEraScript DijkstraEra Source # 
Instance details

AlonzoEraScript DijkstraEra Source # 
Instance details

Associated Types

data PlutusScript DijkstraEra Source #

type PlutusPurpose f DijkstraEra = (r ∷ Type) Source #

ConwayEraScript DijkstraEra Source # 
Instance details

EraScript DijkstraEra Source # 
Instance details

Associated Types

type Script DijkstraEra = (r ∷ Type) Source #

type NativeScript DijkstraEra = (r ∷ Type) Source #

ShelleyEraScript DijkstraEra Source # 
Instance details

Generic (PlutusScript DijkstraEra) Source # 
Instance details

Associated Types

type Rep (PlutusScript DijkstraEra) ∷ TypeType #

Show (PlutusScript DijkstraEra) Source # 
Instance details

SafeToHash (PlutusScript DijkstraEra) Source # 
Instance details

NFData (PlutusScript DijkstraEra) Source # 
Instance details

Methods

rnfPlutusScript DijkstraEra → () #

Eq (PlutusScript DijkstraEra) Source # 
Instance details

Ord (PlutusScript DijkstraEra) Source # 
Instance details

MemPack (PlutusScript DijkstraEra) Source # 
Instance details

NoThunks (PlutusScript DijkstraEra) Source # 
Instance details