@@ -65,11 +65,8 @@ module Data.Patch.MapWithMove
6565import Data.Coerce
6666import Data.Kind (Type)
6767import Data.Patch.Class
68−import Data.Patch.MapWithPatchingMove
69− ( PatchMapWithPatchingMove (..)
70− )
71−import qualified Data.Patch.MapWithPatchingMove as PM
72−import Data.Patch.MapWithPatchingMove (To) -- already a transparent synonym
68+import Data.Patch.MapWithPatchingMove (PatchMapWithPatchingMove(..), To)
69+import qualified Data.Patch.MapWithPatchingMove as PM -- already a transparent synonym
7370
7471import Control.Lens hiding (from, to)
7572import Data.List
@@ -226,11 +223,11 @@ deriving instance (Ord k, Ord p) => Ord (NodeInfo k p)
226223pattern NodeInfo :: To k -> From k v -> NodeInfo k v
227224_nodeInfo_to :: NodeInfo k v -> To k
228225_nodeInfo_from :: NodeInfo k v -> From k v
229−pattern NodeInfo { _nodeInfo_to, _nodeInfo_from } =
230− NodeInfo' (PM.NodeInfo
226+pattern NodeInfo { _nodeInfo_to, _nodeInfo_from } = NodeInfo'
227+ PM.NodeInfo
231228 { PM._nodeInfo_to = _nodeInfo_to
232229 , PM._nodeInfo_from = Coerce _nodeInfo_from
233− })
230+ }
234231
235232_NodeInfo
236233 :: Iso
@@ -295,7 +292,7 @@ pattern From_Insert v = From' (PM.From_Insert v)
295292
296293-- | Delete the existing value, if any, from here
297294pattern From_Delete :: From k v
298−pattern From_Delete = From' (PM.From_Delete)
295+pattern From_Delete = From' PM.From_Delete
299296
300297-- | Move the value here from the given key
301298pattern From_Move :: k -> From k v