git.iko.soy/patch
on develop help sign in
Make WrapArg kind-polymorphic
75156f1Ryan Trinkle
src/Data/Functor/Misc.hs+2−2
compare with develop
unifiedsplit
@@ -1,4 +1,4 @@
1−{-# LANGUAGE KindSignatures, GADTs, DeriveDataTypeable, RankNTypes, ScopedTypeVariables #-}
1+{-# LANGUAGE KindSignatures, GADTs, DeriveDataTypeable, RankNTypes, ScopedTypeVariables, PolyKinds #-}
2module Data.Functor.Misc where
2module Data.Functor.Misc where
3
3
4import Data.GADT.Compare
4import Data.GADT.Compare
@@ -9,7 +9,7 @@ import qualified Data.Dependent.Map as DMap
9import Data.Typeable hiding (Refl)
9import Data.Typeable hiding (Refl)
10import Data.These
10import Data.These
11
11
12−data WrapArg :: (* -> *) -> (* -> *) -> * -> * where
12+data WrapArg :: (k -> *) -> (k -> *) -> * -> * where
13 WrapArg :: f a -> WrapArg g f (g a)
13 WrapArg :: f a -> WrapArg g f (g a)
14
14
15instance GEq f => GEq (WrapArg g f) where
15instance GEq f => GEq (WrapArg g f) where