| &&& | Control.Category.Cartesian |
| .<=. | Control.Allegory |
| .>> | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| :* | Control.Comonad.Coideal |
| :**: | Control.Functor.Composition |
| :*: | Control.Functor.Combinators.Lift |
| :+ | 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 |
| ACompF |
| 1 (Type/Class) | Control.Functor.Adjunction |
| 2 (Data Constructor) | Control.Functor.Adjunction |
| adjointToLan | Control.Functor.KanExtension |
| adjointToRan | Control.Functor.KanExtension |
| Adjunction | Control.Functor.Adjunction |
| adjunctionToCodensity | Control.Monad.Codensity |
| adjunctionToDensity | Control.Comonad.Density |
| Algebra | Control.Functor.Algebra |
| algebraInterpreter | Control.Functor.KanExtension.Interpreter |
| all | Control.Allegory |
| Allegory | Control.Allegory |
| 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 |
| bipostpro | Control.Morphism.Postpro |
| biprepro | Control.Morphism.Prepro |
| Bizap | Control.Functor.Zap |
| bizap | Control.Functor.Zap |
| bizapWith | Control.Functor.Zap |
| Bizip | Control.Functor.Zip |
| bizip | Control.Functor.Zip |
| bizipWith | Control.Functor.Zip |
| Both |
| 1 (Data Constructor) | Control.Functor.Representable |
| 2 (Type/Class) | Control.Functor.Representable |
| 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 |
| buildCoideal | Control.Comonad.Coideal |
| Cartesian | Control.Category.Cartesian |
| cascade | Control.Morphism.Prepro |
| cast | Control.Category.Discrete |
| cata | Control.Morphism.Cata |
| cataFree | Control.Monad.Free |
| CBind | Control.Functor.Categorical, Control.Monad.Categorical |
| cbind | Control.Functor.Categorical, Control.Monad.Categorical |
| CCC | Control.Category.Cartesian.Closed |
| CComonad | Control.Functor.Categorical |
| CCopointed | Control.Functor.Categorical |
| cdist | Control.Functor.Categorical |
| CDistributes | Control.Functor.Categorical |
| cduplicate | Control.Functor.Categorical |
| CDyad | Control.Dyad |
| cdyid | Control.Dyad |
| CExtend | Control.Functor.Categorical |
| cextend | Control.Functor.Categorical |
| cextract | Control.Functor.Categorical |
| CFunctor | Control.Functor.Categorical |
| chrono | Control.Morphism.Chrono |
| cjoin | Control.Functor.Categorical, Control.Monad.Categorical |
| cmap | Control.Functor.Categorical |
| CMonad | Control.Functor.Categorical, Control.Monad.Categorical |
| Coalgebra | Control.Functor.Algebra |
| coalgebraCointerpreter | Control.Functor.KanExtension.Interpreter |
| 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 |
| Cocone |
| 1 (Type/Class) | Control.Functor.Cone |
| 2 (Data Constructor) | Control.Functor.Cone |
| cocurry | Control.Category.Cartesian.Closed |
| Codensity | Control.Monad.Codensity |
| codensityToAdjunction | Control.Monad.Codensity |
| codensityToRan | Control.Monad.Codensity |
| codiag | Control.Category.Cartesian |
| coelgot | Control.Functor.Algebra.Elgot |
| cofix | Control.Comonad.Fix |
| Cofree | Control.Comonad.Cofree |
| cofree | Control.Comonad.Cofree |
| Coideal | Control.Comonad.Coideal |
| coideal | Control.Comonad.Coideal |
| coidealize | Control.Comonad.Coideal |
| coidl | Control.Category.Monoidal, Control.Category.Cartesian |
| coidr | Control.Category.Monoidal, Control.Category.Cartesian |
| Cointerpreter | Control.Functor.KanExtension.Interpreter |
| cointerpreterCoalgebra | Control.Functor.KanExtension.Interpreter |
| CointerpreterT | Control.Functor.KanExtension.Interpreter |
| CoKleisli |
| 1 (Type/Class) | Control.Arrow.CoKleisli |
| 2 (Data Constructor) | Control.Arrow.CoKleisli |
| colambek | Control.Functor.Lambek |
| colift | Control.Comonad.Trans |
| Colimit |
| 1 (Data Constructor) | Control.Functor.Limit |
| 2 (Type/Class) | Control.Functor.Limit |
| Comonad | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| ComonadCofree | Control.Comonad.Cofree |
| ComonadCoideal | Control.Comonad.Coideal |
| ComonadContext | Control.Comonad.Context |
| ComonadReader | Control.Comonad.Reader |
| ComonadTrans | Control.Comonad.Trans |
| 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 |
| composedAdjointToLan | Control.Functor.KanExtension |
| composedAdjointToRan | Control.Functor.KanExtension |
| composedAdjunctionToDensity | Control.Comonad.Density |
| composeLan | Control.Functor.KanExtension |
| composeRan | Control.Functor.KanExtension |
| Composition | Control.Functor.Composition |
| Cone | Control.Functor.Cone |
| 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 |
| converse | Control.Allegory |
| 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.Representable |
| Corepresentable | Control.Functor.Representable |
| Cospan |
| 1 (Type/Class) | Control.Morphism.Span |
| 2 (Data Constructor) | Control.Morphism.Span |
| costrength | Control.Functor.Strong |
| counbizip | Control.Functor.Zip |
| counit | Control.Functor.Adjunction |
| counitCCC | Control.Category.Cartesian.Closed |
| counitCoCCC | Control.Category.Cartesian.Closed |
| Couniversal |
| 1 (Data Constructor) | Control.Morphism.Universal |
| 2 (Type/Class) | Control.Morphism.Universal |
| couniversalIdentity | Control.Morphism.Universal |
| couniversalize | Control.Morphism.Universal |
| counzip | Control.Functor.Zip |
| CoYoneda |
| 1 (Data Constructor) | Control.Functor.Yoneda |
| 2 (Type/Class) | Control.Functor.Yoneda |
| coYonedaToLan | Control.Functor.Yoneda |
| Cozip | Control.Functor.Zip |
| cozip | Control.Functor.Zip |
| CPointed | Control.Functor.Categorical, Control.Monad.Categorical |
| creturn | Control.Functor.Categorical, Control.Monad.Categorical |
| curry | Control.Category.Cartesian.Closed |
| decompose | Control.Functor.Composition |
| decomposeLan | Control.Functor.KanExtension |
| decomposeRan | Control.Functor.KanExtension |
| Density |
| 1 (Data Constructor) | Control.Comonad.Density |
| 2 (Type/Class) | Control.Comonad.Density |
| densityToAdjunction | Control.Comonad.Density |
| densityToComposedAdjunction | Control.Comonad.Density |
| densityToLan | Control.Comonad.Density |
| destroyIdeal | Control.Monad.Ideal |
| diag | Control.Category.Cartesian |
| Dialgebra | Control.Functor.Algebra |
| DiKleisli |
| 1 (Type/Class) | Control.Dyad |
| 2 (Data Constructor) | Control.Dyad |
| dimap | Control.Functor |
| Dinatural | Control.Functor.Extras |
| Discrete | Control.Category.Discrete |
| 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 |
| exo | Control.Morphism.Exo |
| Exp |
| 1 (Data Constructor) | Control.Comonad.Exponent |
| 2 (Type/Class) | Control.Comonad.Exponent |
| 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 |
| extractCouniversal | Control.Morphism.Universal |
| extractMap | Control.Allegory |
| extractUniversal | Control.Morphism.Universal |
| 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 |
| fromAlgebra | Control.Functor.Algebra |
| fromBialgebra | Control.Functor.Algebra |
| fromCoalgebra | Control.Functor.Algebra |
| fromCodensity | Control.Monad.Codensity |
| fromDensity | Control.Comonad.Density |
| fromLan | Control.Functor.KanExtension |
| fromRan | Control.Functor.KanExtension |
| 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_bipostpro | Control.Morphism.Postpro |
| g_biprepro | Control.Morphism.Prepro |
| 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.Gibbons |
| g_para | Control.Morphism.Para |
| g_postpro | Control.Morphism.Postpro |
| g_postpro_apo | Control.Morphism.Apo |
| g_postpro_futu | Control.Morphism.Futu |
| g_prepro | Control.Morphism.Prepro |
| g_prepro_histo | Control.Morphism.Histo |
| g_prepro_para | Control.Morphism.Para |
| g_prepro_zygo | Control.Morphism.Zygo |
| 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 |
| HasLimit | Control.Functor.Limit |
| hassociateComposition | Control.Functor.HigherOrder.Composition |
| HasTerminalObject | Control.Category.Object |
| hbind | Control.Monad.HigherOrder |
| hbuild | Control.Morphism.Build |
| hcata | Control.Morphism.Cata |
| HCoalgebra | Control.Functor.HigherOrder |
| hcoassociateComposition | Control.Functor.HigherOrder.Composition |
| hcolambek | Control.Functor.Lambek |
| 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 |
| hdestroy | Control.Morphism.Destroy |
| 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 |
| hlambek | Control.Functor.Lambek |
| 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.Monad.Ideal |
| ideal | Control.Monad.Ideal |
| idealize | Control.Monad.Ideal |
| identityBialgebraB | Control.Functor.Fix |
| identityBialgebraF | Control.Functor.Fix |
| 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 |
| improveCofree | Control.Comonad.Density |
| improveFree | Control.Monad.Codensity |
| 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 |
| Interpreter | Control.Functor.KanExtension.Interpreter |
| interpreterAlgebra | Control.Functor.KanExtension.Interpreter |
| InterpreterT | Control.Functor.KanExtension.Interpreter |
| invDiscrete | Control.Category.Discrete |
| inW | Control.Functor.Fix |
| iput | Control.Monad.Indexed.State |
| ireturn | Control.Functor.Indexed, Control.Monad.Indexed |
| isMap | Control.Allegory |
| isSimple | Control.Allegory |
| isTotal | Control.Allegory |
| 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 |
| kana | Control.Morphism.Ana |
| kbuild | Control.Morphism.Build |
| kcata | Control.Morphism.Cata |
| kdestroy | Control.Morphism.Destroy |
| lambek | Control.Functor.Lambek |
| Lan |
| 1 (Data Constructor) | Control.Functor.KanExtension |
| 2 (Type/Class) | Control.Functor.KanExtension |
| lanToAdjoint | Control.Functor.KanExtension |
| lanToComposedAdjoint | Control.Functor.KanExtension |
| lanToCoYoneda | Control.Functor.Yoneda |
| lanToDensity | Control.Comonad.Density |
| Left | Control.Monad.Either |
| leftAdjunct | Control.Functor.Adjunction |
| leftDomain | Control.Allegory |
| Lift |
| 1 (Type/Class) | Control.Functor.Combinators.Lift |
| 2 (Data Constructor) | Control.Functor.Combinators.Lift |
| liftAlgebra | Control.Functor.Algebra |
| liftCoalgebra | Control.Functor.Algebra |
| liftCodensity | Control.Monad.Codensity |
| liftColimit | Control.Functor.Limit |
| liftComp | Control.Functor.Composition |
| liftCoYoneda | Control.Functor.Yoneda |
| liftCtx | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| liftDensity | Control.Comonad.Density |
| liftDialgebra | Control.Functor.Algebra |
| liftFlip | Control.Functor.Combinators.Flip |
| liftH | Control.Functor.HigherOrder |
| liftLimit | Control.Functor.Limit |
| liftOf | Control.Functor.Combinators.Of |
| liftW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| Limit | Control.Functor.Limit |
| limit | Control.Functor.Limit |
| lowerAlgebra | Control.Functor.Algebra |
| lowerCoalgebra | Control.Functor.Algebra |
| lowerCodensity | Control.Monad.Codensity |
| lowerDensity | Control.Comonad.Density |
| LowerH |
| 1 (Type/Class) | Control.Functor.HigherOrder |
| 2 (Data Constructor) | Control.Functor.HigherOrder |
| lowerYoneda | Control.Functor.Yoneda |
| Map |
| 1 (Data Constructor) | Control.Allegory |
| 2 (Type/Class) | Control.Allegory |
| mapDiscrete | Control.Category.Discrete |
| mapW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| meet | Control.Allegory |
| meta |
| 1 (Function) | Control.Morphism.Meta.Erwig |
| 2 (Function) | Control.Morphism.Meta.Gibbons |
| mkAp | Control.Functor.Combinators.Lift |
| mkOn | Control.Functor.Combinators.Biff |
| mkPAp | Control.Functor.Combinators.Biff |
| modifyC | Control.Comonad.Context |
| modifySupply | Control.Comonad.Supply |
| MonadFree | Control.Monad.Free |
| MonadIdeal | 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 |
| Natural | Control.Functor.Extras |
| 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 |
| postpro | Control.Morphism.Postpro |
| postpro_apo | Control.Morphism.Apo |
| postpro_futu | Control.Morphism.Futu |
| postTransform | Control.Functor.Composition |
| 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 |
| prepro | Control.Morphism.Prepro |
| prepro_histo | Control.Morphism.Histo |
| prepro_para | Control.Morphism.Para |
| prepro_zygo | Control.Morphism.Zygo |
| preTransform | Control.Functor.Composition |
| 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 |
| 2 (Data Constructor) | Control.Functor.KanExtension |
| ranToAdjoint | Control.Functor.KanExtension |
| ranToCodensity | Control.Monad.Codensity |
| ranToComposedAdjoint | Control.Functor.KanExtension |
| ranToYoneda | Control.Functor.Yoneda |
| Refl | Control.Category.Discrete |
| Relator | Control.Allegory |
| rep | Control.Functor.Representable |
| repAdjunction | Control.Functor.Adjunction |
| Representable | Control.Functor.Representable |
| reset | Control.Monad.Indexed.Cont |
| Right | Control.Monad.Either |
| rightAdjunct | Control.Functor.Adjunction |
| rightDomain | Control.Allegory |
| runAp | Control.Functor.Combinators.Lift |
| runBiff | Control.Functor.Combinators.Biff |
| runBiKleisli | Control.Arrow.BiKleisli |
| runCocone | Control.Functor.Cone |
| runCofree | Control.Comonad.Cofree |
| runCoKleisli | Control.Arrow.CoKleisli |
| RunComonadCofree | Control.Comonad.Cofree |
| 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 |
| runCospan | Control.Morphism.Span |
| runDiKleisli | Control.Dyad |
| runDual | Control.Category.Dual |
| runEitherT | Control.Monad.Either |
| runExp | Control.Comonad.Exponent |
| 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 |
| runkana | Control.Morphism.Ana |
| runkcata | Control.Morphism.Cata |
| runLift | Control.Functor.Combinators.Lift |
| runMap | Control.Allegory |
| RunMonadFree | Control.Monad.Free |
| 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 |
| runSpan | Control.Morphism.Span |
| runYoneda | Control.Functor.Yoneda |
| 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 |
| Span |
| 1 (Type/Class) | Control.Morphism.Span |
| 2 (Data Constructor) | Control.Morphism.Span |
| split | Control.Comonad.Supply |
| split2 | Control.Comonad.Supply |
| split3 | Control.Comonad.Supply |
| split4 | Control.Comonad.Supply |
| Stream | Control.Comonad.Stream |
| 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 |
| synchro | Control.Morphism.Synchro |
| TabulatedAllegory | Control.Allegory |
| tabulateLeft | Control.Allegory |
| tabulateRight | Control.Allegory |
| terminate | Control.Category.Object |
| toCodensity | Control.Monad.Codensity |
| toDensity | Control.Comonad.Density |
| toLan | Control.Functor.KanExtension |
| toRan | Control.Functor.KanExtension |
| Trialgebra | Control.Functor.Algebra |
| unbizip | Control.Functor.Zip |
| uncocurry | Control.Category.Cartesian.Closed |
| uncorep | Control.Functor.Representable |
| 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 |
| UnitalAllegory | Control.Allegory |
| unitCCC | Control.Category.Cartesian.Closed |
| unitCoCCC | Control.Category.Cartesian.Closed |
| Universal |
| 1 (Data Constructor) | Control.Morphism.Universal |
| 2 (Type/Class) | Control.Morphism.Universal |
| universalIdentity | Control.Morphism.Universal |
| universalize | Control.Morphism.Universal |
| unmap | Control.Functor.Full |
| unrep | Control.Functor.Representable |
| unrepAdjunction | Control.Functor.Adjunction |
| Void | Data.Void |
| void | Data.Void |
| xmap | Control.Functor.Exponential |
| Yoneda |
| 1 (Type/Class) | Control.Functor.Yoneda |
| 2 (Data Constructor) | Control.Functor.Yoneda |
| yonedaToRan | Control.Functor.Yoneda |
| 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 |
