Generics.Pointless.MonadCombinators

Pointless Haskell: point-free programming with recursion patterns as hylomorphisms

This module lifts many standard combinators used for point-free programming to combinators over monads.

Documentation

(<<=) :: Monad m => (a -> m b) -> m a -> m b

The left-to-right monadic binding combinator.

bind :: Monad m => (a -> m b, m a) -> m b

Higher-order monadic binding.

mlexp :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c

The monadic left exponentiation combinator.

mrexp :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c

The monadic right exponentiation combinator.

(-||-) :: Monad m => (a -> m b) -> (c -> m d) -> Either a c -> m (Either b d)

The monadic sum combinator.

mstrength :: Monad m => (b, m a) -> m (b, a)

The strength combinator for strong monads. In Haskell, every monad is a strong monad: http://comonad. com/reader/2008/deriving-strength-from-laziness/.

mfuse :: Monad m => (m a, m b) -> m (a, b)

The monadic fusion combinator. Performs left-to-right distribution of a strong monad over a product.

(/|\) :: Monad m => (a -> m b) -> (a -> m c) -> a -> m (b, c)

The monadic split combinator.

(>|<) :: Monad m => (a -> m c) -> (b -> m d) -> (a, b) -> m (c, d)

The monadic product combinator.