Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Ledger.Tables.Diff
Synopsis
- data Delta v
- newtype Diff k v = Diff (Map k (Delta v))
- keysSet ∷ Diff k v → Set k
- diff ∷ (Ord k, Eq v) ⇒ Map k v → Map k v → Diff k v
- fromMap ∷ Map k (Delta v) → Diff k v
- fromMapDeletes ∷ Map k v → Diff k v
- fromMapInserts ∷ Map k v → Diff k v
- fromSetDeletes ∷ Set k → Diff k v
- fromList ∷ Ord k ⇒ [(k, Delta v)] → Diff k v
- fromListDeletes ∷ Ord k ⇒ [(k, v)] → Diff k v
- fromListInserts ∷ Ord k ⇒ [(k, v)] → Diff k v
- null ∷ Diff k v → Bool
- numDeletes ∷ Diff k v → Int
- numInserts ∷ Diff k v → Int
- size ∷ Diff k v → Int
- applyDiff ∷ Ord k ⇒ Map k v → Diff k v → Map k v
- applyDiffForKeys ∷ Ord k ⇒ Map k v → Set k → Diff k v → Map k v
- filterWithKeyOnly ∷ (k → Bool) → Diff k v → Diff k v
- foldMapDelta ∷ Monoid m ⇒ (Delta v → m) → Diff k v → m
- traverseDeltaWithKey_ ∷ Applicative t ⇒ (k → Delta v → t a) → Diff k v → t ()
Types
Instances
Instances
Functor (Diff k) Source # | Custom | ||||
Ord k ⇒ Monoid (Diff k v) Source # | |||||
Ord k ⇒ Semigroup (Diff k v) Source # | |||||
Generic (Diff k v) Source # | |||||
Defined in Ouroboros.Consensus.Ledger.Tables.Diff Associated Types
| |||||
(Show k, Show v) ⇒ Show (Diff k v) Source # | |||||
(Eq k, Eq v) ⇒ Eq (Diff k v) Source # | |||||
(NoThunks k, NoThunks v) ⇒ NoThunks (Diff k v) Source # | |||||
type Rep (Diff k v) Source # | |||||
Defined in Ouroboros.Consensus.Ledger.Tables.Diff |
Conversion
Construction
Maps
fromMapDeletes ∷ Map k v → Diff k v Source #
fromMapInserts ∷ Map k v → Diff k v Source #
Set
fromSetDeletes ∷ Set k → Diff k v Source #
Lists
fromListDeletes ∷ Ord k ⇒ [(k, v)] → Diff k v Source #
fromListInserts ∷ Ord k ⇒ [(k, v)] → Diff k v Source #
Query
Size
numDeletes ∷ Diff k v → Int Source #
numInserts ∷ Diff k v → Int Source #
Applying diffs
Filter
traverseDeltaWithKey_ ∷ Applicative t ⇒ (k → Delta v → t a) → Diff k v → t () Source #
Traversal with keys over the deltas.