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

Cardano.Ledger.Dijkstra.Scripts

Documentation

data family PlutusScript era Source #

Instances

Instances details
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.13.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.21.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.2.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.13.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.21.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.2.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)) 
DijkstraRewarding !(f Word32 RewardAccount) 
DijkstraVoting !(f Word32 Voter) 
DijkstraProposing !(f Word32 (ProposalProcedure era)) 
DijkstraGuarding !(f Word32 ScriptHash) 

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

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 ∷ DijkstraPlutusPurpose f era → Word Source #

listLenBound ∷ 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.2.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 "DijkstraRewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 RewardAccount))) :+: 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.2.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 "DijkstraRewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 RewardAccount))) :+: 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
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.2.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 #

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.2.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.2.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 #

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.2.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 #

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 #

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f DijkstraEra Source #

toRewardingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 RewardAccount) 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.2.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 #