Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.TxAuxData

Contents

Orphan instances

Synopsis

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

Documentation

data AllegraTxAuxData era where Source #

Bundled Patterns

pattern AllegraTxAuxData ∷ ∀ era. Era era ⇒ Map Word64 Metadatum → StrictSeq (Timelock 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 (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 #
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 #
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 #
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 (AllegraTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods rnf ∷ AllegraTxAuxData 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 (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.7.0.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataWithBytes" '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

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 (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 ⇒ 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 → () #
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 (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.7.0.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)))))
type MemoHashIndex (AllegraTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type MemoHashIndex (AllegraTxAuxDataRaw era) = EraIndependentTxAuxData

metadataAllegraTxAuxDataL ∷ ∀ era. 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

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

timelockScriptsAllegraTxAuxDataL ∷ ∀ era. Era era ⇒ Lens' (AllegraTxAuxData era) (StrictSeq (Timelock 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 # upgradeTxAuxData ∷ TxAuxData (PreviousEra AllegraEra) → TxAuxData AllegraEra Source # validateTxAuxData ∷ ProtVer → TxAuxData AllegraEra → Bool Source #