Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.TxAuxData

Contents

Deprecations
Orphan instances

Synopsis

data AllegraTxAuxData era where
- pattern AllegraTxAuxData ∷ Era era ⇒ Map Word64 Metadatum → StrictSeq (Timelock era) → AllegraTxAuxData era
data AllegraTxAuxDataRaw era
metadataAllegraTxAuxDataL ∷ Era era ⇒ Lens' (AllegraTxAuxData era) (Map Word64 Metadatum)
class EraTxAuxData era ⇒ AllegraEraTxAuxData era where
- timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (StrictSeq (Timelock era))
timelockScriptsAllegraTxAuxDataL ∷ Era era ⇒ Lens' (AllegraTxAuxData era) (StrictSeq (Timelock era))
type AuxiliaryData = AllegraTxAuxData

Documentation

data AllegraTxAuxData era where Source #

Bundled Patterns

pattern AllegraTxAuxData ∷ Era era ⇒ Map Word64 Metadatum → StrictSeq (Timelock era) → AllegraTxAuxData era

Instances

Instances details

Memoized AllegraTxAuxData Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Associated Types type RawType AllegraTxAuxData = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ AllegraTxAuxData era → MemoBytes (RawType AllegraTxAuxData) era wrapMemoBytes ∷ MemoBytes (RawType AllegraTxAuxData) era → AllegraTxAuxData era
Generic (AllegraTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Associated Types type Rep (AllegraTxAuxData era) ∷ Type → Type Source # Methods from ∷ AllegraTxAuxData era → Rep (AllegraTxAuxData era) x Source # to ∷ Rep (AllegraTxAuxData era) x → AllegraTxAuxData era Source #
HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (AllegraTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods showsPrec ∷ Int → AllegraTxAuxData era → ShowS Source # show ∷ AllegraTxAuxData era → String Source # showList ∷ [AllegraTxAuxData era] → ShowS Source #
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 #
Era 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 #
EqRaw (AllegraTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods eqRaw ∷ AllegraTxAuxData era → AllegraTxAuxData era → Bool 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 ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AllegraTxAuxData era → SafeHash c index Source #
NFData (AllegraTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods rnf ∷ AllegraTxAuxData era → () Source #
Eq (AllegraTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods (==) ∷ AllegraTxAuxData era → AllegraTxAuxData era → Bool Source # (/=) ∷ AllegraTxAuxData era → AllegraTxAuxData era → Bool Source #
Era 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 #
c ~ EraCrypto era ⇒ HashAnnotated (AllegraTxAuxData era) EraIndependentTxAuxData c Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods indexProxy ∷ AllegraTxAuxData era → Proxy EraIndependentTxAuxData Source # hashAnnotated ∷ AllegraTxAuxData era → SafeHash c EraIndependentTxAuxData Source #
type RawType AllegraTxAuxData Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type RawType AllegraTxAuxData = AllegraTxAuxDataRaw
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.6.1.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataWithBytes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AllegraTxAuxDataRaw era))))

data AllegraTxAuxDataRaw era Source #

Raw, un-memoised metadata type

Instances

Instances details

Generic (AllegraTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Associated Types type Rep (AllegraTxAuxDataRaw era) ∷ Type → Type Source # Methods from ∷ AllegraTxAuxDataRaw era → Rep (AllegraTxAuxDataRaw era) x Source # to ∷ Rep (AllegraTxAuxDataRaw era) x → AllegraTxAuxDataRaw era Source #
HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (AllegraTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods showsPrec ∷ Int → AllegraTxAuxDataRaw era → ShowS Source # show ∷ AllegraTxAuxDataRaw era → String Source # showList ∷ [AllegraTxAuxDataRaw era] → ShowS Source #
Era 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 (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 (AllegraTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods rnf ∷ AllegraTxAuxDataRaw era → () Source #
Eq (AllegraTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods (==) ∷ AllegraTxAuxDataRaw era → AllegraTxAuxDataRaw era → Bool Source # (/=) ∷ AllegraTxAuxDataRaw era → AllegraTxAuxDataRaw era → Bool Source #
Era 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 MemoHashIndex AllegraTxAuxDataRaw Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type MemoHashIndex AllegraTxAuxDataRaw = EraIndependentTxAuxData
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.6.1.0-inplace" 'False) (C1 ('MetaCons "AllegraTxAuxDataRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "atadrMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word64 Metadatum)) :*: S1 ('MetaSel ('Just "atadrTimelock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era)))))

metadataAllegraTxAuxDataL ∷ Era era ⇒ Lens' (AllegraTxAuxData era) (Map Word64 Metadatum) Source #

class EraTxAuxData era ⇒ AllegraEraTxAuxData era where Source #

Methods

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

Instances

Instances details

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

timelockScriptsAllegraTxAuxDataL ∷ Era era ⇒ Lens' (AllegraTxAuxData era) (StrictSeq (Timelock era)) Source #

Deprecations

type AuxiliaryData = AllegraTxAuxData Source #

Deprecated: Use AllegraTxAuxData instead

Orphan instances

Crypto c ⇒ EraTxAuxData (AllegraEra c) Source #

Instance details

Associated Types

type TxAuxData (AllegraEra c) = (r ∷ Type) Source #

Methods

mkBasicTxAuxData ∷ TxAuxData (AllegraEra c) Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData (AllegraEra c)) (Map Word64 Metadatum) Source #

upgradeTxAuxData ∷ TxAuxData (PreviousEra (AllegraEra c)) → TxAuxData (AllegraEra c) Source #

hashTxAuxData ∷ TxAuxData (AllegraEra c) → AuxiliaryDataHash (EraCrypto (AllegraEra c)) Source #

validateTxAuxData ∷ ProtVer → TxAuxData (AllegraEra c) → Bool Source #