Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.TxAuxData

Contents

Orphan instances

Synopsis

newtype AllegraTxAuxData era where
- MkAlegraTxAuxData (MemoBytes (AllegraTxAuxDataRaw era))
- pattern AllegraTxAuxData ∷ ∀ era. (Era era, EncCBOR (NativeScript era)) ⇒ Map Word64 Metadatum → StrictSeq (NativeScript era) → AllegraTxAuxData era
data AllegraTxAuxDataRaw era = AllegraTxAuxDataRaw {
- atadrMetadata ∷ !(Map Word64 Metadatum)
- atadrNativeScripts ∷ !(StrictSeq (NativeScript era))
}
metadataAllegraTxAuxDataL ∷ ∀ era. (Era era, EncCBOR (NativeScript era)) ⇒ Lens' (AllegraTxAuxData era) (Map Word64 Metadatum)
class EraTxAuxData era ⇒ AllegraEraTxAuxData era where
- nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (StrictSeq (NativeScript era))
- timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (StrictSeq (Timelock era))
nativeScriptsAllegraTxAuxDataL ∷ ∀ era. (Era era, EncCBOR (NativeScript era)) ⇒ Lens' (AllegraTxAuxData era) (StrictSeq (NativeScript era))

Documentation

newtype AllegraTxAuxData era Source #

Constructors

MkAlegraTxAuxData (MemoBytes (AllegraTxAuxDataRaw era))

Bundled Patterns

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

Instances

Instances details

Generic (AllegraTxAuxData era) Source #
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) Source #
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) Source #
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)) Source #
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) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods encCBOR ∷ AllegraTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AllegraTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AllegraTxAuxData era] → Size Source #
SafeToHash (AllegraTxAuxData era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods eqRaw ∷ AllegraTxAuxData era → AllegraTxAuxData era → Bool Source #
Memoized (AllegraTxAuxData era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods rnf ∷ AllegraTxAuxData era → () #
Eq (NativeScript era) ⇒ Eq (AllegraTxAuxData era) Source #
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) Source #
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 Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods hashAnnotated ∷ AllegraTxAuxData era → SafeHash EraIndependentTxAuxData Source #
type Rep (AllegraTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type Rep (AllegraTxAuxData era) = D1 ('MetaData "AllegraTxAuxData" "Cardano.Ledger.Allegra.TxAuxData" "cardano-ledger-allegra-1.8.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) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type RawType (AllegraTxAuxData era) = AllegraTxAuxDataRaw era

data AllegraTxAuxDataRaw era Source #

Raw, un-memoised metadata type

Constructors

AllegraTxAuxDataRaw
Fields atadrMetadata ∷ !(Map Word64 Metadatum) Structured transaction metadata atadrNativeScripts ∷ !(StrictSeq (NativeScript era)) Pre-images of script hashes found within the TxBody, but which are not required as witnesses. Examples include: - Token policy IDs appearing in transaction outputs - Pool reward account registrations

Instances

Instances details

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

metadataAllegraTxAuxDataL ∷ ∀ era. (Era era, EncCBOR (NativeScript era)) ⇒ Lens' (AllegraTxAuxData era) (Map Word64 Metadatum) Source #

class EraTxAuxData era ⇒ AllegraEraTxAuxData era where Source #

Minimal complete definition

nativeScriptsTxAuxDataL

Methods

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

timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (StrictSeq (Timelock era)) Source #

Deprecated: In favor of nativeScriptsTxAuxDataL

default timelockScriptsTxAuxDataL ∷ NativeScript era ~ Timelock era ⇒ Lens' (TxAuxData era) (StrictSeq (Timelock era)) Source #

Instances

Instances details

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

nativeScriptsAllegraTxAuxDataL ∷ ∀ era. (Era era, EncCBOR (NativeScript era)) ⇒ Lens' (AllegraTxAuxData era) (StrictSeq (NativeScript era)) Source #

Orphan instances

EraTxAuxData AllegraEra Source #
Instance details Associated Types type TxAuxData AllegraEra = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData AllegraEra Source # metadataTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (Map Word64 Metadatum) Source # validateTxAuxData ∷ ProtVer → TxAuxData AllegraEra → Bool Source #