Remove unnecessary kinds
commite6467a59dad50abad1b65ab7ad2ef0c0c367a3f5
authorIndex Int <vlad.z.4096@gmail.com>
dateTue 28 Jun 2016, 21:05 (10 years ago)
parentf2e2715
ether-flatten/src/Control/Monad/Ether/Reader/Flatten.hs+1−1
@@ -24,7 +24,7 @@ import qualified Control.Monad.Trans.Reader as T
2424import Control.Lens
2525import Control.Ether.Flatten
2626
27−data K_FLATTEN t = FLATTEN [t]
27+data FLATTEN (ts :: [k])
2828
2929type FlattenT ts r = Dispatch (FLATTEN ts) (T.ReaderT r)
3030
ether-zoom/src/Control/Monad/Ether/State/Zoom.hs+2−2
@@ -9,7 +9,7 @@
99{-# LANGUAGE TypeFamilies #-}
1010
1111module Control.Monad.Ether.State.Zoom
12− ( K_TAG_ZOOM(..)
12+ ( TAG_ZOOM
1313 , TagZoomT
1414 , tagZoom
1515 ) where
@@ -22,7 +22,7 @@ import Control.Monad.Ether.State.Class
2222import Data.Proxy
2323
2424-- | Encode type-level information for 'tagZoom'.
25−data K_TAG_ZOOM t z = TAG_ZOOM t z
25+data TAG_ZOOM t z
2626
2727type TagZoomT t (z :: *) = Dispatch (TAG_ZOOM t z) IdentityT
2828
ether/src/Control/Monad/Ether/Except.hs+1−1
@@ -52,7 +52,7 @@ handleT :: forall tag e m a . Functor m => (e -> a) -> ExceptT tag e m a -> m a
5252handleT h m = fmap (either h id) (runExceptT @tag m)
5353
5454-- | Encode type-level information for 'ExceptT'.
55−data K_EXCEPT t e = EXCEPT t e
55+data EXCEPT t e
5656
5757-- | The parameterizable exception monad.
5858--
ether/src/Control/Monad/Ether/Reader.hs+1−1
@@ -67,7 +67,7 @@ asks
6767asks = C.reader (proxy# :: Proxy# tag)
6868
6969-- | Encode type-level information for 'ReaderT'.
70−data K_READER t r = READER t r
70+data READER t r
7171
7272-- | The parameterizable reader monad.
7373--
ether/src/Control/Monad/Ether/State/Lazy.hs+1−1
@@ -36,7 +36,7 @@ import qualified Control.Monad.Trans.State.Lazy as T
3636import Data.Functor.Identity
3737
3838-- | Encode type-level information for 'StateT'.
39−data K_STATE t s = STATE t s
39+data STATE t s
4040
4141-- | The parametrizable state monad.
4242--
ether/src/Control/Monad/Ether/State/Strict.hs+1−1
@@ -36,7 +36,7 @@ import qualified Control.Monad.Trans.State.Strict as T
3636import Data.Functor.Identity
3737
3838-- | Encode type-level information for 'StateT'.
39−data K_STATE t s = STATE t s
39+data STATE t s
4040
4141-- | The parametrizable state monad.
4242--
ether/src/Control/Monad/Ether/TagAttach.hs+2−2
@@ -8,7 +8,7 @@
88{-# LANGUAGE GeneralizedNewtypeDeriving #-}
99
1010module Control.Monad.Ether.TagAttach
11− ( K_TAG_ATTACH(..)
11+ ( TAG_ATTACH(..)
1212 , TagAttachT
1313 , tagAttach
1414 ) where
@@ -33,7 +33,7 @@ import qualified Control.Monad.Error.Class as Class
3333import Control.Monad.Trans.Ether.Dispatch
3434
3535-- | Encode type-level information for 'tagAttach'.
36−data K_TAG_ATTACH t = TAG_ATTACH t
36+data TAG_ATTACH t = TAG_ATTACH t
3737
3838type TagAttachT t = Dispatch (TAG_ATTACH t) IdentityT
3939
ether/src/Control/Monad/Ether/TagReplace.hs+2−2
@@ -8,7 +8,7 @@
88{-# LANGUAGE GeneralizedNewtypeDeriving #-}
99
1010module Control.Monad.Ether.TagReplace
11− ( K_TAG_REPLACE(..)
11+ ( TAG_REPLACE
1212 , TagReplaceT
1313 , tagReplace
1414 ) where
@@ -28,7 +28,7 @@ import Control.Monad.Ether.Writer as A
2828import Control.Monad.Trans.Ether.Dispatch
2929
3030-- | Encode type-level information for 'tagReplace'.
31−data K_TAG_REPLACE tOld tNew = TAG_REPLACE tOld tNew
31+data TAG_REPLACE tOld tNew
3232
3333type TagReplaceT tOld tNew = Dispatch (TAG_REPLACE tOld tNew) IdentityT
3434
ether/src/Control/Monad/Ether/Writer.hs+1−1
@@ -69,7 +69,7 @@ censor f m = pass @tag $ do
6969 return (a, f)
7070
7171-- | Encode type-level information for 'WriterT'.
72−data K_WRITER t w = WRITER t w
72+data WRITER t w
7373
7474-- | The parametrizable writer monad.
7575--