Contents
Index
profunctors-4.4: Profunctors
Index
#.
Data.Profunctor.Unsafe
.#
Data.Profunctor.Unsafe
:->
Data.Profunctor
assoc
Data.Profunctor.Composition
C
Data.Profunctor.Collage
Cayley
1 (Type/Class)
Data.Profunctor.Cayley
2 (Data Constructor)
Data.Profunctor.Cayley
Choice
Data.Profunctor
close
Data.Profunctor.Closed
Closed
Data.Profunctor.Closed
closed
Data.Profunctor.Closed
Closure
1 (Type/Class)
Data.Profunctor.Closed
2 (Data Constructor)
Data.Profunctor.Closed
Cochoice
Data.Profunctor
Codensity
1 (Type/Class)
Data.Profunctor.Codensity
2 (Data Constructor)
Data.Profunctor.Codensity
cokleislis
Data.Profunctor.Composition
Collage
Data.Profunctor.Collage
Copastro
1 (Type/Class)
Data.Profunctor.Tambara
2 (Data Constructor)
Data.Profunctor.Tambara
Corep
Data.Profunctor.Rep
corep
Data.Profunctor.Rep
Corepresentable
Data.Profunctor.Rep
Costrong
Data.Profunctor
cotabulate
Data.Profunctor.Rep
cotabulated
Data.Profunctor.Rep
Cotambara
1 (Type/Class)
Data.Profunctor.Tambara
2 (Data Constructor)
Data.Profunctor.Tambara
cotambara
Data.Profunctor.Tambara
counit
Data.Profunctor.Adjunction
curryRan
Data.Profunctor.Ran
decomposeCodensity
Data.Profunctor.Codensity
decomposeRan
Data.Profunctor.Ran
decomposeRift
Data.Profunctor.Composition
dimap
Data.Profunctor.Unsafe
,
Data.Profunctor
DownStar
1 (Type/Class)
Data.Profunctor
2 (Data Constructor)
Data.Profunctor
downstars
Data.Profunctor.Composition
Environment
1 (Type/Class)
Data.Profunctor.Closed
2 (Data Constructor)
Data.Profunctor.Closed
eta
Data.Profunctor.Monoid
first'
Data.Profunctor
firstRep
Data.Profunctor.Rep
Forget
1 (Type/Class)
Data.Profunctor
2 (Data Constructor)
Data.Profunctor
idl
Data.Profunctor.Composition
idr
Data.Profunctor.Composition
kleislis
Data.Profunctor.Composition
L
Data.Profunctor.Collage
left'
Data.Profunctor
lmap
Data.Profunctor.Unsafe
,
Data.Profunctor
mu
Data.Profunctor.Monoid
Pastro
1 (Type/Class)
Data.Profunctor.Tambara
2 (Data Constructor)
Data.Profunctor.Tambara
precomposeRan
Data.Profunctor.Ran
Procompose
1 (Type/Class)
Data.Profunctor.Composition
2 (Data Constructor)
Data.Profunctor.Composition
procomposed
Data.Profunctor.Composition
produplicate
Data.Profunctor.Monad
proextract
Data.Profunctor.Monad
Profunctor
Data.Profunctor.Unsafe
,
Data.Profunctor
ProfunctorAdjunction
Data.Profunctor.Adjunction
ProfunctorComonad
Data.Profunctor.Monad
ProfunctorFunctor
Data.Profunctor.Monad
ProfunctorMonad
Data.Profunctor.Monad
projoin
Data.Profunctor.Monad
promap
Data.Profunctor.Monad
proreturn
Data.Profunctor.Monad
R
Data.Profunctor.Collage
Ran
1 (Type/Class)
Data.Profunctor.Ran
2 (Data Constructor)
Data.Profunctor.Ran
Rep
Data.Profunctor.Rep
rep
Data.Profunctor.Rep
Representable
Data.Profunctor.Rep
Rift
1 (Type/Class)
Data.Profunctor.Composition
2 (Data Constructor)
Data.Profunctor.Composition
right'
Data.Profunctor
rmap
Data.Profunctor.Unsafe
,
Data.Profunctor
runCayley
Data.Profunctor.Cayley
runClosure
Data.Profunctor.Closed
runCodensity
Data.Profunctor.Codensity
runCotambara
Data.Profunctor.Tambara
runDownStar
Data.Profunctor
runForget
Data.Profunctor
runRan
Data.Profunctor.Ran
runRift
Data.Profunctor.Composition
runTambara
Data.Profunctor.Tambara
runUpStar
Data.Profunctor
second'
Data.Profunctor
secondRep
Data.Profunctor.Rep
Strong
Data.Profunctor
tabulate
Data.Profunctor.Rep
tabulated
Data.Profunctor.Rep
Tambara
1 (Type/Class)
Data.Profunctor.Tambara
2 (Data Constructor)
Data.Profunctor.Tambara
tambara
Data.Profunctor.Tambara
Trace
1 (Type/Class)
Data.Profunctor.Trace
2 (Data Constructor)
Data.Profunctor.Trace
unclose
Data.Profunctor.Closed
uncotambara
Data.Profunctor.Tambara
uncurryRan
Data.Profunctor.Ran
unfirst
Data.Profunctor
unit
Data.Profunctor.Adjunction
unleft
Data.Profunctor
unright
Data.Profunctor
unsecond
Data.Profunctor
untambara
Data.Profunctor.Tambara
unwrapArrow
Data.Profunctor
UpStar
1 (Type/Class)
Data.Profunctor
2 (Data Constructor)
Data.Profunctor
upstars
Data.Profunctor.Composition
WrapArrow
Data.Profunctor
WrappedArrow
Data.Profunctor