Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Ledger.Tables.Utils

Synopsis

value applyDiffForKeys
value applyDiffForKeysOnTables
value applyDiffs
value applyDiffs'
value applyDiffsMK
value attachAndApplyDiffs
value attachEmptyDiffs
value calculateDifference
value emptyLedgerTables
value forgetLedgerTables
value ltprj
value ltwith
value noNewTickingDiffs
value prependDiffs
value prependTrackingDiffs
value rawAttachAndApplyDiffs
value rawCalculateDifference
value rawPrependDiffs
value rawTrackingDiffs
value restrictValuesMK
value trackingToDiffs
value trackingToValues
value unionValues
value valuesAsDiffs

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