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 y (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)
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 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 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 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 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 y (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-3.0.1.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-3.0.1.0-inplace" 'True) (C1 ('MetaCons "DiffMK" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDiffMK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Diff k v))))

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 #

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-3.0.1.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 #

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-3.0.1.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-3.0.1.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-3.0.1.0-inplace" 'True) (C1 ('MetaCons "KeysMK" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set k))))

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-3.0.1.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-3.0.1.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-3.0.1.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-3.0.1.0-inplace" 'True) (C1 ('MetaCons "ValuesMK" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValuesMK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map k v))))