@@ -19,9 +19,7 @@
19module Data.Patch.MapWithMove
19module Data.Patch.MapWithMove
20 ( PatchMapWithMove
20 ( PatchMapWithMove
21 ( PatchMapWithMove
21 ( PatchMapWithMove
22− , -- | Extract the representation of the 'PatchMapWithMove' as a map of
24− unPatchMapWithMove
22+ , unPatchMapWithMove
27 , patchMapWithMove
25 , patchMapWithMove
@@ -99,6 +97,8 @@ pattern Coerce x <- (coerce -> x)
100{-# COMPLETE PatchMapWithMove #-}
98{-# COMPLETE PatchMapWithMove #-}
101pattern PatchMapWithMove :: Map k (NodeInfo k v) -> PatchMapWithMove k v
99pattern PatchMapWithMove :: Map k (NodeInfo k v) -> PatchMapWithMove k v
100+-- | Extract the representation of the 'PatchMapWithMove' as a map of
102unPatchMapWithMove :: PatchMapWithMove k v -> Map k (NodeInfo k v)
102unPatchMapWithMove :: PatchMapWithMove k v -> Map k (NodeInfo k v)
103pattern PatchMapWithMove { unPatchMapWithMove } = PatchMapWithMove' (PatchMapWithPatchingMove (Coerce unPatchMapWithMove))
103pattern PatchMapWithMove { unPatchMapWithMove } = PatchMapWithMove' (PatchMapWithPatchingMove (Coerce unPatchMapWithMove))