Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Ledger.Tables.MapKind

Contents

Classes
Concrete MapKinds

Description

Classes for MapKinds and concrete MapKinds

Synopsis

class CanMapKeysMK (mk ∷ MapKind) where
- mapKeysMK ∷ Ord k' ⇒ (k → k') → mk k v → mk k' v
class CanMapMK (mk ∷ MapKind) where
- mapMK ∷ (v → v') → mk k v → mk k v'
class (∀ k v. (Eq k, Eq v) ⇒ Eq (mk k v)) ⇒ EqMK (mk ∷ MapKind)
class (∀ k v. (NoThunks k, NoThunks v) ⇒ NoThunks (mk k v)) ⇒ NoThunksMK (mk ∷ MapKind)
class (∀ k v. (Show k, Show v) ⇒ Show (mk k v)) ⇒ ShowMK (mk ∷ MapKind)
class ZeroableMK (mk ∷ MapKind) where
- emptyMK ∷ (Ord k, Eq v) ⇒ mk k v
bimapLedgerTables ∷ ∀ (x ∷ LedgerStateKind) (y ∷ LedgerStateKind) (mk ∷ MapKind). (CanMapKeysMK mk, CanMapMK mk, Ord (TxIn y)) ⇒ (TxIn x → TxIn y) → (TxOut x → TxOut y) → LedgerTables x mk → LedgerTables y mk
data CodecMK k v = CodecMK {
- encodeKey ∷ !(k → Encoding)
- encodeValue ∷ !(v → Encoding)
- decodeKey ∷ !(∀ s. Decoder s k)
- decodeValue ∷ !(∀ s. Decoder s v)
}
newtype DiffMK k v = DiffMK {
- getDiffMK ∷ Diff k v
}
data EmptyMK k v = EmptyMK
newtype KeysMK k v = KeysMK (Set k)
newtype SeqDiffMK k v = SeqDiffMK {
- getSeqDiffMK ∷ DiffSeq k v
}
data TrackingMK k v = TrackingMK !(Map k v) !(Diff k v)
newtype ValuesMK k v = ValuesMK {
- getValuesMK ∷ Map k v
}

Classes

class CanMapKeysMK (mk ∷ MapKind) where Source #

Methods

mapKeysMK ∷ Ord k' ⇒ (k → k') → mk k v → mk k' v Source #

Instances defined for the standard mapkinds suffer from the same caveats as mapKeys or map

Instances

Instances details

CanMapKeysMK DiffMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods mapKeysMK ∷ Ord k' ⇒ (k → k') → DiffMK k v → DiffMK k' v Source #
CanMapKeysMK EmptyMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods mapKeysMK ∷ Ord k' ⇒ (k → k') → EmptyMK k v → EmptyMK k' v Source #
CanMapKeysMK KeysMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods mapKeysMK ∷ Ord k' ⇒ (k → k') → KeysMK k v → KeysMK k' v Source #
CanMapKeysMK TrackingMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods mapKeysMK ∷ Ord k' ⇒ (k → k') → TrackingMK k v → TrackingMK k' v Source #
CanMapKeysMK ValuesMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods mapKeysMK ∷ Ord k' ⇒ (k → k') → ValuesMK k v → ValuesMK k' v Source #

class CanMapMK (mk ∷ MapKind) where Source #

Methods

mapMK ∷ (v → v') → mk k v → mk k v' Source #

Instances

Instances details

CanMapMK DiffMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods mapMK ∷ (v → v') → DiffMK k v → DiffMK k v' Source #
CanMapMK EmptyMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods mapMK ∷ (v → v') → EmptyMK k v → EmptyMK k v' Source #
CanMapMK KeysMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods mapMK ∷ (v → v') → KeysMK k v → KeysMK k v' Source #
CanMapMK TrackingMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods mapMK ∷ (v → v') → TrackingMK k v → TrackingMK k v' Source #
CanMapMK ValuesMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods mapMK ∷ (v → v') → ValuesMK k v → ValuesMK k v' Source #

class (∀ k v. (Eq k, Eq v) ⇒ Eq (mk k v)) ⇒ EqMK (mk ∷ MapKind) Source #

For convenience, such that we don't have to include QuantifiedConstraints everywhere.

Instances

Instances details

EqMK DiffMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
EqMK EmptyMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
EqMK KeysMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
EqMK SeqDiffMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
EqMK TrackingMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
EqMK ValuesMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

class (∀ k v. (NoThunks k, NoThunks v) ⇒ NoThunks (mk k v)) ⇒ NoThunksMK (mk ∷ MapKind) Source #

For convenience, such that we don't have to include QuantifiedConstraints everywhere.

Instances

Instances details

NoThunksMK DiffMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK EmptyMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK KeysMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK SeqDiffMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK TrackingMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK ValuesMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

class (∀ k v. (Show k, Show v) ⇒ Show (mk k v)) ⇒ ShowMK (mk ∷ MapKind) Source #

For convenience, such that we don't have to include QuantifiedConstraints everywhere.

Instances

Instances details

ShowMK DiffMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK EmptyMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK KeysMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK SeqDiffMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK TrackingMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK ValuesMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

class ZeroableMK (mk ∷ MapKind) where Source #

Methods

emptyMK ∷ (Ord k, Eq v) ⇒ mk k v Source #

Instances

Instances details

ZeroableMK DiffMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods emptyMK ∷ (Ord k, Eq v) ⇒ DiffMK k v Source #
ZeroableMK EmptyMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods emptyMK ∷ (Ord k, Eq v) ⇒ EmptyMK k v Source #
ZeroableMK KeysMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods emptyMK ∷ (Ord k, Eq v) ⇒ KeysMK k v Source #
ZeroableMK SeqDiffMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods emptyMK ∷ (Ord k, Eq v) ⇒ SeqDiffMK k v Source #
ZeroableMK TrackingMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods emptyMK ∷ (Ord k, Eq v) ⇒ TrackingMK k v Source #
ZeroableMK ValuesMK Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind Methods emptyMK ∷ (Ord k, Eq v) ⇒ ValuesMK k v Source #

bimapLedgerTables ∷ ∀ (x ∷ LedgerStateKind) (y ∷ LedgerStateKind) (mk ∷ MapKind). (CanMapKeysMK mk, CanMapMK mk, Ord (TxIn y)) ⇒ (TxIn x → TxIn y) → (TxOut x → TxOut y) → LedgerTables x mk → LedgerTables y mk Source #

Map both keys and values in ledger tables.

For keys, it has the same caveats as mapKeys or map, namely that only injective functions are suitable to be used here.

Concrete MapKinds

data CodecMK k v Source #

A codec MapKind that will be used to refer to LedgerTables l CodecMK as the codecs that can encode every key and value in the LedgerTables l mk.

It is important to note that in the context of the HardForkCombinator, the key k has to be accessible from any era we are currently in, regardless of which era it was created in. Because of that, we need that the serialization of the key remains stable accross eras.

Ledger will provide more efficient encoders than CBOR, which will produce a ShortByteString directly.

See also HasCanonicalTxIn in Ouroboros.Consensus.HardFork.Combinator.Ledger.

We will serialize UTxO maps as unstowed ledger tables when storing snapshots while using an in-memory backend for the LedgerDB.

Constructors

CodecMK
Fields encodeKey ∷ !(k → Encoding) encodeValue ∷ !(v → Encoding) decodeKey ∷ !(∀ s. Decoder s k) decodeValue ∷ !(∀ s. Decoder s v)

newtype DiffMK k v Source #

Constructors

DiffMK
Fields getDiffMK ∷ Diff k v

Instances

Instances details

CanMapKeysMK DiffMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

mapKeysMK ∷ Ord k' ⇒ (k → k') → DiffMK k v → DiffMK k' v Source #

CanMapMK DiffMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

mapMK ∷ (v → v') → DiffMK k v → DiffMK k v' Source #

EqMK DiffMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

NoThunksMK DiffMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ShowMK DiffMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ZeroableMK DiffMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

emptyMK ∷ (Ord k, Eq v) ⇒ DiffMK k v Source #

Functor (DiffMK k) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

fmap ∷ (a → b) → DiffMK k a → DiffMK k b #

(<$) ∷ a → DiffMK k b → DiffMK k a #

Generic (DiffMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Associated Types

type Rep (DiffMK k v)
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind type Rep (DiffMK k v) = D1 ('MetaData "DiffMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "DiffMK" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDiffMK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Diff k v))))

Methods

from ∷ DiffMK k v → Rep (DiffMK k v) x #

to ∷ Rep (DiffMK k v) x → DiffMK k v #

(Show k, Show v) ⇒ Show (DiffMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

showsPrec ∷ Int → DiffMK k v → ShowS #

show ∷ DiffMK k v → String #

showList ∷ [DiffMK k v] → ShowS #

(Eq k, Eq v) ⇒ Eq (DiffMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

(==) ∷ DiffMK k v → DiffMK k v → Bool #

(/=) ∷ DiffMK k v → DiffMK k v → Bool #

(NoThunks k, NoThunks v) ⇒ NoThunks (DiffMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

noThunks ∷ Context → DiffMK k v → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DiffMK k v → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DiffMK k v) → String Source #

type Rep (DiffMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

type Rep (DiffMK k v) = D1 ('MetaData "DiffMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "DiffMK" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDiffMK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Diff k v))))

type WriteHint (LedgerTables l DiffMK) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type WriteHint (LedgerTables l DiffMK) = (l EmptyMK, l EmptyMK)

data EmptyMK k v Source #

Constructors

EmptyMK

Instances

Instances details

CanMapKeysMK EmptyMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

mapKeysMK ∷ Ord k' ⇒ (k → k') → EmptyMK k v → EmptyMK k' v Source #

CanMapMK EmptyMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

mapMK ∷ (v → v') → EmptyMK k v → EmptyMK k v' Source #

EqMK EmptyMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

NoThunksMK EmptyMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ShowMK EmptyMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ZeroableMK EmptyMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

emptyMK ∷ (Ord k, Eq v) ⇒ EmptyMK k v Source #

GetTip l ⇒ Anchorable (WithOrigin SlotNo) (l EmptyMK) (l EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.DbChangelog

Methods

asAnchor ∷ l EmptyMK → l EmptyMK Source #

getAnchorMeasure ∷ Proxy (l EmptyMK) → l EmptyMK → WithOrigin SlotNo Source #

SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (LedgerState (HardForkBlock xs) EmptyMK) Source #

SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk ∷ CodecConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) EmptyMK → Encoding Source #

Generic (EmptyMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Associated Types

type Rep (EmptyMK k v)
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind type Rep (EmptyMK k v) = D1 ('MetaData "EmptyMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'False) (C1 ('MetaCons "EmptyMK" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ EmptyMK k v → Rep (EmptyMK k v) x #

to ∷ Rep (EmptyMK k v) x → EmptyMK k v #

Show (EmptyMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

showsPrec ∷ Int → EmptyMK k v → ShowS #

show ∷ EmptyMK k v → String #

showList ∷ [EmptyMK k v] → ShowS #

Eq (EmptyMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

(==) ∷ EmptyMK k v → EmptyMK k v → Bool #

(/=) ∷ EmptyMK k v → EmptyMK k v → Bool #

NoThunks (EmptyMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

noThunks ∷ Context → EmptyMK k v → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → EmptyMK k v → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (EmptyMK k v) → String Source #

(txout ~ TxOut (LedgerState m), IndexedMemPack (LedgerState m EmptyMK) txout) ⇒ IndexedMemPack (LedgerState (DualBlock m a) EmptyMK) txout Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

indexedPackedByteCount ∷ LedgerState (DualBlock m a) EmptyMK → txout → Int Source #

indexedPackM ∷ LedgerState (DualBlock m a) EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (DualBlock m a) EmptyMK → Unpack b txout Source #

indexedTypeName ∷ LedgerState (DualBlock m a) EmptyMK → String Source #

(txout ~ TxOut (LedgerState blk), IndexedMemPack (LedgerState blk EmptyMK) txout) ⇒ IndexedMemPack (ExtLedgerState blk EmptyMK) txout Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

indexedPackedByteCount ∷ ExtLedgerState blk EmptyMK → txout → Int Source #

indexedPackM ∷ ExtLedgerState blk EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ExtLedgerState blk EmptyMK → Unpack b txout Source #

indexedTypeName ∷ ExtLedgerState blk EmptyMK → String Source #

IndexedMemPack (TrivialLedgerTables l EmptyMK) Void Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables

Methods

indexedPackedByteCount ∷ TrivialLedgerTables l EmptyMK → Void → Int Source #

indexedPackM ∷ TrivialLedgerTables l EmptyMK → Void → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ TrivialLedgerTables l EmptyMK → Unpack b Void Source #

indexedTypeName ∷ TrivialLedgerTables l EmptyMK → String Source #

type Rep (EmptyMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

type Rep (EmptyMK k v) = D1 ('MetaData "EmptyMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'False) (C1 ('MetaCons "EmptyMK" 'PrefixI 'False) (U1 ∷ Type → Type))

newtype KeysMK k v Source #

Constructors

KeysMK (Set k)

Instances

Instances details

CanMapKeysMK KeysMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

mapKeysMK ∷ Ord k' ⇒ (k → k') → KeysMK k v → KeysMK k' v Source #

CanMapMK KeysMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

mapMK ∷ (v → v') → KeysMK k v → KeysMK k v' Source #

EqMK KeysMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

NoThunksMK KeysMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ShowMK KeysMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ZeroableMK KeysMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

emptyMK ∷ (Ord k, Eq v) ⇒ KeysMK k v Source #

Ord k ⇒ Monoid (KeysMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

mempty ∷ KeysMK k v #

mappend ∷ KeysMK k v → KeysMK k v → KeysMK k v #

mconcat ∷ [KeysMK k v] → KeysMK k v #

Ord k ⇒ Semigroup (KeysMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

(<>) ∷ KeysMK k v → KeysMK k v → KeysMK k v #

sconcat ∷ NonEmpty (KeysMK k v) → KeysMK k v #

stimes ∷ Integral b ⇒ b → KeysMK k v → KeysMK k v #

Generic (KeysMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Associated Types

type Rep (KeysMK k v)
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind type Rep (KeysMK k v) = D1 ('MetaData "KeysMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "KeysMK" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set k))))

Methods

from ∷ KeysMK k v → Rep (KeysMK k v) x #

to ∷ Rep (KeysMK k v) x → KeysMK k v #

Show k ⇒ Show (KeysMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

showsPrec ∷ Int → KeysMK k v → ShowS #

show ∷ KeysMK k v → String #

showList ∷ [KeysMK k v] → ShowS #

Eq k ⇒ Eq (KeysMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

(==) ∷ KeysMK k v → KeysMK k v → Bool #

(/=) ∷ KeysMK k v → KeysMK k v → Bool #

NoThunks k ⇒ NoThunks (KeysMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

noThunks ∷ Context → KeysMK k v → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → KeysMK k v → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (KeysMK k v) → String Source #

type Rep (KeysMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

type Rep (KeysMK k v) = D1 ('MetaData "KeysMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "KeysMK" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set k))))

newtype SeqDiffMK k v Source #

Constructors

SeqDiffMK
Fields getSeqDiffMK ∷ DiffSeq k v

Instances

Instances details

EqMK SeqDiffMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

NoThunksMK SeqDiffMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ShowMK SeqDiffMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ZeroableMK SeqDiffMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

emptyMK ∷ (Ord k, Eq v) ⇒ SeqDiffMK k v Source #

Generic (SeqDiffMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Associated Types

type Rep (SeqDiffMK k v)
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind type Rep (SeqDiffMK k v) = D1 ('MetaData "SeqDiffMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "SeqDiffMK" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSeqDiffMK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DiffSeq k v))))

Methods

from ∷ SeqDiffMK k v → Rep (SeqDiffMK k v) x #

to ∷ Rep (SeqDiffMK k v) x → SeqDiffMK k v #

(Show k, Show v) ⇒ Show (SeqDiffMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

showsPrec ∷ Int → SeqDiffMK k v → ShowS #

show ∷ SeqDiffMK k v → String #

showList ∷ [SeqDiffMK k v] → ShowS #

(Eq k, Eq v) ⇒ Eq (SeqDiffMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

(==) ∷ SeqDiffMK k v → SeqDiffMK k v → Bool #

(/=) ∷ SeqDiffMK k v → SeqDiffMK k v → Bool #

(NoThunks k, NoThunks v) ⇒ NoThunks (SeqDiffMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

noThunks ∷ Context → SeqDiffMK k v → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SeqDiffMK k v → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SeqDiffMK k v) → String Source #

type Rep (SeqDiffMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

type Rep (SeqDiffMK k v) = D1 ('MetaData "SeqDiffMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "SeqDiffMK" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSeqDiffMK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DiffSeq k v))))

data TrackingMK k v Source #

Constructors

TrackingMK !(Map k v) !(Diff k v)

Instances

Instances details

CanMapKeysMK TrackingMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

mapKeysMK ∷ Ord k' ⇒ (k → k') → TrackingMK k v → TrackingMK k' v Source #

CanMapMK TrackingMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

mapMK ∷ (v → v') → TrackingMK k v → TrackingMK k v' Source #

EqMK TrackingMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

NoThunksMK TrackingMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ShowMK TrackingMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ZeroableMK TrackingMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

emptyMK ∷ (Ord k, Eq v) ⇒ TrackingMK k v Source #

Generic (TrackingMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Associated Types

type Rep (TrackingMK k v)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

type Rep (TrackingMK k v) = D1 ('MetaData "TrackingMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'False) (C1 ('MetaCons "TrackingMK" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map k v)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Diff k v))))

Methods

from ∷ TrackingMK k v → Rep (TrackingMK k v) x #

to ∷ Rep (TrackingMK k v) x → TrackingMK k v #

(Show k, Show v) ⇒ Show (TrackingMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

showsPrec ∷ Int → TrackingMK k v → ShowS #

show ∷ TrackingMK k v → String #

showList ∷ [TrackingMK k v] → ShowS #

(Eq k, Eq v) ⇒ Eq (TrackingMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

(==) ∷ TrackingMK k v → TrackingMK k v → Bool #

(/=) ∷ TrackingMK k v → TrackingMK k v → Bool #

(NoThunks k, NoThunks v) ⇒ NoThunks (TrackingMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

noThunks ∷ Context → TrackingMK k v → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TrackingMK k v → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TrackingMK k v) → String Source #

type Rep (TrackingMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

type Rep (TrackingMK k v) = D1 ('MetaData "TrackingMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'False) (C1 ('MetaCons "TrackingMK" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map k v)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Diff k v))))

newtype ValuesMK k v Source #

Constructors

ValuesMK
Fields getValuesMK ∷ Map k v

Instances

Instances details

CanMapKeysMK ValuesMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

mapKeysMK ∷ Ord k' ⇒ (k → k') → ValuesMK k v → ValuesMK k' v Source #

CanMapMK ValuesMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

mapMK ∷ (v → v') → ValuesMK k v → ValuesMK k v' Source #

EqMK ValuesMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

NoThunksMK ValuesMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ShowMK ValuesMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

ZeroableMK ValuesMK Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

emptyMK ∷ (Ord k, Eq v) ⇒ ValuesMK k v Source #

Generic (ValuesMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Associated Types

type Rep (ValuesMK k v)
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.MapKind type Rep (ValuesMK k v) = D1 ('MetaData "ValuesMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "ValuesMK" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValuesMK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map k v))))

Methods

from ∷ ValuesMK k v → Rep (ValuesMK k v) x #

to ∷ Rep (ValuesMK k v) x → ValuesMK k v #

(Show k, Show v) ⇒ Show (ValuesMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

showsPrec ∷ Int → ValuesMK k v → ShowS #

show ∷ ValuesMK k v → String #

showList ∷ [ValuesMK k v] → ShowS #

(Eq k, Eq v) ⇒ Eq (ValuesMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

(==) ∷ ValuesMK k v → ValuesMK k v → Bool #

(/=) ∷ ValuesMK k v → ValuesMK k v → Bool #

(NoThunks k, NoThunks v) ⇒ NoThunks (ValuesMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

Methods

noThunks ∷ Context → ValuesMK k v → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ValuesMK k v → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ValuesMK k v) → String Source #

type Rep (ValuesMK k v) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.MapKind

type Rep (ValuesMK k v) = D1 ('MetaData "ValuesMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "ValuesMK" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValuesMK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map k v))))

type SerializeTablesHint (LedgerTables l ValuesMK) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables

type SerializeTablesHint (LedgerTables l ValuesMK) = l EmptyMK

type InitHint (LedgerTables l ValuesMK) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type InitHint (LedgerTables l ValuesMK) = l EmptyMK

type ReadHint (LedgerTables l ValuesMK) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type ReadHint (LedgerTables l ValuesMK) = l EmptyMK