AnyEraTxAuxData AllegraEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.AuxData Methods nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData AllegraEra) (Maybe (StrictSeq (NativeScript AllegraEra))) Source # plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData AllegraEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #
AnyEraTxAuxData AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.AuxData Methods nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData AlonzoEra) (Maybe (StrictSeq (NativeScript AlonzoEra))) Source # plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData AlonzoEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #
AnyEraTxAuxData BabbageEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.AuxData Methods nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData BabbageEra) (Maybe (StrictSeq (NativeScript BabbageEra))) Source # plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData BabbageEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #
AnyEraTxAuxData ConwayEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.AuxData Methods nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData ConwayEra) (Maybe (StrictSeq (NativeScript ConwayEra))) Source # plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData ConwayEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #
AnyEraTxAuxData DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.AuxData Methods nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData DijkstraEra) (Maybe (StrictSeq (NativeScript DijkstraEra))) Source # plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData DijkstraEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #
AnyEraTxAuxData MaryEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.AuxData Methods nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData MaryEra) (Maybe (StrictSeq (NativeScript MaryEra))) Source # plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData MaryEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #
AnyEraTxAuxData ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.AuxData Methods nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData ShelleyEra) (Maybe (StrictSeq (NativeScript ShelleyEra))) Source # plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData ShelleyEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #

Shelley

newtype ShelleyTxAuxData era Source #

Constructors

MkShelleyTxAuxData (MemoBytes (ShelleyTxAuxDataRaw era))

Bundled Patterns

pattern ShelleyTxAuxData ∷ Era era ⇒ Map Word64 Metadatum → ShelleyTxAuxData era

Instances

Instances details

Generic (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type Rep (ShelleyTxAuxData era) ∷ Type → Type # Methods from ∷ ShelleyTxAuxData era → Rep (ShelleyTxAuxData era) x # to ∷ Rep (ShelleyTxAuxData era) x → ShelleyTxAuxData era #
Show (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods showsPrec ∷ Int → ShelleyTxAuxData era → ShowS # show ∷ ShelleyTxAuxData era → String # showList ∷ [ShelleyTxAuxData era] → ShowS #
Typeable era ⇒ ToCBOR (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods toCBOR ∷ ShelleyTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxAuxData era] → Size Source #
Era era ⇒ DecCBOR (Annotator (ShelleyTxAuxData era))
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods decCBOR ∷ Decoder s (Annotator (ShelleyTxAuxData era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTxAuxData era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTxAuxData era)) → Text Source #
Era era ⇒ EncCBOR (ShelleyTxAuxData era)	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods encCBOR ∷ ShelleyTxAuxData era → Encoding Source #
SafeToHash (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods originalBytes ∷ ShelleyTxAuxData era → ByteString Source # originalBytesSize ∷ ShelleyTxAuxData era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → ShelleyTxAuxData era → SafeHash i Source #
EqRaw (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods eqRaw ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #
Memoized (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type RawType (ShelleyTxAuxData era) = (r ∷ Type) Source # Methods getMemoBytes ∷ ShelleyTxAuxData era → MemoBytes (RawType (ShelleyTxAuxData era)) wrapMemoBytes ∷ MemoBytes (RawType (ShelleyTxAuxData era)) → ShelleyTxAuxData era
NFData (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods rnf ∷ ShelleyTxAuxData era → () #
Eq (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods (==) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool # (/=) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool #
NoThunks (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods noThunks ∷ Context → ShelleyTxAuxData era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxAuxData era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxAuxData era) → String Source #
HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxData
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods hashAnnotated ∷ ShelleyTxAuxData era → SafeHash EraIndependentTxAuxData Source #
type Rep (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.17.1.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era)))))
type RawType (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type RawType (ShelleyTxAuxData era) = ShelleyTxAuxDataRaw era

data Metadatum Source #

A generic metadatum type.

Constructors

Map ![(Metadatum, Metadatum)]
List ![Metadatum]
I !Integer
B !ByteString
S !Text

Instances

Instances details

Generic Metadatum
Instance details Defined in Cardano.Ledger.Metadata Associated Types type Rep Metadatum ∷ Type → Type # Methods from ∷ Metadatum → Rep Metadatum x # to ∷ Rep Metadatum x → Metadatum #
Show Metadatum
Instance details Defined in Cardano.Ledger.Metadata Methods showsPrec ∷ Int → Metadatum → ShowS # show ∷ Metadatum → String # showList ∷ [Metadatum] → ShowS #
DecCBOR Metadatum
Instance details Defined in Cardano.Ledger.Metadata Methods decCBOR ∷ Decoder s Metadatum Source # dropCBOR ∷ Proxy Metadatum → Decoder s () Source # label ∷ Proxy Metadatum → Text Source #
EncCBOR Metadatum
Instance details Defined in Cardano.Ledger.Metadata Methods encCBOR ∷ Metadatum → Encoding Source #
NFData Metadatum
Instance details Defined in Cardano.Ledger.Metadata Methods rnf ∷ Metadatum → () #
Eq Metadatum
Instance details Defined in Cardano.Ledger.Metadata Methods (==) ∷ Metadatum → Metadatum → Bool # (/=) ∷ Metadatum → Metadatum → Bool #
Ord Metadatum
Instance details Defined in Cardano.Ledger.Metadata Methods compare ∷ Metadatum → Metadatum → Ordering # (<) ∷ Metadatum → Metadatum → Bool # (<=) ∷ Metadatum → Metadatum → Bool # (>) ∷ Metadatum → Metadatum → Bool # (>=) ∷ Metadatum → Metadatum → Bool # max ∷ Metadatum → Metadatum → Metadatum # min ∷ Metadatum → Metadatum → Metadatum #
NoThunks Metadatum
Instance details Defined in Cardano.Ledger.Metadata Methods noThunks ∷ Context → Metadatum → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Metadatum → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Metadatum → String Source #
type Rep Metadatum
Instance details Defined in Cardano.Ledger.Metadata type Rep Metadatum = D1 ('MetaData "Metadatum" "Cardano.Ledger.Metadata" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Metadatum, Metadatum)])) :+: C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Metadatum]))) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: (C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))

Allegra

class EraTxAuxData era ⇒ AllegraEraTxAuxData era Source #

Minimal complete definition

nativeScriptsTxAuxDataL

Instances

Instances details

AllegraEraTxAuxData AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (StrictSeq (NativeScript AllegraEra)) Source #

nativeScriptsTxAuxDataL ∷ AllegraEraTxAuxData era ⇒ Lens' (TxAuxData era) (StrictSeq (NativeScript era)) Source #

newtype AllegraTxAuxData era Source #

Constructors

MkAlegraTxAuxData (MemoBytes (AllegraTxAuxDataRaw era))

Bundled Patterns

pattern AllegraTxAuxData ∷ (Era era, EncCBOR (NativeScript era)) ⇒ Map Word64 Metadatum → StrictSeq (NativeScript era) → AllegraTxAuxData era

Instances

Instances details

Generic (AllegraTxAuxData era)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Associated Types type Rep (AllegraTxAuxData era) ∷ Type → Type # Methods from ∷ AllegraTxAuxData era → Rep (AllegraTxAuxData era) x # to ∷ Rep (AllegraTxAuxData era) x → AllegraTxAuxData era #
Show (NativeScript era) ⇒ Show (AllegraTxAuxData era)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods showsPrec ∷ Int → AllegraTxAuxData era → ShowS # show ∷ AllegraTxAuxData era → String # showList ∷ [AllegraTxAuxData era] → ShowS #
Typeable era ⇒ ToCBOR (AllegraTxAuxData era)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods toCBOR ∷ AllegraTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AllegraTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AllegraTxAuxData era] → Size Source #
AllegraEraScript era ⇒ DecCBOR (Annotator (AllegraTxAuxData era))
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods decCBOR ∷ Decoder s (Annotator (AllegraTxAuxData era)) Source # dropCBOR ∷ Proxy (Annotator (AllegraTxAuxData era)) → Decoder s () Source # label ∷ Proxy (Annotator (AllegraTxAuxData era)) → Text Source #
Era era ⇒ EncCBOR (AllegraTxAuxData era)	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods encCBOR ∷ AllegraTxAuxData era → Encoding Source #
SafeToHash (AllegraTxAuxData era)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods originalBytes ∷ AllegraTxAuxData era → ByteString Source # originalBytesSize ∷ AllegraTxAuxData era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AllegraTxAuxData era → SafeHash i Source #
Eq (NativeScript era) ⇒ EqRaw (AllegraTxAuxData era)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods eqRaw ∷ AllegraTxAuxData era → AllegraTxAuxData era → Bool Source #
Memoized (AllegraTxAuxData era)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Associated Types type RawType (AllegraTxAuxData era) = (r ∷ Type) Source # Methods getMemoBytes ∷ AllegraTxAuxData era → MemoBytes (RawType (AllegraTxAuxData era)) wrapMemoBytes ∷ MemoBytes (RawType (AllegraTxAuxData era)) → AllegraTxAuxData era
NFData (NativeScript era) ⇒ NFData (AllegraTxAuxData era)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods rnf ∷ AllegraTxAuxData era → () #
Eq (NativeScript era) ⇒ Eq (AllegraTxAuxData era)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods (==) ∷ AllegraTxAuxData era → AllegraTxAuxData era → Bool # (/=) ∷ AllegraTxAuxData era → AllegraTxAuxData era → Bool #
(Era era, NoThunks (NativeScript era)) ⇒ NoThunks (AllegraTxAuxData era)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods noThunks ∷ Context → AllegraTxAuxData era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AllegraTxAuxData era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AllegraTxAuxData era) → String Source #
HashAnnotated (AllegraTxAuxData era) EraIndependentTxAuxData
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods hashAnnotated ∷ AllegraTxAuxData era → SafeHash EraIndependentTxAuxData Source #
type TranslationError MaryEra AllegraTxAuxData
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra AllegraTxAuxData = Void
type Rep (AllegraTxAuxData era)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type Rep (AllegraTxAuxData era) = D1 ('MetaData "AllegraTxAuxData" "Cardano.Ledger.Allegra.TxAuxData" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAlegraTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxAuxDataRaw era)))))
type RawType (AllegraTxAuxData era)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type RawType (AllegraTxAuxData era) = AllegraTxAuxDataRaw era

Alonzo

class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era Source #

Minimal complete definition

plutusScriptsTxAuxDataL

Instances

Instances details

AlonzoEraTxAuxData AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source #

plutusScriptsTxAuxDataL ∷ AlonzoEraTxAuxData era ⇒ Lens' (TxAuxData era) (Map Language (NonEmpty PlutusBinary)) Source #

data Language Source #

Non-Native Plutus Script language. This is expected to be an open type. We will add new Constuctors to this type as additional Plutus language versions as are added. We use an enumerated type for two reasons.

We can write total functions by case analysis over the constructors
We use DataKinds to make some datatypes indexed by Language.

Note that the the serialization of Language depends on the ordering.

Constructors

PlutusV1
PlutusV2
PlutusV3
PlutusV4

Instances

Instances details

FromJSON Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods parseJSON ∷ Value → Parser Language Source # parseJSONList ∷ Value → Parser [Language] Source # omittedField ∷ Maybe Language Source #
FromJSONKey Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods fromJSONKey ∷ FromJSONKeyFunction Language Source # fromJSONKeyList ∷ FromJSONKeyFunction [Language] Source #
ToJSON Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods toJSON ∷ Language → Value Source # toEncoding ∷ Language → Encoding Source # toJSONList ∷ [Language] → Value Source # toEncodingList ∷ [Language] → Encoding Source # omitField ∷ Language → Bool Source #
ToJSONKey Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods toJSONKey ∷ ToJSONKeyFunction Language Source # toJSONKeyList ∷ ToJSONKeyFunction [Language] Source #
Bounded Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods minBound ∷ Language # maxBound ∷ Language #
Enum Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods succ ∷ Language → Language # pred ∷ Language → Language # toEnum ∷ Int → Language # fromEnum ∷ Language → Int # enumFrom ∷ Language → [Language] # enumFromThen ∷ Language → Language → [Language] # enumFromTo ∷ Language → Language → [Language] # enumFromThenTo ∷ Language → Language → Language → [Language] #
Generic Language
Instance details Defined in Cardano.Ledger.Plutus.Language Associated Types type Rep Language ∷ Type → Type # Methods from ∷ Language → Rep Language x # to ∷ Rep Language x → Language #
Ix Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods range ∷ (Language, Language) → [Language] # index ∷ (Language, Language) → Language → Int # unsafeIndex ∷ (Language, Language) → Language → Int # inRange ∷ (Language, Language) → Language → Bool # rangeSize ∷ (Language, Language) → Int # unsafeRangeSize ∷ (Language, Language) → Int #
Read Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods readsPrec ∷ Int → ReadS Language # readList ∷ ReadS [Language] # readPrec ∷ ReadPrec Language # readListPrec ∷ ReadPrec [Language] #
Show Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods showsPrec ∷ Int → Language → ShowS # show ∷ Language → String # showList ∷ [Language] → ShowS #
FromCBOR Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods fromCBOR ∷ Decoder s Language Source # label ∷ Proxy Language → Text Source #
ToCBOR Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods toCBOR ∷ Language → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Language → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Language] → Size Source #
DecCBOR Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods decCBOR ∷ Decoder s Language Source # dropCBOR ∷ Proxy Language → Decoder s () Source # label ∷ Proxy Language → Text Source #
EncCBOR Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods encCBOR ∷ Language → Encoding Source #
NFData Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods rnf ∷ Language → () #
Eq Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods (==) ∷ Language → Language → Bool # (/=) ∷ Language → Language → Bool #
Ord Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods compare ∷ Language → Language → Ordering # (<) ∷ Language → Language → Bool # (<=) ∷ Language → Language → Bool # (>) ∷ Language → Language → Bool # (>=) ∷ Language → Language → Bool # max ∷ Language → Language → Language # min ∷ Language → Language → Language #
NoThunks Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods noThunks ∷ Context → Language → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Language → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Language → String Source #
Random Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods randomR ∷ RandomGen g ⇒ (Language, Language) → g → (Language, g) Source # random ∷ RandomGen g ⇒ g → (Language, g) Source # randomRs ∷ RandomGen g ⇒ (Language, Language) → g → [Language] Source # randoms ∷ RandomGen g ⇒ g → [Language] Source #
Uniform Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods uniformM ∷ StatefulGen g m ⇒ g → m Language Source #
UniformRange Language
Instance details Defined in Cardano.Ledger.Plutus.Language Methods uniformRM ∷ StatefulGen g m ⇒ (Language, Language) → g → m Language Source # isInRange ∷ (Language, Language) → Language → Bool Source #
type Rep Language
Instance details Defined in Cardano.Ledger.Plutus.Language type Rep Language = D1 ('MetaData "Language" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "PlutusV1" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "PlutusV2" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "PlutusV3" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "PlutusV4" 'PrefixI 'False) (U1 ∷ Type → Type)))

newtype PlutusBinary Source #

Binary representation of a Plutus script.

Constructors

PlutusBinary
Fields unPlutusBinary ∷ ShortByteString

Instances

Instances details

Generic PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Associated Types type Rep PlutusBinary ∷ Type → Type # Methods from ∷ PlutusBinary → Rep PlutusBinary x # to ∷ Rep PlutusBinary x → PlutusBinary #
Show PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Methods showsPrec ∷ Int → PlutusBinary → ShowS # show ∷ PlutusBinary → String # showList ∷ [PlutusBinary] → ShowS #
FromCBOR PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Methods fromCBOR ∷ Decoder s PlutusBinary Source # label ∷ Proxy PlutusBinary → Text Source #
ToCBOR PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Methods toCBOR ∷ PlutusBinary → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PlutusBinary → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PlutusBinary] → Size Source #
DecCBOR PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Methods decCBOR ∷ Decoder s PlutusBinary Source # dropCBOR ∷ Proxy PlutusBinary → Decoder s () Source # label ∷ Proxy PlutusBinary → Text Source #
EncCBOR PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Methods encCBOR ∷ PlutusBinary → Encoding Source #
SafeToHash PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Methods originalBytes ∷ PlutusBinary → ByteString Source # originalBytesSize ∷ PlutusBinary → Int Source # makeHashWithExplicitProxys ∷ Proxy i → PlutusBinary → SafeHash i Source #
NFData PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Methods rnf ∷ PlutusBinary → () #
Eq PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Methods (==) ∷ PlutusBinary → PlutusBinary → Bool # (/=) ∷ PlutusBinary → PlutusBinary → Bool #
Ord PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Methods compare ∷ PlutusBinary → PlutusBinary → Ordering # (<) ∷ PlutusBinary → PlutusBinary → Bool # (<=) ∷ PlutusBinary → PlutusBinary → Bool # (>) ∷ PlutusBinary → PlutusBinary → Bool # (>=) ∷ PlutusBinary → PlutusBinary → Bool # max ∷ PlutusBinary → PlutusBinary → PlutusBinary # min ∷ PlutusBinary → PlutusBinary → PlutusBinary #
MemPack PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Methods typeName ∷ String Source # packedByteCount ∷ PlutusBinary → Int Source # packM ∷ PlutusBinary → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack s b PlutusBinary Source #
NoThunks PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language Methods noThunks ∷ Context → PlutusBinary → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusBinary → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PlutusBinary → String Source #
DecCBOR (Annotator PlutusBinary)
Instance details Defined in Cardano.Ledger.Plutus.Language Methods decCBOR ∷ Decoder s (Annotator PlutusBinary) Source # dropCBOR ∷ Proxy (Annotator PlutusBinary) → Decoder s () Source # label ∷ Proxy (Annotator PlutusBinary) → Text Source #
type Rep PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language type Rep PlutusBinary = D1 ('MetaData "PlutusBinary" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "PlutusBinary" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPlutusBinary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))

newtype AlonzoTxAuxData era Source #

Constructors

MkAlonzoTxAuxData (MemoBytes (AlonzoTxAuxDataRaw era))

Bundled Patterns

pattern AlonzoTxAuxData ∷ (HasCallStack, AlonzoEraScript era) ⇒ Map Word64 Metadatum → StrictSeq (NativeScript era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era	Construct auxiliary data. Make sure not to supply plutus script versions that are not supported in this era, because it will result in a runtime exception. Use `mkAlonzoTxAuxData` instead if you need runtime safety guarantees.
pattern AlonzoTxAuxData' ∷ Map Word64 Metadatum → StrictSeq (NativeScript era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era

Instances

Instances details

Generic (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type Rep (AlonzoTxAuxData era) ∷ Type → Type # Methods from ∷ AlonzoTxAuxData era → Rep (AlonzoTxAuxData era) x # to ∷ Rep (AlonzoTxAuxData era) x → AlonzoTxAuxData era #
Show (NativeScript era) ⇒ Show (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods showsPrec ∷ Int → AlonzoTxAuxData era → ShowS # show ∷ AlonzoTxAuxData era → String # showList ∷ [AlonzoTxAuxData era] → ShowS #
Typeable era ⇒ ToCBOR (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods toCBOR ∷ AlonzoTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxData era] → Size Source #
(Era era, DecCBOR (Annotator (NativeScript era)), Typeable (NativeScript era)) ⇒ DecCBOR (Annotator (AlonzoTxAuxData era))
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods decCBOR ∷ Decoder s (Annotator (AlonzoTxAuxData era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTxAuxData era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTxAuxData era)) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxAuxData era)	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods encCBOR ∷ AlonzoTxAuxData era → Encoding Source #
SafeToHash (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods originalBytes ∷ AlonzoTxAuxData era → ByteString Source # originalBytesSize ∷ AlonzoTxAuxData era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AlonzoTxAuxData era → SafeHash i Source #
Eq (NativeScript era) ⇒ EqRaw (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #
Memoized (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type RawType (AlonzoTxAuxData era) = (r ∷ Type) Source # Methods getMemoBytes ∷ AlonzoTxAuxData era → MemoBytes (RawType (AlonzoTxAuxData era)) wrapMemoBytes ∷ MemoBytes (RawType (AlonzoTxAuxData era)) → AlonzoTxAuxData era
NFData (NativeScript era) ⇒ NFData (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods rnf ∷ AlonzoTxAuxData era → () #
Eq (NativeScript era) ⇒ Eq (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods (==) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool # (/=) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool #
NoThunks (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods noThunks ∷ Context → AlonzoTxAuxData era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxAuxData era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxAuxData era) → String Source #
HashAnnotated (AlonzoTxAuxData era) EraIndependentTxAuxData
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods hashAnnotated ∷ AlonzoTxAuxData era → SafeHash EraIndependentTxAuxData Source #
type Rep (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxAuxDataRaw era)))))
type RawType (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw era

mkAlonzoTxAuxData ∷ (Foldable f, AlonzoEraScript era) ⇒ Map Word64 Metadatum → f (AlonzoScript era) → AlonzoTxAuxData era Source #

Helper function that will construct Auxiliary data from Metadatum map and a list of scripts.

Note that the relative order of same type scripts will be preserved.

getAlonzoTxAuxDataScripts ∷ AlonzoEraScript era ⇒ AlonzoTxAuxData era → StrictSeq (AlonzoScript era) Source #

Upgrade

binaryUpgradeTxAuxData ∷ (Era era, ToCBOR (TxAuxData (PreviousEra era)), DecCBOR (Annotator (TxAuxData era))) ⇒ TxAuxData (PreviousEra era) → Except DecoderError (TxAuxData era) Source #

Translate tx auxData through its binary representation from previous to current era.

upgradeTxAuxData ∷ (EraApi era, EraTxAuxData (PreviousEra era)) ⇒ TxAuxData (PreviousEra era) → TxAuxData era Source #

Upgrade txAuxData from the previous era. Warning - This may not preserve the underlying binary representation. Use binaryUpgradeTxAuxData instead, if you need to preserve the serialised form.