parameterized-0.5.0.0: Parameterized/indexed monoids and monads using only a single parameter type variable.

Synopsis

# Documentation

class PApplicative m t u v => PMonad m t u v where Source #

Minimal complete definition

pbind

Methods

pbind :: PUnary m t a -> (a -> PUnary m u b) -> PUnary m v b infixl 1 Source #

Sequentially compose two actions, passing any value produced by the first as an argument to the second.

Instances

(&>>=) :: PMonad m t u v => PUnary m t a -> (a -> PUnary m u b) -> PUnary m v b infixl 1 Source #

Sequentially compose two actions, passing any value produced by the first as an argument to the second.

(&>>) :: PMonad m t u v => PUnary m t a -> PUnary m u b -> PUnary m v b infixl 1 Source #

(&=<<) :: PMonad m t u v => (a -> PUnary m u b) -> PUnary m t a -> PUnary m v b infixr 1 Source #

Same as &>>=, but with the arguments interchanged.

(&>=>) :: PMonad m t u v => (a -> PUnary m t b) -> (b -> PUnary m u c) -> a -> PUnary m v c infixr 1 Source #

(&<=<) :: PMonad m t u v => (b -> PUnary m u c) -> (a -> PUnary m t b) -> a -> PUnary m v c infixr 1 Source #

Right-to-left Kleisli composition of monads. (>=>), with the arguments flipped.