IdrisDoc: Control.Monad.Syntax

# Control.Monad.Syntax

(<=<) : 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
(=<<) : Monad m => (a -> m b) -> m a -> m b

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

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

  Left-to-right Kleisli composition of monads.

  Fixity
    Left associative, precedence 1