Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Ledger.Abstract

20 types
17 classes
51 values

Packageouroboros-consensus-4.2.1.0
Exports95
LicenceApache-2.0

valueapplyLedgerBlock

:: (ApplyBlock l blk, HasCallStack)
=> ComputeLedgerEvents
-> LedgerCfg l blk
-> blk
-> Ticked l blk ValuesMK
-> Except (LedgerErr l blk) (l blk DiffMK)

valuedefaultApplyBlockLedgerResult

:: (HasCallStack, ApplyBlock l blk)
=> ComputeLedgerEvents
-> LedgerCfg l blk
-> blk
-> Ticked l blk ValuesMK
-> Except (LedgerErr l blk) (LedgerResult blk (l blk DiffMK))

valuedefaultReapplyBlockLedgerResult

:: (HasCallStack, ApplyBlock l blk)
=> LedgerErr l blk -> LedgerResult blk (l blk DiffMK)
-> ComputeLedgerEvents
-> LedgerCfg l blk
-> blk
-> Ticked l blk ValuesMK
-> LedgerResult blk (l blk DiffMK)

valuefoldLedger

:: ApplyBlock l blk
=> ComputeLedgerEvents
-> LedgerCfg l blk
-> [blk]
-> l blk ValuesMK
-> Except (LedgerErr l blk) (l blk ValuesMK)

valueledgerTipHash :: UpdateLedger blk => LedgerState blk mk -> ChainHash blk

valueledgerTipPoint :: UpdateLedger blk => LedgerState blk mk -> Point blk

valueledgerTipSlot :: UpdateLedger blk => LedgerState blk mk -> WithOrigin SlotNo

valuereapplyLedgerBlock

:: (ApplyBlock l blk, HasCallStack)
=> ComputeLedgerEvents
-> LedgerCfg l blk
-> blk
-> Ticked l blk ValuesMK
-> l blk DiffMK

valuerefoldLedger

:: ApplyBlock l blk
=> ComputeLedgerEvents
-> LedgerCfg l blk
-> [blk]
-> l blk ValuesMK
-> l blk ValuesMK

valuetickThenApply

:: ApplyBlock l blk
=> ComputeLedgerEvents
-> LedgerCfg l blk
-> blk
-> l blk ValuesMK
-> Except (LedgerErr l blk) (l blk DiffMK)

valuetickThenApplyLedgerResult

:: ApplyBlock l blk
=> ComputeLedgerEvents
-> LedgerCfg l blk
-> blk
-> l blk ValuesMK
-> Except (LedgerErr l blk) (LedgerResult blk (l blk DiffMK))

valuetickThenReapply

:: ApplyBlock l blk
=> ComputeLedgerEvents
-> LedgerCfg l blk
-> blk
-> l blk ValuesMK
-> l blk DiffMK

valuetickThenReapplyLedgerResult

:: ApplyBlock l blk
=> ComputeLedgerEvents
-> LedgerCfg l blk
-> blk
-> l blk ValuesMK
-> LedgerResult blk (l blk DiffMK)

valueapplyChainTick

:: IsLedger l blk
=> ComputeLedgerEvents
-> LedgerCfg l blk
-> SlotNo
-> l blk EmptyMK
-> Ticked l blk DiffMK

valuecastLedgerResult

:: AuxLedgerEvent l ~ AuxLedgerEvent l'
=> LedgerResult l a
-> LedgerResult l' a

valueembedLedgerResult

:: AuxLedgerEvent l -> AuxLedgerEvent l'
-> LedgerResult l a
-> LedgerResult l' a

valuegetTipHash :: GetTip l => l mk -> ChainHash l

valuegetTipM :: (GetTipSTM m l, MonadSTM m) => l -> m (Point l)

valuegetTipSlot :: GetTip l => l mk -> WithOrigin SlotNo

valuepureLedgerResult :: a -> LedgerResult l a

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

class

class (IsLedger l blk, HeaderHash (l blk) ~ HeaderHash blk, HasHeader blk, HasHeader (Header blk), HasLedgerTables l blk, HasLedgerTables (Ticked l) blk, GetBlockKeySets blk) => ApplyBlock (l :: StateKind) blk where

Methods

applyBlockLedgerResultWithValidation :: HasCallStack => ValidationPolicy -> ComputeLedgerEvents -> LedgerCfg l blk -> blk -> Ticked l blk ValuesMK -> Except (LedgerErr l blk) (LedgerResult blk (l blk DiffMK))
applyBlockLedgerResult :: HasCallStack => ComputeLedgerEvents -> LedgerCfg l blk -> blk -> Ticked l blk ValuesMK -> Except (LedgerErr l blk) (LedgerResult blk (l blk DiffMK))
reapplyBlockLedgerResult :: HasCallStack => ComputeLedgerEvents -> LedgerCfg l blk -> blk -> Ticked l blk ValuesMK -> LedgerResult blk (l blk DiffMK)

Instances3ApplyBlock

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

classclass GetBlockKeySets blk where

Methods

getBlockKeySets :: blk -> LedgerTables blk KeysMK

Instances2GetBlockKeySets

(HasCanonicalTxIn xs, HasHardForkTxOut xs, CanHardFork xs) => GetBlockKeySets (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
GetBlockKeySets m => GetBlockKeySets (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

classclass ApplyBlock LedgerState blk => UpdateLedger blk

Instances2UpdateLedger

ApplyBlock LedgerState (HardForkBlock xs) => UpdateLedger (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
Bridge m a => UpdateLedger (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

data familydata family Validated x

Instances9Eq, Show, Generic, NoThunks, Rep, Validated, …

CanHardFork xs => Eq (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Show (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => Show (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Generic (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
NoThunks (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data Validated (GenTx (HardForkBlock xs))
- HardForkValidatedGenTxgetHardForkValidatedGenTx :: OneEraValidatedGenTx xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data Validated (GenTx (DualBlock m a))
- ValidatedDualGenTxvDualGenTxMain :: Validated (GenTx m)vDualGenTxAux :: Validated (GenTx a)vDualGenTxBridge :: BridgeTx m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

familytype family AuxLedgerEvent blk

Instances2AuxLedgerEvent

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

datadata ComputeLedgerEvents

ComputeLedgerEvents OmitLedgerEvents

Instances5Eq, Show, Generic, NoThunks, Rep

Eq ComputeLedgerEventsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
Show ComputeLedgerEventsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
Generic ComputeLedgerEventsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
NoThunks ComputeLedgerEventsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
type Rep ComputeLedgerEvents = D1 ('MetaData "ComputeLedgerEvents" "Ouroboros.Consensus.Ledger.Basics" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "ComputeLedgerEvents" 'PrefixI 'False) U1 :+: C1 ('MetaCons "OmitLedgerEvents" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics

classclass GetTip (l :: LedgerStateKind) where

Methods

getTip :: l mk -> Point l

Instances6GetTip

CanHardFork xs => GetTip (LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
IsLedger LedgerState blk => GetTip (ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
Bridge m a => GetTip (LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => GetTip (Ticked LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
IsLedger LedgerState blk => GetTip (Ticked ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
Bridge m a => GetTip (Ticked LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

classclass GetTipSTM (m :: Type -> Type) l where

Methods

getTipSTM :: l -> STM m (Point l)

Instances1GetTipSTM

(GetTip (l blk), MonadSTM m) => GetTipSTM m (Forker m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker

class

class (forall (mk :: MapKind). EqMK mk => Eq (l blk mk), forall (mk :: MapKind). NoThunksMK mk => NoThunks (l blk mk), forall (mk :: MapKind). ShowMK mk => Show (l blk mk), NoThunks (LedgerCfg l blk), Show (LedgerErr l blk), Eq (LedgerErr l blk), NoThunks (LedgerErr l blk), GetTip (l blk), GetTip (Ticked l blk)) => IsLedger (l :: StateKind) blk where

Associated types

type family LedgerErr (l :: StateKind) blk

Methods

applyChainTickLedgerResult :: ComputeLedgerEvents -> LedgerCfg l blk -> SlotNo -> l blk EmptyMK -> LedgerResult blk (Ticked l blk DiffMK)

Instances3IsLedger

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

familytype family LedgerCfg (l :: StateKind) blk

Instances3LedgerCfg

type LedgerCfg LedgerState (HardForkBlock xs) = HardForkLedgerConfig xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type LedgerCfg LedgerState (DualBlock m a) = DualLedgerConfig m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type LedgerCfg ExtLedgerState blk = ExtLedgerCfg blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended

typetype LedgerConfig blk = LedgerCfg LedgerState blk

familytype family LedgerErr (l :: StateKind) blk

Instances3LedgerErr

type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type LedgerErr LedgerState (DualBlock m a) = DualLedgerError m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type LedgerErr ExtLedgerState blk = ExtValidationError blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended

typetype LedgerError blk = LedgerErr LedgerState blk

datadata LedgerResult blk a

Constructors

LedgerResult
- lrEvents :: [AuxLedgerEvent blk]
- lrResult :: !a

Instances3Functor, Foldable, Traversable

Functor (LedgerResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
Foldable (LedgerResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
Traversable (LedgerResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics

data familydata family LedgerState blk (mk :: MapKind)

Instances39ApplyBlock, CanUpgradeLedgerTables, IsLedger, SerializeTablesWithHint, IndexedMemPack, CanStowLedgerTables, …

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => ApplyBlock LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(CanHardFork xs, HasHardForkTxOut xs) => CanUpgradeLedgerTables LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
CanHardFork xs => IsLedger 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
Bridge m a => ApplyBlock LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanUpgradeLedgerTables LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => IsLedger LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(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
(txout ~ TxOut m, IndexedMemPack LedgerState m txout) => IndexedMemPack LedgerState (DualBlock m a) txoutDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => GetTip (LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
Bridge m a => GetTip (LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
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
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
(Bridge m a, EqMK mk) => Eq (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(EqMK mk, CanHardFork xs) => Eq (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
(Bridge m a, ShowMK mk) => Show (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(ShowMK mk, CanHardFork xs) => Show (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
NoThunks (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(NoThunksMK mk, CanHardFork xs) => NoThunks (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
StandardHash blk => StandardHash (LedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
(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
CanHardFork xs => GetTip (Ticked LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
Bridge m a => GetTip (Ticked LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (Ticked LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Inject (Flip LedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic (Flip LedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
type HeaderHash (LedgerState blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
data Ticked LedgerState (HardForkBlock xs)
- TickedHardForkLedgerStatetickedHardForkLedgerStateTransition :: !TransitionInfotickedHardForkLedgerStatePerEra :: !HardForkState (FlipTickedLedgerState mk) xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
data Ticked LedgerState (DualBlock m a)
- TickedDualLedgerStatetickedDualLedgerStateMain :: Ticked LedgerState m mktickedDualLedgerStateAux :: Ticked LedgerState a ValuesMKtickedDualLedgerStateBridge :: BridgeLedger m atickedDualLedgerStateAuxOrig :: LedgerState a ValuesMK
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data LedgerState (HardForkBlock xs)
- HardForkLedgerStatehardForkLedgerStatePerEra :: HardForkState (Flip LedgerState mk) xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data LedgerState (DualBlock m a)
- DualLedgerStatedualLedgerStateMain :: LedgerState m mkdualLedgerStateAux :: LedgerState a ValuesMKdualLedgerStateBridge :: BridgeLedger m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type LedgerCfg LedgerState (HardForkBlock xs) = HardForkLedgerConfig xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type LedgerCfg LedgerState (DualBlock m a) = DualLedgerConfig m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type LedgerErr LedgerState (DualBlock m a) = DualLedgerError m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

typetype TickedLedgerState blk = Ticked LedgerState blk

datadata VoidLedgerEvent

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