Contents
Index
profunctors-5.1: Profunctors
Index
#.
Data.Profunctor.Unsafe
.#
Data.Profunctor.Unsafe
:->
Data.Profunctor
assoc
Data.Profunctor.Composition
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
Copastro
1 (Type/Class)
Data.Profunctor.Tambara
2 (Data Constructor)
Data.Profunctor.Tambara
Corep
Data.Profunctor.Rep
Corepresentable
Data.Profunctor.Rep
Cosieve
Data.Profunctor.Sieve
cosieve
Data.Profunctor.Sieve
Costar
1 (Type/Class)
Data.Profunctor
2 (Data Constructor)
Data.Profunctor
costars
Data.Profunctor.Composition
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
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
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
Ran
1 (Type/Class)
Data.Profunctor.Ran
2 (Data Constructor)
Data.Profunctor.Ran
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
runCostar
Data.Profunctor
runCotambara
Data.Profunctor.Tambara
runForget
Data.Profunctor
runRan
Data.Profunctor.Ran
runRift
Data.Profunctor.Composition
runStar
Data.Profunctor
runTambara
Data.Profunctor.Tambara
second'
Data.Profunctor
secondRep
Data.Profunctor.Rep
Sieve
Data.Profunctor.Sieve
sieve
Data.Profunctor.Sieve
Star
1 (Type/Class)
Data.Profunctor
2 (Data Constructor)
Data.Profunctor
stars
Data.Profunctor.Composition
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
unfirstCorep
Data.Profunctor.Rep
unit
Data.Profunctor.Adjunction
unleft
Data.Profunctor
unright
Data.Profunctor
unsecond
Data.Profunctor
unsecondCorep
Data.Profunctor.Rep
untambara
Data.Profunctor.Tambara
unwrapArrow
Data.Profunctor
WrapArrow
Data.Profunctor
WrappedArrow
Data.Profunctor