morphisms-functors-0.1.5: Functors, theirs compositions and transformations

Index

$<Control.Functor.Contravariant, Control.Functor
$>Control.Functor.Covariant, Control.Functor
*>Control.Functor.Covariant.Applicative, Control.Functor
->>Control.Functor.Covariant.Composition.Traversable, Control.Functor
-|Control.Functor.Covariant.Composition.Adjoint, Control.Functor
:.:Control.Variance, Control.Functor
<$Control.Functor.Covariant, Control.Functor
<$<Control.Functor.Invariant, Control.Functor
<$>Control.Functor.Covariant, Control.Functor
<*Control.Functor.Covariant.Applicative, Control.Functor
<*>Control.Functor.Covariant.Applicative, Control.Functor
<+>Control.Functor.Covariant.Alternative, Control.Functor
<<=Control.Functor.Covariant.Composition.Extendable, Control.Functor
<=<Control.Functor.Covariant.Composition.Bindable, Control.Functor
=<<Control.Functor.Covariant.Composition.Bindable, Control.Functor
=<=Control.Functor.Covariant.Composition.Extendable, Control.Functor
=>=Control.Functor.Covariant.Composition.Extendable, Control.Functor
=>>Control.Functor.Covariant.Composition.Extendable, Control.Functor
>$Control.Functor.Contravariant, Control.Functor
>$<Control.Functor.Contravariant, Control.Functor
>$>Control.Functor.Invariant, Control.Functor
>=>Control.Functor.Covariant.Composition.Bindable, Control.Functor
>>-Control.Functor.Covariant.Composition.Distributive, Control.Functor
>>=Control.Functor.Covariant.Composition.Bindable, Control.Functor
AdjointControl.Functor.Covariant.Composition.Adjoint, Control.Functor
alterControl.Functor.Covariant.Alternative, Control.Functor
AlternativeControl.Functor.Covariant.Alternative, Control.Functor
ApplicativeControl.Functor.Covariant.Applicative, Control.Functor
applyControl.Functor.Covariant.Applicative, Control.Functor
bindControl.Functor.Covariant.Composition.Bindable, Control.Functor
BindableControl.Functor.Covariant.Composition.Bindable, Control.Functor
CoControl.Variance, Control.Functor
collectControl.Functor.Covariant.Composition.Distributive, Control.Functor
comapControl.Functor.Covariant, Control.Functor
ComonadControl.Functor.Covariant.Composition.Comonad, Control.Functor
Constant 
1 (Type/Class)Data.Functor.Constant, Data.Functor
2 (Data Constructor)Data.Functor.Constant, Data.Functor
ContraControl.Variance, Control.Functor
contramapControl.Functor.Contravariant, Control.Functor
ContravariantControl.Functor.Contravariant, Control.Functor
CovariantControl.Functor.Covariant, Control.Functor
distributeControl.Functor.Covariant.Composition.Distributive, Control.Functor
DistributiveControl.Functor.Covariant.Composition.Distributive, Control.Functor
duplicateControl.Functor.Covariant.Composition.Extendable, Control.Functor
epsilonControl.Functor.Covariant.Composition.Adjoint, Control.Functor
etaControl.Functor.Covariant.Composition.Adjoint, Control.Functor
ExclusiveControl.Functor.Covariant.Exclusive, Control.Functor
exclusiveControl.Functor.Covariant.Exclusive, Control.Functor
extendControl.Functor.Covariant.Composition.Extendable, Control.Functor
ExtendableControl.Functor.Covariant.Composition.Extendable, Control.Functor
extractControl.Functor.Covariant.Extractable, Control.Functor
ExtractableControl.Functor.Covariant.Extractable, Control.Functor
foreverControl.Functor.Covariant.Applicative, Control.Functor
fullControl.Functor.Contravariant, Control.Functor
Identity 
1 (Type/Class)Data.Functor.Identity, Data.Functor
2 (Data Constructor)Data.Functor.Identity, Data.Functor
InvariantControl.Functor.Invariant, Control.Functor
invmapControl.Functor.Invariant, Control.Functor
joinControl.Functor.Covariant.Composition.Bindable, Control.Functor
liftControl.Functor.Covariant.Transformation.Liftable, Control.Functor
LiftableControl.Functor.Covariant.Transformation.Liftable, Control.Functor
lowerControl.Functor.Covariant.Transformation.Lowerable, Control.Functor
LowerableControl.Functor.Covariant.Transformation.Lowerable, Control.Functor
MonadControl.Functor.Covariant.Composition.Monad, Control.Functor
NaturalData.Functor.Transformation.Natural, Data.Functor
phiControl.Functor.Covariant.Composition.Adjoint, Control.Functor
pointControl.Functor.Covariant.Pointable, Control.Functor
PointableControl.Functor.Covariant.Pointable, Control.Functor
psiControl.Functor.Covariant.Composition.Adjoint, Control.Functor
sequenceControl.Functor.Covariant.Composition.Traversable, Control.Functor
T 
1 (Type/Class)Data.Functor.Composition.T, Data.Functor
2 (Data Constructor)Data.Functor.Composition.T, Data.Functor
tData.Functor.Composition.T, Data.Functor
TraversableControl.Functor.Covariant.Composition.Traversable, Control.Functor
traverseControl.Functor.Covariant.Composition.Traversable, Control.Functor
TT 
1 (Type/Class)Data.Functor.Composition.TT, Data.Functor
2 (Data Constructor)Data.Functor.Composition.TT, Data.Functor
ttData.Functor.Composition.TT, Data.Functor
TTT 
1 (Type/Class)Data.Functor.Composition.TTT, Data.Functor
2 (Data Constructor)Data.Functor.Composition.TTT, Data.Functor
tttData.Functor.Composition.TTT, Data.Functor
VariantControl.Variance, Control.Functor
voidControl.Functor.Covariant, Control.Functor
Yoneda 
1 (Type/Class)Data.Functor.Yoneda, Data.Functor
2 (Data Constructor)Data.Functor.Yoneda, Data.Functor
yonedaData.Functor.Yoneda, Data.Functor
~>Data.Functor.Transformation.Natural, Data.Functor