Modulecardano-ledger-dijkstra-0.3.0.0

Cardano.Ledger.Dijkstra.Scripts

5 types
1 class
4 values

Packagecardano-ledger-dijkstra-0.3.0.0
Exports24
LicenceApache-2.0

patternpattern GuardingPurpose :: DijkstraEraScript era => f Word32 ScriptHash -> PlutusPurpose f era

patternpattern RequireGuard :: DijkstraEraScript era => Credential Guard -> NativeScript era

valuedijkstraBasedEraNativeScriptJSONParser

:: DijkstraEraScript era
=> Value
-> Parser (NativeScript era)

valuedijkstraBasedEraNativeScriptToJSON

:: DijkstraEraScript era
=> NativeScript era -> Object
-> NativeScript era
-> Object

valueevalDijkstraNativeScript

:: (DijkstraEraScript era, NativeScript era ~ DijkstraNativeScript era)
=> Set (KeyHash Witness)
-> ValidityInterval
-> OSet (Credential Guard)
-> NativeScript era
-> Bool

valueupgradeTimelock :: NativeScript ConwayEra -> NativeScript DijkstraEra

familydata family PlutusScript era

Instances42Eq, Ord, Show, Generic, NFData, MemPack, …

Eq (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
Eq (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Eq (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
Ord (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Ord (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
Ord (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Ord (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
Show (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
Show (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Show (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
Generic (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Generic (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
Generic (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Generic (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
NFData (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NFData (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
NFData (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
NFData (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
MemPack (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
MemPack (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
MemPack (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
MemPack (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
NoThunks (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
NoThunks (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
NoThunks (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
AlonzoEraScript era => ToCBOR (PlutusScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
AlonzoEraScript era => EncCBOR (PlutusScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
SafeToHash (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
SafeToHash (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
SafeToHash (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
SafeToHash (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.14.0.0-IorkXQjtMXvLMg0K4UxcYR" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
type Rep (PlutusScript DijkstraEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'False) ((C1 ('MetaCons "DijkstraPlutusV1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "DijkstraPlutusV2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2)))) :+: (C1 ('MetaCons "DijkstraPlutusV3" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3))) :+: C1 ('MetaCons "DijkstraPlutusV4" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV4)))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
data PlutusScript AlonzoEra
- AlonzoPlutusV1 (Plutus 'PlutusV1)
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
data PlutusScript BabbageEra
- BabbagePlutusV1 !(Plutus 'PlutusV1)
- BabbagePlutusV2 !(Plutus 'PlutusV2)
Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
data PlutusScript ConwayEra
- ConwayPlutusV1 !(Plutus 'PlutusV1)
- ConwayPlutusV2 !(Plutus 'PlutusV2)
- ConwayPlutusV3 !(Plutus 'PlutusV3)
Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
data PlutusScript DijkstraEra
- DijkstraPlutusV1 !(Plutus 'PlutusV1)
- DijkstraPlutusV2 !(Plutus 'PlutusV2)
- DijkstraPlutusV3 !(Plutus 'PlutusV3)
- DijkstraPlutusV4 !(Plutus 'PlutusV4)
Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan

constructorAlonzoPlutusV1 (Plutus 'PlutusV1)

constructorBabbagePlutusV1 !(Plutus 'PlutusV1)

constructorBabbagePlutusV2 !(Plutus 'PlutusV2)

constructorConwayPlutusV1 !(Plutus 'PlutusV1)

constructorConwayPlutusV2 !(Plutus 'PlutusV2)

constructorConwayPlutusV3 !(Plutus 'PlutusV3)

constructorDijkstraPlutusV1 !(Plutus 'PlutusV1)

constructorDijkstraPlutusV2 !(Plutus 'PlutusV2)

constructorDijkstraPlutusV3 !(Plutus 'PlutusV3)

constructorDijkstraPlutusV4 !(Plutus 'PlutusV4)

datadata AccountBalanceInterval era

Constructors

AccountBalanceLowerBound !(Inclusive Coin)
AccountBalanceUpperBound !(Exclusive Coin)
AccountBalanceBothBounds !(Inclusive Coin) !(Exclusive Coin)
AccountBalanceExact !Coin

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Ord (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Generic (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NFData (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NoThunks (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Typeable era => DecCBOR (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
EncCBOR (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type Rep (AccountBalanceInterval era) = D1 ('MetaData "AccountBalanceInterval" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'False) ((C1 ('MetaCons "AccountBalanceLowerBound" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Inclusive Coin))) :+: C1 ('MetaCons "AccountBalanceUpperBound" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Exclusive Coin)))) :+: (C1 ('MetaCons "AccountBalanceBothBounds" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Inclusive Coin)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Exclusive Coin))) :+: C1 ('MetaCons "AccountBalanceExact" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts

newtypenewtype AccountBalanceIntervals era

Constructors

AccountBalanceIntervals
- unAccountBalanceIntervals :: Map AccountId (AccountBalanceInterval era)

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Ord (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Generic (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NFData (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NoThunks (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Typeable era => DecCBOR (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
EncCBOR (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type Rep (AccountBalanceIntervals era) = D1 ('MetaData "AccountBalanceIntervals" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'True) (C1 ('MetaCons "AccountBalanceIntervals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAccountBalanceIntervals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AccountId (AccountBalanceInterval era)))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts

classclass ConwayEraScript era => DijkstraEraScript era where

Methods

mkGuardingPurpose :: f Word32 ScriptHash -> PlutusPurpose f era
toGuardingPurpose :: PlutusPurpose f era -> Maybe (f Word32 ScriptHash)
mkRequireGuard :: Credential Guard -> NativeScript era
getRequireGuard :: NativeScript era -> Maybe (Credential Guard)

Instances1DijkstraEraScript

DijkstraEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts

newtypenewtype DijkstraNativeScript era

Constructors

MkDijkstraNativeScript (MemoBytes (DijkstraNativeScriptRaw era))

Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Generic (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NFData (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(DijkstraEraScript era, NativeScript era ~ DijkstraNativeScript era) => FromJSON (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(DijkstraEraScript era, NativeScript era ~ DijkstraNativeScript era) => ToJSON (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Era era => MemPack (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Era era => NoThunks (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Typeable era => ToCBOR (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Era era => DecCBOR (Annotator (DijkstraNativeScript era))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Era era => EncCBOR (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
SafeToHash (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
EqRaw (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Memoized (DijkstraNativeScript era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type Rep (DijkstraNativeScript era) = D1 ('MetaData "DijkstraNativeScript" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'True) (C1 ('MetaCons "MkDijkstraNativeScript" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraNativeScriptRaw era)))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type RawType (DijkstraNativeScript era) = DijkstraNativeScriptRaw eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts

datadata DijkstraNativeScriptRaw era

Constructors

DijkstraRequireSignature !(KeyHash Witness)
DijkstraRequireAllOf !(StrictSeq (DijkstraNativeScript era))
DijkstraRequireAnyOf !(StrictSeq (DijkstraNativeScript era))
DijkstraRequireMOf !Int !(StrictSeq (DijkstraNativeScript era))
DijkstraTimeStart !SlotNo
DijkstraTimeExpire !SlotNo
DijkstraRequireGuard (Credential Guard)

Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …

Eq (DijkstraNativeScriptRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (DijkstraNativeScriptRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Generic (DijkstraNativeScriptRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NFData (DijkstraNativeScriptRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Era era => NoThunks (DijkstraNativeScriptRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Era era => DecCBOR (Annotator (DijkstraNativeScriptRaw era))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Era era => EncCBOR (DijkstraNativeScriptRaw era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type Rep (DijkstraNativeScriptRaw era) = D1 ('MetaData "DijkstraNativeScriptRaw" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'False) ((C1 ('MetaCons "DijkstraRequireSignature" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash Witness))) :+: (C1 ('MetaCons "DijkstraRequireAllOf" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (DijkstraNativeScript era)))) :+: C1 ('MetaCons "DijkstraRequireAnyOf" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (DijkstraNativeScript era)))))) :+: ((C1 ('MetaCons "DijkstraRequireMOf" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (DijkstraNativeScript era)))) :+: C1 ('MetaCons "DijkstraTimeStart" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo))) :+: (C1 ('MetaCons "DijkstraTimeExpire" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo)) :+: C1 ('MetaCons "DijkstraRequireGuard" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential Guard))))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts

datadata DijkstraPlutusPurpose (f :: Type -> Type -> Type) era

Constructors

DijkstraSpending !(f Word32 TxIn)
DijkstraMinting !(f Word32 PolicyID)
DijkstraCertifying !(f Word32 (TxCert era))
DijkstraWithdrawing !(f Word32 AccountAddress)
DijkstraVoting !(f Word32 Voter)
DijkstraProposing !(f Word32 (ProposalProcedure era))
DijkstraGuarding !(f Word32 ScriptHash)

Instances23Eq, Ord, Show, Generic, NFData, ToJSON, …

(EraTxCert era, EraPParams era) => Eq (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraTxCert era, EraPParams era) => Eq (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraTxCert era, EraPParams era) => Eq (DijkstraPlutusPurpose AsIxItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, EraTxCert era) => Ord (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, EraTxCert era) => Ord (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, EraTxCert era) => Ord (DijkstraPlutusPurpose AsIxItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, EraTxCert era) => Show (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, EraTxCert era) => Show (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, EraTxCert era) => Show (DijkstraPlutusPurpose AsIxItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Generic (DijkstraPlutusPurpose f era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, NFData (TxCert era)) => NFData (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, NFData (TxCert era)) => NFData (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, NFData (TxCert era)) => NFData (DijkstraPlutusPurpose AsIxItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(forall a b. (ToJSON a, ToJSON b) => ToJSON (f a b), ToJSON (TxCert era), EraPParams era) => ToJSON (DijkstraPlutusPurpose f era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, NoThunks (TxCert era)) => NoThunks (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, NoThunks (TxCert era)) => NoThunks (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, NoThunks (TxCert era)) => NoThunks (DijkstraPlutusPurpose AsIxItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(Typeable f, EraPParams era, forall a b. (DecCBOR a, DecCBOR b) => DecCBOR (f a b), forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), EraTxCert era) => DecCBOR (DijkstraPlutusPurpose f era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), EraTxCert era) => EncCBOR (DijkstraPlutusPurpose f era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(Typeable f, EraPParams era, forall a b. (DecCBOR a, DecCBOR b) => DecCBOR (f a b), DecCBOR (TxCert era)) => DecCBORGroup (DijkstraPlutusPurpose f era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(EraPParams era, forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), EncCBOR (TxCert era)) => EncCBORGroup (DijkstraPlutusPurpose f era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Inject (ConwayPlutusPurpose f era) (DijkstraPlutusPurpose f era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type Rep (DijkstraPlutusPurpose f era) = D1 ('MetaData "DijkstraPlutusPurpose" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'False) ((C1 ('MetaCons "DijkstraSpending" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: (C1 ('MetaCons "DijkstraMinting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID))) :+: C1 ('MetaCons "DijkstraCertifying" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: ((C1 ('MetaCons "DijkstraWithdrawing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress))) :+: C1 ('MetaCons "DijkstraVoting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 Voter)))) :+: (C1 ('MetaCons "DijkstraProposing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (ProposalProcedure era)))) :+: C1 ('MetaCons "DijkstraGuarding" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 ScriptHash))))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts

patternpattern DijkstraRewarding :: f Word32 AccountAddress -> DijkstraPlutusPurpose f era

Deprecated. In favor of DijkstraWithdrawing

Orphan instances

13 instances