cardano-ledger-shelley-1.18.0.0: Shelley Ledger Executable Model
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Shelley.TxAuxData

Synopsis

Documentation

newtype ShelleyTxAuxData era Source #

Constructors

MkShelleyTxAuxData (MemoBytes (ShelleyTxAuxDataRaw era)) 

Bundled Patterns

pattern ShelleyTxAuxData ∷ Era era ⇒ Map Word64 Metadatum → ShelleyTxAuxData era 

Instances

Instances details
Typeable era ⇒ ToCBOR (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

toCBOR ∷ ShelleyTxAuxData era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxAuxData era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxAuxData era] → Size Source #

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

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

decCBOR ∷ Decoder s (Annotator (ShelleyTxAuxData era)) Source #

dropCBOR ∷ Proxy (Annotator (ShelleyTxAuxData era)) → Decoder s () Source #

label ∷ Proxy (Annotator (ShelleyTxAuxData era)) → Text Source #

Era era ⇒ EncCBOR (ShelleyTxAuxData era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

encCBOR ∷ ShelleyTxAuxData era → Encoding Source #

SafeToHash (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

originalBytes ∷ ShelleyTxAuxData era → ByteString Source #

originalBytesSize ∷ ShelleyTxAuxData era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → ShelleyTxAuxData era → SafeHash i Source #

EqRaw (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

eqRaw ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #

Memoized (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type RawType (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type RawType (ShelleyTxAuxData era) = ShelleyTxAuxDataRaw era

Methods

getMemoBytes ∷ ShelleyTxAuxData era → MemoBytes (RawType (ShelleyTxAuxData era))

wrapMemoBytes ∷ MemoBytes (RawType (ShelleyTxAuxData era)) → ShelleyTxAuxData era

NFData (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

rnf ∷ ShelleyTxAuxData era → () #

Generic (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type Rep (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era)))))

Methods

from ∷ ShelleyTxAuxData era → Rep (ShelleyTxAuxData era) x #

to ∷ Rep (ShelleyTxAuxData era) x → ShelleyTxAuxData era #

Show (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

showsPrec ∷ Int → ShelleyTxAuxData era → ShowS #

show ∷ ShelleyTxAuxData era → String #

showList ∷ [ShelleyTxAuxData era] → ShowS #

Eq (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

(==) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool #

(/=) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool #

NoThunks (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

noThunks ∷ Context → ShelleyTxAuxData era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyTxAuxData era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ShelleyTxAuxData era) → String Source #

HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

hashAnnotated ∷ ShelleyTxAuxData era → SafeHash EraIndependentTxAuxData Source #

type RawType (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type RawType (ShelleyTxAuxData era) = ShelleyTxAuxDataRaw era
type Rep (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era)))))

newtype ShelleyTxAuxDataRaw era Source #

Constructors

ShelleyTxAuxDataRaw 

Fields

Instances

Instances details
Era era ⇒ DecCBOR (Annotator (ShelleyTxAuxDataRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

decCBOR ∷ Decoder s (Annotator (ShelleyTxAuxDataRaw era)) Source #

dropCBOR ∷ Proxy (Annotator (ShelleyTxAuxDataRaw era)) → Decoder s () Source #

label ∷ Proxy (Annotator (ShelleyTxAuxDataRaw era)) → Text Source #

Era era ⇒ DecCBOR (ShelleyTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

decCBOR ∷ Decoder s (ShelleyTxAuxDataRaw era) Source #

dropCBOR ∷ Proxy (ShelleyTxAuxDataRaw era) → Decoder s () Source #

label ∷ Proxy (ShelleyTxAuxDataRaw era) → Text Source #

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

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

encCBOR ∷ ShelleyTxAuxDataRaw era → Encoding Source #

NFData (ShelleyTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

rnf ∷ ShelleyTxAuxDataRaw era → () #

Generic (ShelleyTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type Rep (ShelleyTxAuxDataRaw era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type Rep (ShelleyTxAuxDataRaw era) = D1 ('MetaData "ShelleyTxAuxDataRaw" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTxAuxDataRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "stadrMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Word64 Metadatum))))

Methods

from ∷ ShelleyTxAuxDataRaw era → Rep (ShelleyTxAuxDataRaw era) x #

to ∷ Rep (ShelleyTxAuxDataRaw era) x → ShelleyTxAuxDataRaw era #

Show (ShelleyTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

showsPrec ∷ Int → ShelleyTxAuxDataRaw era → ShowS #

show ∷ ShelleyTxAuxDataRaw era → String #

showList ∷ [ShelleyTxAuxDataRaw era] → ShowS #

Eq (ShelleyTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

(==) ∷ ShelleyTxAuxDataRaw era → ShelleyTxAuxDataRaw era → Bool #

(/=) ∷ ShelleyTxAuxDataRaw era → ShelleyTxAuxDataRaw era → Bool #

NoThunks (ShelleyTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

noThunks ∷ Context → ShelleyTxAuxDataRaw era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyTxAuxDataRaw era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ShelleyTxAuxDataRaw era) → String Source #

type MemoHashIndex (ShelleyTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type MemoHashIndex (ShelleyTxAuxDataRaw era) = EraIndependentTxAuxData
type Rep (ShelleyTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type Rep (ShelleyTxAuxDataRaw era) = D1 ('MetaData "ShelleyTxAuxDataRaw" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTxAuxDataRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "stadrMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Word64 Metadatum))))

Re-exports

data Metadatum Source #

A generic metadatum type.

Constructors

Map ![(Metadatum, Metadatum)] 
List ![Metadatum] 
I !Integer 
B !ByteString 
S !Text 

Instances

Instances details
DecCBOR Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

decCBOR ∷ Decoder s Metadatum Source #

dropCBOR ∷ Proxy Metadatum → Decoder s () Source #

label ∷ Proxy Metadatum → Text Source #

EncCBOR Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

encCBOR ∷ Metadatum → Encoding Source #

NFData Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

rnf ∷ Metadatum → () #

Generic Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Associated Types

type Rep Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

type Rep Metadatum = D1 ('MetaData "Metadatum" "Cardano.Ledger.Metadata" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Metadatum, Metadatum)])) :+: C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Metadatum]))) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: (C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))

Methods

from ∷ Metadatum → Rep Metadatum x #

to ∷ Rep Metadatum x → Metadatum #

Show Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

showsPrec ∷ Int → Metadatum → ShowS #

show ∷ Metadatum → String #

showList ∷ [Metadatum] → ShowS #

Eq Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

(==) ∷ Metadatum → Metadatum → Bool #

(/=) ∷ Metadatum → Metadatum → Bool #

Ord Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

compare ∷ Metadatum → Metadatum → Ordering #

(<) ∷ Metadatum → Metadatum → Bool #

(<=) ∷ Metadatum → Metadatum → Bool #

(>) ∷ Metadatum → Metadatum → Bool #

(>=) ∷ Metadatum → Metadatum → Bool #

max ∷ Metadatum → Metadatum → Metadatum #

min ∷ Metadatum → Metadatum → Metadatum #

NoThunks Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

noThunks ∷ Context → Metadatum → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Metadatum → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Metadatum → String Source #

type Rep Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

type Rep Metadatum = D1 ('MetaData "Metadatum" "Cardano.Ledger.Metadata" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Metadatum, Metadatum)])) :+: C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Metadatum]))) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: (C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))

validMetadatum ∷ Metadatum → Bool Source #

Orphan instances