Control.Monad.Parameterized

Documentation

class Bifunctor f where

Methods

bimap :: (a -> c) -> (b -> d) -> f a b -> f c d

first :: (a -> c) -> f a b -> f c b

second :: (b -> d) -> f a b -> f a d

Instances

Bifunctor Either

Bifunctor (,)

Bifunctor SndB

Bifunctor FstB

Bifunctor ReaderC

Bifunctor p => Bifunctor (SwapB p)

Bifunctor (ConstB t)

Functor f => Bifunctor (ReaderCT f)

Bifunctor (IxState i)

ContravariantFunctor h => Bifunctor (HyperB h)

(Functor f, Bifunctor p) => Bifunctor (FunctorB f p)

Monad m => Bifunctor (IxStateT m i)

(Bifunctor p, Bifunctor f, Bifunctor g) => Bifunctor (CompB p f g)

(Functor f, Bifunctor p, Functor g) => Bifunctor (BiffB p f g)

class Bifunctor f => PPointed f where

Methods

preturn :: a -> f a c

Instances

ContravariantFunctor h => PPointed (HyperB h)

Functor f => PPointed (BiffB Either Identity f)

FunctorPlus f => PPointed (BiffB (,) Identity f)

class PPointed f => PApplicative f where

Methods

pap :: f (a -> b) c -> f a c -> f b c

Instances

ContravariantFunctor h => PApplicative (HyperB h)

Functor f => PApplicative (BiffB Either Identity f)

FunctorPlus f => PApplicative (BiffB (,) Identity f)

class PApplicative f => PMonad f where

Methods

pbind :: (a -> f b c) -> f a c -> f b c

pjoin :: f (f a b) b -> f a b

Instances

ContravariantFunctor h => PMonad (HyperB h)

Functor f => PMonad (BiffB Either Identity f)

FunctorPlus f => PMonad (BiffB (,) Identity f)

(>>*=) :: PMonad f => f a c -> (a -> f b c) -> f b c

(=*<<) :: PMonad f => (a -> f b c) -> f a c -> f b c

(>>*) :: PMonad f => f a c -> f b c -> f b c

papPMonad :: PMonad f => f (a -> b) c -> f a c -> f b c