git.iko.soy/typeable/ether
on master help sign in
Remove now redundant utils
244f154Index Int
src/Control/Ether/Util.hs+1−15
compare with master
unifiedsplit
@@ -1,12 +1,6 @@
1{-# LANGUAGE CPP #-}
1{-# LANGUAGE CPP #-}
2−{-# LANGUAGE DataKinds #-}
3−{-# LANGUAGE PolyKinds #-}
4−{-# LANGUAGE TypeOperators #-}
5−{-# LANGUAGE TypeFamilies #-}
6module Control.Ether.Util
2module Control.Ether.Util
7− ( type (++)
8− , MaybeToList
9− , fmap
3+ ( fmap
10 ) where
4 ) where
11
5
12import Prelude hiding (fmap)
6import Prelude hiding (fmap)
@@ -17,14 +11,6 @@ import qualified Control.Monad
17import qualified Prelude
11import qualified Prelude
18#endif
12#endif
19
13
20−type family (as :: [*]) ++ (bs :: [*]) :: [*] where
21− '[] ++ bs = bs
22− (a ': as) ++ bs = a ': (as ++ bs)
23−
24−type family MaybeToList (mt :: Maybe k) :: [k] where
25− MaybeToList 'Nothing = '[]
26− MaybeToList ('Just t) = '[t]
27−
28#if __GLASGOW_HASKELL__ < 710
14#if __GLASGOW_HASKELL__ < 710
29fmap :: Monad f => (a -> b) -> f a -> f b
15fmap :: Monad f => (a -> b) -> f a -> f b
30fmap = Control.Monad.liftM
16fmap = Control.Monad.liftM