Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Ledger.Tables

14 types
11 classes
31 values

Packageouroboros-consensus-4.2.1.0
Exports58
LicenceApache-2.0

valuedefaultDecodeTablesWithHint

:: (Ord (TxIn blk), MemPack (TxIn blk), MemPack (TxOut blk))
=> l blk EmptyMK
-> Decoder s (LedgerTables blk ValuesMK)

valuedefaultEncodeTablesWithHint

:: (MemPack (TxIn blk), MemPack (TxOut blk))
=> l blk EmptyMK
-> LedgerTables blk ValuesMK
-> Encoding

valuetrivialDecodeTablesWithHint

:: LedgerTablesAreTrivial l blk
=> l blk EmptyMK
-> Decoder s (LedgerTables blk ValuesMK)

valuetrivialEncodeTablesWithHint

:: LedgerTablesAreTrivial l blk
=> l blk EmptyMK
-> LedgerTables blk ValuesMK
-> Encoding

valuetrivialLedgerTables

:: (ZeroableMK mk, LedgerTablesAreTrivial l blk)
=> Proxy l
-> LedgerTables blk mk

valuetrivialProjectLedgerTables

:: (LedgerTablesAreTrivial l blk, ZeroableMK mk)
=> l blk mk
-> LedgerTables blk mk

valuetrivialStowLedgerTables

:: LedgerTablesAreTrivial l blk
=> l blk ValuesMK
-> l blk EmptyMK

valuetrivialUnstowLedgerTables

:: LedgerTablesAreTrivial l blk
=> l blk EmptyMK
-> l blk ValuesMK

valuetrivialWithLedgerTables

:: LedgerTablesAreTrivial l blk
=> l blk any
-> LedgerTables blk mk
-> l blk mk

valuevaluesMKDecoder

:: SerializeTablesWithHint l blk
=> l blk EmptyMK
-> Decoder s (LedgerTables blk ValuesMK)

valuevaluesMKEncoder

:: SerializeTablesWithHint l blk
=> l blk EmptyMK
-> LedgerTables blk ValuesMK
-> Encoding

valuefn2_1 :: (f a b -> g a b) -> (-..->) f g a b

valuefn2_2 :: (f a b -> f' a b -> f'' a b) -> (-..->) f (f' -..-> f'') a b

valuefn2_3

:: f a b -> f' a b -> f'' a b -> f''' a b
-> (-..->) f (f' -..-> (f'' -..-> f''')) a b

valuefn2_4

:: f a b -> f' a b -> f'' a b -> f''' a b -> f'''' a b
-> (-..->) f (f' -..-> (f'' -..-> (f''' -..-> f''''))) a b

valueltap

:: LedgerTableConstraints l
=> LedgerTables l (mk1 -..-> mk2)
-> LedgerTables l mk1
-> LedgerTables l mk2

valueltcollapse :: LedgerTables l (K2 a) -> a

valueltliftA

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v
-> LedgerTables l mk1
-> LedgerTables l mk2

valueltliftA2

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v -> mk3 k v
-> LedgerTables l mk1
-> LedgerTables l mk2
-> LedgerTables l mk3

valueltliftA3

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v -> mk3 k v -> mk4 k v
-> LedgerTables l mk1
-> LedgerTables l mk2
-> LedgerTables l mk3
-> LedgerTables l mk4

valueltliftA4

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v -> mk3 k v -> mk4 k v -> mk5 k v
-> LedgerTables l mk1
-> LedgerTables l mk2
-> LedgerTables l mk3
-> LedgerTables l mk4
-> LedgerTables l mk5

valueltmap

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v
-> LedgerTables l mk1
-> LedgerTables l mk2

valueltprod

:: LedgerTables l f
-> LedgerTables l g
-> LedgerTables l (Product2 f g)

valueltpure

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk k v
-> LedgerTables l mk

valueltsequence

:: (Applicative f, LedgerTableConstraints l)
=> LedgerTables l (f :..: mk)
-> f (LedgerTables l mk)

valuelttraverse

:: (Applicative f, LedgerTableConstraints l)
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> f (mk2 k v)
-> LedgerTables l mk1
-> f (LedgerTables l mk2)

valueltzipWith2A

:: (Applicative f, LedgerTableConstraints l)
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v -> f (mk3 k v)
-> LedgerTables l mk1
-> LedgerTables l mk2
-> f (LedgerTables l mk3)

valuebimapLedgerTables

:: (CanMapKeysMK mk, CanMapMK mk, Ord (TxIn y))
=> TxIn x -> TxIn y
-> TxOut x -> TxOut y
-> LedgerTables x mk
-> LedgerTables y mk

value(...:)

:: y -> z
-> x0 -> x1 -> x2 -> x3 -> y
-> x0
-> x1
-> x2
-> x3
-> z

value(..:) :: (y -> z) -> (x0 -> x1 -> x2 -> y) -> x0 -> x1 -> x2 -> z

value(.:) :: (y -> z) -> (x0 -> x1 -> y) -> x0 -> x1 -> z

classclass CanStowLedgerTables (l :: LedgerStateKind) where

Methods

stowLedgerTables :: l ValuesMK -> l EmptyMK
unstowLedgerTables :: l EmptyMK -> l ValuesMK

Instances3CanStowLedgerTables

CanStowLedgerTables (LedgerState blk) => CanStowLedgerTables (ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
CanStowLedgerTables (LedgerState m) => CanStowLedgerTables (LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All (Compose CanStowLedgerTables LedgerState) xs => CanStowLedgerTables (LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan

classclass CanUpgradeLedgerTables (l :: StateKind) blk where

Methods

upgradeTables :: l blk mk1 -> l blk mk2 -> LedgerTables blk ValuesMK -> LedgerTables blk ValuesMK

Instances3CanUpgradeLedgerTables

CanUpgradeLedgerTables LedgerState blk => CanUpgradeLedgerTables ExtLedgerState blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
(CanHardFork xs, HasHardForkTxOut xs) => CanUpgradeLedgerTables LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
CanUpgradeLedgerTables LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

class

class (NoThunks (TxIn blk), NoThunks (TxOut blk), LedgerTableConstraints blk) => HasLedgerTables (l :: StateKind) blk where

Methods

projectLedgerTables :: (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => l blk mk -> LedgerTables blk mk
withLedgerTables :: (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => l blk any -> LedgerTables blk mk -> l blk mk

Instances6HasLedgerTables

(NoThunks (TxIn blk), NoThunks (TxOut blk), HasLedgerTables LedgerState blk) => HasLedgerTables ExtLedgerState blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(Bridge m a, HasLedgerTables LedgerState m) => HasLedgerTables LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(NoThunks (TxIn blk), NoThunks (TxOut blk), HasLedgerTables (Ticked LedgerState) blk) => HasLedgerTables (Ticked ExtLedgerState) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables (Ticked LedgerState) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(Bridge m a, HasLedgerTables (Ticked LedgerState) m) => HasLedgerTables (Ticked LedgerState) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

classclass (TxIn blk ~ Void, TxOut blk ~ Void) => LedgerTablesAreTrivial (l :: StateKind) blk where

Methods

convertMapKind :: l blk mk -> l blk mk'

Instances1LedgerTablesAreTrivial

LedgerTablesAreTrivial LedgerState blk => LedgerTablesAreTrivial ExtLedgerState blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended

classclass SerializeTablesWithHint (l :: Type -> (Type -> Type -> Type) -> Type) blk where

Methods

encodeTablesWithHint :: l blk EmptyMK -> LedgerTables blk ValuesMK -> Encoding
decodeTablesWithHint :: l blk EmptyMK -> Decoder s (LedgerTables blk ValuesMK)

Instances2SerializeTablesWithHint

SerializeTablesWithHint LedgerState blk => SerializeTablesWithHint ExtLedgerState blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
(Ord (TxIn m), MemPack (TxIn m), MemPack (TxOut m)) => SerializeTablesWithHint LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

newtypenewtype LedgerTables blk (mk :: MapKind)

Constructors

LedgerTables
- getLedgerTables :: mk (TxIn blk) (TxOut blk)

Instances7Eq, Show, Generic, Semigroup, Monoid, NoThunks, …

Eq (mk (TxIn blk) (TxOut blk)) => Eq (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basics
Show (mk (TxIn blk) (TxOut blk)) => Show (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basics
Generic (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basics
(forall k v. LedgerTableConstraints' blk k v => Semigroup (mk k v), LedgerTableConstraints blk) => Semigroup (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators · orphan
(forall k v. LedgerTableConstraints' l k v => Monoid (mk k v), LedgerTableConstraints l) => Monoid (LedgerTables l mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators · orphan
NoThunks (mk (TxIn blk) (TxOut blk)) => NoThunks (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basics
type Rep (LedgerTables blk mk) = D1 ('MetaData "LedgerTables" "Ouroboros.Consensus.Ledger.Tables.Basics" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn blk) (TxOut blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basics

familytype family TxIn blk

Instances2TxIn

type TxIn (HardForkBlock xs) = CanonicalTxIn xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type TxIn (DualBlock m a) = TxIn mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

familytype family TxOut blk

Instances2TxOut

type TxOut (HardForkBlock xs) = HardForkTxOut xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type TxOut (DualBlock m a) = TxOut mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

newtypenewtype (-..->) (f :: k1 -> k2 -> Type) (g :: k1 -> k2 -> Type) (a :: k1) (b :: k2)

Constructors

Fn2
- apFn2 :: f a b -> g a b

newtypenewtype (:..:) (f :: k3 -> Type) (g :: k1 -> k2 -> k3) (a :: k1) (b :: k2)

Constructors

Comp2
- unComp2 :: f (g a b)

Instances8Bifunctor, Functor, Foldable, Traversable, Eq, Show, …

(Functor f, Bifunctor g) => Bifunctor (f :..: g)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
(Functor f, Functor (g a)) => Functor ((:..:) f g a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
(Foldable f, Foldable (g a)) => Foldable ((:..:) f g a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
(Traversable f, Traversable (g a)) => Traversable ((:..:) f g a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Eq (f (g a b)) => Eq ((:..:) f g a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Show (f (g a b)) => Show ((:..:) f g a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Semigroup (f (g a b)) => Semigroup ((:..:) f g a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Monoid (f (g a b)) => Monoid ((:..:) f g a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators

newtypenewtype K2 a (b :: k1) (c :: k2)

Constructors

K2
- unK2 :: a

Instances8Bifunctor, Functor, Foldable, Traversable, Eq, Show, …

Bifunctor (K2 a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Functor (K2 a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Foldable (K2 a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Traversable (K2 a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Eq a => Eq (K2 a b c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Show a => Show (K2 a b c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Semigroup a => Semigroup (K2 a b c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Monoid a => Monoid (K2 a b c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators

typetype LedgerTableConstraints blk = (Ord (TxIn blk), Eq (TxOut blk))

typetype LedgerStateKind = MapKind -> Type

typetype MapKind = Type -> Type -> Type

typetype StateKind = Type -> LedgerStateKind

classclass CanMapKeysMK (mk :: MapKind) where

Methods

mapKeysMK :: Ord k' => (k -> k') -> mk k v -> mk k' v

Instances5CanMapKeysMK

CanMapKeysMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapKeysMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapKeysMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapKeysMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapKeysMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind

classclass CanMapMK (mk :: MapKind) where

Methods

mapMK :: (v -> v') -> mk k v -> mk k v'

Instances5CanMapMK

CanMapMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind

datadata CodecMK k v

Constructors

CodecMK
- encodeKey :: !k -> Encoding
- encodeValue :: !v -> Encoding
- decodeKey :: !forall s. Decoder s k
- decodeValue :: !forall s. Decoder s v

newtypenewtype DiffMK k v

Constructors

DiffMK
- getDiffMK :: Diff k v

Instances12EqMK, NoThunksMK, ShowMK, CanMapMK, CanMapKeysMK, ZeroableMK, …

EqMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapKeysMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ZeroableMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Functor (DiffMK k)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
(Eq k, Eq v) => Eq (DiffMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
(Show k, Show v) => Show (DiffMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Generic (DiffMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
(NoThunks k, NoThunks v) => NoThunks (DiffMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
type Rep (DiffMK k v) = D1 ('MetaData "DiffMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "DiffMK" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDiffMK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Diff k v))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind

datadata EmptyMK k v

EmptyMK

Instances13EqMK, NoThunksMK, ShowMK, CanMapMK, CanMapKeysMK, ZeroableMK, …

EqMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapKeysMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ZeroableMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
SerialiseHFC xs => EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
Eq (EmptyMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Show (EmptyMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Generic (EmptyMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunks (EmptyMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
type Rep (EmptyMK k v) = D1 ('MetaData "EmptyMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "EmptyMK" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind

classclass (forall k v. (Eq k, Eq v) => Eq (mk k v)) => EqMK (mk :: MapKind)

Instances5EqMK

EqMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
EqMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
EqMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
EqMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
EqMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind

newtypenewtype KeysMK k v

Constructors

KeysMK (Set k)

Instances13EqMK, NoThunksMK, ShowMK, CanMapMK, CanMapKeysMK, ZeroableMK, …

EqMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapKeysMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ZeroableMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Eq k => Eq (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Show k => Show (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Generic (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Ord k => Semigroup (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Ord k => Monoid (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunks k => NoThunks (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
type Rep (KeysMK k v) = D1 ('MetaData "KeysMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "KeysMK" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set k))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind

classclass (forall k v. (NoThunks k, NoThunks v) => NoThunks (mk k v)) => NoThunksMK (mk :: MapKind)

Instances5NoThunksMK

NoThunksMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind

classclass (forall k v. (Show k, Show v) => Show (mk k v)) => ShowMK (mk :: MapKind)

Instances5ShowMK

ShowMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind

datadata TrackingMK k v

Constructors

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

Instances11EqMK, NoThunksMK, ShowMK, CanMapMK, CanMapKeysMK, ZeroableMK, …

EqMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapKeysMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ZeroableMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
(Eq k, Eq v) => Eq (TrackingMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
(Show k, Show v) => Show (TrackingMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Generic (TrackingMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
(NoThunks k, NoThunks v) => NoThunks (TrackingMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
type Rep (TrackingMK k v) = D1 ('MetaData "TrackingMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "TrackingMK" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map k v)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Diff k v))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind

newtypenewtype ValuesMK k v

Constructors

ValuesMK
- getValuesMK :: Map k v

Instances11EqMK, NoThunksMK, ShowMK, CanMapMK, CanMapKeysMK, ZeroableMK, …

EqMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
NoThunksMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ShowMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
CanMapKeysMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ZeroableMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
(Eq k, Eq v) => Eq (ValuesMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
(Show k, Show v) => Show (ValuesMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Generic (ValuesMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
(NoThunks k, NoThunks v) => NoThunks (ValuesMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
type Rep (ValuesMK k v) = D1 ('MetaData "ValuesMK" "Ouroboros.Consensus.Ledger.Tables.MapKind" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "ValuesMK" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValuesMK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map k v))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind

classclass ZeroableMK (mk :: MapKind) where

Methods

emptyMK :: (Ord k, Eq v) => mk k v

Instances5ZeroableMK

ZeroableMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ZeroableMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ZeroableMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ZeroableMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
ZeroableMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind