git.iko.soy/typeable/ether
on master help sign in
Remove unnecessary kinds
e6467a5Index Int
ether-flatten/src/Control/Monad/Ether/Reader/Flatten.hs+1−1
compare with master
unifiedsplit
@@ -24,7 +24,7 @@ import qualified Control.Monad.Trans.Reader as T
24import Control.Lens
24import Control.Lens
25import Control.Ether.Flatten
25import Control.Ether.Flatten
26
26
27−data K_FLATTEN t = FLATTEN [t]
27+data FLATTEN (ts :: [k])
28
28
29type FlattenT ts r = Dispatch (FLATTEN ts) (T.ReaderT r)
29type FlattenT ts r = Dispatch (FLATTEN ts) (T.ReaderT r)
30
30
ether-zoom/src/Control/Monad/Ether/State/Zoom.hs+2−2
@@ -9,7 +9,7 @@
9{-# LANGUAGE TypeFamilies #-}
9{-# LANGUAGE TypeFamilies #-}
10
10
11module Control.Monad.Ether.State.Zoom
11module Control.Monad.Ether.State.Zoom
12− ( K_TAG_ZOOM(..)
12+ ( TAG_ZOOM
13 , TagZoomT
13 , TagZoomT
14 , tagZoom
14 , tagZoom
15 ) where
15 ) where
@@ -22,7 +22,7 @@ import Control.Monad.Ether.State.Class
22import Data.Proxy
22import Data.Proxy
23
23
24-- | Encode type-level information for 'tagZoom'.
24-- | Encode type-level information for 'tagZoom'.
25−data K_TAG_ZOOM t z = TAG_ZOOM t z
25+data TAG_ZOOM t z
26
26
27type TagZoomT t (z :: *) = Dispatch (TAG_ZOOM t z) IdentityT
27type TagZoomT t (z :: *) = Dispatch (TAG_ZOOM t z) IdentityT
28
28
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
52handleT h m = fmap (either h id) (runExceptT @tag m)
52handleT h m = fmap (either h id) (runExceptT @tag m)
53
53
54-- | Encode type-level information for 'ExceptT'.
54-- | Encode type-level information for 'ExceptT'.
55−data K_EXCEPT t e = EXCEPT t e
55+data EXCEPT t e
56
56
57-- | The parameterizable exception monad.
57-- | The parameterizable exception monad.
58--
58--
ether/src/Control/Monad/Ether/Reader.hs+1−1
@@ -67,7 +67,7 @@ asks
67asks = C.reader (proxy# :: Proxy# tag)
67asks = C.reader (proxy# :: Proxy# tag)
68
68
69-- | Encode type-level information for 'ReaderT'.
69-- | Encode type-level information for 'ReaderT'.
70−data K_READER t r = READER t r
70+data READER t r
71
71
72-- | The parameterizable reader monad.
72-- | The parameterizable reader monad.
73--
73--
ether/src/Control/Monad/Ether/State/Lazy.hs+1−1
@@ -36,7 +36,7 @@ import qualified Control.Monad.Trans.State.Lazy as T
36import Data.Functor.Identity
36import Data.Functor.Identity
37
37
38-- | Encode type-level information for 'StateT'.
38-- | Encode type-level information for 'StateT'.
39−data K_STATE t s = STATE t s
39+data STATE t s
40
40
41-- | The parametrizable state monad.
41-- | The parametrizable state monad.
42--
42--
ether/src/Control/Monad/Ether/State/Strict.hs+1−1
@@ -36,7 +36,7 @@ import qualified Control.Monad.Trans.State.Strict as T
36import Data.Functor.Identity
36import Data.Functor.Identity
37
37
38-- | Encode type-level information for 'StateT'.
38-- | Encode type-level information for 'StateT'.
39−data K_STATE t s = STATE t s
39+data STATE t s
40
40
41-- | The parametrizable state monad.
41-- | The parametrizable state monad.
42--
42--
ether/src/Control/Monad/Ether/TagAttach.hs+2−2
@@ -8,7 +8,7 @@
8{-# LANGUAGE GeneralizedNewtypeDeriving #-}
8{-# LANGUAGE GeneralizedNewtypeDeriving #-}
9
9
10module Control.Monad.Ether.TagAttach
10module Control.Monad.Ether.TagAttach
11− ( K_TAG_ATTACH(..)
11+ ( TAG_ATTACH(..)
12 , TagAttachT
12 , TagAttachT
13 , tagAttach
13 , tagAttach
14 ) where
14 ) where
@@ -33,7 +33,7 @@ import qualified Control.Monad.Error.Class as Class
33import Control.Monad.Trans.Ether.Dispatch
33import Control.Monad.Trans.Ether.Dispatch
34
34
35-- | Encode type-level information for 'tagAttach'.
35-- | Encode type-level information for 'tagAttach'.
36−data K_TAG_ATTACH t = TAG_ATTACH t
36+data TAG_ATTACH t = TAG_ATTACH t
37
37
38type TagAttachT t = Dispatch (TAG_ATTACH t) IdentityT
38type TagAttachT t = Dispatch (TAG_ATTACH t) IdentityT
39
39
ether/src/Control/Monad/Ether/TagReplace.hs+2−2
@@ -8,7 +8,7 @@
8{-# LANGUAGE GeneralizedNewtypeDeriving #-}
8{-# LANGUAGE GeneralizedNewtypeDeriving #-}
9
9
10module Control.Monad.Ether.TagReplace
10module Control.Monad.Ether.TagReplace
11− ( K_TAG_REPLACE(..)
11+ ( TAG_REPLACE
12 , TagReplaceT
12 , TagReplaceT
13 , tagReplace
13 , tagReplace
14 ) where
14 ) where
@@ -28,7 +28,7 @@ import Control.Monad.Ether.Writer as A
28import Control.Monad.Trans.Ether.Dispatch
28import Control.Monad.Trans.Ether.Dispatch
29
29
30-- | Encode type-level information for 'tagReplace'.
30-- | Encode type-level information for 'tagReplace'.
31−data K_TAG_REPLACE tOld tNew = TAG_REPLACE tOld tNew
31+data TAG_REPLACE tOld tNew
32
32
33type TagReplaceT tOld tNew = Dispatch (TAG_REPLACE tOld tNew) IdentityT
33type TagReplaceT tOld tNew = Dispatch (TAG_REPLACE tOld tNew) IdentityT
34
34
ether/src/Control/Monad/Ether/Writer.hs+1−1
@@ -69,7 +69,7 @@ censor f m = pass @tag $ do
69 return (a, f)
69 return (a, f)
70
70
71-- | Encode type-level information for 'WriterT'.
71-- | Encode type-level information for 'WriterT'.
72−data K_WRITER t w = WRITER t w
72+data WRITER t w
73
73
74-- | The parametrizable writer monad.
74-- | The parametrizable writer monad.
75--
75--