cardano-ledger-allegra-1.9.0.0: Allegra ledger era that introduces time lock support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Allegra.TxAuxData

Synopsis

Documentation

newtype AllegraTxAuxData era Source #

Constructors

MkAlegraTxAuxData (MemoBytes (AllegraTxAuxDataRaw era)) 

Bundled Patterns

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

Instances

Instances details
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 #

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

Defined in Cardano.Ledger.Allegra.TxAuxData

type RawType (AllegraTxAuxData era) = AllegraTxAuxDataRaw era

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 → () #

Generic (AllegraTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type Rep (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type Rep (AllegraTxAuxData era) = D1 ('MetaData "AllegraTxAuxData" "Cardano.Ledger.Allegra.TxAuxData" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAlegraTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxAuxDataRaw era)))))

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 #

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 RawType (AllegraTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type RawType (AllegraTxAuxData era) = AllegraTxAuxDataRaw era
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.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAlegraTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxAuxDataRaw era)))))

data AllegraTxAuxDataRaw era Source #

Raw, un-memoised metadata type

Constructors

AllegraTxAuxDataRaw 

Fields

Instances

Instances details
(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 #

NFData (NativeScript era) ⇒ NFData (AllegraTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

rnf ∷ AllegraTxAuxDataRaw era → () #

Generic (AllegraTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type Rep (AllegraTxAuxDataRaw era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type Rep (AllegraTxAuxDataRaw era) = D1 ('MetaData "AllegraTxAuxDataRaw" "Cardano.Ledger.Allegra.TxAuxData" "cardano-ledger-allegra-1.9.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)))))

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 #

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 MemoHashIndex (AllegraTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type MemoHashIndex (AllegraTxAuxDataRaw era) = 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.9.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)))))

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

class EraTxAuxData era ⇒ AllegraEraTxAuxData era where Source #

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (StrictSeq (NativeScript 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 #

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

Orphan instances