22 lines
476 B
Haskell
22 lines
476 B
Haskell
module Functions where
|
|
|
|
j :: Monad m => m (m a) -> m a
|
|
j = flip (>>=) id
|
|
|
|
l1 :: Monad m => (a -> b) -> m a -> m b
|
|
l1 = fmap
|
|
|
|
l2 :: Monad m => (a -> b -> c) -> m a -> m b -> m c
|
|
l2 f xs ys = f <$> xs <*> ys
|
|
|
|
a :: Monad m => m a -> m (a -> b) -> m b
|
|
a xs f = f <*> xs
|
|
|
|
meh :: Monad m => [a] -> (a -> m b) -> m [b]
|
|
meh xs f = rec $ fmap f xs
|
|
where rec [] = return []
|
|
rec (x:xs) = (:) <$> x <*> (rec xs)
|
|
|
|
flipType :: Monad m => [m a] -> m [a]
|
|
flipType = flip meh id
|