Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.TxAuxData

Contents

AlonzoTxAuxData
Orphan instances

Synopsis

data AlonzoTxAuxData era where
- pattern AlonzoTxAuxData ∷ ∀ era. (HasCallStack, AlonzoEraScript era) ⇒ Map Word64 Metadatum → StrictSeq (Timelock era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era
- pattern AlonzoTxAuxData' ∷ ∀ era. Map Word64 Metadatum → StrictSeq (Timelock era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era
class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era where
- plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (Map Language (NonEmpty PlutusBinary))
data AlonzoTxAuxDataRaw era
mkAlonzoTxAuxData ∷ ∀ f era. (Foldable f, AlonzoEraScript era) ⇒ Map Word64 Metadatum → f (AlonzoScript era) → AlonzoTxAuxData era
newtype AuxiliaryDataHash c = AuxiliaryDataHash {
- unsafeAuxiliaryDataHash ∷ SafeHash c EraIndependentTxAuxData
}
hashAlonzoTxAuxData ∷ (HashAlgorithm (HASH c), HashAnnotated x EraIndependentTxAuxData c) ⇒ x → AuxiliaryDataHash c
validateAlonzoTxAuxData ∷ (AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ ProtVer → AlonzoTxAuxData era → Bool
getAlonzoTxAuxDataScripts ∷ ∀ era. AlonzoEraScript era ⇒ AlonzoTxAuxData era → StrictSeq (AlonzoScript era)
translateAlonzoTxAuxData ∷ (AlonzoEraScript era1, AlonzoEraScript era2, EraCrypto era1 ~ EraCrypto era2) ⇒ AlonzoTxAuxData era1 → AlonzoTxAuxData era2
metadataAlonzoTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (Map Word64 Metadatum)
timelockScriptsAlonzoTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (StrictSeq (Timelock era))
plutusScriptsAllegraTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (Map Language (NonEmpty PlutusBinary))

AlonzoTxAuxData

data AlonzoTxAuxData era where Source #

Bundled Patterns

pattern AlonzoTxAuxData ∷ ∀ era. (HasCallStack, AlonzoEraScript era) ⇒ Map Word64 Metadatum → StrictSeq (Timelock 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' ∷ ∀ era. Map Word64 Metadatum → StrictSeq (Timelock era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era

Instances

Instances details

Memoized AlonzoTxAuxData Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type RawType AlonzoTxAuxData = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ AlonzoTxAuxData era → MemoBytes (RawType AlonzoTxAuxData) era wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxAuxData) era → AlonzoTxAuxData era
Generic (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type Rep (AlonzoTxAuxData era) ∷ Type → Type Source # Methods from ∷ AlonzoTxAuxData era → Rep (AlonzoTxAuxData era) x Source # to ∷ Rep (AlonzoTxAuxData era) x → AlonzoTxAuxData era Source #
HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods showsPrec ∷ Int → AlonzoTxAuxData era → ShowS Source # show ∷ AlonzoTxAuxData era → String Source # showList ∷ [AlonzoTxAuxData era] → ShowS Source #
Typeable era ⇒ ToCBOR (AlonzoTxAuxData era) Source #
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 (AlonzoTxAuxData era)) Source #
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) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods encCBOR ∷ AlonzoTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxData era] → Size Source #
EqRaw (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #
SafeToHash (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods originalBytes ∷ AlonzoTxAuxData era → ByteString Source # originalBytesSize ∷ AlonzoTxAuxData era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoTxAuxData era → SafeHash c index Source #
NFData (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods rnf ∷ AlonzoTxAuxData era → () Source #
Eq (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods (==) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source # (/=) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #
NoThunks (AlonzoTxAuxData era) Source #
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 #
EraCrypto era ~ c ⇒ HashAnnotated (AlonzoTxAuxData era) EraIndependentTxAuxData c Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods indexProxy ∷ AlonzoTxAuxData era → Proxy EraIndependentTxAuxData Source # hashAnnotated ∷ AlonzoTxAuxData era → SafeHash c EraIndependentTxAuxData Source #
type RawType AlonzoTxAuxData Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type RawType AlonzoTxAuxData = AlonzoTxAuxDataRaw
type Rep (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.12.0.0-inplace" 'True) (C1 ('MetaCons "AlonzoTxAuxDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxAuxDataRaw era))))

class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era where Source #

Methods

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

Instances

Instances details

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

data AlonzoTxAuxDataRaw era Source #

Instances

Instances details

Generic (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type Rep (AlonzoTxAuxDataRaw era) ∷ Type → Type Source # Methods from ∷ AlonzoTxAuxDataRaw era → Rep (AlonzoTxAuxDataRaw era) x Source # to ∷ Rep (AlonzoTxAuxDataRaw era) x → AlonzoTxAuxDataRaw era Source #
Show (Timelock era) ⇒ Show (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods showsPrec ∷ Int → AlonzoTxAuxDataRaw era → ShowS Source # show ∷ AlonzoTxAuxDataRaw era → String Source # showList ∷ [AlonzoTxAuxDataRaw era] → ShowS Source #
Era era ⇒ DecCBOR (Annotator (AlonzoTxAuxDataRaw era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods decCBOR ∷ Decoder s (Annotator (AlonzoTxAuxDataRaw era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTxAuxDataRaw era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTxAuxDataRaw era)) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods encCBOR ∷ AlonzoTxAuxDataRaw era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxDataRaw era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxDataRaw era] → Size Source #
NFData (Timelock era) ⇒ NFData (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods rnf ∷ AlonzoTxAuxDataRaw era → () Source #
Eq (Timelock era) ⇒ Eq (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods (==) ∷ AlonzoTxAuxDataRaw era → AlonzoTxAuxDataRaw era → Bool Source # (/=) ∷ AlonzoTxAuxDataRaw era → AlonzoTxAuxDataRaw era → Bool Source #
NoThunks (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods noThunks ∷ Context → AlonzoTxAuxDataRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxAuxDataRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxAuxDataRaw era) → String Source #
type MemoHashIndex AlonzoTxAuxDataRaw Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type MemoHashIndex AlonzoTxAuxDataRaw = EraIndependentTxAuxData
type Rep (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type Rep (AlonzoTxAuxDataRaw era) = D1 ('MetaData "AlonzoTxAuxDataRaw" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.12.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxAuxDataRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "atadrMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word64 Metadatum)) :: (S1 ('MetaSel ('Just "atadrTimelock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era))) :: S1 ('MetaSel ('Just "atadrPlutus") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language (NonEmpty PlutusBinary))))))

mkAlonzoTxAuxData ∷ ∀ f era. (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.

newtype AuxiliaryDataHash c Source #

Constructors

AuxiliaryDataHash
Fields unsafeAuxiliaryDataHash ∷ SafeHash c EraIndependentTxAuxData

Instances

Instances details

Crypto c ⇒ ToJSON (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods toJSON ∷ AuxiliaryDataHash c → Value Source # toEncoding ∷ AuxiliaryDataHash c → Encoding Source # toJSONList ∷ [AuxiliaryDataHash c] → Value Source # toEncodingList ∷ [AuxiliaryDataHash c] → Encoding Source # omitField ∷ AuxiliaryDataHash c → Bool Source #
Generic (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Associated Types type Rep (AuxiliaryDataHash c) ∷ Type → Type Source # Methods from ∷ AuxiliaryDataHash c → Rep (AuxiliaryDataHash c) x Source # to ∷ Rep (AuxiliaryDataHash c) x → AuxiliaryDataHash c Source #
Show (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods showsPrec ∷ Int → AuxiliaryDataHash c → ShowS Source # show ∷ AuxiliaryDataHash c → String Source # showList ∷ [AuxiliaryDataHash c] → ShowS Source #
Crypto c ⇒ DecCBOR (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods decCBOR ∷ Decoder s (AuxiliaryDataHash c) Source # dropCBOR ∷ Proxy (AuxiliaryDataHash c) → Decoder s () Source # label ∷ Proxy (AuxiliaryDataHash c) → Text Source #
Crypto c ⇒ EncCBOR (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods encCBOR ∷ AuxiliaryDataHash c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AuxiliaryDataHash c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AuxiliaryDataHash c] → Size Source #
NFData (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods rnf ∷ AuxiliaryDataHash c → () Source #
Eq (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods (==) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source # (/=) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source #
Ord (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods compare ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Ordering Source # (<) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source # (<=) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source # (>) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source # (>=) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source # max ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → AuxiliaryDataHash c Source # min ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → AuxiliaryDataHash c Source #
NoThunks (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods noThunks ∷ Context → AuxiliaryDataHash c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AuxiliaryDataHash c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AuxiliaryDataHash c) → String Source #
type Rep (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData type Rep (AuxiliaryDataHash c) = D1 ('MetaData "AuxiliaryDataHash" "Cardano.Ledger.AuxiliaryData" "cardano-ledger-core-1.16.0.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unsafeAuxiliaryDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash c EraIndependentTxAuxData))))

hashAlonzoTxAuxData ∷ (HashAlgorithm (HASH c), HashAnnotated x EraIndependentTxAuxData c) ⇒ x → AuxiliaryDataHash c Source #

validateAlonzoTxAuxData ∷ (AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ ProtVer → AlonzoTxAuxData era → Bool Source #

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

translateAlonzoTxAuxData ∷ (AlonzoEraScript era1, AlonzoEraScript era2, EraCrypto era1 ~ EraCrypto era2) ⇒ AlonzoTxAuxData era1 → AlonzoTxAuxData era2 Source #

metadataAlonzoTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (Map Word64 Metadatum) Source #

timelockScriptsAlonzoTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (StrictSeq (Timelock era)) Source #

plutusScriptsAllegraTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (Map Language (NonEmpty PlutusBinary)) Source #

Orphan instances

Crypto c ⇒ AllegraEraTxAuxData (AlonzoEra c) Source #
Instance details Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (AlonzoEra c)) (StrictSeq (Timelock (AlonzoEra c))) Source #
Crypto c ⇒ EraTxAuxData (AlonzoEra c) Source #
Instance details Associated Types type TxAuxData (AlonzoEra c) = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData (AlonzoEra c) Source # metadataTxAuxDataL ∷ Lens' (TxAuxData (AlonzoEra c)) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra (AlonzoEra c)) → TxAuxData (AlonzoEra c) Source # hashTxAuxData ∷ TxAuxData (AlonzoEra c) → AuxiliaryDataHash (EraCrypto (AlonzoEra c)) Source # validateTxAuxData ∷ ProtVer → TxAuxData (AlonzoEra c) → Bool Source #