Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. swapMapKey :: Ord k => k -> k -> PatchMapWithMove k v

   patch	Data.Patch.MapWithMove

   Make a PatchMapWithMove k v which has the effect of swapping two keys in the mapping, equivalent to:

   let aMay = Map.lookup a map
   bMay = Map.lookup b map
   in maybe id (Map.insert a) (bMay <> aMay)
   . maybe id (Map.insert b) (aMay <> bMay)
   . Map.delete a . Map.delete b $ map
   

2. unPatchMapWithMove' :: PatchMapWithMove k v -> PatchMapWithPatchingMove k (Proxy v)

   patch	Data.Patch.MapWithMove

   Extract the underlying 'PatchMapWithPatchingMove k (Proxy v)'

3. unsafePatchMapWithMove :: Map k (NodeInfo k v) -> PatchMapWithMove k v

   patch	Data.Patch.MapWithMove

   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.

4. newtype PatchMapWithPatchingMove k p

   patch	Data.Patch.MapWithPatchingMove

   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.

5. PatchMapWithPatchingMove :: Map k (NodeInfo k p) -> PatchMapWithPatchingMove k p

   patch	Data.Patch.MapWithPatchingMove

   No documentation available.

6. deleteMapKey :: k -> PatchMapWithPatchingMove k v

   patch	Data.Patch.MapWithPatchingMove

   Make a PatchMapWithPatchingMove k v which has the effect of deleting a key in the mapping, equivalent to delete.

7. insertMapKey :: k -> PatchTarget p -> PatchMapWithPatchingMove k p

   patch	Data.Patch.MapWithPatchingMove

   Make a PatchMapWithPatchingMove k p which has the effect of inserting or replacing a value v at the given key k, like insert.

8. moveMapKey :: (DecidablyEmpty p, Patch p, Ord k) => k -> k -> PatchMapWithPatchingMove k p

   patch	Data.Patch.MapWithPatchingMove

   Make a PatchMapWithPatchingMove k p 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))
   

9. nodeInfoMapFrom :: (From k v -> From k v) -> NodeInfo k v -> NodeInfo k v

   patch	Data.Patch.MapWithPatchingMove

   Change the From value of a NodeInfo

10. nodeInfoMapMFrom :: Functor f => (From k v -> f (From k v)) -> NodeInfo k v -> f (NodeInfo k v)

    patch	Data.Patch.MapWithPatchingMove

    Change the From value of a NodeInfo, using a Functor (or Applicative, Monad, etc.) action to get the new value

Page 964 of many | Previous | Next