IdrisDoc: Control.Monad.Syntax

Control.Monad.Syntax

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

Left-to-right Kleisli composition of monads.

Fixity
Left associative, precedence 1
(=<<) : Monad m => (a -> m b) -> m a -> m b

Right-to-left monadic bind, flipped version of >>=.

Fixity
Left associative, precedence 1
(<=<) : Monad m => (b -> m c) -> (a -> m b) -> a -> m c

Right-to-left Kleisli composition of monads, flipped version of >=>.

Fixity
Left associative, precedence 1