morphisms-functors-0.1.6: 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
:&: 
1 (Type/Class)Data.Functor.Product, Data.Functor
2 (Data Constructor)Data.Functor.Product, Data.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
bicomapControl.Functor.Polyvariant.Bicovariant, Control.Functor
bicontramapControl.Functor.Polyvariant.Bicontravariant, Control.Functor
BicontravariantControl.Functor.Polyvariant.Bicontravariant, Control.Functor
BicovariantControl.Functor.Polyvariant.Bicovariant, Control.Functor
bindControl.Functor.Covariant.Composition.Bindable, Control.Functor
BindableControl.Functor.Covariant.Composition.Bindable, Control.Functor
CoControl.Variance, Control.Functor
Codensity 
1 (Type/Class)Data.Functor.Codensity, Data.Functor
2 (Data Constructor)Data.Functor.Codensity, Data.Functor
codensityData.Functor.Codensity, Data.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
Lan 
1 (Type/Class)Data.Functor.Extension.Kan, Data.Functor
2 (Data Constructor)Data.Functor.Extension.Kan, Data.Functor
lanData.Functor.Extension.Kan, Data.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
Opposite 
1 (Type/Class)Data.Functor.Arrow.Opposite, Data.Functor
2 (Data Constructor)Data.Functor.Arrow.Opposite, Data.Functor
oppositeData.Functor.Arrow.Opposite, Data.Functor
orpmapControl.Functor.Polyvariant.Orpvariant
OrpvariantControl.Functor.Polyvariant.Orpvariant
phiControl.Functor.Covariant.Composition.Adjoint, Control.Functor
pointControl.Functor.Covariant.Pointable, Control.Functor
PointableControl.Functor.Covariant.Pointable, Control.Functor
ProductData.Functor.Product, Data.Functor
promapControl.Functor.Polyvariant.Provariant, Control.Functor
ProvariantControl.Functor.Polyvariant.Provariant, Control.Functor
psiControl.Functor.Covariant.Composition.Adjoint, Control.Functor
quadcomapControl.Functor.Polyvariant.Quadcovariant, Control.Functor
quadcontramapControl.Functor.Polyvariant.Quadcontravariant, Control.Functor
QuadcontravariantControl.Functor.Polyvariant.Quadcontravariant, Control.Functor
QuadcovariantControl.Functor.Polyvariant.Quadcovariant, Control.Functor
Ran 
1 (Type/Class)Data.Functor.Extension.Kan, Data.Functor
2 (Data Constructor)Data.Functor.Extension.Kan, Data.Functor
ranData.Functor.Extension.Kan, Data.Functor
sequenceControl.Functor.Covariant.Composition.Traversable, Control.Functor
Straight 
1 (Type/Class)Data.Functor.Arrow.Straight, Data.Functor
2 (Data Constructor)Data.Functor.Arrow.Straight, Data.Functor
straightData.Functor.Arrow.Straight, Data.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
tricomapControl.Functor.Polyvariant.Tricovariant, Control.Functor
tricontramapControl.Functor.Polyvariant.Tricontravariant, Control.Functor
TricontravariantControl.Functor.Polyvariant.Tricontravariant, Control.Functor
TricovariantControl.Functor.Polyvariant.Tricovariant, 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