profunctors-5.6.2: Profunctors

Index

#. | Data.Profunctor.Unsafe
.# | Data.Profunctor.Unsafe
:-> | Data.Profunctor.Types, Data.Profunctor
assoc | Data.Profunctor.Composition
Cayley |
1 (Type/Class) | Data.Profunctor.Cayley
2 (Data Constructor) | Data.Profunctor.Cayley
Choice | Data.Profunctor.Choice, Data.Profunctor
close | Data.Profunctor.Closed
Closed | Data.Profunctor.Closed, Data.Profunctor
closed | Data.Profunctor.Closed, Data.Profunctor
closedCorep | Data.Profunctor.Rep
closedMapping | Data.Profunctor.Mapping
Closure |
1 (Type/Class) | Data.Profunctor.Closed
2 (Data Constructor) | Data.Profunctor.Closed
Cochoice | Data.Profunctor.Choice, Data.Profunctor
Codensity |
1 (Type/Class) | Data.Profunctor.Ran
2 (Data Constructor) | Data.Profunctor.Ran
CofreeMapping |
1 (Type/Class) | Data.Profunctor.Mapping
2 (Data Constructor) | Data.Profunctor.Mapping
CofreeTraversing |
1 (Type/Class) | Data.Profunctor.Traversing
2 (Data Constructor) | Data.Profunctor.Traversing
cokleislis | Data.Profunctor.Composition
Copastro |
1 (Type/Class) | Data.Profunctor.Strong
2 (Data Constructor) | Data.Profunctor.Strong
CopastroSum |
1 (Type/Class) | Data.Profunctor.Choice
2 (Data Constructor) | Data.Profunctor.Choice
Coprep |
1 (Type/Class) | Data.Profunctor.Rep
2 (Data Constructor) | Data.Profunctor.Rep
coprepAdj | Data.Profunctor.Rep
coprepCounit | Data.Profunctor.Rep
coprepUnit | Data.Profunctor.Rep
Corep | Data.Profunctor.Rep
Corepresentable | Data.Profunctor.Rep
Cosieve | Data.Profunctor.Sieve
cosieve | Data.Profunctor.Sieve
Costar |
1 (Type/Class) | Data.Profunctor.Types, Data.Profunctor
2 (Data Constructor) | Data.Profunctor.Types, Data.Profunctor
costars | Data.Profunctor.Composition
Costrong | Data.Profunctor.Strong, Data.Profunctor
cotabulate | Data.Profunctor.Rep
cotabulated | Data.Profunctor.Rep
Cotambara |
1 (Type/Class) | Data.Profunctor.Strong
2 (Data Constructor) | Data.Profunctor.Strong
cotambara | Data.Profunctor.Strong
CotambaraSum |
1 (Type/Class) | Data.Profunctor.Choice
2 (Data Constructor) | Data.Profunctor.Choice
cotambaraSum | Data.Profunctor.Choice
counit | Data.Profunctor.Adjunction
Coyoneda |
1 (Type/Class) | Data.Profunctor.Yoneda
2 (Data Constructor) | Data.Profunctor.Yoneda
curry' | Data.Profunctor.Closed, Data.Profunctor
curryRan | Data.Profunctor.Ran
decomposeCodensity | Data.Profunctor.Ran
decomposeRan | Data.Profunctor.Ran
decomposeRift | Data.Profunctor.Composition
dimap | Data.Profunctor.Unsafe, Data.Profunctor.Types, Data.Profunctor
dimapWandering | Data.Profunctor.Traversing
duplicateYoneda | Data.Profunctor.Yoneda
Environment |
1 (Type/Class) | Data.Profunctor.Closed
2 (Data Constructor) | Data.Profunctor.Closed
eta | Data.Profunctor.Composition
extractYoneda | Data.Profunctor.Yoneda
first' | Data.Profunctor.Strong, Data.Profunctor
firstRep | Data.Profunctor.Rep
firstTraversing | Data.Profunctor.Traversing
Forget |
1 (Type/Class) | Data.Profunctor.Types, Data.Profunctor
2 (Data Constructor) | Data.Profunctor.Types, Data.Profunctor
FreeMapping |
1 (Type/Class) | Data.Profunctor.Mapping
2 (Data Constructor) | Data.Profunctor.Mapping
FreeTraversing |
1 (Type/Class) | Data.Profunctor.Traversing
2 (Data Constructor) | Data.Profunctor.Traversing
idl | Data.Profunctor.Composition
idr | Data.Profunctor.Composition
joinCoyoneda | Data.Profunctor.Yoneda
kleislis | Data.Profunctor.Composition
left' | Data.Profunctor.Choice, Data.Profunctor
leftTraversing | Data.Profunctor.Traversing
lmap | Data.Profunctor.Unsafe, Data.Profunctor.Types, Data.Profunctor
lmapWandering | Data.Profunctor.Traversing
map' | Data.Profunctor.Mapping, Data.Profunctor
mapCayley | Data.Profunctor.Cayley
Mapping | Data.Profunctor.Mapping, Data.Profunctor
mu | Data.Profunctor.Composition
Pastro |
1 (Type/Class) | Data.Profunctor.Strong
2 (Data Constructor) | Data.Profunctor.Strong
pastro | Data.Profunctor.Strong
PastroSum |
1 (Type/Class) | Data.Profunctor.Choice
2 (Data Constructor) | Data.Profunctor.Choice
precomposeRan | Data.Profunctor.Ran
Prep |
1 (Type/Class) | Data.Profunctor.Rep
2 (Data Constructor) | Data.Profunctor.Rep
prepAdj | Data.Profunctor.Rep
prepCounit | Data.Profunctor.Rep
prepUnit | Data.Profunctor.Rep
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.Types, 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
returnCoyoneda | Data.Profunctor.Yoneda
Rift |
1 (Type/Class) | Data.Profunctor.Composition
2 (Data Constructor) | Data.Profunctor.Composition
right' | Data.Profunctor.Choice, Data.Profunctor
rightTraversing | Data.Profunctor.Traversing
rmap | Data.Profunctor.Unsafe, Data.Profunctor.Types, Data.Profunctor
rmapWandering | Data.Profunctor.Traversing
roam | Data.Profunctor.Mapping, Data.Profunctor
runCayley | Data.Profunctor.Cayley
runClosure | Data.Profunctor.Closed
runCodensity | Data.Profunctor.Ran
runCofreeMapping | Data.Profunctor.Mapping
runCofreeTraversing | Data.Profunctor.Traversing
runCopastro | Data.Profunctor.Strong
runCopastroSum | Data.Profunctor.Choice
runCoprep | Data.Profunctor.Rep
runCostar | Data.Profunctor.Types, Data.Profunctor
runForget | Data.Profunctor.Types, Data.Profunctor
runRan | Data.Profunctor.Ran
runRift | Data.Profunctor.Composition
runStar | Data.Profunctor.Types, Data.Profunctor
runTambara | Data.Profunctor.Strong
runTambaraSum | Data.Profunctor.Choice
runYoneda | Data.Profunctor.Yoneda
second' | Data.Profunctor.Strong, Data.Profunctor
secondRep | Data.Profunctor.Rep
secondTraversing | Data.Profunctor.Traversing
Sieve | Data.Profunctor.Sieve
sieve | Data.Profunctor.Sieve
Star |
1 (Type/Class) | Data.Profunctor.Types, Data.Profunctor
2 (Data Constructor) | Data.Profunctor.Types, Data.Profunctor
stars | Data.Profunctor.Composition
Strong | Data.Profunctor.Strong, Data.Profunctor
strong | Data.Profunctor.Strong
tabulate | Data.Profunctor.Rep
tabulated | Data.Profunctor.Rep
Tambara |
1 (Type/Class) | Data.Profunctor.Strong
2 (Data Constructor) | Data.Profunctor.Strong
tambara | Data.Profunctor.Strong
TambaraSum |
1 (Type/Class) | Data.Profunctor.Choice
2 (Data Constructor) | Data.Profunctor.Choice
tambaraSum | Data.Profunctor.Choice
traverse' | Data.Profunctor.Traversing
traverseMapping | Data.Profunctor.Mapping
Traversing | Data.Profunctor.Traversing
unclose | Data.Profunctor.Closed
uncoprepAdj | Data.Profunctor.Rep
uncotambara | Data.Profunctor.Strong
uncotambaraSum | Data.Profunctor.Choice
uncurry' | Data.Profunctor.Strong, Data.Profunctor
uncurryRan | Data.Profunctor.Ran
unfirst | Data.Profunctor.Strong, Data.Profunctor
unfirstCorep | Data.Profunctor.Rep
unit | Data.Profunctor.Adjunction
unleft | Data.Profunctor.Choice, Data.Profunctor
unpastro | Data.Profunctor.Strong
unprepAdj | Data.Profunctor.Rep
unright | Data.Profunctor.Choice, Data.Profunctor
unsecond | Data.Profunctor.Strong, Data.Profunctor
unsecondCorep | Data.Profunctor.Rep
untambara | Data.Profunctor.Strong
untambaraSum | Data.Profunctor.Choice
unwrapArrow | Data.Profunctor.Types, Data.Profunctor
wander | Data.Profunctor.Traversing
wanderMapping | Data.Profunctor.Mapping
WrapArrow | Data.Profunctor.Types, Data.Profunctor
WrappedArrow | Data.Profunctor.Types, Data.Profunctor
Yoneda |
1 (Type/Class) | Data.Profunctor.Yoneda
2 (Data Constructor) | Data.Profunctor.Yoneda