cardano-ledger-dijkstra-0.2.0.0: Cardano ledger with nested transactions
Safe HaskellSafe-Inferred
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

data 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.1.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.21.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

type Rep (PlutusScript DijkstraEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "DijkstraPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "DijkstraPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2)))) :+: (C1 ('MetaCons "DijkstraPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV3))) :+: C1 ('MetaCons "DijkstraPlutusV4" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV4)))))

data DijkstraPlutusPurpose f era Source #

Instances

Instances details
(∀ a b. (ToJSON a, ToJSON b) ⇒ ToJSON (f a b), ToJSON (TxCert era), EraPParams era) ⇒ ToJSON (DijkstraPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Generic (DijkstraPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type Rep (DijkstraPlutusPurpose f era) ∷ TypeType #

(EraPParams era, EraTxCert era) ⇒ Show (DijkstraPlutusPurpose AsItem era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(EraPParams era, EraTxCert era) ⇒ Show (DijkstraPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(EraPParams era, EraTxCert era) ⇒ Show (DijkstraPlutusPurpose AsIxItem era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(Typeable f, EraPParams era, ∀ a b. (DecCBOR a, DecCBOR b) ⇒ DecCBOR (f a b), ∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), EraTxCert era) ⇒ DecCBOR (DijkstraPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(Typeable f, EraPParams era, ∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), EraTxCert era) ⇒ EncCBOR (DijkstraPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

encCBORDijkstraPlutusPurpose f era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (DijkstraPlutusPurpose f era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DijkstraPlutusPurpose f era] → Size Source #

(Typeable f, EraPParams era, ∀ a b. (DecCBOR a, DecCBOR b) ⇒ DecCBOR (f a b), DecCBOR (TxCert era)) ⇒ DecCBORGroup (DijkstraPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(Typeable f, EraPParams era, ∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), EncCBOR (TxCert era)) ⇒ EncCBORGroup (DijkstraPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(EraPParams era, NFData (TxCert era)) ⇒ NFData (DijkstraPlutusPurpose AsItem era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnfDijkstraPlutusPurpose AsItem era → () #

(EraPParams era, NFData (TxCert era)) ⇒ NFData (DijkstraPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnfDijkstraPlutusPurpose AsIx era → () #

(EraPParams era, NFData (TxCert era)) ⇒ NFData (DijkstraPlutusPurpose AsIxItem era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnfDijkstraPlutusPurpose AsIxItem era → () #

(EraTxCert era, EraPParams era) ⇒ Eq (DijkstraPlutusPurpose AsItem era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(EraTxCert era, EraPParams era) ⇒ Eq (DijkstraPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(EraTxCert era, EraPParams era) ⇒ Eq (DijkstraPlutusPurpose AsIxItem era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(EraPParams era, EraTxCert era) ⇒ Ord (DijkstraPlutusPurpose AsItem era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(EraPParams era, EraTxCert era) ⇒ Ord (DijkstraPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(EraPParams era, EraTxCert era) ⇒ Ord (DijkstraPlutusPurpose AsIxItem era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(EraPParams era, NoThunks (TxCert era)) ⇒ NoThunks (DijkstraPlutusPurpose AsItem era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(EraPParams era, NoThunks (TxCert era)) ⇒ NoThunks (DijkstraPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

(EraPParams era, NoThunks (TxCert era)) ⇒ NoThunks (DijkstraPlutusPurpose AsIxItem era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Inject (ConwayPlutusPurpose f era) (DijkstraPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (DijkstraPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (DijkstraPlutusPurpose f era) = D1 ('MetaData "DijkstraPlutusPurpose" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "DijkstraSpending" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: (C1 ('MetaCons "DijkstraMinting" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID))) :+: C1 ('MetaCons "DijkstraCertifying" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: ((C1 ('MetaCons "DijkstraRewarding" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 RewardAccount))) :+: C1 ('MetaCons "DijkstraVoting" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 Voter)))) :+: (C1 ('MetaCons "DijkstraProposing" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (ProposalProcedure era)))) :+: C1 ('MetaCons "DijkstraGuarding" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 ScriptHash))))))

newtype DijkstraNativeScript era Source #

Instances

Instances details
Generic (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type Rep (DijkstraNativeScript era) ∷ TypeType #

Show (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Typeable era ⇒ ToCBOR (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Era era ⇒ DecCBOR (Annotator (DijkstraNativeScript era)) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Era era ⇒ EncCBOR (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

SafeToHash (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

EqRaw (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Memoized (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type RawType (DijkstraNativeScript era) = (r ∷ Type) Source #

NFData (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnfDijkstraNativeScript era → () #

Eq (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Era era ⇒ MemPack (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Era era ⇒ NoThunks (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (DijkstraNativeScript era) = D1 ('MetaData "DijkstraNativeScript" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraNativeScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraNativeScriptRaw era)))))
type RawType (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

data DijkstraNativeScriptRaw era Source #

Instances

Instances details
Generic (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type Rep (DijkstraNativeScriptRaw era) ∷ TypeType #

Show (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Era era ⇒ DecCBOR (Annotator (DijkstraNativeScriptRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Era era ⇒ EncCBOR (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

NFData (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnfDijkstraNativeScriptRaw era → () #

Eq (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Era era ⇒ NoThunks (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (DijkstraNativeScriptRaw era) = D1 ('MetaData "DijkstraNativeScriptRaw" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "DijkstraRequireSignature" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Witness))) :+: (C1 ('MetaCons "DijkstraRequireAllOf" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (DijkstraNativeScript era)))) :+: C1 ('MetaCons "DijkstraRequireAnyOf" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (DijkstraNativeScript era)))))) :+: ((C1 ('MetaCons "DijkstraRequireMOf" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (DijkstraNativeScript era)))) :+: C1 ('MetaCons "DijkstraTimeStart" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo))) :+: (C1 ('MetaCons "DijkstraTimeExpire" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: C1 ('MetaCons "DijkstraRequireGuard" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Guard))))))

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