1 parent 8f5e85b commit 7131743Copy full SHA for 7131743
1 file changed
src/Data/GridShape.hs
@@ -42,6 +42,7 @@ where
42
43
import Data.AffineSpace
44
import qualified Data.Foldable as F
45
+import Data.Kind (Type)
46
import Data.List
47
( groupBy,
48
partition,
@@ -158,7 +159,7 @@ edge p q = unorient $ edge' p q
158
159
160
class Dual2D a where
161
- type Dual a :: *
162
+ type Dual a :: Type
163
164
dualE' :: Edge' a -> Edge' (Dual a)
165
0 commit comments