@@ -65,11 +65,8 @@ module Data.Patch.MapWithMove
65
65
import Data.Coerce
66
66
import Data.Kind (Type )
67
67
import 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
73
70
74
71
import Control.Lens hiding (from , to )
75
72
import Data.List
@@ -226,11 +223,11 @@ deriving instance (Ord k, Ord p) => Ord (NodeInfo k p)
226
223
pattern NodeInfo :: To k -> From k v -> NodeInfo k v
227
224
_nodeInfo_to :: NodeInfo k v -> To k
228
225
_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
231
228
{ PM. _nodeInfo_to = _nodeInfo_to
232
229
, PM. _nodeInfo_from = Coerce _nodeInfo_from
233
- })
230
+ }
234
231
235
232
_NodeInfo
236
233
:: Iso
@@ -295,7 +292,7 @@ pattern From_Insert v = From' (PM.From_Insert v)
295
292
296
293
-- | Delete the existing value, if any, from here
297
294
pattern From_Delete :: From k v
298
- pattern From_Delete = From' ( PM. From_Delete)
295
+ pattern From_Delete = From' PM. From_Delete
299
296
300
297
-- | Move the value here from the given key
301
298
pattern From_Move :: k -> From k v
0 commit comments