category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

Control.Monad.Parameterized Portability portable Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

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 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

Produced by Haddock version 2.1.0