Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Ledger.Tables.Diff

valueapplyDiff :: Ord k => Map k v -> Diff k v -> Map k v

valueapplyDiffForKeys :: Ord k => Map k v -> Set k -> Diff k v -> Map k v

valuediff :: (Ord k, Eq v) => Map k v -> Map k v -> Diff k v

valuefilterWithKeyOnly :: (k -> Bool) -> Diff k v -> Diff k v

valuefoldMapDelta :: Monoid m => (Delta v -> m) -> Diff k v -> m

valuefromList :: Ord k => [(k, Delta v)] -> Diff k v

valuefromListDeletes :: Ord k => [(k, v)] -> Diff k v

valuefromListInserts :: Ord k => [(k, v)] -> Diff k v

valuefromMap :: Map k (Delta v) -> Diff k v

valuefromMapDeletes :: Map k v -> Diff k v

valuefromMapInserts :: Map k v -> Diff k v

valuefromSetDeletes :: Set k -> Diff k v

valuekeysSet :: Diff k v -> Set k

valuenull :: Diff k v -> Bool

valuenumDeletes :: Diff k v -> Int

valuenumInserts :: Diff k v -> Int

valuesize :: Diff k v -> Int

valuetraverseDeltaWithKey_

datadata Delta v

Instances7Functor, Eq, Show, Generic, Semigroup, NoThunks, …

Functor DeltaDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
Eq v => Eq (Delta v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
Show v => Show (Delta v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
Generic (Delta v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
Semigroup (Delta v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
NoThunks v => NoThunks (Delta v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
type Rep (Delta v) = D1 ('MetaData "Delta" "Ouroboros.Consensus.Ledger.Tables.Diff" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "Insert" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 v)) :+: C1 ('MetaCons "Delete" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff

newtypenewtype Diff k v

Instances8Functor, Eq, Show, Generic, Semigroup, Monoid, …

Functor (Diff k)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
(Eq k, Eq v) => Eq (Diff k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
(Show k, Show v) => Show (Diff k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
Generic (Diff k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
Ord k => Semigroup (Diff k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
Ord k => Monoid (Diff k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
(NoThunks k, NoThunks v) => NoThunks (Diff k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff
type Rep (Diff k v) = D1 ('MetaData "Diff" "Ouroboros.Consensus.Ledger.Tables.Diff" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "Diff" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map k (Delta v)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Diff