Wrapped instance for Point

diagrams · Jan 24, 2014 · 08257dd · 08257dd
1 parent e49ec1c
commit 08257dd
Showing 1 changed file with 11 additions and 3 deletions.
diff --git a/src/Diagrams/Core/Points.hs b/src/Diagrams/Core/Points.hs
@@ -1,5 +1,8 @@
-{-# LANGUAGE TypeFamilies
-  #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE FlexibleInstances          #-}
+{-# LANGUAGE MultiParamTypeClasses      #-}
+-- Should probably move Wrapped instance upstream
+{-# OPTIONS_GHC -fno-warn-orphans #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Diagrams.Core.Points
@@ -18,11 +21,16 @@ module Diagrams.Core.Points
 
        ) where
 
+import Control.Lens (Wrapped(..), iso)
+
 -- We just import from Data.AffineSpace.Point (defined in the
 -- vector-space-points package) and re-export.  We also define an
 -- instance of V for Point here.
 import Data.AffineSpace.Point
 
 import Diagrams.Core.V
 
-type instance V (Point v) = v
+type instance V (Point v) = v
+
+instance Wrapped v v' (Point v) (Point v') where
+    wrapped = iso P unPoint