Safe Haskell	None
Language	Haskell2010

Data.Patch

Description

Synopsis

newtype AdditivePatch p = AdditivePatch {
- unAdditivePatch :: p
}
class (Semigroup q, Monoid q) => Group q where
- negateG :: q -> q
- (~~) :: q -> q -> q
class Patch p where
- type PatchTarget p :: Type
- apply :: p -> PatchTarget p -> Maybe (PatchTarget p)
applyAlways :: Patch p => p -> PatchTarget p -> PatchTarget p
composePatchFunctions :: (Patch p, Semigroup p) => (PatchTarget p -> p) -> (PatchTarget p -> p) -> PatchTarget p -> p
newtype PatchIntMap a = PatchIntMap {
- unPatchIntMap :: IntMap (Maybe a)
}
mapIntMapPatchWithKey :: (Int -> a -> b) -> PatchIntMap a -> PatchIntMap b
traverseIntMapPatchWithKey :: Applicative f => (Int -> a -> f b) -> PatchIntMap a -> f (PatchIntMap b)
patchIntMapNewElements :: PatchIntMap a -> [a]
patchIntMapNewElementsMap :: PatchIntMap a -> IntMap a
newtype PatchMap k v = PatchMap {
- unPatchMap :: Map k (Maybe v)
}
patchMapNewElements :: PatchMap k v -> [v]
patchMapNewElementsMap :: PatchMap k v -> Map k v
newtype PatchDMap k v = PatchDMap {
- unPatchDMap :: DMap k (ComposeMaybe v)
}
mapPatchDMap :: (forall a. v a -> v' a) -> PatchDMap k v -> PatchDMap k v'
traversePatchDMap :: Applicative f => (forall a. v a -> f (v' a)) -> PatchDMap k v -> f (PatchDMap k v')
traversePatchDMapWithKey :: Applicative m => (forall a. k a -> v a -> m (v' a)) -> PatchDMap k v -> m (PatchDMap k v')
weakenPatchDMapWith :: (forall a. v a -> v') -> PatchDMap k v -> PatchMap (Some k) v'
patchDMapToPatchMapWith :: (v a -> v') -> PatchDMap (Const2 k a) v -> PatchMap k v'
const2PatchDMapWith :: forall k v v' a. (v -> v' a) -> PatchMap k v -> PatchDMap (Const2 k a) v'
const2IntPatchDMapWith :: forall v f a. (v -> f a) -> PatchIntMap v -> PatchDMap (Const2 Key a) f
data PatchMapWithMove k (v :: Type)
unsafePatchMapWithMove :: Map k (NodeInfo k v) -> PatchMapWithMove k v
patchMapWithMoveNewElements :: PatchMapWithMove k v -> [v]
patchMapWithMoveNewElementsMap :: PatchMapWithMove k v -> Map k v
data PatchDMapWithMove k v
unPatchDMapWithMove :: PatchDMapWithMove k v -> DMap k (NodeInfo k v)
unsafePatchDMapWithMove :: DMap k (NodeInfo k v) -> PatchDMapWithMove k v
mapPatchDMapWithMove :: forall k v v'. (forall a. v a -> v' a) -> PatchDMapWithMove k v -> PatchDMapWithMove k v'
traversePatchDMapWithMoveWithKey :: forall m k v v'. Applicative m => (forall a. k a -> v a -> m (v' a)) -> PatchDMapWithMove k v -> m (PatchDMapWithMove k v')
weakenPatchDMapWithMoveWith :: forall k v v'. (forall a. v a -> v') -> PatchDMapWithMove k v -> PatchMapWithMove (Some k) v'
patchDMapWithMoveToPatchMapWithMoveWith :: forall k v v' a. (v a -> v') -> PatchDMapWithMove (Const2 k a) v -> PatchMapWithMove k v'
const2PatchDMapWithMoveWith :: forall k v v' a. (v -> v' a) -> PatchMapWithMove k v -> PatchDMapWithMove (Const2 k a) v'

Documentation

newtype AdditivePatch p Source #

The elements of an Commutative Semigroup can be considered as patches of their own type.

Constructors

AdditivePatch
Fields unAdditivePatch :: p

Instances

Instances details

Commutative p => Patch (AdditivePatch p) Source #
Instance details Defined in Data.Patch Associated Types type PatchTarget (AdditivePatch p) Source # Methods apply :: AdditivePatch p -> PatchTarget (AdditivePatch p) -> Maybe (PatchTarget (AdditivePatch p)) Source #
type PatchTarget (AdditivePatch p) Source #
Instance details Defined in Data.Patch type PatchTarget (AdditivePatch p) = p

class (Semigroup q, Monoid q) => Group q where Source #

A Group is a Monoid where every element has an inverse.

Minimal complete definition

negateG

Methods

negateG :: q -> q Source #

(~~) :: q -> q -> q Source #

Instances

Instances details

Group () Source #	Trivial group.
Instance details Defined in Data.Patch Methods negateG :: () -> () Source # (~~) :: () -> () -> () Source #
Group a => Group (Identity a) Source #	Identity lifts groups pointwise (at only one point)
Instance details Defined in Data.Patch Methods negateG :: Identity a -> Identity a Source # (~~) :: Identity a -> Identity a -> Identity a Source #
Group b => Group (a -> b) Source #	Functions lift groups pointwise.
Instance details Defined in Data.Patch Methods negateG :: (a -> b) -> a -> b Source # (~~) :: (a -> b) -> (a -> b) -> a -> b Source #
(Group a, Group b) => Group (a, b) Source #	Product group. A Pair of groups gives rise to a group
Instance details Defined in Data.Patch Methods negateG :: (a, b) -> (a, b) Source # (~~) :: (a, b) -> (a, b) -> (a, b) Source #
Group (Proxy x) Source #	Trivial group, Functor style
Instance details Defined in Data.Patch Methods negateG :: Proxy x -> Proxy x Source # (~~) :: Proxy x -> Proxy x -> Proxy x Source #
(Ord k, Group q) => Group (MonoidalMap k q) Source #
Instance details Defined in Data.Patch Methods negateG :: MonoidalMap k q -> MonoidalMap k q Source # (~~) :: MonoidalMap k q -> MonoidalMap k q -> MonoidalMap k q Source #
Group a => Group (Const a x) Source #	Const lifts groups into a functor.
Instance details Defined in Data.Patch Methods negateG :: Const a x -> Const a x Source # (~~) :: Const a x -> Const a x -> Const a x Source #
(Group (f a), Group (g a)) => Group ((f :*: g) a) Source #	Product of groups, Functor style.
Instance details Defined in Data.Patch Methods negateG :: (f :: g) a -> (f :: g) a Source # (~~) :: (f :: g) a -> (f :: g) a -> (f :*: g) a Source #
Group (f (g a)) => Group ((f :.: g) a) Source #
Instance details Defined in Data.Patch Methods negateG :: (f :.: g) a -> (f :.: g) a Source # (~~) :: (f :.: g) a -> (f :.: g) a -> (f :.: g) a Source #

class Patch p where Source #

A Patch type represents a kind of change made to a datastructure.

If an instance of Patch is also an instance of Semigroup, it should obey the law that applyAlways (f <> g) == applyAlways f . applyAlways g.

Associated Types

type PatchTarget p :: Type Source #

Methods

apply :: p -> PatchTarget p -> Maybe (PatchTarget p) Source #

Apply the patch p a to the value a. If no change is needed, return Nothing.

Instances

Instances details

Patch (Identity a) Source #	`Identity` can be used as a `Patch` that always fully replaces the value
Instance details Defined in Data.Patch.Class Associated Types type PatchTarget (Identity a) Source # Methods apply :: Identity a -> PatchTarget (Identity a) -> Maybe (PatchTarget (Identity a)) Source #
Patch (PatchIntMap a) Source #	Apply the insertions or deletions to a given `IntMap`.
Instance details Defined in Data.Patch.IntMap Associated Types type PatchTarget (PatchIntMap a) Source # Methods apply :: PatchIntMap a -> PatchTarget (PatchIntMap a) -> Maybe (PatchTarget (PatchIntMap a)) Source #
Commutative p => Patch (AdditivePatch p) Source #
Instance details Defined in Data.Patch Associated Types type PatchTarget (AdditivePatch p) Source # Methods apply :: AdditivePatch p -> PatchTarget (AdditivePatch p) -> Maybe (PatchTarget (AdditivePatch p)) Source #
Patch p => Patch (PatchOrReplacement p) Source #	To apply a `PatchOrReplacement p` apply the the underlying `p` or substitute the replacement `PatchTarget p`.
Instance details Defined in Data.Patch.PatchOrReplacement Associated Types type PatchTarget (PatchOrReplacement p) Source # Methods apply :: PatchOrReplacement p -> PatchTarget (PatchOrReplacement p) -> Maybe (PatchTarget (PatchOrReplacement p)) Source #
Patch (Proxy a) Source #	`Proxy` can be used as a `Patch` that does nothing.
Instance details Defined in Data.Patch.Class Associated Types type PatchTarget (Proxy a) Source # Methods apply :: Proxy a -> PatchTarget (Proxy a) -> Maybe (PatchTarget (Proxy a)) Source #
Ord k => Patch (PatchMap k v) Source #	Apply the insertions or deletions to a given `Map`.
Instance details Defined in Data.Patch.Map Associated Types type PatchTarget (PatchMap k v) Source # Methods apply :: PatchMap k v -> PatchTarget (PatchMap k v) -> Maybe (PatchTarget (PatchMap k v)) Source #
(Ord k, Patch p) => Patch (PatchMapWithPatchingMove k p) Source #	Apply the insertions, deletions, and moves to a given `Map`
Instance details Defined in Data.Patch.MapWithPatchingMove Associated Types type PatchTarget (PatchMapWithPatchingMove k p) Source # Methods apply :: PatchMapWithPatchingMove k p -> PatchTarget (PatchMapWithPatchingMove k p) -> Maybe (PatchTarget (PatchMapWithPatchingMove k p)) Source #
Ord k => Patch (PatchMapWithMove k v) Source #	Apply the insertions, deletions, and moves to a given `Map`
Instance details Defined in Data.Patch.MapWithMove Associated Types type PatchTarget (PatchMapWithMove k v) Source # Methods apply :: PatchMapWithMove k v -> PatchTarget (PatchMapWithMove k v) -> Maybe (PatchTarget (PatchMapWithMove k v)) Source #
GCompare k2 => Patch (PatchDMap k2 v) Source #	Apply the insertions or deletions to a given `DMap`.
Instance details Defined in Data.Patch.DMap Associated Types type PatchTarget (PatchDMap k2 v) Source # Methods apply :: PatchDMap k2 v -> PatchTarget (PatchDMap k2 v) -> Maybe (PatchTarget (PatchDMap k2 v)) Source #
GCompare k2 => Patch (PatchDMapWithMove k2 v) Source #	Apply the insertions, deletions, and moves to a given `DMap`.
Instance details Defined in Data.Patch.DMapWithMove Associated Types type PatchTarget (PatchDMapWithMove k2 v) Source # Methods apply :: PatchDMapWithMove k2 v -> PatchTarget (PatchDMapWithMove k2 v) -> Maybe (PatchTarget (PatchDMapWithMove k2 v)) Source #

applyAlways :: Patch p => p -> PatchTarget p -> PatchTarget p Source #

Apply a Patch; if it does nothing, return the original value

composePatchFunctions :: (Patch p, Semigroup p) => (PatchTarget p -> p) -> (PatchTarget p -> p) -> PatchTarget p -> p Source #

Like (.), but composes functions that return patches rather than functions that return new values. The Semigroup instance for patches must apply patches right-to-left, like (.).

newtype PatchIntMap a Source #

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

Instances details

Functor PatchIntMap Source #
Instance details Defined in Data.Patch.IntMap Methods fmap :: (a -> b) -> PatchIntMap a -> PatchIntMap b # (<$) :: a -> PatchIntMap b -> PatchIntMap a #
Foldable PatchIntMap Source #
Instance details Defined in Data.Patch.IntMap Methods fold :: Monoid m => PatchIntMap m -> m # foldMap :: Monoid m => (a -> m) -> PatchIntMap a -> 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 Source #
Instance details 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 Source #
Instance details Defined in Data.Patch.IntMap Methods imap :: (Int -> a -> b) -> PatchIntMap a -> PatchIntMap b #
FoldableWithIndex Int PatchIntMap Source #
Instance details Defined in Data.Patch.IntMap Methods ifoldMap :: Monoid m => (Int -> a -> m) -> PatchIntMap a -> m # ifoldMap' :: Monoid m => (Int -> a -> m) -> PatchIntMap a -> m # 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 Source #
Instance details Defined in Data.Patch.IntMap Methods itraverse :: Applicative f => (Int -> a -> f b) -> PatchIntMap a -> f (PatchIntMap b) #
Eq a => Eq (PatchIntMap a) Source #
Instance details Defined in Data.Patch.IntMap Methods (==) :: PatchIntMap a -> PatchIntMap a -> Bool # (/=) :: PatchIntMap a -> PatchIntMap a -> Bool #
Ord a => Ord (PatchIntMap a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Patch.IntMap Methods showsPrec :: Int -> PatchIntMap a -> ShowS # show :: PatchIntMap a -> String # showList :: [PatchIntMap a] -> ShowS #
Semigroup (PatchIntMap v) Source #	`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.
Instance details 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) Source #
Instance details Defined in Data.Patch.IntMap Methods mempty :: PatchIntMap a # mappend :: PatchIntMap a -> PatchIntMap a -> PatchIntMap a # mconcat :: [PatchIntMap a] -> PatchIntMap a #
Wrapped (PatchIntMap a) Source #
Instance details Defined in Data.Patch.IntMap Associated Types type Unwrapped (PatchIntMap a) # Methods _Wrapped' :: Iso' (PatchIntMap a) (Unwrapped (PatchIntMap a)) #
DecidablyEmpty (PatchIntMap a) Source #
Instance details Defined in Data.Patch.IntMap Methods isEmpty :: PatchIntMap a -> Bool Source #
Patch (PatchIntMap a) Source #	Apply the insertions or deletions to a given `IntMap`.
Instance details Defined in Data.Patch.IntMap Associated Types type PatchTarget (PatchIntMap a) Source # Methods apply :: PatchIntMap a -> PatchTarget (PatchIntMap a) -> Maybe (PatchTarget (PatchIntMap a)) Source #
PatchIntMap a1 ~ t => Rewrapped (PatchIntMap a2) t Source #
Instance details Defined in Data.Patch.IntMap
type Unwrapped (PatchIntMap a) Source #
Instance details Defined in Data.Patch.IntMap type Unwrapped (PatchIntMap a) = IntMap (Maybe a)
type PatchTarget (PatchIntMap a) Source #
Instance details Defined in Data.Patch.IntMap type PatchTarget (PatchIntMap a) = IntMap a

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

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) Source #

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] Source #

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

patchIntMapNewElementsMap :: PatchIntMap a -> IntMap a Source #

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

newtype PatchMap k v Source #

A set of changes to a Map. Any element may be inserted/updated or deleted. Insertions are represented as values wrapped in Just, while deletions are represented as Nothings

Constructors

PatchMap
Fields unPatchMap :: Map k (Maybe v)

Instances

Instances details

FunctorWithIndex k (PatchMap k) Source #
Instance details Defined in Data.Patch.Map Methods imap :: (k -> a -> b) -> PatchMap k a -> PatchMap k b #
FoldableWithIndex k (PatchMap k) Source #
Instance details Defined in Data.Patch.Map Methods ifoldMap :: Monoid m => (k -> a -> m) -> PatchMap k a -> m # ifoldMap' :: Monoid m => (k -> a -> m) -> PatchMap k a -> m # ifoldr :: (k -> a -> b -> b) -> b -> PatchMap k a -> b # ifoldl :: (k -> b -> a -> b) -> b -> PatchMap k a -> b # ifoldr' :: (k -> a -> b -> b) -> b -> PatchMap k a -> b # ifoldl' :: (k -> b -> a -> b) -> b -> PatchMap k a -> b #
TraversableWithIndex k (PatchMap k) Source #
Instance details Defined in Data.Patch.Map Methods itraverse :: Applicative f => (k -> a -> f b) -> PatchMap k a -> f (PatchMap k b) #
Functor (PatchMap k) Source #	`fmap`ping a `PatchMap` will alter all of the values it will insert. Deletions are unaffected.
Instance details Defined in Data.Patch.Map Methods fmap :: (a -> b) -> PatchMap k a -> PatchMap k b # (<$) :: a -> PatchMap k b -> PatchMap k a #
Foldable (PatchMap k) Source #
Instance details Defined in Data.Patch.Map Methods fold :: Monoid m => PatchMap k m -> m # foldMap :: Monoid m => (a -> m) -> PatchMap k a -> m # foldMap' :: Monoid m => (a -> m) -> PatchMap k a -> m # foldr :: (a -> b -> b) -> b -> PatchMap k a -> b # foldr' :: (a -> b -> b) -> b -> PatchMap k a -> b # foldl :: (b -> a -> b) -> b -> PatchMap k a -> b # foldl' :: (b -> a -> b) -> b -> PatchMap k a -> b # foldr1 :: (a -> a -> a) -> PatchMap k a -> a # foldl1 :: (a -> a -> a) -> PatchMap k a -> a # toList :: PatchMap k a -> [a] # null :: PatchMap k a -> Bool # length :: PatchMap k a -> Int # elem :: Eq a => a -> PatchMap k a -> Bool # maximum :: Ord a => PatchMap k a -> a # minimum :: Ord a => PatchMap k a -> a # sum :: Num a => PatchMap k a -> a # product :: Num a => PatchMap k a -> a #
Traversable (PatchMap k) Source #
Instance details Defined in Data.Patch.Map Methods traverse :: Applicative f => (a -> f b) -> PatchMap k a -> f (PatchMap k b) # sequenceA :: Applicative f => PatchMap k (f a) -> f (PatchMap k a) # mapM :: Monad m => (a -> m b) -> PatchMap k a -> m (PatchMap k b) # sequence :: Monad m => PatchMap k (m a) -> m (PatchMap k a) #
(Eq k, Eq v) => Eq (PatchMap k v) Source #
Instance details Defined in Data.Patch.Map Methods (==) :: PatchMap k v -> PatchMap k v -> Bool # (/=) :: PatchMap k v -> PatchMap k v -> Bool #
(Ord k, Ord v) => Ord (PatchMap k v) Source #
Instance details Defined in Data.Patch.Map Methods compare :: PatchMap k v -> PatchMap k v -> Ordering # (<) :: PatchMap k v -> PatchMap k v -> Bool # (<=) :: PatchMap k v -> PatchMap k v -> Bool # (>) :: PatchMap k v -> PatchMap k v -> Bool # (>=) :: PatchMap k v -> PatchMap k v -> Bool # max :: PatchMap k v -> PatchMap k v -> PatchMap k v # min :: PatchMap k v -> PatchMap k v -> PatchMap k v #
(Ord k, Read k, Read v) => Read (PatchMap k v) Source #
Instance details Defined in Data.Patch.Map Methods readsPrec :: Int -> ReadS (PatchMap k v) # readList :: ReadS [PatchMap k v] # readPrec :: ReadPrec (PatchMap k v) # readListPrec :: ReadPrec [PatchMap k v] #
(Show k, Show v) => Show (PatchMap k v) Source #
Instance details Defined in Data.Patch.Map Methods showsPrec :: Int -> PatchMap k v -> ShowS # show :: PatchMap k v -> String # showList :: [PatchMap k v] -> ShowS #
Ord k => Semigroup (PatchMap k v) Source #	`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.
Instance details Defined in Data.Patch.Map Methods (<>) :: PatchMap k v -> PatchMap k v -> PatchMap k v # sconcat :: NonEmpty (PatchMap k v) -> PatchMap k v # stimes :: Integral b => b -> PatchMap k v -> PatchMap k v #
Ord k => Monoid (PatchMap k v) Source #	The empty `PatchMap` contains no insertions or deletions
Instance details Defined in Data.Patch.Map Methods mempty :: PatchMap k v # mappend :: PatchMap k v -> PatchMap k v -> PatchMap k v # mconcat :: [PatchMap k v] -> PatchMap k v #
Wrapped (PatchMap k v) Source #
Instance details Defined in Data.Patch.Map Associated Types type Unwrapped (PatchMap k v) # Methods _Wrapped' :: Iso' (PatchMap k v) (Unwrapped (PatchMap k v)) #
Ord k => DecidablyEmpty (PatchMap k v) Source #
Instance details Defined in Data.Patch.Map Methods isEmpty :: PatchMap k v -> Bool Source #
Ord k => Patch (PatchMap k v) Source #	Apply the insertions or deletions to a given `Map`.
Instance details Defined in Data.Patch.Map Associated Types type PatchTarget (PatchMap k v) Source # Methods apply :: PatchMap k v -> PatchTarget (PatchMap k v) -> Maybe (PatchTarget (PatchMap k v)) Source #
PatchMap k1 v1 ~ t => Rewrapped (PatchMap k2 v2) t Source #
Instance details Defined in Data.Patch.Map
type Unwrapped (PatchMap k v) Source #
Instance details Defined in Data.Patch.Map type Unwrapped (PatchMap k v) = Map k (Maybe v)
type PatchTarget (PatchMap k v) Source #
Instance details Defined in Data.Patch.Map type PatchTarget (PatchMap k v) = Map k v

patchMapNewElements :: PatchMap k v -> [v] Source #

Returns all the new elements that will be added to the Map

patchMapNewElementsMap :: PatchMap k v -> Map k v Source #

Returns all the new elements that will be added to the Map

newtype PatchDMap k v Source #

A set of changes to a DMap. Any element may be inserted/updated or deleted. Insertions are represented as ComposeMaybe (Just value), while deletions are represented as ComposeMaybe Nothing.

Constructors

PatchDMap
Fields unPatchDMap :: DMap k (ComposeMaybe v)

Instances

Instances details

GCompare k2 => Semigroup (PatchDMap k2 v) Source #
Instance details Defined in Data.Patch.DMap Methods (<>) :: PatchDMap k2 v -> PatchDMap k2 v -> PatchDMap k2 v # sconcat :: NonEmpty (PatchDMap k2 v) -> PatchDMap k2 v # stimes :: Integral b => b -> PatchDMap k2 v -> PatchDMap k2 v #
GCompare k2 => Monoid (PatchDMap k2 v) Source #
Instance details Defined in Data.Patch.DMap Methods mempty :: PatchDMap k2 v # mappend :: PatchDMap k2 v -> PatchDMap k2 v -> PatchDMap k2 v # mconcat :: [PatchDMap k2 v] -> PatchDMap k2 v #
GCompare k2 => DecidablyEmpty (PatchDMap k2 v) Source #
Instance details Defined in Data.Patch.DMap Methods isEmpty :: PatchDMap k2 v -> Bool Source #
GCompare k2 => Patch (PatchDMap k2 v) Source #	Apply the insertions or deletions to a given `DMap`.
Instance details Defined in Data.Patch.DMap Associated Types type PatchTarget (PatchDMap k2 v) Source # Methods apply :: PatchDMap k2 v -> PatchTarget (PatchDMap k2 v) -> Maybe (PatchTarget (PatchDMap k2 v)) Source #
type PatchTarget (PatchDMap k2 v) Source #
Instance details Defined in Data.Patch.DMap type PatchTarget (PatchDMap k2 v) = DMap k2 v

mapPatchDMap :: (forall a. v a -> v' a) -> PatchDMap k v -> PatchDMap k v' Source #

Map a function v a -> v' a over any inserts/updates in the given PatchDMap k v to produce a PatchDMap k v'.

traversePatchDMap :: Applicative f => (forall a. v a -> f (v' a)) -> PatchDMap k v -> f (PatchDMap k v') Source #

Map an effectful function v a -> f (v' a) over any inserts/updates in the given PatchDMap k v to produce a PatchDMap k v'.

traversePatchDMapWithKey :: Applicative m => (forall a. k a -> v a -> m (v' a)) -> PatchDMap k v -> m (PatchDMap k v') Source #

Map an effectful function k a -> v a -> f (v' a) over any inserts/updates in the given PatchDMap k v to produce a PatchDMap k v'.

weakenPatchDMapWith :: (forall a. v a -> v') -> PatchDMap k v -> PatchMap (Some k) v' Source #

Weaken a PatchDMap k v to a PatchMap (Some k) v' using a function v a -> v' to weaken each value contained in the patch.

patchDMapToPatchMapWith :: (v a -> v') -> PatchDMap (Const2 k a) v -> PatchMap k v' Source #

Convert a weak PatchDMap (Const2 k a) v where the a is known by way of the Const2 into a PatchMap k v' using a rank 1 function v a -> v'.

const2PatchDMapWith :: forall k v v' a. (v -> v' a) -> PatchMap k v -> PatchDMap (Const2 k a) v' Source #

Convert a PatchMap k v into a PatchDMap (Const2 k a) v' using a function v -> v' a.

const2IntPatchDMapWith :: forall v f a. (v -> f a) -> PatchIntMap v -> PatchDMap (Const2 Key a) f Source #

Convert a PatchIntMap v into a PatchDMap (Const2 Int a) v' using a function v -> v' a.

data PatchMapWithMove k (v :: Type) Source #

Patch a Map with additions, deletions, and moves. Invariant: If key k1 is coming from From_Move k2, then key k2 should be going to Just k1, and vice versa. There should never be any unpaired From/To keys.

Instances

Instances details

FunctorWithIndex k (PatchMapWithMove k) Source #
Instance details Defined in Data.Patch.MapWithMove Methods imap :: (k -> a -> b) -> PatchMapWithMove k a -> PatchMapWithMove k b #
FoldableWithIndex k (PatchMapWithMove k) Source #
Instance details Defined in Data.Patch.MapWithMove Methods ifoldMap :: Monoid m => (k -> a -> m) -> PatchMapWithMove k a -> m # ifoldMap' :: Monoid m => (k -> a -> m) -> PatchMapWithMove k a -> m # ifoldr :: (k -> a -> b -> b) -> b -> PatchMapWithMove k a -> b # ifoldl :: (k -> b -> a -> b) -> b -> PatchMapWithMove k a -> b # ifoldr' :: (k -> a -> b -> b) -> b -> PatchMapWithMove k a -> b # ifoldl' :: (k -> b -> a -> b) -> b -> PatchMapWithMove k a -> b #
TraversableWithIndex k (PatchMapWithMove k) Source #
Instance details Defined in Data.Patch.MapWithMove Methods itraverse :: Applicative f => (k -> a -> f b) -> PatchMapWithMove k a -> f (PatchMapWithMove k b) #
Functor (PatchMapWithMove k) Source #
Instance details Defined in Data.Patch.MapWithMove Methods fmap :: (a -> b) -> PatchMapWithMove k a -> PatchMapWithMove k b # (<$) :: a -> PatchMapWithMove k b -> PatchMapWithMove k a #
Foldable (PatchMapWithMove k) Source #
Instance details Defined in Data.Patch.MapWithMove Methods fold :: Monoid m => PatchMapWithMove k m -> m # foldMap :: Monoid m => (a -> m) -> PatchMapWithMove k a -> m # foldMap' :: Monoid m => (a -> m) -> PatchMapWithMove k a -> m # foldr :: (a -> b -> b) -> b -> PatchMapWithMove k a -> b # foldr' :: (a -> b -> b) -> b -> PatchMapWithMove k a -> b # foldl :: (b -> a -> b) -> b -> PatchMapWithMove k a -> b # foldl' :: (b -> a -> b) -> b -> PatchMapWithMove k a -> b # foldr1 :: (a -> a -> a) -> PatchMapWithMove k a -> a # foldl1 :: (a -> a -> a) -> PatchMapWithMove k a -> a # toList :: PatchMapWithMove k a -> [a] # null :: PatchMapWithMove k a -> Bool # length :: PatchMapWithMove k a -> Int # elem :: Eq a => a -> PatchMapWithMove k a -> Bool # maximum :: Ord a => PatchMapWithMove k a -> a # minimum :: Ord a => PatchMapWithMove k a -> a # sum :: Num a => PatchMapWithMove k a -> a # product :: Num a => PatchMapWithMove k a -> a #
Traversable (PatchMapWithMove k) Source #
Instance details Defined in Data.Patch.MapWithMove Methods traverse :: Applicative f => (a -> f b) -> PatchMapWithMove k a -> f (PatchMapWithMove k b) # sequenceA :: Applicative f => PatchMapWithMove k (f a) -> f (PatchMapWithMove k a) # mapM :: Monad m => (a -> m b) -> PatchMapWithMove k a -> m (PatchMapWithMove k b) # sequence :: Monad m => PatchMapWithMove k (m a) -> m (PatchMapWithMove k a) #
(Eq k, Eq v) => Eq (PatchMapWithMove k v) Source #
Instance details Defined in Data.Patch.MapWithMove Methods (==) :: PatchMapWithMove k v -> PatchMapWithMove k v -> Bool # (/=) :: PatchMapWithMove k v -> PatchMapWithMove k v -> Bool #
(Ord k, Ord v) => Ord (PatchMapWithMove k v) Source #
Instance details Defined in Data.Patch.MapWithMove Methods compare :: PatchMapWithMove k v -> PatchMapWithMove k v -> Ordering # (<) :: PatchMapWithMove k v -> PatchMapWithMove k v -> Bool # (<=) :: PatchMapWithMove k v -> PatchMapWithMove k v -> Bool # (>) :: PatchMapWithMove k v -> PatchMapWithMove k v -> Bool # (>=) :: PatchMapWithMove k v -> PatchMapWithMove k v -> Bool # max :: PatchMapWithMove k v -> PatchMapWithMove k v -> PatchMapWithMove k v # min :: PatchMapWithMove k v -> PatchMapWithMove k v -> PatchMapWithMove k v #
(Ord k, Read k, Read v) => Read (PatchMapWithMove k v) Source #
Instance details Defined in Data.Patch.MapWithMove Methods readsPrec :: Int -> ReadS (PatchMapWithMove k v) # readList :: ReadS [PatchMapWithMove k v] # readPrec :: ReadPrec (PatchMapWithMove k v) # readListPrec :: ReadPrec [PatchMapWithMove k v] #
(Show k, Show v) => Show (PatchMapWithMove k v) Source #
Instance details Defined in Data.Patch.MapWithMove Methods showsPrec :: Int -> PatchMapWithMove k v -> ShowS # show :: PatchMapWithMove k v -> String # showList :: [PatchMapWithMove k v] -> ShowS #
Ord k => Semigroup (PatchMapWithMove k v) Source #	Compose patches having the same effect as applying the patches in turn: `applyAlways (p <> q) == applyAlways p . applyAlways q`
Instance details Defined in Data.Patch.MapWithMove Methods (<>) :: PatchMapWithMove k v -> PatchMapWithMove k v -> PatchMapWithMove k v # sconcat :: NonEmpty (PatchMapWithMove k v) -> PatchMapWithMove k v # stimes :: Integral b => b -> PatchMapWithMove k v -> PatchMapWithMove k v #
Ord k => Monoid (PatchMapWithMove k v) Source #
Instance details Defined in Data.Patch.MapWithMove Methods mempty :: PatchMapWithMove k v # mappend :: PatchMapWithMove k v -> PatchMapWithMove k v -> PatchMapWithMove k v # mconcat :: [PatchMapWithMove k v] -> PatchMapWithMove k v #
Wrapped (PatchMapWithMove k v) Source #
Instance details Defined in Data.Patch.MapWithMove Associated Types type Unwrapped (PatchMapWithMove k v) # Methods _Wrapped' :: Iso' (PatchMapWithMove k v) (Unwrapped (PatchMapWithMove k v)) #
Ord k => Patch (PatchMapWithMove k v) Source #	Apply the insertions, deletions, and moves to a given `Map`
Instance details Defined in Data.Patch.MapWithMove Associated Types type PatchTarget (PatchMapWithMove k v) Source # Methods apply :: PatchMapWithMove k v -> PatchTarget (PatchMapWithMove k v) -> Maybe (PatchTarget (PatchMapWithMove k v)) Source #
PatchMapWithMove k1 v1 ~ t => Rewrapped (PatchMapWithMove k2 v2) t Source #
Instance details Defined in Data.Patch.MapWithMove
type Unwrapped (PatchMapWithMove k v) Source #
Instance details Defined in Data.Patch.MapWithMove type Unwrapped (PatchMapWithMove k v) = PatchMapWithPatchingMove k (Proxy v)
type PatchTarget (PatchMapWithMove k v) Source #
Instance details Defined in Data.Patch.MapWithMove type PatchTarget (PatchMapWithMove k v) = Map k v

unsafePatchMapWithMove :: Map k (NodeInfo k v) -> PatchMapWithMove k v Source #

Wrap a Map k (NodeInfo k v) representing patch changes into a PatchMapWithMove k v, without checking any invariants.

Warning: when using this function, you must ensure that the invariants of PatchMapWithMove are preserved; they will not be checked.

patchMapWithMoveNewElements :: PatchMapWithMove k v -> [v] Source #

Returns all the new elements that will be added to the Map.

patchMapWithMoveNewElementsMap :: PatchMapWithMove k v -> Map k v Source #

Return a Map k v with all the inserts/updates from the given PatchMapWithMove k v.

data PatchDMapWithMove k v Source #

Like PatchMapWithMove, but for DMap. Each key carries a NodeInfo which describes how it will be changed by the patch and connects move sources and destinations.

Invariants:

A key should not move to itself.
A move should always be represented with both the destination key (as a From_Move) and the source key (as a ComposeMaybe (Just destination))

Instances

Instances details

(GEq k2, Has' Eq k2 (NodeInfo k2 v)) => Eq (PatchDMapWithMove k2 v) Source #	Test whether two `PatchDMapWithMove k v` contain the same patch operations.
Instance details Defined in Data.Patch.DMapWithMove Methods (==) :: PatchDMapWithMove k2 v -> PatchDMapWithMove k2 v -> Bool # (/=) :: PatchDMapWithMove k2 v -> PatchDMapWithMove k2 v -> Bool #
GCompare k2 => Semigroup (PatchDMapWithMove k2 v) Source #	Compose patches having the same effect as applying the patches in turn: `applyAlways (p <> q) == applyAlways p . applyAlways q`
Instance details Defined in Data.Patch.DMapWithMove Methods (<>) :: PatchDMapWithMove k2 v -> PatchDMapWithMove k2 v -> PatchDMapWithMove k2 v # sconcat :: NonEmpty (PatchDMapWithMove k2 v) -> PatchDMapWithMove k2 v # stimes :: Integral b => b -> PatchDMapWithMove k2 v -> PatchDMapWithMove k2 v #
GCompare k2 => Monoid (PatchDMapWithMove k2 v) Source #	Compose patches having the same effect as applying the patches in turn: `applyAlways (p <> q) == applyAlways p . applyAlways q`
Instance details Defined in Data.Patch.DMapWithMove Methods mempty :: PatchDMapWithMove k2 v # mappend :: PatchDMapWithMove k2 v -> PatchDMapWithMove k2 v -> PatchDMapWithMove k2 v # mconcat :: [PatchDMapWithMove k2 v] -> PatchDMapWithMove k2 v #
GCompare k2 => DecidablyEmpty (PatchDMapWithMove k2 v) Source #
Instance details Defined in Data.Patch.DMapWithMove Methods isEmpty :: PatchDMapWithMove k2 v -> Bool Source #
GCompare k2 => Patch (PatchDMapWithMove k2 v) Source #	Apply the insertions, deletions, and moves to a given `DMap`.
Instance details Defined in Data.Patch.DMapWithMove Associated Types type PatchTarget (PatchDMapWithMove k2 v) Source # Methods apply :: PatchDMapWithMove k2 v -> PatchTarget (PatchDMapWithMove k2 v) -> Maybe (PatchTarget (PatchDMapWithMove k2 v)) Source #
type PatchTarget (PatchDMapWithMove k2 v) Source #
Instance details Defined in Data.Patch.DMapWithMove type PatchTarget (PatchDMapWithMove k2 v) = DMap k2 v

unPatchDMapWithMove :: PatchDMapWithMove k v -> DMap k (NodeInfo k v) Source #

Extract the DMap representing the patch changes from the PatchDMapWithMove.

unsafePatchDMapWithMove :: DMap k (NodeInfo k v) -> PatchDMapWithMove k v Source #

Wrap a DMap representing patch changes into a PatchDMapWithMove, without checking any invariants.

Warning: when using this function, you must ensure that the invariants of PatchDMapWithMove are preserved; they will not be checked.

mapPatchDMapWithMove :: forall k v v'. (forall a. v a -> v' a) -> PatchDMapWithMove k v -> PatchDMapWithMove k v' Source #

Map a natural transform v -> v' over the given patch, transforming PatchDMapWithMove k v into PatchDMapWithMove k v'.

traversePatchDMapWithMoveWithKey :: forall m k v v'. Applicative m => (forall a. k a -> v a -> m (v' a)) -> PatchDMapWithMove k v -> m (PatchDMapWithMove k v') Source #

Map an effectful function forall a. k a -> v a -> m (v ' a) over the given patch, transforming PatchDMapWithMove k v into m (PatchDMapWithMove k v').

weakenPatchDMapWithMoveWith :: forall k v v'. (forall a. v a -> v') -> PatchDMapWithMove k v -> PatchMapWithMove (Some k) v' Source #

Weaken a PatchDMapWithMove to a PatchMapWithMove by weakening the keys from k a to Some k and applying a given weakening function v a -> v' to values.

patchDMapWithMoveToPatchMapWithMoveWith :: forall k v v' a. (v a -> v') -> PatchDMapWithMove (Const2 k a) v -> PatchMapWithMove k v' Source #

Weaken a PatchDMapWithMove (Const2 k a) v to a PatchMapWithMove k v'. Weaken is in scare quotes because the Const2 has already disabled any dependency in the typing and all points are already a, hence the function to map each value to v' is not higher rank.

const2PatchDMapWithMoveWith :: forall k v v' a. (v -> v' a) -> PatchMapWithMove k v -> PatchDMapWithMove (Const2 k a) v' Source #

Strengthen a PatchMapWithMove k v into a 'PatchDMapWithMove (Const2 k a); that is, turn a non-dependently-typed patch into a dependently typed one but which always has a constant key type represented by Const2. Apply the given function to each v to produce a v' a. Completemented by patchDMapWithMoveToPatchMapWithMoveWith