@@ -1,12 +1,6 @@
11{-# LANGUAGE CPP #-}
2−{-# LANGUAGE DataKinds #-}
3−{-# LANGUAGE PolyKinds #-}
4−{-# LANGUAGE TypeOperators #-}
5−{-# LANGUAGE TypeFamilies #-}
62module Control.Ether.Util
7− ( type (++)
8− , MaybeToList
9− , fmap
3+ ( fmap
104 ) where
115
126import Prelude hiding (fmap)
@@ -17,14 +11,6 @@ import qualified Control.Monad
1711import qualified Prelude
1812#endif
1913
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−
2814#if __GLASGOW_HASKELL__ < 710
2915fmap :: Monad f => (a -> b) -> f a -> f b
3016fmap = Control.Monad.liftM