cardano-ledger-allegra-1.5.0.1: Allegra ledger era that introduces time lock support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Allegra.TxAuxData

Synopsis

Documentation

data AllegraTxAuxData era where Source #

Bundled Patterns

pattern AllegraTxAuxDataEra era ⇒ Map Word64 MetadatumStrictSeq (Timelock era) → AllegraTxAuxData era 

Instances

Instances details
Memoized AllegraTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type RawType AllegraTxAuxData = (r ∷ TypeType) Source #

Generic (AllegraTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type Rep (AllegraTxAuxData era) ∷ TypeType Source #

HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (AllegraTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Typeable era ⇒ ToCBOR (AllegraTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

toCBORAllegraTxAuxData 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

Era era ⇒ EncCBOR (AllegraTxAuxData era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

encCBORAllegraTxAuxData 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

eqRawAllegraTxAuxData era → AllegraTxAuxData era → Bool Source #

SafeToHash (AllegraTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

NFData (AllegraTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

rnfAllegraTxAuxData era → () Source #

Eq (AllegraTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Era era ⇒ NoThunks (AllegraTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

c ~ EraCrypto era ⇒ HashAnnotated (AllegraTxAuxData era) EraIndependentTxAuxData c Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type RawType AllegraTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

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.5.0.1-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataWithBytes" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe 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) ∷ TypeType Source #

HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (AllegraTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Era era ⇒ DecCBOR (Annotator (AllegraTxAuxDataRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Era era ⇒ EncCBOR (AllegraTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

NFData (AllegraTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

rnfAllegraTxAuxDataRaw era → () Source #

Eq (AllegraTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Era era ⇒ NoThunks (AllegraTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type MemoHashIndex AllegraTxAuxDataRaw Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

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.5.0.1-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)))))

Deprecations

Orphan instances