Reflex.Patch.IntMap

Module containing PatchIntMap, a Patch for IntMap which allows for insert/update or delete of associations.

Documentation

newtype PatchIntMap a

Patch for IntMap which represents insertion or deletion of keys in the mapping. Internally represented by 'IntMap (Maybe a)', where Just means insert/update and Nothing means delete.

Constructors

PatchIntMap (IntMap (Maybe a))

Instances

Functor PatchIntMap

Defined in Reflex.Patch.IntMap

Methods

fmap :: (a -> b) -> PatchIntMap a -> PatchIntMap b

(<$) :: a -> PatchIntMap b -> PatchIntMap a

Foldable PatchIntMap

Defined in Reflex.Patch.IntMap

Methods

fold :: Monoid m => PatchIntMap m -> m

foldMap :: Monoid m => (a -> m) -> PatchIntMap a -> m

foldr :: (a -> b -> b) -> b -> PatchIntMap a -> b

foldr' :: (a -> b -> b) -> b -> PatchIntMap a -> b

foldl :: (b -> a -> b) -> b -> PatchIntMap a -> b

foldl' :: (b -> a -> b) -> b -> PatchIntMap a -> b

foldr1 :: (a -> a -> a) -> PatchIntMap a -> a

foldl1 :: (a -> a -> a) -> PatchIntMap a -> a

toList :: PatchIntMap a -> [a]

null :: PatchIntMap a -> Bool

length :: PatchIntMap a -> Int

elem :: Eq a => a -> PatchIntMap a -> Bool

maximum :: Ord a => PatchIntMap a -> a

minimum :: Ord a => PatchIntMap a -> a

sum :: Num a => PatchIntMap a -> a

product :: Num a => PatchIntMap a -> a

Traversable PatchIntMap

Defined in Reflex.Patch.IntMap

Methods

traverse :: Applicative f => (a -> f b) -> PatchIntMap a -> f (PatchIntMap b)

sequenceA :: Applicative f => PatchIntMap (f a) -> f (PatchIntMap a)

mapM :: Monad m => (a -> m b) -> PatchIntMap a -> m (PatchIntMap b)

sequence :: Monad m => PatchIntMap (m a) -> m (PatchIntMap a)

Semigroup (PatchIntMap v)

a <> b will apply the changes of b and then apply the changes of a. If the same key is modified by both patches, the one on the left will take precedence.

Defined in Reflex.Patch.IntMap

Methods

(<>) :: PatchIntMap v -> PatchIntMap v -> PatchIntMap v

sconcat :: NonEmpty (PatchIntMap v) -> PatchIntMap v

stimes :: Integral b => b -> PatchIntMap v -> PatchIntMap v

Monoid (PatchIntMap a)

Defined in Reflex.Patch.IntMap

Methods

mempty :: PatchIntMap a

mappend :: PatchIntMap a -> PatchIntMap a -> PatchIntMap a

mconcat :: [PatchIntMap a] -> PatchIntMap a

Patch (PatchIntMap a)

Apply the insertions or deletions to a given IntMap.

Defined in Reflex.Patch.IntMap

Associated Types

type PatchTarget (PatchIntMap a) :: *

Methods

apply :: PatchIntMap a -> PatchTarget (PatchIntMap a) -> Maybe (PatchTarget (PatchIntMap a))

type PatchTarget (PatchIntMap a)

Defined in Reflex.Patch.IntMap

type PatchTarget (PatchIntMap a) = IntMap a

mapIntMapPatchWithKey :: (Int -> a -> b) -> PatchIntMap a -> PatchIntMap b

Map a function Int -> a -> b over all as in the given PatchIntMap a (that is, all inserts/updates), producing a PatchIntMap b.

traverseIntMapPatchWithKey :: Applicative f => (Int -> a -> f b) -> PatchIntMap a -> f (PatchIntMap b)

Map an effectful function Int -> a -> f b over all as in the given PatchIntMap a (that is, all inserts/updates), producing a f (PatchIntMap b).

patchIntMapNewElements :: PatchIntMap a -> [a]

Extract all as inserted/updated by the given PatchIntMap a.

patchIntMapNewElementsMap :: PatchIntMap a -> IntMap a

Convert the given PatchIntMap a into an IntMap a with all the inserts/updates in the given patch.

getDeletions :: PatchIntMap v -> IntMap v' -> IntMap v'

Subset the given IntMap a to contain only the keys that would be deleted by the given PatchIntMap a.