&&& | Control.Category.Cartesian |
.>> | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
:* | Control.Comonad.Coideal, Control.Monad.Ideal |
:**: | Control.Functor.Composition |
:*: | Control.Functor.Combinators.Lift |
:+ | Control.Comonad.Coideal, Control.Monad.Ideal |
:++: | Control.Functor.Composition |
:+: | Control.Functor.Combinators.Lift |
:.: | Control.Functor.Composition |
:~> | Control.Functor.Extras |
:~~> | Control.Functor.Extras |
=**<< | Control.Monad.HigherOrder |
=*<< | Control.Monad.Parameterized, Control.Monad.Free |
=<<< | Control.Monad.Indexed |
=>> | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
>$< | Control.Functor.Zap |
>>$<< | Control.Functor.Zap |
>>* | Control.Monad.Parameterized, Control.Monad.Free |
>>**= | Control.Monad.HigherOrder |
>>*= | Control.Monad.Parameterized, Control.Monad.Free |
>>>= | Control.Monad.Indexed |
abs | Control.Functor.KanExtension, Control.Functor.Limit |
ACompF |
1 (Type/Class) | Control.Functor.Adjunction |
2 (Data Constructor) | Control.Functor.Adjunction |
Adjunction | Control.Functor.Adjunction |
Algebra | Control.Functor.Algebra |
ana | Control.Morphism.Ana |
anaCofree | Control.Comonad.Cofree |
Ap | Control.Functor.Combinators.Lift |
Apo | Control.Morphism.Apo |
apo | Control.Morphism.Apo |
ApoT | Control.Morphism.Apo |
apply | Control.Category.Cartesian.Closed |
array | Control.Comonad.Pointer |
askC | Control.Comonad.Reader |
associate | Control.Category.Associative, Control.Category.Cartesian |
associateComposition | Control.Functor.Composition |
associatePreCartesian | Control.Category.Cartesian |
associatePreCoCartesian | Control.Category.Cartesian |
Associative | Control.Category.Associative, Control.Category.Cartesian |
Bialgebra | Control.Functor.Algebra |
biana | Control.Morphism.Ana |
bicata | Control.Morphism.Cata |
Biff |
1 (Type/Class) | Control.Functor.Combinators.Biff |
2 (Data Constructor) | Control.Functor.Combinators.Biff |
Bifunctor | Control.Functor, Control.Monad.Parameterized, Control.Monad.Free |
bihylo | Control.Morphism.Hylo |
BiKleisli |
1 (Type/Class) | Control.Arrow.BiKleisli |
2 (Data Constructor) | Control.Arrow.BiKleisli |
bimap | Control.Functor, Control.Monad.Parameterized, Control.Monad.Free |
bimapPreCartesian | Control.Category.Cartesian |
bimapPreCoCartesian | Control.Category.Cartesian |
Bizap | Control.Functor.Zap |
bizap | Control.Functor.Zap |
bizapWith | Control.Functor.Zap |
Bizip | Control.Functor.Zip |
bizip | Control.Functor.Zip |
bizipWith | Control.Functor.Zip |
braid | Control.Category.Monoidal, Control.Category.Braided, Control.Category.Cartesian |
Braided | Control.Category.Monoidal, Control.Category.Braided, Control.Category.Cartesian |
braidPreCartesian | Control.Category.Cartesian |
braidPreCoCartesian | Control.Category.Cartesian |
Cartesian | Control.Category.Cartesian |
cata | Control.Morphism.Cata |
cataFree | Control.Monad.Free |
CCC | Control.Category.Cartesian.Closed |
CFunctor | Control.Functor |
chrono | Control.Morphism.Chrono |
cmap | Control.Functor |
coabs | Control.Functor.KanExtension, Control.Functor.Limit |
Coalgebra | Control.Functor.Algebra |
coapply | Control.Category.Cartesian.Closed |
coassociate | Control.Category.Associative, Control.Category.Cartesian |
coassociateComposition | Control.Functor.Composition |
coassociatePreCartesian | Control.Category.Cartesian |
coassociatePreCoCartesian | Control.Category.Cartesian |
Coassociative | Control.Category.Associative, Control.Category.Cartesian |
CoCartesian | Control.Category.Cartesian |
CoCCC | Control.Category.Cartesian.Closed |
cocurry | Control.Category.Cartesian.Closed |
codiag | Control.Category.Cartesian |
coelgot | Control.Functor.Algebra.Elgot |
cofix | Control.Comonad.Fix |
Cofree | Control.Comonad.Cofree |
cofree | Control.Comonad.Cofree |
CofreeLike | Control.Comonad.Cofree |
Coideal | Control.Comonad.Coideal, Control.Monad.Ideal |
coideal | Control.Comonad.Coideal, Control.Monad.Ideal |
coidealize | Control.Comonad.Coideal, Control.Monad.Ideal |
coidl | Control.Category.Monoidal, Control.Category.Cartesian |
coidr | Control.Category.Monoidal, Control.Category.Cartesian |
coimprove | Control.Comonad.Cofree |
CoKleisli |
1 (Type/Class) | Control.Arrow.CoKleisli |
2 (Data Constructor) | Control.Arrow.CoKleisli |
Colim | Control.Functor.Limit |
Comonad | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
ComonadCoideal | Control.Comonad.Coideal, Control.Monad.Ideal |
ComonadContext | Control.Comonad.Context |
ComonadFix | Control.Comonad.Fix |
ComonadReader | Control.Comonad.Reader |
Comonoidal | Control.Category.Monoidal, Control.Category.Cartesian |
Comp | Control.Functor.Composition |
CompF |
1 (Type/Class) | Control.Functor.Composition |
2 (Data Constructor) | Control.Functor.Composition |
CompH |
1 (Type/Class) | Control.Functor.HigherOrder.Composition |
2 (Data Constructor) | Control.Functor.HigherOrder.Composition |
compose | Control.Functor.Composition |
Composition | Control.Functor.Composition |
Const | Control.Functor.Limit |
Const2 |
1 (Type/Class) | Control.Functor.Combinators.Const |
2 (Data Constructor) | Control.Functor.Combinators.Const |
Context |
1 (Data Constructor) | Control.Comonad.Context |
2 (Type/Class) | Control.Comonad.Context |
ContextT |
1 (Type/Class) | Control.Comonad.Context |
2 (Data Constructor) | Control.Comonad.Context |
ContraF |
1 (Type/Class) | Control.Functor.Contra |
2 (Data Constructor) | Control.Functor.Contra |
ContraFunctor | Control.Functor.Contra, Control.Monad.Hyper |
contramap | Control.Functor.Contra, Control.Monad.Hyper |
Copointed | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
Coreader |
1 (Data Constructor) | Control.Comonad.Reader |
2 (Type/Class) | Control.Comonad.Reader |
CoreaderT |
1 (Type/Class) | Control.Comonad.Reader |
2 (Data Constructor) | Control.Comonad.Reader |
corep | Control.Functor.KanExtension, Control.Functor.Limit |
costrength | Control.Functor.Strong |
counbizip | Control.Functor.Zip |
counit | Control.Functor.Adjunction |
counitCCC | Control.Category.Cartesian.Closed |
counitCoCCC | Control.Category.Cartesian.Closed |
counzip | Control.Functor.Zip |
Cozip | Control.Functor.Zip |
cozip | Control.Functor.Zip |
curry | Control.Category.Cartesian.Closed |
decompose | Control.Functor.Composition |
diag | Control.Category.Cartesian |
Dialgebra | Control.Functor.Algebra |
Dist | Control.Functor.Extras |
dist | Control.Functor.Extras |
distAna | Control.Morphism.Ana |
distApoT | Control.Morphism.Apo |
distCata | Control.Morphism.Cata |
DistCompF |
1 (Type/Class) | Control.Functor.Pointed.Composition |
2 (Data Constructor) | Control.Functor.Pointed.Composition |
distFutu | Control.Morphism.Futu |
distGApo | Control.Morphism.Apo |
distGApoT | Control.Morphism.Apo |
distHisto | Control.Morphism.Histo |
distParaT | Control.Morphism.Para |
distPointer | Control.Comonad.Pointer |
distribute | Control.Category.Distributive |
Distributes | Control.Functor.Extras |
Distributive | Control.Category.Distributive |
distZygo | Control.Morphism.Zygo |
distZygoT | Control.Morphism.Zygo |
Dual |
1 (Data Constructor) | Control.Category.Dual |
2 (Type/Class) | Control.Category.Dual |
duplicate | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
dyna | Control.Morphism.Dyna |
Either | Control.Monad.Either |
EitherF |
1 (Data Constructor) | Control.Functor.Representable |
2 (Type/Class) | Control.Functor.Representable |
EitherT |
1 (Type/Class) | Control.Monad.Either |
2 (Data Constructor) | Control.Monad.Either |
elgot | Control.Functor.Algebra.Elgot |
Expensive |
1 (Type/Class) | Control.Comonad.Cofree |
2 (Data Constructor) | Control.Comonad.Cofree |
experiment | Control.Comonad.Context |
ExpFunctor | Control.Functor.Exponential |
extend | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
extract | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
factor | Control.Category.Distributive |
Faithful | Control.Functor.Full |
ffmap | Control.Comonad.HigherOrder, Control.Functor.HigherOrder, Control.Monad.HigherOrder |
first | Control.Functor |
first' | Control.Functor |
Fix | Control.Functor.Fix |
FixF | Control.Functor.Fix |
FixH | Control.Functor.HigherOrder |
Flip |
1 (Type/Class) | Control.Functor.Combinators.Flip |
2 (Data Constructor) | Control.Functor.Combinators.Flip |
fplus | Control.Functor.Extras |
Free | Control.Monad.Free |
free | Control.Monad.Free |
FreeLike | Control.Monad.Free |
fromAlgebra | Control.Functor.Algebra |
fromBialgebra | Control.Functor.Algebra |
fromCoalgebra | Control.Functor.Algebra |
fromLan | Control.Functor.KanExtension, Control.Functor.Limit |
fromRan | Control.Functor.KanExtension, Control.Functor.Limit |
fsplit | Control.Functor.Extras |
fst | Control.Category.Cartesian |
Full | Control.Functor.Full |
FunctorPlus | Control.Functor.Extras |
FunctorSplit | Control.Functor.Extras |
FunctorZero | Control.Functor.Extras |
futu | Control.Morphism.Futu |
fzero | Control.Functor.Extras |
fzip | Control.Functor.Zip |
fzipWith | Control.Functor.Zip |
GAlgebra | Control.Functor.Algebra |
GApo | Control.Morphism.Apo |
GApoT | Control.Morphism.Apo |
GBialgebra | Control.Functor.Algebra |
GCoalgebra | Control.Functor.Algebra |
GDialgebra | Control.Functor.Algebra |
getC | Control.Comonad.Context |
g_ana | Control.Morphism.Ana |
g_apo | Control.Morphism.Apo |
g_biana | Control.Morphism.Ana |
g_bicata | Control.Morphism.Cata |
g_bihylo | Control.Morphism.Hylo |
g_cata | Control.Morphism.Cata |
g_chrono | Control.Morphism.Chrono |
g_futu | Control.Morphism.Futu |
g_histo | Control.Morphism.Histo |
g_hylo | Control.Morphism.Hylo |
g_meta | Control.Morphism.Meta |
g_para | Control.Morphism.Para |
g_zygo | Control.Morphism.Zygo |
HAdjunction | Control.Functor.Adjunction.HigherOrder |
HAlgebra | Control.Functor.HigherOrder |
hana | Control.Morphism.Ana |
HasIdentity | Control.Category.Monoidal, Control.Category.Cartesian |
HasInitialObject | Control.Category.Object |
Hask | Control.Category.Hask |
hassociateComposition | Control.Functor.HigherOrder.Composition |
HasTerminalObject | Control.Category.Object |
hbind | Control.Monad.HigherOrder |
hcata | Control.Morphism.Cata |
HCoalgebra | Control.Functor.HigherOrder |
hcoassociateComposition | Control.Functor.HigherOrder.Composition |
HComonad | Control.Comonad.HigherOrder |
hcompose | Control.Functor.HigherOrder.Composition |
HComposition | Control.Functor.HigherOrder.Composition |
HCopointed | Control.Comonad.HigherOrder, Control.Functor.HigherOrder |
hcounit | Control.Functor.Adjunction.HigherOrder |
hdecompose | Control.Functor.HigherOrder.Composition |
hduplicate | Control.Comonad.HigherOrder |
hextend | Control.Comonad.HigherOrder |
hextract | Control.Comonad.HigherOrder, Control.Functor.HigherOrder |
hfmap | Control.Comonad.HigherOrder, Control.Functor.HigherOrder, Control.Monad.HigherOrder |
HFunctor | Control.Comonad.HigherOrder, Control.Functor.HigherOrder, Control.Monad.HigherOrder |
hhylo | Control.Morphism.Hylo |
histo | Control.Morphism.Histo |
hjoin | Control.Monad.HigherOrder |
hleftAdjunct | Control.Functor.Adjunction.HigherOrder |
HMonad | Control.Monad.HigherOrder |
HPointed | Control.Functor.HigherOrder, Control.Monad.HigherOrder |
hreturn | Control.Functor.HigherOrder, Control.Monad.HigherOrder |
hrightAdjunct | Control.Functor.Adjunction.HigherOrder |
hunit | Control.Functor.Adjunction.HigherOrder |
hylo | Control.Morphism.Hylo |
Hyp | Control.Monad.Hyper |
Hyper | Control.Monad.Hyper |
iap | Control.Functor.Indexed, Control.Monad.Indexed |
iapIxMonad | Control.Monad.Indexed |
ibind | Control.Monad.Indexed |
Ideal | Control.Comonad.Coideal, Control.Monad.Ideal |
ideal | Control.Comonad.Coideal, Control.Monad.Ideal |
idealize | Control.Comonad.Coideal, Control.Monad.Ideal |
idl | Control.Category.Monoidal, Control.Category.Cartesian |
idr | Control.Category.Monoidal, Control.Category.Cartesian |
iduplicate | Control.Comonad.Indexed |
iextend | Control.Comonad.Indexed |
iextract | Control.Comonad.Indexed, Control.Functor.Indexed |
iget | Control.Monad.Indexed.State |
igets | Control.Monad.Indexed.State |
ijoin | Control.Monad.Indexed |
ilift | Control.Monad.Indexed.Trans |
imap | Control.Comonad.Indexed, Control.Functor.Indexed, Control.Monad.Indexed |
imfix | Control.Monad.Indexed.Fix |
imodify | Control.Monad.Indexed.State |
implus | Control.Monad.Indexed |
improve | Control.Monad.Free |
imzero | Control.Monad.Indexed |
InB | Control.Functor.Fix |
index | Control.Comonad.Pointer |
InF | Control.Functor.Fix |
inFree | Control.Monad.Free |
InH | Control.Functor.HigherOrder |
initiate | Control.Category.Object |
inl | Control.Category.Cartesian |
inr | Control.Category.Cartesian |
inW | Control.Functor.Fix |
iput | Control.Monad.Indexed.State |
ireturn | Control.Functor.Indexed, Control.Monad.Indexed |
IxApplicative | Control.Functor.Indexed, Control.Monad.Indexed |
IxComonad | Control.Comonad.Indexed |
IxCont |
1 (Type/Class) | Control.Monad.Indexed.Cont |
2 (Data Constructor) | Control.Monad.Indexed.Cont |
IxContT |
1 (Type/Class) | Control.Monad.Indexed.Cont |
2 (Data Constructor) | Control.Monad.Indexed.Cont |
IxCopointed | Control.Comonad.Indexed, Control.Functor.Indexed |
IxFunctor | Control.Comonad.Indexed, Control.Functor.Indexed, Control.Monad.Indexed |
IxMonad | Control.Monad.Indexed |
IxMonadCont | Control.Monad.Indexed.Cont |
IxMonadFix | Control.Monad.Indexed.Fix |
IxMonadPlus | Control.Monad.Indexed |
IxMonadState | Control.Monad.Indexed.State |
IxMonadTrans | Control.Monad.Indexed.Trans |
IxMonadZero | Control.Monad.Indexed |
IxPointed | Control.Functor.Indexed, Control.Monad.Indexed |
IxState |
1 (Type/Class) | Control.Monad.Indexed.State |
2 (Data Constructor) | Control.Monad.Indexed.State |
IxStateT |
1 (Type/Class) | Control.Monad.Indexed.State |
2 (Data Constructor) | Control.Monad.Indexed.State |
Join |
1 (Type/Class) | Control.Functor.Combinators.Join |
2 (Data Constructor) | Control.Functor.Combinators.Join |
Lan |
1 (Data Constructor) | Control.Functor.KanExtension, Control.Functor.Limit |
2 (Type/Class) | Control.Functor.KanExtension, Control.Functor.Limit |
Left | Control.Monad.Either |
leftAdjunct | Control.Functor.Adjunction |
Lift |
1 (Type/Class) | Control.Functor.Combinators.Lift |
2 (Data Constructor) | Control.Functor.Combinators.Lift |
liftAlgebra | Control.Functor.Algebra |
liftCoalgebra | Control.Functor.Algebra |
liftComp | Control.Functor.Composition |
liftCtx | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
liftDialgebra | Control.Functor.Algebra |
liftFlip | Control.Functor.Combinators.Flip |
liftH | Control.Functor.HigherOrder |
liftOf | Control.Functor.Combinators.Of |
liftW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
Lim | Control.Functor.Limit |
LowerH |
1 (Type/Class) | Control.Functor.HigherOrder |
2 (Data Constructor) | Control.Functor.HigherOrder |
mapW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
meta | Control.Morphism.Meta |
mkAp | Control.Functor.Combinators.Lift |
mkOn | Control.Functor.Combinators.Biff |
mkPAp | Control.Functor.Combinators.Biff |
modifyC | Control.Comonad.Context |
modifySupply | Control.Comonad.Supply |
MonadIdeal | Control.Comonad.Coideal, Control.Monad.Ideal |
Monoidal | Control.Category.Monoidal, Control.Category.Cartesian |
Mutual |
1 (Type/Class) | Control.Comonad.Coideal, Control.Monad.Ideal |
2 (Data Constructor) | Control.Comonad.Coideal, Control.Monad.Ideal |
newEnumSupply | Control.Comonad.Supply |
newNumSupply | Control.Comonad.Supply |
newSupply | Control.Comonad.Supply |
Of |
1 (Type/Class) | Control.Functor.Combinators.Of |
2 (Data Constructor) | Control.Functor.Combinators.Of |
On | Control.Functor.Combinators.Biff |
outB | Control.Functor.Fix |
outCofree | Control.Comonad.Cofree |
outF | Control.Functor.Fix |
outH | Control.Functor.HigherOrder |
outM | Control.Functor.Fix |
PAp | Control.Functor.Combinators.Biff |
pap | Control.Applicative.Parameterized, Control.Monad.Parameterized, Control.Monad.Free |
PApplicative | Control.Applicative.Parameterized, Control.Monad.Parameterized, Control.Monad.Free |
papPMonad | Control.Monad.Parameterized, Control.Monad.Free |
Para | Control.Morphism.Para |
para | Control.Morphism.Para |
parallelW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
ParaT | Control.Morphism.Para |
paugment | Control.Functor.Fix |
pbind | Control.Monad.Parameterized, Control.Monad.Free |
pcoaugment | Control.Functor.Fix |
PCofree | Control.Functor.Combinators.Biff |
pcofree | Control.Functor.Combinators.Biff |
PComonad | Control.Comonad.Parameterized |
PCopointed | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Parameterized, Control.Comonad.Pointer, Control.Comonad.Supply |
pextend | Control.Comonad.Parameterized |
pextract | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Parameterized, Control.Comonad.Pointer, Control.Comonad.Supply |
PFree | Control.Functor.Combinators.Biff, Control.Monad.Free |
pfree | Control.Functor.Combinators.Biff |
PFunctor | Control.Functor |
PHyper |
1 (Type/Class) | Control.Monad.Hyper |
2 (Data Constructor) | Control.Monad.Hyper |
pjoin | Control.Monad.Parameterized, Control.Monad.Free |
PMonad | Control.Monad.Parameterized, Control.Monad.Free |
point | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
Pointed | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
PointedCompF |
1 (Type/Class) | Control.Functor.Pointed.Composition |
2 (Data Constructor) | Control.Functor.Pointed.Composition |
Pointer |
1 (Data Constructor) | Control.Comonad.Pointer |
2 (Type/Class) | Control.Comonad.Pointer |
PostCompF |
1 (Type/Class) | Control.Functor.Pointed.Composition |
2 (Data Constructor) | Control.Functor.Pointed.Composition |
PostFold | Control.Functor.Extras |
postFold | Control.Functor.Extras |
PostUnfold | Control.Functor.Extras |
postUnfold | Control.Functor.Extras |
PPointed | Control.Applicative.Parameterized, Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply, Control.Monad.Parameterized, Control.Monad.Free |
PreCartesian | Control.Category.Cartesian |
PreCoCartesian | Control.Category.Cartesian |
PreCompF |
1 (Type/Class) | Control.Functor.Pointed.Composition |
2 (Data Constructor) | Control.Functor.Pointed.Composition |
PreFold | Control.Functor.Extras |
preFold | Control.Functor.Extras |
premap | Control.Functor.Full |
preturn | Control.Applicative.Parameterized, Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply, Control.Monad.Parameterized, Control.Monad.Free |
PreUnfold | Control.Functor.Extras |
preUnfold | Control.Functor.Extras |
putC | Control.Comonad.Context |
QFunctor | Control.Functor |
Ran |
1 (Type/Class) | Control.Functor.KanExtension, Control.Functor.Limit |
2 (Data Constructor) | Control.Functor.KanExtension, Control.Functor.Limit |
rep |
1 (Function) | Control.Functor.Representable |
2 (Function) | Control.Functor.KanExtension, Control.Functor.Limit |
Representable | Control.Functor.Representable |
reset | Control.Monad.Indexed.Cont |
Right | Control.Monad.Either |
rightAdjunct | Control.Functor.Adjunction |
runAp | Control.Functor.Combinators.Lift |
runBiff | Control.Functor.Combinators.Biff |
runBiKleisli | Control.Arrow.BiKleisli |
runCofree | Control.Comonad.Cofree |
runCoKleisli | Control.Arrow.CoKleisli |
runCompF | Control.Functor.Composition |
runCompH | Control.Functor.HigherOrder.Composition |
runConst2 | Control.Functor.Combinators.Const |
runContext | Control.Comonad.Context |
runContextT | Control.Comonad.Context |
runContraF | Control.Functor.Contra |
runCoproductF | Control.Functor.Combinators.Lift |
runCoreader | Control.Comonad.Reader |
runCoreaderT | Control.Comonad.Reader |
runDual | Control.Category.Dual |
runEitherT | Control.Monad.Either |
runExpensive | Control.Comonad.Cofree |
runFlip | Control.Functor.Combinators.Flip |
runFree | Control.Monad.Free |
runIxCont | Control.Monad.Indexed.Cont |
runIxContT | Control.Monad.Indexed.Cont |
runIxContT_ | Control.Monad.Indexed.Cont |
runIxCont_ | Control.Monad.Indexed.Cont |
runIxState | Control.Monad.Indexed.State |
runIxStateT | Control.Monad.Indexed.State |
runJoin | Control.Functor.Combinators.Join |
runLift | Control.Functor.Combinators.Lift |
runMutual | Control.Comonad.Coideal, Control.Monad.Ideal |
runOf | Control.Functor.Combinators.Of |
runOn | Control.Functor.Combinators.Biff |
runPAp | Control.Functor.Combinators.Biff |
runPCofree | Control.Functor.Combinators.Biff |
runPFree | Control.Functor.Combinators.Biff |
runPHyper | Control.Monad.Hyper |
runProductF | Control.Functor.Combinators.Lift |
runRan | Control.Functor.KanExtension, Control.Functor.Limit |
second | Control.Functor |
second' | Control.Functor |
sequenceW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
shift | Control.Monad.Indexed.Cont |
snd | Control.Category.Cartesian |
split | Control.Comonad.Supply |
split2 | Control.Comonad.Supply |
split3 | Control.Comonad.Supply |
split4 | Control.Comonad.Supply |
strength | Control.Functor.Strong |
Supply | Control.Comonad.Supply |
supplyLeft | Control.Comonad.Supply |
supplyRight | Control.Comonad.Supply |
supplyValue | Control.Comonad.Supply |
swap | Control.Category.Monoidal, Control.Category.Braided, Control.Category.Cartesian |
Symmetric | Control.Category.Monoidal, Control.Category.Braided, Control.Category.Cartesian |
terminate | Control.Category.Object |
toLan | Control.Functor.KanExtension, Control.Functor.Limit |
toRan | Control.Functor.KanExtension, Control.Functor.Limit |
unbizip | Control.Functor.Zip |
uncocurry | Control.Category.Cartesian.Closed |
uncurry | Control.Category.Cartesian.Closed |
unfoldW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
unfzip | Control.Functor.Zip |
unit | Control.Functor.Adjunction |
unitCCC | Control.Category.Cartesian.Closed |
unitCoCCC | Control.Category.Cartesian.Closed |
unmap | Control.Functor.Full |
unrep | Control.Functor.Representable |
unwrap | Control.Comonad.Cofree |
Void | Data.Void, Control.Functor.Limit |
void | Data.Void |
worsen | Control.Comonad.Cofree |
wrap | Control.Monad.Free |
xmap | Control.Functor.Exponential |
Zap | Control.Functor.Zap |
zap | Control.Functor.Zap |
zapWith | Control.Functor.Zap |
Zip | Control.Functor.Zip |
Zygo | Control.Morphism.Zygo |
zygo | Control.Morphism.Zygo |
ZygoT | Control.Morphism.Zygo |
||| | Control.Category.Cartesian |