Control.Monad.Parameterized

Documentation

class (PFunctor p r t, QFunctor p s t) => Bifunctor p r s t | p r -> s t, p s -> r t, p t -> r s where

Methods

bimap :: r a b -> s c d -> t (p a c) (p b d)

Instances

Bifunctor Either Hask Hask Hask

Bifunctor (,) Hask Hask Hask

Bifunctor Coreader Hask Hask Hask

Functor f => Bifunctor (CoreaderT f) Hask Hask Hask

Bifunctor (IxState i) Hask Hask Hask

ContraFunctor h => Bifunctor (PHyper h) Hask Hask Hask

Bifunctor (Const2 t) Hask Hask Hask

Bifunctor p Hask Hask Hask => Bifunctor (Flip p) Hask Hask Hask

Monad m => Bifunctor (IxStateT m i) Hask Hask Hask

(Functor f, Bifunctor p Hask Hask Hask) => Bifunctor (Of f p) Hask Hask Hask

(Functor f, Bifunctor p Hask Hask Hask, Functor g) => Bifunctor (Biff p f g) Hask Hask Hask

(Bifunctor p c d Hask, Bifunctor f a b c, Bifunctor g a b d) => Bifunctor (Comp p f g) a b Hask

class PFunctor f Hask Hask => PPointed f where

Methods

preturn :: a -> f a c

Instances

ContraFunctor h => PPointed (PHyper h)

FunctorPlus f => PPointed (PCofree f)

Functor f => PPointed (PFree f)

Monoid t => PPointed (Const2 t)

(Pointed f, PPointed p) => PPointed (Of f p)

class PPointed f => PApplicative f where

Methods

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

Instances

ContraFunctor h => PApplicative (PHyper h)

FunctorPlus f => PApplicative (PCofree f)

Functor f => PApplicative (PFree f)

Monoid t => PApplicative (Const2 t)

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

ContraFunctor h => PMonad (PHyper h)

FunctorPlus f => PMonad (PCofree f)

Functor f => PMonad (PFree f)

Monoid t => PMonad (Const2 t)

(>>*=) :: 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