Portability | portable |
---|---|

Stability | experimental |

Maintainer | dylan@techtangents.com |

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

# Documentation

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

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

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

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