Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.TxAuxData

Contents

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

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 #
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 #
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 #
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 #
HashAnnotated (AllegraTxAuxData era) EraIndependentTxAuxData Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods hashAnnotated ∷ AllegraTxAuxData era → SafeHash 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.7.0.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 #
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.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)))))

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

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

timelockScriptsAllegraTxAuxDataL ∷ 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 #