Contents
Index
category-extras-0.53.4: Various modules and constructs inspired by category theory
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
X
Y
Z
:
&
.
=
>
|
Index - R
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