|
Control.Functor | Portability | non-portable (functional-dependencies) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
A more categorical definition of Functor than endofunctors in the category Hask
|
|
|
Documentation |
|
|
| Methods | first :: r a b -> t (p a c) (p b c) | Source |
|
| | Instances | PFunctor Either Hask Hask | PFunctor Either Hask Hask | PFunctor (,) Hask Hask | PFunctor (,) Hask Hask | PFunctor Coreader Hask Hask | PFunctor Coreader Hask Hask | Functor f => PFunctor (CoreaderT f) Hask Hask | Functor f => PFunctor (CoreaderT f) Hask Hask | PFunctor (IxState i) Hask Hask | PFunctor (IxState i) Hask Hask | PFunctor (PHyper h) Hask Hask | PFunctor (PHyper h) Hask Hask | PFunctor (Const2 t) Hask Hask | PFunctor (Const2 t) Hask Hask | QFunctor p Hask Hask => PFunctor (Flip p) Hask Hask | QFunctor p Hask Hask => PFunctor (Flip p) Hask Hask | Monad m => PFunctor (IxStateT m i) Hask Hask | Monad m => PFunctor (IxStateT m i) Hask Hask | (Functor f, PFunctor p Hask Hask) => PFunctor (Of f p) Hask Hask | (Functor f, PFunctor p Hask Hask) => PFunctor (Of f p) Hask Hask | (Bifunctor p c d Hask, PFunctor f a c, PFunctor g a d) => PFunctor (Comp p f g) a Hask | (Bifunctor p c d Hask, PFunctor f a c, PFunctor g a d) => PFunctor (Comp p f g) a Hask | (Functor f, PFunctor p Hask Hask) => PFunctor (Biff p f g) Hask Hask | (Functor f, PFunctor p Hask Hask) => PFunctor (Biff p f g) Hask Hask |
|
|
|
|
|
|
| Methods | second :: s a b -> t (q c a) (q c b) | Source |
|
| | Instances | QFunctor (->) Hask Hask | QFunctor Either Hask Hask | QFunctor Either Hask Hask | QFunctor (,) Hask Hask | QFunctor (,) Hask Hask | QFunctor Coreader Hask Hask | QFunctor Coreader Hask Hask | Functor f => QFunctor (CoreaderT f) Hask Hask | Functor f => QFunctor (CoreaderT f) Hask Hask | QFunctor (IxState i) Hask Hask | QFunctor (IxState i) Hask Hask | ContraFunctor h => QFunctor (PHyper h) Hask Hask | ContraFunctor h => QFunctor (PHyper h) Hask Hask | QFunctor (Const2 t) Hask Hask | QFunctor (Const2 t) Hask Hask | PFunctor p Hask Hask => QFunctor (Flip p) Hask Hask | PFunctor p Hask Hask => QFunctor (Flip p) Hask Hask | Monad m => QFunctor (IxStateT m i) Hask Hask | Monad m => QFunctor (IxStateT m i) Hask Hask | (Functor f, QFunctor p Hask Hask) => QFunctor (Of f p) Hask Hask | (Functor f, QFunctor p Hask Hask) => QFunctor (Of f p) Hask Hask | (Bifunctor p c d Hask, QFunctor f b c, QFunctor g b d) => QFunctor (Comp p f g) b Hask | (Bifunctor p c d Hask, QFunctor f b c, QFunctor g b d) => QFunctor (Comp p f g) b Hask | (QFunctor q Hask Hask, Functor g) => QFunctor (Biff q f g) Hask Hask | (QFunctor q Hask Hask, Functor g) => QFunctor (Biff q f g) Hask Hask |
|
|
|
|
|
|
| Methods | bimap :: r a b -> s c d -> t (p a c) (p b d) | Source |
|
| | Instances | Bifunctor Either Hask Hask Hask | Bifunctor Either Hask Hask Hask | Bifunctor (,) Hask Hask Hask | Bifunctor (,) Hask Hask Hask | Bifunctor Coreader Hask Hask Hask | Bifunctor Coreader Hask Hask Hask | Functor f => Bifunctor (CoreaderT f) Hask Hask Hask | Functor f => Bifunctor (CoreaderT f) Hask Hask Hask | Bifunctor (IxState i) Hask Hask Hask | Bifunctor (IxState i) Hask Hask Hask | ContraFunctor h => Bifunctor (PHyper h) Hask Hask Hask | ContraFunctor h => Bifunctor (PHyper h) Hask Hask Hask | Bifunctor (Const2 t) Hask Hask Hask | Bifunctor (Const2 t) Hask Hask Hask | Bifunctor p Hask Hask Hask => Bifunctor (Flip p) Hask Hask Hask | Bifunctor p Hask Hask Hask => Bifunctor (Flip p) Hask Hask Hask | Monad m => Bifunctor (IxStateT m i) 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) => Bifunctor (Of f p) 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 | (Bifunctor p c d Hask, Bifunctor f a b c, Bifunctor g a b d) => Bifunctor (Comp p f g) a b Hask | (Functor f, Bifunctor p Hask Hask Hask, Functor g) => Bifunctor (Biff p f g) Hask Hask Hask | (Functor f, Bifunctor p Hask Hask Hask, Functor g) => Bifunctor (Biff p f g) Hask Hask Hask |
|
|
|
|
|
Produced by Haddock version 2.4.2 |