| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Parameterized.Control.Monad
- module Parameterized.Control.Applicative
- class PApplicative m t u v => PMonad m t u v where
- (&>>=) :: PMonad m t u v => PUnary m t a -> (a -> PUnary m u b) -> PUnary m v b
- (&>>) :: PMonad m t u v => PUnary m t a -> PUnary m u b -> PUnary m v b
- (&=<<) :: PMonad m t u v => (a -> PUnary m u b) -> PUnary m t a -> PUnary m v b
- (&>=>) :: PMonad m t u v => (a -> PUnary m t b) -> (b -> PUnary m u c) -> a -> PUnary m v c
- (&<=<) :: PMonad m t u v => (b -> PUnary m u c) -> (a -> PUnary m t b) -> a -> PUnary m v c
Documentation
class PApplicative m t u v => PMonad m t u v where Source #
Parameterized version of Monad.
Minimal complete definition
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
| (Functor (ManyReader m (Many c)), Monad m, Select a c, Select b c, (~) [Type] c (AppendUnique Type a b)) => PMonad * (ManyReader m) (Many a) (Many b) (Many c) Source # | |
| (Monad m, Select a c, Select b c, Amend' a c, Amend' b c, (~) [Type] c (AppendUnique Type a b)) => PMonad * (ManyState m) (Many a) (Many b) (Many c) Source # | |
| Monad m => PMonad * (ChangingState m) (s, t) (t, u) (s, u) Source # | |
(&>>=) :: 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 => (a -> PUnary m u b) -> PUnary m t a -> PUnary m v b infixr 1 Source #
Same as &>>=, but with the arguments interchanged.