Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Ledger.Abstract

Synopsis

value applyLedgerBlock
value defaultApplyBlockLedgerResult
value defaultReapplyBlockLedgerResult
value foldLedger
value ledgerTipHash
value ledgerTipPoint
value ledgerTipSlot
value reapplyLedgerBlock
value refoldLedger
value tickThenApply
value tickThenApplyLedgerResult
value tickThenReapply
value tickThenReapplyLedgerResult
value applyChainTick
value castLedgerResult
value embedLedgerResult
value getTipHash
value getTipM
value getTipSlot
value pureLedgerResult
value defaultDecodeTablesWithHint
value defaultEncodeTablesWithHint
value trivialDecodeTablesWithHint
value trivialEncodeTablesWithHint
value trivialLedgerTables
value trivialProjectLedgerTables
value trivialStowLedgerTables
value trivialUnstowLedgerTables
value trivialWithLedgerTables
value valuesMKDecoder
value valuesMKEncoder
value fn2_1
value fn2_2
value fn2_3
value fn2_4
value ltap
value ltcollapse
value ltliftA
value ltliftA2
value ltliftA3
value ltliftA4
value ltmap
value ltprod
value ltpure
value ltsequence
value lttraverse
value ltzipWith2A
value bimapLedgerTables
value ...:
value ..:
value .:
class ApplyBlock
class GetBlockKeySets
class UpdateLedger
data family Validated
family AuxLedgerEvent
data ComputeLedgerEvents
class GetTip
class GetTipSTM
class IsLedger
family LedgerCfg
type LedgerConfig
family LedgerErr
type LedgerError
data LedgerResult
data family LedgerState
type TickedLedgerState
data VoidLedgerEvent
class CanStowLedgerTables
class CanUpgradeLedgerTables
class HasLedgerTables
class LedgerTablesAreTrivial
class SerializeTablesWithHint
newtype LedgerTables
family TxIn
family TxOut
newtype -..->
newtype :..:
newtype K2
type LedgerTableConstraints
type LedgerStateKind
type MapKind
type StateKind
class CanMapKeysMK
class CanMapMK
data CodecMK
newtype DiffMK
data EmptyMK
class EqMK
newtype KeysMK
class NoThunksMK
class ShowMK
data TrackingMK
newtype ValuesMK
class ZeroableMK

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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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-89mGcUlIDtl9Zis3MBCDdC" '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