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

Cardano.Ledger.Dijkstra.Scripts

Synopsis

Documentation

data family PlutusScript era Source #

Instances

Instances details
AlonzoEraScript era ⇒ ToCBOR (PlutusScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBOR ∷ PlutusScript era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PlutusScript era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PlutusScript era] → Size Source #

AlonzoEraScript era ⇒ EncCBOR (PlutusScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBOR ∷ PlutusScript era → Encoding Source #

SafeToHash (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

originalBytes ∷ PlutusScript AlonzoEra → ByteString Source #

originalBytesSize ∷ PlutusScript AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript AlonzoEra → SafeHash i Source #

SafeToHash (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

originalBytes ∷ PlutusScript BabbageEra → ByteString Source #

originalBytesSize ∷ PlutusScript BabbageEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript BabbageEra → SafeHash i Source #

SafeToHash (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

originalBytes ∷ PlutusScript ConwayEra → ByteString Source #

originalBytesSize ∷ PlutusScript ConwayEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript ConwayEra → SafeHash i Source #

SafeToHash (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

originalBytes ∷ PlutusScript DijkstraEra → ByteString Source #

originalBytesSize ∷ PlutusScript DijkstraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript DijkstraEra → SafeHash i Source #

NFData (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ PlutusScript AlonzoEra → () #

NFData (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

rnf ∷ PlutusScript BabbageEra → () #

NFData (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

rnf ∷ PlutusScript ConwayEra → () #

NFData (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnf ∷ PlutusScript DijkstraEra → () #

Generic (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

Methods

from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x #

to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra #

Generic (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Associated Types

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.15.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))

Methods

from ∷ PlutusScript BabbageEra → Rep (PlutusScript BabbageEra) x #

to ∷ Rep (PlutusScript BabbageEra) x → PlutusScript BabbageEra #

Generic (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

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.24.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3)))))

Methods

from ∷ PlutusScript ConwayEra → Rep (PlutusScript ConwayEra) x #

to ∷ Rep (PlutusScript ConwayEra) x → PlutusScript ConwayEra #

Generic (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type Rep (PlutusScript DijkstraEra) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

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

Methods

from ∷ PlutusScript DijkstraEra → Rep (PlutusScript DijkstraEra) x #

to ∷ Rep (PlutusScript DijkstraEra) x → PlutusScript DijkstraEra #

Show (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS #

show ∷ PlutusScript AlonzoEra → String #

showList ∷ [PlutusScript AlonzoEra] → ShowS #

Show (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

showsPrec ∷ Int → PlutusScript BabbageEra → ShowS #

show ∷ PlutusScript BabbageEra → String #

showList ∷ [PlutusScript BabbageEra] → ShowS #

Show (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → PlutusScript ConwayEra → ShowS #

show ∷ PlutusScript ConwayEra → String #

showList ∷ [PlutusScript ConwayEra] → ShowS #

Show (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

showsPrec ∷ Int → PlutusScript DijkstraEra → ShowS #

show ∷ PlutusScript DijkstraEra → String #

showList ∷ [PlutusScript DijkstraEra] → ShowS #

Eq (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

Eq (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

(==) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(/=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

Eq (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

(==) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

(/=) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

Eq (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

(==) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(/=) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

Ord (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering #

(<) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(<=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

Ord (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

compare ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Ordering #

(<) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(<=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(>) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(>=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

max ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → PlutusScript BabbageEra #

min ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → PlutusScript BabbageEra #

Ord (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Ordering #

(<) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

(<=) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

(>) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

(>=) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

max ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra #

min ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra #

Ord (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

compare ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Ordering #

(<) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(<=) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(>) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(>=) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

max ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → PlutusScript DijkstraEra #

min ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → PlutusScript DijkstraEra #

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

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript AlonzoEra → Int Source #

packM ∷ PlutusScript AlonzoEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript AlonzoEra) Source #

MemPack (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript BabbageEra → Int Source #

packM ∷ PlutusScript BabbageEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript BabbageEra) Source #

MemPack (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript ConwayEra → Int Source #

packM ∷ PlutusScript ConwayEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript ConwayEra) Source #

MemPack (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript DijkstraEra → Int Source #

packM ∷ PlutusScript DijkstraEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript DijkstraEra) Source #

NoThunks (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript AlonzoEra) → String Source #

NoThunks (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

noThunks ∷ Context → PlutusScript BabbageEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript BabbageEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript BabbageEra) → String Source #

NoThunks (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

noThunks ∷ Context → PlutusScript ConwayEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript ConwayEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript ConwayEra) → String Source #

NoThunks (PlutusScript DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

noThunks ∷ Context → PlutusScript DijkstraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript DijkstraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript DijkstraEra) → String Source #

newtype PlutusScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
data PlutusScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

data PlutusScript BabbageEra
data PlutusScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

data PlutusScript ConwayEra
data PlutusScript DijkstraEra Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

data PlutusScript DijkstraEra
type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)
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.15.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe 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.24.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe 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.4.0.0-inplace" 'False) ((C1 ('MetaCons "DijkstraPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "DijkstraPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2)))) :+: (C1 ('MetaCons "DijkstraPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV3))) :+: C1 ('MetaCons "DijkstraPlutusV4" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV4)))))

data DijkstraPlutusPurpose (f ∷ Type → Type → Type) era Source #

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) 

Bundled Patterns

pattern DijkstraRewarding ∷ f Word32 AccountAddress → DijkstraPlutusPurpose f era

Deprecated: In favor of DijkstraWithdrawing

Instances

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

parseJSON ∷ Value → Parser (DijkstraPlutusPurpose f era) Source #

parseJSONList ∷ Value → Parser [DijkstraPlutusPurpose f era] Source #

omittedField ∷ Maybe (DijkstraPlutusPurpose f era) Source #

(∀ 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

Methods

toJSON ∷ DijkstraPlutusPurpose f era → Value Source #

toEncoding ∷ DijkstraPlutusPurpose f era → Encoding Source #

toJSONList ∷ [DijkstraPlutusPurpose f era] → Value Source #

toEncodingList ∷ [DijkstraPlutusPurpose f era] → Encoding Source #

omitField ∷ DijkstraPlutusPurpose f era → Bool Source #

(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

Methods

decCBOR ∷ Decoder s (DijkstraPlutusPurpose f era) Source #

dropCBOR ∷ Proxy (DijkstraPlutusPurpose f era) → Decoder s () Source #

label ∷ Proxy (DijkstraPlutusPurpose f era) → Text Source #

(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

encCBOR ∷ DijkstraPlutusPurpose f era → Encoding 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

Methods

decCBORGroup ∷ Decoder s (DijkstraPlutusPurpose f era) Source #

(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

Methods

encCBORGroup ∷ DijkstraPlutusPurpose f era → Encoding Source #

listLen ∷ Proxy (DijkstraPlutusPurpose f era) → Word Source #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnf ∷ DijkstraPlutusPurpose AsItem era → () #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnf ∷ DijkstraPlutusPurpose AsIx era → () #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnf ∷ DijkstraPlutusPurpose AsIxItem era → () #

Generic (DijkstraPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type Rep (DijkstraPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

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

Methods

from ∷ DijkstraPlutusPurpose f era → Rep (DijkstraPlutusPurpose f era) x #

to ∷ Rep (DijkstraPlutusPurpose f era) x → DijkstraPlutusPurpose f era #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

showsPrec ∷ Int → DijkstraPlutusPurpose AsItem era → ShowS #

show ∷ DijkstraPlutusPurpose AsItem era → String #

showList ∷ [DijkstraPlutusPurpose AsItem era] → ShowS #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

showsPrec ∷ Int → DijkstraPlutusPurpose AsIx era → ShowS #

show ∷ DijkstraPlutusPurpose AsIx era → String #

showList ∷ [DijkstraPlutusPurpose AsIx era] → ShowS #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

showsPrec ∷ Int → DijkstraPlutusPurpose AsIxItem era → ShowS #

show ∷ DijkstraPlutusPurpose AsIxItem era → String #

showList ∷ [DijkstraPlutusPurpose AsIxItem era] → ShowS #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

(==) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

(/=) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

(==) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

(/=) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

(==) ∷ DijkstraPlutusPurpose AsIxItem era → DijkstraPlutusPurpose AsIxItem era → Bool #

(/=) ∷ DijkstraPlutusPurpose AsIxItem era → DijkstraPlutusPurpose AsIxItem era → Bool #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

compare ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Ordering #

(<) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

(<=) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

(>) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

(>=) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

max ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era #

min ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

compare ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Ordering #

(<) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

(<=) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

(>) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

(>=) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

max ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era #

min ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

compare ∷ DijkstraPlutusPurpose AsIxItem era → DijkstraPlutusPurpose AsIxItem era → Ordering #

(<) ∷ DijkstraPlutusPurpose AsIxItem era → DijkstraPlutusPurpose AsIxItem era → Bool #

(<=) ∷ DijkstraPlutusPurpose AsIxItem era → DijkstraPlutusPurpose AsIxItem era → Bool #

(>) ∷ DijkstraPlutusPurpose AsIxItem era → DijkstraPlutusPurpose AsIxItem era → Bool #

(>=) ∷ DijkstraPlutusPurpose AsIxItem era → DijkstraPlutusPurpose AsIxItem era → Bool #

max ∷ DijkstraPlutusPurpose AsIxItem era → DijkstraPlutusPurpose AsIxItem era → DijkstraPlutusPurpose AsIxItem era #

min ∷ DijkstraPlutusPurpose AsIxItem era → DijkstraPlutusPurpose AsIxItem era → DijkstraPlutusPurpose AsIxItem era #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

noThunks ∷ Context → DijkstraPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraPlutusPurpose AsItem era) → String Source #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

noThunks ∷ Context → DijkstraPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraPlutusPurpose AsIx era) → String Source #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

noThunks ∷ Context → DijkstraPlutusPurpose AsIxItem era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraPlutusPurpose AsIxItem era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraPlutusPurpose AsIxItem era) → String Source #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

inject ∷ ConwayPlutusPurpose f era → DijkstraPlutusPurpose f era Source #

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.4.0.0-inplace" 'False) ((C1 ('MetaCons "DijkstraSpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: (C1 ('MetaCons "DijkstraMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID))) :+: C1 ('MetaCons "DijkstraCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: ((C1 ('MetaCons "DijkstraWithdrawing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress))) :+: C1 ('MetaCons "DijkstraVoting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 Voter)))) :+: (C1 ('MetaCons "DijkstraProposing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (ProposalProcedure era)))) :+: C1 ('MetaCons "DijkstraGuarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 ScriptHash))))))

class ConwayEraScript era ⇒ DijkstraEraScript era where Source #

Methods

mkGuardingPurpose ∷ f Word32 ScriptHash → PlutusPurpose f era Source #

toGuardingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 ScriptHash) Source #

mkRequireGuard ∷ Credential 'Guard → NativeScript era Source #

getRequireGuard ∷ NativeScript era → Maybe (Credential 'Guard) Source #

Instances

Instances details
DijkstraEraScript DijkstraEra Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

mkGuardingPurpose ∷ f Word32 ScriptHash → PlutusPurpose f DijkstraEra Source #

toGuardingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 ScriptHash) Source #

mkRequireGuard ∷ Credential 'Guard → NativeScript DijkstraEra Source #

getRequireGuard ∷ NativeScript DijkstraEra → Maybe (Credential 'Guard) Source #

newtype DijkstraNativeScript era Source #

Constructors

MkDijkstraNativeScript (MemoBytes (DijkstraNativeScriptRaw era)) 

Instances

Instances details
(DijkstraEraScript era, NativeScript era ~ DijkstraNativeScript era) ⇒ FromJSON (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

parseJSON ∷ Value → Parser (DijkstraNativeScript era) Source #

parseJSONList ∷ Value → Parser [DijkstraNativeScript era] Source #

omittedField ∷ Maybe (DijkstraNativeScript era) Source #

(DijkstraEraScript era, NativeScript era ~ DijkstraNativeScript era) ⇒ ToJSON (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

toJSON ∷ DijkstraNativeScript era → Value Source #

toEncoding ∷ DijkstraNativeScript era → Encoding Source #

toJSONList ∷ [DijkstraNativeScript era] → Value Source #

toEncodingList ∷ [DijkstraNativeScript era] → Encoding Source #

omitField ∷ DijkstraNativeScript era → Bool Source #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

toCBOR ∷ DijkstraNativeScript era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (DijkstraNativeScript era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DijkstraNativeScript era] → Size Source #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

decCBOR ∷ Decoder s (Annotator (DijkstraNativeScript era)) Source #

dropCBOR ∷ Proxy (Annotator (DijkstraNativeScript era)) → Decoder s () Source #

label ∷ Proxy (Annotator (DijkstraNativeScript era)) → Text Source #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

encCBOR ∷ DijkstraNativeScript era → Encoding Source #

SafeToHash (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

originalBytes ∷ DijkstraNativeScript era → ByteString Source #

originalBytesSize ∷ DijkstraNativeScript era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → DijkstraNativeScript era → SafeHash i Source #

EqRaw (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

eqRaw ∷ DijkstraNativeScript era → DijkstraNativeScript era → Bool Source #

Memoized (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type RawType (DijkstraNativeScript era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type RawType (DijkstraNativeScript era) = DijkstraNativeScriptRaw era

Methods

getMemoBytes ∷ DijkstraNativeScript era → MemoBytes (RawType (DijkstraNativeScript era))

wrapMemoBytes ∷ MemoBytes (RawType (DijkstraNativeScript era)) → DijkstraNativeScript era

NFData (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnf ∷ DijkstraNativeScript era → () #

Generic (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type Rep (DijkstraNativeScript era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (DijkstraNativeScript era) = D1 ('MetaData "DijkstraNativeScript" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraNativeScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraNativeScriptRaw era)))))

Methods

from ∷ DijkstraNativeScript era → Rep (DijkstraNativeScript era) x #

to ∷ Rep (DijkstraNativeScript era) x → DijkstraNativeScript era #

Show (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

showsPrec ∷ Int → DijkstraNativeScript era → ShowS #

show ∷ DijkstraNativeScript era → String #

showList ∷ [DijkstraNativeScript era] → ShowS #

Eq (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

(==) ∷ DijkstraNativeScript era → DijkstraNativeScript era → Bool #

(/=) ∷ DijkstraNativeScript era → DijkstraNativeScript era → Bool #

Ord (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

compare ∷ DijkstraNativeScript era → DijkstraNativeScript era → Ordering #

(<) ∷ DijkstraNativeScript era → DijkstraNativeScript era → Bool #

(<=) ∷ DijkstraNativeScript era → DijkstraNativeScript era → Bool #

(>) ∷ DijkstraNativeScript era → DijkstraNativeScript era → Bool #

(>=) ∷ DijkstraNativeScript era → DijkstraNativeScript era → Bool #

max ∷ DijkstraNativeScript era → DijkstraNativeScript era → DijkstraNativeScript era #

min ∷ DijkstraNativeScript era → DijkstraNativeScript era → DijkstraNativeScript era #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

typeName ∷ String Source #

packedByteCount ∷ DijkstraNativeScript era → Int Source #

packM ∷ DijkstraNativeScript era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (DijkstraNativeScript era) Source #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

noThunks ∷ Context → DijkstraNativeScript era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraNativeScript era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraNativeScript era) → String Source #

type RawType (DijkstraNativeScript era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type RawType (DijkstraNativeScript era) = DijkstraNativeScriptRaw era
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.4.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraNativeScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraNativeScriptRaw era)))))

data DijkstraNativeScriptRaw era Source #

Constructors

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

Instances

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

decCBOR ∷ Decoder s (Annotator (DijkstraNativeScriptRaw era)) Source #

dropCBOR ∷ Proxy (Annotator (DijkstraNativeScriptRaw era)) → Decoder s () Source #

label ∷ Proxy (Annotator (DijkstraNativeScriptRaw era)) → Text Source #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

encCBOR ∷ DijkstraNativeScriptRaw era → Encoding Source #

NFData (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnf ∷ DijkstraNativeScriptRaw era → () #

Generic (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type Rep (DijkstraNativeScriptRaw era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

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

Methods

from ∷ DijkstraNativeScriptRaw era → Rep (DijkstraNativeScriptRaw era) x #

to ∷ Rep (DijkstraNativeScriptRaw era) x → DijkstraNativeScriptRaw era #

Show (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

showsPrec ∷ Int → DijkstraNativeScriptRaw era → ShowS #

show ∷ DijkstraNativeScriptRaw era → String #

showList ∷ [DijkstraNativeScriptRaw era] → ShowS #

Eq (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

(==) ∷ DijkstraNativeScriptRaw era → DijkstraNativeScriptRaw era → Bool #

(/=) ∷ DijkstraNativeScriptRaw era → DijkstraNativeScriptRaw era → Bool #

Ord (DijkstraNativeScriptRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

compare ∷ DijkstraNativeScriptRaw era → DijkstraNativeScriptRaw era → Ordering #

(<) ∷ DijkstraNativeScriptRaw era → DijkstraNativeScriptRaw era → Bool #

(<=) ∷ DijkstraNativeScriptRaw era → DijkstraNativeScriptRaw era → Bool #

(>) ∷ DijkstraNativeScriptRaw era → DijkstraNativeScriptRaw era → Bool #

(>=) ∷ DijkstraNativeScriptRaw era → DijkstraNativeScriptRaw era → Bool #

max ∷ DijkstraNativeScriptRaw era → DijkstraNativeScriptRaw era → DijkstraNativeScriptRaw era #

min ∷ DijkstraNativeScriptRaw era → DijkstraNativeScriptRaw era → DijkstraNativeScriptRaw era #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

noThunks ∷ Context → DijkstraNativeScriptRaw era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraNativeScriptRaw era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraNativeScriptRaw era) → String Source #

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.4.0.0-inplace" 'False) ((C1 ('MetaCons "DijkstraRequireSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Witness))) :+: (C1 ('MetaCons "DijkstraRequireAllOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (DijkstraNativeScript era)))) :+: C1 ('MetaCons "DijkstraRequireAnyOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (DijkstraNativeScript era)))))) :+: ((C1 ('MetaCons "DijkstraRequireMOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (DijkstraNativeScript era)))) :+: C1 ('MetaCons "DijkstraTimeStart" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo))) :+: (C1 ('MetaCons "DijkstraTimeExpire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: C1 ('MetaCons "DijkstraRequireGuard" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Guard))))))

pattern GuardingPurpose ∷ DijkstraEraScript era ⇒ f Word32 ScriptHash → PlutusPurpose f era Source #

pattern RequireGuard ∷ DijkstraEraScript era ⇒ Credential 'Guard → NativeScript era Source #

evalDijkstraNativeScript ∷ (DijkstraEraScript era, NativeScript era ~ DijkstraNativeScript era) ⇒ Set (KeyHash 'Witness) → ValidityInterval → OSet (Credential 'Guard) → NativeScript era → Bool Source #

upgradeTimelock ∷ NativeScript ConwayEra → NativeScript DijkstraEra Source #

data AccountBalanceInterval era Source #

Constructors

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

Instances

Instances details
FromJSON (AccountBalanceInterval era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

parseJSON ∷ Value → Parser (AccountBalanceInterval era) Source #

parseJSONList ∷ Value → Parser [AccountBalanceInterval era] Source #

omittedField ∷ Maybe (AccountBalanceInterval era) Source #

ToJSON (AccountBalanceInterval era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

toJSON ∷ AccountBalanceInterval era → Value Source #

toEncoding ∷ AccountBalanceInterval era → Encoding Source #

toJSONList ∷ [AccountBalanceInterval era] → Value Source #

toEncodingList ∷ [AccountBalanceInterval era] → Encoding Source #

omitField ∷ AccountBalanceInterval era → Bool Source #

Typeable era ⇒ DecCBOR (AccountBalanceInterval era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

decCBOR ∷ Decoder s (AccountBalanceInterval era) Source #

dropCBOR ∷ Proxy (AccountBalanceInterval era) → Decoder s () Source #

label ∷ Proxy (AccountBalanceInterval era) → Text Source #

EncCBOR (AccountBalanceInterval era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

encCBOR ∷ AccountBalanceInterval era → Encoding Source #

NFData (AccountBalanceInterval era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnf ∷ AccountBalanceInterval era → () #

Generic (AccountBalanceInterval era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type Rep (AccountBalanceInterval era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (AccountBalanceInterval era) = D1 ('MetaData "AccountBalanceInterval" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'False) ((C1 ('MetaCons "AccountBalanceLowerBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Inclusive Coin))) :+: C1 ('MetaCons "AccountBalanceUpperBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Exclusive Coin)))) :+: (C1 ('MetaCons "AccountBalanceBothBounds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Inclusive Coin)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Exclusive Coin))) :+: C1 ('MetaCons "AccountBalanceExact" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))

Methods

from ∷ AccountBalanceInterval era → Rep (AccountBalanceInterval era) x #

to ∷ Rep (AccountBalanceInterval era) x → AccountBalanceInterval era #

Show (AccountBalanceInterval era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

showsPrec ∷ Int → AccountBalanceInterval era → ShowS #

show ∷ AccountBalanceInterval era → String #

showList ∷ [AccountBalanceInterval era] → ShowS #

Eq (AccountBalanceInterval era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

(==) ∷ AccountBalanceInterval era → AccountBalanceInterval era → Bool #

(/=) ∷ AccountBalanceInterval era → AccountBalanceInterval era → Bool #

Ord (AccountBalanceInterval era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

compare ∷ AccountBalanceInterval era → AccountBalanceInterval era → Ordering #

(<) ∷ AccountBalanceInterval era → AccountBalanceInterval era → Bool #

(<=) ∷ AccountBalanceInterval era → AccountBalanceInterval era → Bool #

(>) ∷ AccountBalanceInterval era → AccountBalanceInterval era → Bool #

(>=) ∷ AccountBalanceInterval era → AccountBalanceInterval era → Bool #

max ∷ AccountBalanceInterval era → AccountBalanceInterval era → AccountBalanceInterval era #

min ∷ AccountBalanceInterval era → AccountBalanceInterval era → AccountBalanceInterval era #

NoThunks (AccountBalanceInterval era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

noThunks ∷ Context → AccountBalanceInterval era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AccountBalanceInterval era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AccountBalanceInterval era) → String Source #

type Rep (AccountBalanceInterval era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (AccountBalanceInterval era) = D1 ('MetaData "AccountBalanceInterval" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'False) ((C1 ('MetaCons "AccountBalanceLowerBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Inclusive Coin))) :+: C1 ('MetaCons "AccountBalanceUpperBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Exclusive Coin)))) :+: (C1 ('MetaCons "AccountBalanceBothBounds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Inclusive Coin)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Exclusive Coin))) :+: C1 ('MetaCons "AccountBalanceExact" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))

newtype AccountBalanceIntervals era Source #

Constructors

AccountBalanceIntervals 

Fields

Instances

Instances details
FromJSON (AccountBalanceIntervals era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

parseJSON ∷ Value → Parser (AccountBalanceIntervals era) Source #

parseJSONList ∷ Value → Parser [AccountBalanceIntervals era] Source #

omittedField ∷ Maybe (AccountBalanceIntervals era) Source #

ToJSON (AccountBalanceIntervals era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

toJSON ∷ AccountBalanceIntervals era → Value Source #

toEncoding ∷ AccountBalanceIntervals era → Encoding Source #

toJSONList ∷ [AccountBalanceIntervals era] → Value Source #

toEncodingList ∷ [AccountBalanceIntervals era] → Encoding Source #

omitField ∷ AccountBalanceIntervals era → Bool Source #

Typeable era ⇒ DecCBOR (AccountBalanceIntervals era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

decCBOR ∷ Decoder s (AccountBalanceIntervals era) Source #

dropCBOR ∷ Proxy (AccountBalanceIntervals era) → Decoder s () Source #

label ∷ Proxy (AccountBalanceIntervals era) → Text Source #

EncCBOR (AccountBalanceIntervals era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

encCBOR ∷ AccountBalanceIntervals era → Encoding Source #

NFData (AccountBalanceIntervals era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnf ∷ AccountBalanceIntervals era → () #

Generic (AccountBalanceIntervals era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type Rep (AccountBalanceIntervals era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (AccountBalanceIntervals era) = D1 ('MetaData "AccountBalanceIntervals" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'True) (C1 ('MetaCons "AccountBalanceIntervals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAccountBalanceIntervals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AccountAddress (AccountBalanceInterval era)))))

Methods

from ∷ AccountBalanceIntervals era → Rep (AccountBalanceIntervals era) x #

to ∷ Rep (AccountBalanceIntervals era) x → AccountBalanceIntervals era #

Show (AccountBalanceIntervals era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

showsPrec ∷ Int → AccountBalanceIntervals era → ShowS #

show ∷ AccountBalanceIntervals era → String #

showList ∷ [AccountBalanceIntervals era] → ShowS #

Eq (AccountBalanceIntervals era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

(==) ∷ AccountBalanceIntervals era → AccountBalanceIntervals era → Bool #

(/=) ∷ AccountBalanceIntervals era → AccountBalanceIntervals era → Bool #

Ord (AccountBalanceIntervals era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

compare ∷ AccountBalanceIntervals era → AccountBalanceIntervals era → Ordering #

(<) ∷ AccountBalanceIntervals era → AccountBalanceIntervals era → Bool #

(<=) ∷ AccountBalanceIntervals era → AccountBalanceIntervals era → Bool #

(>) ∷ AccountBalanceIntervals era → AccountBalanceIntervals era → Bool #

(>=) ∷ AccountBalanceIntervals era → AccountBalanceIntervals era → Bool #

max ∷ AccountBalanceIntervals era → AccountBalanceIntervals era → AccountBalanceIntervals era #

min ∷ AccountBalanceIntervals era → AccountBalanceIntervals era → AccountBalanceIntervals era #

NoThunks (AccountBalanceIntervals era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

noThunks ∷ Context → AccountBalanceIntervals era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AccountBalanceIntervals era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AccountBalanceIntervals era) → String Source #

type Rep (AccountBalanceIntervals era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Rep (AccountBalanceIntervals era) = D1 ('MetaData "AccountBalanceIntervals" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'True) (C1 ('MetaCons "AccountBalanceIntervals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAccountBalanceIntervals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AccountAddress (AccountBalanceInterval era)))))

JSON utilities

dijkstraBasedEraNativeScriptToJSON ∷ DijkstraEraScript era ⇒ (NativeScript era → Object) → NativeScript era → Object Source #

dijkstraBasedEraNativeScriptJSONParser ∷ DijkstraEraScript era ⇒ Value → Parser (NativeScript era) Source #

Orphan instances

AllegraEraScript DijkstraEra Source # 
Instance details

Methods

mkTimeStart ∷ SlotNo → NativeScript DijkstraEra Source #

getTimeStart ∷ NativeScript DijkstraEra → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript DijkstraEra Source #

getTimeExpire ∷ NativeScript DijkstraEra → Maybe SlotNo Source #

AlonzoEraScript DijkstraEra Source # 
Instance details

Associated Types

data PlutusScript DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

data PlutusScript DijkstraEra
type PlutusPurpose f DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type PlutusPurpose f DijkstraEra = DijkstraPlutusPurpose f DijkstraEra

Methods

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script DijkstraEra → Maybe (PlutusScript DijkstraEra) Source #

fromPlutusScript ∷ PlutusScript DijkstraEra → Script DijkstraEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript DijkstraEra) Source #

withPlutusScript ∷ PlutusScript DijkstraEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g DijkstraEra → PlutusPurpose f DijkstraEra Source #

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f DijkstraEra Source #

toSpendingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 TxIn) Source #

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f DijkstraEra Source #

toMintingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 PolicyID) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert DijkstraEra) → PlutusPurpose f DijkstraEra Source #

toCertifyingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 (TxCert DijkstraEra)) Source #

mkWithdrawingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f DijkstraEra Source #

toWithdrawingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 AccountAddress) Source #

mkRewardingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f DijkstraEra Source #

toRewardingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 AccountAddress) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra DijkstraEra) → PlutusPurpose AsIx DijkstraEra Source #

ConwayEraScript DijkstraEra Source # 
Instance details

Methods

mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f DijkstraEra Source #

toVotingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 Voter) Source #

mkProposingPurpose ∷ f Word32 (ProposalProcedure DijkstraEra) → PlutusPurpose f DijkstraEra Source #

toProposingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 (ProposalProcedure DijkstraEra)) Source #

EraScript DijkstraEra Source # 
Instance details

Associated Types

type Script DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Script DijkstraEra = AlonzoScript DijkstraEra
type NativeScript DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type NativeScript DijkstraEra = DijkstraNativeScript DijkstraEra

Methods

upgradeScript ∷ Script (PreviousEra DijkstraEra) → Script DijkstraEra Source #

scriptPrefixTag ∷ Script DijkstraEra → ByteString Source #

getNativeScript ∷ Script DijkstraEra → Maybe (NativeScript DijkstraEra) Source #

fromNativeScript ∷ NativeScript DijkstraEra → Script DijkstraEra Source #

ShelleyEraScript DijkstraEra Source # 
Instance details

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript DijkstraEra Source #

getRequireSignature ∷ NativeScript DijkstraEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript DijkstraEra) → NativeScript DijkstraEra Source #

getRequireAllOf ∷ NativeScript DijkstraEra → Maybe (StrictSeq (NativeScript DijkstraEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript DijkstraEra) → NativeScript DijkstraEra Source #

getRequireAnyOf ∷ NativeScript DijkstraEra → Maybe (StrictSeq (NativeScript DijkstraEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript DijkstraEra) → NativeScript DijkstraEra Source #

getRequireMOf ∷ NativeScript DijkstraEra → Maybe (Int, StrictSeq (NativeScript DijkstraEra)) Source #

SafeToHash (PlutusScript DijkstraEra) Source # 
Instance details

Methods

originalBytes ∷ PlutusScript DijkstraEra → ByteString Source #

originalBytesSize ∷ PlutusScript DijkstraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript DijkstraEra → SafeHash i Source #

NFData (PlutusScript DijkstraEra) Source # 
Instance details

Methods

rnf ∷ PlutusScript DijkstraEra → () #

Generic (PlutusScript DijkstraEra) Source # 
Instance details

Associated Types

type Rep (PlutusScript DijkstraEra) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

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

Methods

from ∷ PlutusScript DijkstraEra → Rep (PlutusScript DijkstraEra) x #

to ∷ Rep (PlutusScript DijkstraEra) x → PlutusScript DijkstraEra #

Show (PlutusScript DijkstraEra) Source # 
Instance details

Methods

showsPrec ∷ Int → PlutusScript DijkstraEra → ShowS #

show ∷ PlutusScript DijkstraEra → String #

showList ∷ [PlutusScript DijkstraEra] → ShowS #

Eq (PlutusScript DijkstraEra) Source # 
Instance details

Methods

(==) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(/=) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

Ord (PlutusScript DijkstraEra) Source # 
Instance details

Methods

compare ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Ordering #

(<) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(<=) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(>) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(>=) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

max ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → PlutusScript DijkstraEra #

min ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → PlutusScript DijkstraEra #

MemPack (PlutusScript DijkstraEra) Source # 
Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript DijkstraEra → Int Source #

packM ∷ PlutusScript DijkstraEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript DijkstraEra) Source #

NoThunks (PlutusScript DijkstraEra) Source # 
Instance details

Methods

noThunks ∷ Context → PlutusScript DijkstraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript DijkstraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript DijkstraEra) → String Source #