Data.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

Fields

• unPatchIntMap :: IntMap (Maybe a)

Instances

Functor PatchIntMap

Defined in Data.Patch.IntMap

Methods

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

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

Foldable PatchIntMap

Defined in Data.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 Data.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)

FunctorWithIndex Int PatchIntMap

Defined in Data.Patch.IntMap

Methods

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

imapped :: IndexedSetter Int (PatchIntMap a) (PatchIntMap b) a b

FoldableWithIndex Int PatchIntMap

Defined in Data.Patch.IntMap

Methods

ifoldMap :: Monoid m => (Int -> a -> m) -> PatchIntMap a -> m

ifolded :: IndexedFold Int (PatchIntMap a) a

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

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

ifoldr' :: (Int -> a -> b -> b) -> b -> PatchIntMap a -> b

ifoldl' :: (Int -> b -> a -> b) -> b -> PatchIntMap a -> b

TraversableWithIndex Int PatchIntMap

Defined in Data.Patch.IntMap

Methods

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

itraversed :: IndexedTraversal Int (PatchIntMap a) (PatchIntMap b) a b

Eq a => Eq (PatchIntMap a)

Defined in Data.Patch.IntMap

Methods

(==) :: PatchIntMap a -> PatchIntMap a -> Bool

(/=) :: PatchIntMap a -> PatchIntMap a -> Bool

Ord a => Ord (PatchIntMap a)

Defined in Data.Patch.IntMap

Methods

compare :: PatchIntMap a -> PatchIntMap a -> Ordering

(<) :: PatchIntMap a -> PatchIntMap a -> Bool

(<=) :: PatchIntMap a -> PatchIntMap a -> Bool

(>) :: PatchIntMap a -> PatchIntMap a -> Bool

(>=) :: PatchIntMap a -> PatchIntMap a -> Bool

max :: PatchIntMap a -> PatchIntMap a -> PatchIntMap a

min :: PatchIntMap a -> PatchIntMap a -> PatchIntMap a

Read a => Read (PatchIntMap a)

Defined in Data.Patch.IntMap

Methods

readsPrec :: Int -> ReadS (PatchIntMap a)

readList :: ReadS [PatchIntMap a]

readPrec :: ReadPrec (PatchIntMap a)

readListPrec :: ReadPrec [PatchIntMap a]

Show a => Show (PatchIntMap a)

Defined in Data.Patch.IntMap

Methods

showsPrec :: Int -> PatchIntMap a -> ShowS

show :: PatchIntMap a -> String

showList :: [PatchIntMap a] -> ShowS

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 Data.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 Data.Patch.IntMap

Methods

mempty :: PatchIntMap a

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

mconcat :: [PatchIntMap a] -> PatchIntMap a

Wrapped (PatchIntMap a)

Defined in Data.Patch.IntMap

Associated Types

type Unwrapped (PatchIntMap a) :: Type

Methods

_Wrapped' :: Iso' (PatchIntMap a) (Unwrapped (PatchIntMap a))

DecidablyEmpty (PatchIntMap a)

Defined in Data.Patch.IntMap

Methods

isEmpty :: PatchIntMap a -> Bool

Patch (PatchIntMap a)

Apply the insertions or deletions to a given IntMap.

Defined in Data.Patch.IntMap

Associated Types

type PatchTarget (PatchIntMap a) :: Type

Methods

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

PatchIntMap a1 ~ t => Rewrapped (PatchIntMap a2) t

Defined in Data.Patch.IntMap

type Unwrapped (PatchIntMap a)

Defined in Data.Patch.IntMap

type Unwrapped (PatchIntMap a) = IntMap (Maybe a)

type PatchTarget (PatchIntMap a)

Defined in Data.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.