Contents
Index
morphisms-functors-0.1.3: Functors, theirs compositions and transformations
Index
$<
Control.Functor.Contravariant
$>
Control.Functor.Covariant
%.%
Control.Functor.Composition
%.:
Control.Functor.Composition
*>
Control.Functor.Applicative
->>
Control.Functor.Composition.Traversable
-|
Control.Functor.Composition.Adjoint
:.%
Control.Functor.Composition
:.:
Control.Functor.Composition
<$
Control.Functor.Covariant
<$<
Control.Functor.Invariant
<$>
Control.Functor.Covariant
<*
Control.Functor.Applicative
<*>
Control.Functor.Applicative
<+>
Control.Functor.Alternative
<<=
Control.Functor.Composition.Extendable
=<<
Control.Functor.Composition.Bindable
=>>
Control.Functor.Composition.Extendable
>$
Control.Functor.Contravariant
>$<
Control.Functor.Contravariant
>$>
Control.Functor.Invariant
>>-
Control.Functor.Composition.Distributive
>>=
Control.Functor.Composition.Bindable
Adjoint
Control.Functor.Composition.Adjoint
alter
Control.Functor.Alternative
Alternative
Control.Functor.Alternative
Applicative
Control.Functor.Applicative
apply
Control.Functor.Applicative
bind
Control.Functor.Composition.Bindable
Bindable
Control.Functor.Composition.Bindable
Co
Control.Functor.Composition
collect
Control.Functor.Composition.Distributive
comap
Control.Functor.Covariant
Comonad
Control.Functor.Composition.Comonad
Constant
1 (Type/Class)
Control.Functor.Basic.Constant
2 (Data Constructor)
Control.Functor.Basic.Constant
Contra
Control.Functor.Composition
contramap
Control.Functor.Contravariant
Contravariant
Control.Functor.Contravariant
Covariant
Control.Functor.Covariant
distribute
Control.Functor.Composition.Distributive
Distributive
Control.Functor.Composition.Distributive
duplicate
Control.Functor.Composition.Extendable
epsilon
Control.Functor.Composition.Adjoint
eta
Control.Functor.Composition.Adjoint
Exclusive
Control.Functor.Exclusive
exclusive
Control.Functor.Exclusive
extend
Control.Functor.Composition.Extendable
Extendable
Control.Functor.Composition.Extendable
extract
Control.Functor.Extractable
Extractable
Control.Functor.Extractable
forever
Control.Functor.Applicative
full
Control.Functor.Contravariant
Identity
1 (Type/Class)
Control.Functor.Basic.Identity
2 (Data Constructor)
Control.Functor.Basic.Identity
Invariant
Control.Functor.Invariant
invmap
Control.Functor.Invariant
join
Control.Functor.Composition.Bindable
Monad
Control.Functor.Composition.Monad
Natural
Control.Transformation.Natural
phi
Control.Functor.Composition.Adjoint
point
Control.Functor.Pointable
Pointable
Control.Functor.Pointable
psi
Control.Functor.Composition.Adjoint
sequence
Control.Functor.Composition.Traversable
T
1 (Type/Class)
Control.Functor.Basic.T
2 (Data Constructor)
Control.Functor.Basic.T
t
Control.Functor.Basic.T
Traversable
Control.Functor.Composition.Traversable
traverse
Control.Functor.Composition.Traversable
TT
1 (Type/Class)
Control.Functor.Basic.TT
2 (Data Constructor)
Control.Functor.Basic.TT
tt
Control.Functor.Basic.TT
TTT
1 (Type/Class)
Control.Functor.Basic.TTT
2 (Data Constructor)
Control.Functor.Basic.TTT
ttt
Control.Functor.Basic.TTT
Variant
Control.Functor.Composition
void
Control.Functor.Covariant
~>
Control.Transformation.Natural