Control.Kleislify

Variants of Control.Arrow functions, specialised to kleislis. Avoids boxing into Kleisli values.

Documentation

(^=>) :: Monad m => (b -> c) -> (c -> m d) -> b -> m d

Kleisli precomposition of a monad with a pure function. Equivalent to ^>>

(=>^) :: Monad m => (b -> m c) -> (c -> d) -> b -> m d

Kleisli postcomposition of a monad with a pure function. Equivalent to >>^

(<=^) :: Monad m => (c -> m d) -> (b -> c) -> b -> m d

Kleisli precomposition of a monad with a pure function (right-to-left variant). Equivalent to <<^

(^<=) :: Monad m => (c -> d) -> (b -> m c) -> b -> m d

Kleisli postcomposition of a monad with a pure function (right-to-left variant). Equivalent to ^<<