Hoogle Search
Within LTS Haskell 24.45 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
patch Data.Patch.MapWithMove 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.
pattern
PatchMapWithMove :: Map k (NodeInfo k v) -> PatchMapWithMove k vpatch Data.Patch.MapWithMove No documentation available.
PatchMapWithMove' :: PatchMapWithPatchingMove k (Proxy v) -> PatchMapWithMove k vpatch Data.Patch.MapWithMove No documentation available.
deleteMapKey :: k -> PatchMapWithMove k vpatch Data.Patch.MapWithMove Make a PatchMapWithMove k v which has the effect of deleting a key in the mapping, equivalent to delete.
insertMapKey :: k -> v -> PatchMapWithMove k vpatch Data.Patch.MapWithMove Make a PatchMapWithMove k v which has the effect of inserting or updating a value v to the given key k, like insert.
moveMapKey :: Ord k => k -> k -> PatchMapWithMove k vpatch Data.Patch.MapWithMove Make a PatchMapWithMove k v which has the effect of moving the value from the first key k to the second key k, equivalent to:
delete src (maybe map (insert dst) (Map.lookup src map))
nodeInfoMapFrom :: (From k v -> From k v) -> NodeInfo k v -> NodeInfo k vpatch Data.Patch.MapWithMove nodeInfoMapMFrom :: Functor f => (From k v -> f (From k v)) -> NodeInfo k v -> f (NodeInfo k v)patch Data.Patch.MapWithMove Change the From value of a NodeInfo, using a Functor (or Applicative, Monad, etc.) action to get the new value
patchMapWithMove :: Ord k => Map k (NodeInfo k v) -> Maybe (PatchMapWithMove k v)patch Data.Patch.MapWithMove Create a PatchMapWithMove, validating it
patchMapWithMoveInsertAll :: Map k v -> PatchMapWithMove k vpatch Data.Patch.MapWithMove Create a PatchMapWithMove that inserts everything in the given Map