Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Ledger.Tables.Utils

24 values

Packageouroboros-consensus-4.2.1.0
Exports24
LicenceApache-2.0

valueapplyDiffForKeys

:: (HasLedgerTables l blk, HasLedgerTables l' blk)
=> l blk ValuesMK
-> LedgerTables blk KeysMK
-> l' blk DiffMK
-> l' blk ValuesMK

valueapplyDiffForKeysOnTables

:: HasLedgerTables l blk
=> LedgerTables blk ValuesMK
-> LedgerTables blk KeysMK
-> l blk DiffMK
-> l blk ValuesMK

valueapplyDiffs

:: (HasLedgerTables l blk, HasLedgerTables l' blk)
=> l blk ValuesMK
-> l' blk DiffMK
-> l' blk ValuesMK

valueapplyDiffs'

:: (HasLedgerTables l blk, HasLedgerTables l' blk)
=> l blk ValuesMK
-> l' blk DiffMK
-> LedgerTables blk ValuesMK

valueapplyDiffsMK :: Ord k => ValuesMK k v -> DiffMK k v -> ValuesMK k v

valueattachAndApplyDiffs

:: (HasLedgerTables l blk, HasLedgerTables l' blk)
=> l blk ValuesMK
-> l' blk DiffMK
-> l' blk TrackingMK

valueattachEmptyDiffs

:: HasLedgerTables l blk
=> l blk ValuesMK
-> l blk TrackingMK

valuecalculateDifference

:: (HasLedgerTables l blk, HasLedgerTables l' blk)
=> l blk ValuesMK
-> l' blk ValuesMK
-> l' blk TrackingMK

valueemptyLedgerTables :: (ZeroableMK mk, LedgerTableConstraints blk) => LedgerTables blk mk

valueforgetLedgerTables :: HasLedgerTables l blk => l blk mk -> l blk EmptyMK

valueltprj

:: (HasLedgerTables l blk, CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk)
=> l blk mk
-> LedgerTables blk mk

valueltwith

:: (HasLedgerTables l blk, CanMapMK mk', CanMapKeysMK mk', ZeroableMK mk')
=> l blk mk
-> LedgerTables blk mk'
-> l blk mk'

valuenoNewTickingDiffs :: HasLedgerTables l blk => l blk any -> l blk DiffMK

valueprependDiffs

:: (HasLedgerTables l blk, HasLedgerTables l' blk)
=> l blk DiffMK
-> l' blk DiffMK
-> l' blk DiffMK

valueprependTrackingDiffs

:: (HasLedgerTables l blk, HasLedgerTables l' blk)
=> l blk TrackingMK
-> l' blk TrackingMK
-> l' blk TrackingMK

valuerawAttachAndApplyDiffs

:: Ord k
=> ValuesMK k v
-> DiffMK k v
-> TrackingMK k v

valuerawCalculateDifference

:: (Ord k, Eq v)
=> ValuesMK k v
-> ValuesMK k v
-> TrackingMK k v

valuerawPrependDiffs :: Ord k => DiffMK k v -> DiffMK k v -> DiffMK k v

valuerawTrackingDiffs :: TrackingMK k v -> DiffMK k v

valuerestrictValuesMK :: Ord k => ValuesMK k v -> KeysMK k v -> ValuesMK k v

valuetrackingToDiffs :: HasLedgerTables l blk => l blk TrackingMK -> l blk DiffMK

valuetrackingToValues

:: HasLedgerTables l blk
=> l blk TrackingMK
-> l blk ValuesMK

valueunionValues :: Ord k => ValuesMK k v -> ValuesMK k v -> ValuesMK k v

valuevaluesAsDiffs :: HasLedgerTables l blk => l blk ValuesMK -> l blk DiffMK