-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Variants of Control.Arrow functions, specialised to kleislis.
--   
--   Avoids boxing into Control.Arrow.Kleisli values.
@package Kleislify
@version 0.0.1


-- | Variants of Control.Arrow functions, specialised to kleislis. Avoids
--   boxing into Kleisli values.
module Control.Kleislify

-- | Kleisli precomposition of a monad with a pure function. Equivalent to
--   <a>^&gt;&gt;</a>
(^=>) :: Monad m => (b -> c) -> (c -> m d) -> b -> m d

-- | Kleisli postcomposition of a monad with a pure function. Equivalent to
--   <a>&gt;&gt;^</a>
(=>^) :: Monad m => (b -> m c) -> (c -> d) -> b -> m d

-- | Kleisli precomposition of a monad with a pure function (right-to-left
--   variant). Equivalent to <a>&lt;&lt;^</a>
(<=^) :: Monad m => (c -> m d) -> (b -> c) -> (b -> m d)

-- | Kleisli postcomposition of a monad with a pure function (right-to-left
--   variant). Equivalent to <a>^&lt;&lt;</a>
(^<=) :: Monad m => (c -> d) -> (b -> m c) -> b -> m d