Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.UTxO.Compact

Description

The UTxO is large and is kept in-memory. It is important to use as small a representation as possible to keep overall memory use reasonable.

This module provides a special compact representation for data types contained within the UTxO.

The idea here is that the compact representation is optimised only for storage size and does not have to be the same as the representation used when operating on the data. Conversion functions are to be used when inserting and retrieving values from the UTxO.

Synopsis

data CompactTxIn = CompactTxInUtxo !CompactTxId !Word16
toCompactTxIn ∷ TxIn → CompactTxIn
fromCompactTxIn ∷ CompactTxIn → TxIn
data CompactTxId
toCompactTxId ∷ TxId → CompactTxId
fromCompactTxId ∷ CompactTxId → TxId
data CompactTxOut = CompactTxOut !CompactAddress !Lovelace
toCompactTxOut ∷ TxOut → CompactTxOut
fromCompactTxOut ∷ CompactTxOut → TxOut

Documentation

data CompactTxIn Source #

A compact in-memory representation for a TxIn.

Convert using toCompactTxIn and fromCompactTxIn.

Constructors

CompactTxInUtxo !CompactTxId !Word16

Instances

Instances details

Generic CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Associated Types type Rep CompactTxIn ∷ Type → Type Source # Methods from ∷ CompactTxIn → Rep CompactTxIn x Source # to ∷ Rep CompactTxIn x → CompactTxIn Source #
Show CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods showsPrec ∷ Int → CompactTxIn → ShowS Source # show ∷ CompactTxIn → String Source # showList ∷ [CompactTxIn] → ShowS Source #
FromCBOR CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods fromCBOR ∷ Decoder s CompactTxIn Source # label ∷ Proxy CompactTxIn → Text Source #
ToCBOR CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods toCBOR ∷ CompactTxIn → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy CompactTxIn → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxIn] → Size Source #
DecCBOR CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods decCBOR ∷ Decoder s CompactTxIn Source # dropCBOR ∷ Proxy CompactTxIn → Decoder s () Source # label ∷ Proxy CompactTxIn → Text Source #
EncCBOR CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods encCBOR ∷ CompactTxIn → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CompactTxIn → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxIn] → Size Source #
NFData CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods rnf ∷ CompactTxIn → () Source #
Eq CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods (==) ∷ CompactTxIn → CompactTxIn → Bool Source # (/=) ∷ CompactTxIn → CompactTxIn → Bool Source #
Ord CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods compare ∷ CompactTxIn → CompactTxIn → Ordering Source # (<) ∷ CompactTxIn → CompactTxIn → Bool Source # (<=) ∷ CompactTxIn → CompactTxIn → Bool Source # (>) ∷ CompactTxIn → CompactTxIn → Bool Source # (>=) ∷ CompactTxIn → CompactTxIn → Bool Source # max ∷ CompactTxIn → CompactTxIn → CompactTxIn Source # min ∷ CompactTxIn → CompactTxIn → CompactTxIn Source #
HeapWords CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods heapWords ∷ CompactTxIn → Int Source #
NoThunks CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods noThunks ∷ Context → CompactTxIn → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactTxIn → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CompactTxIn → String Source #
type Rep CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact type Rep CompactTxIn = D1 ('MetaData "CompactTxIn" "Cardano.Chain.UTxO.Compact" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "CompactTxInUtxo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactTxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16)))

toCompactTxIn ∷ TxIn → CompactTxIn Source #

fromCompactTxIn ∷ CompactTxIn → TxIn Source #

data CompactTxId Source #

A compact in-memory representation for a TxId.

Convert using toCompactTxId and fromCompactTxId.

Compared to a normal TxId, this takes 5 heap words rather than 12.

Instances

Instances details

Generic CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Associated Types type Rep CompactTxId ∷ Type → Type Source # Methods from ∷ CompactTxId → Rep CompactTxId x Source # to ∷ Rep CompactTxId x → CompactTxId Source #
Show CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods showsPrec ∷ Int → CompactTxId → ShowS Source # show ∷ CompactTxId → String Source # showList ∷ [CompactTxId] → ShowS Source #
FromCBOR CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods fromCBOR ∷ Decoder s CompactTxId Source # label ∷ Proxy CompactTxId → Text Source #
ToCBOR CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods toCBOR ∷ CompactTxId → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy CompactTxId → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxId] → Size Source #
DecCBOR CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods decCBOR ∷ Decoder s CompactTxId Source # dropCBOR ∷ Proxy CompactTxId → Decoder s () Source # label ∷ Proxy CompactTxId → Text Source #
EncCBOR CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods encCBOR ∷ CompactTxId → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CompactTxId → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxId] → Size Source #
NFData CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods rnf ∷ CompactTxId → () Source #
Eq CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods (==) ∷ CompactTxId → CompactTxId → Bool Source # (/=) ∷ CompactTxId → CompactTxId → Bool Source #
Ord CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods compare ∷ CompactTxId → CompactTxId → Ordering Source # (<) ∷ CompactTxId → CompactTxId → Bool Source # (<=) ∷ CompactTxId → CompactTxId → Bool Source # (>) ∷ CompactTxId → CompactTxId → Bool Source # (>=) ∷ CompactTxId → CompactTxId → Bool Source # max ∷ CompactTxId → CompactTxId → CompactTxId Source # min ∷ CompactTxId → CompactTxId → CompactTxId Source #
HeapWords CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods heapWords ∷ CompactTxId → Int Source #
NoThunks CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods noThunks ∷ Context → CompactTxId → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactTxId → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CompactTxId → String Source #
type Rep CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact type Rep CompactTxId = D1 ('MetaData "CompactTxId" "Cardano.Chain.UTxO.Compact" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "CompactTxId" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

toCompactTxId ∷ TxId → CompactTxId Source #

fromCompactTxId ∷ CompactTxId → TxId Source #

data CompactTxOut Source #

A compact in-memory representation for a TxOut.

Convert using toCompactTxOut and fromCompactTxOut.

Constructors

CompactTxOut !CompactAddress !Lovelace

Instances

Instances details

Generic CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Associated Types type Rep CompactTxOut ∷ Type → Type Source # Methods from ∷ CompactTxOut → Rep CompactTxOut x Source # to ∷ Rep CompactTxOut x → CompactTxOut Source #
Show CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods showsPrec ∷ Int → CompactTxOut → ShowS Source # show ∷ CompactTxOut → String Source # showList ∷ [CompactTxOut] → ShowS Source #
FromCBOR CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods fromCBOR ∷ Decoder s CompactTxOut Source # label ∷ Proxy CompactTxOut → Text Source #
ToCBOR CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods toCBOR ∷ CompactTxOut → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy CompactTxOut → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxOut] → Size Source #
DecCBOR CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods decCBOR ∷ Decoder s CompactTxOut Source # dropCBOR ∷ Proxy CompactTxOut → Decoder s () Source # label ∷ Proxy CompactTxOut → Text Source #
EncCBOR CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods encCBOR ∷ CompactTxOut → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CompactTxOut → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxOut] → Size Source #
NFData CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods rnf ∷ CompactTxOut → () Source #
Eq CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods (==) ∷ CompactTxOut → CompactTxOut → Bool Source # (/=) ∷ CompactTxOut → CompactTxOut → Bool Source #
Ord CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods compare ∷ CompactTxOut → CompactTxOut → Ordering Source # (<) ∷ CompactTxOut → CompactTxOut → Bool Source # (<=) ∷ CompactTxOut → CompactTxOut → Bool Source # (>) ∷ CompactTxOut → CompactTxOut → Bool Source # (>=) ∷ CompactTxOut → CompactTxOut → Bool Source # max ∷ CompactTxOut → CompactTxOut → CompactTxOut Source # min ∷ CompactTxOut → CompactTxOut → CompactTxOut Source #
HeapWords CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods heapWords ∷ CompactTxOut → Int Source #
NoThunks CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods noThunks ∷ Context → CompactTxOut → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactTxOut → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CompactTxOut → String Source #
type Rep CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact type Rep CompactTxOut = D1 ('MetaData "CompactTxOut" "Cardano.Chain.UTxO.Compact" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "CompactTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddress) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Lovelace)))

toCompactTxOut ∷ TxOut → CompactTxOut Source #

fromCompactTxOut ∷ CompactTxOut → TxOut Source #