Contents
Index
squares-0.1: The double category of Hask functors and profunctors
Index
***
Control.Arrow.Square
++
Data.Type.List
+++
Control.Arrow.Square
:**:
1 (Type/Class)
Data.Square
2 (Data Constructor)
Data.Square
<=<
Control.Comonad.Square
===
Data.Square
>=>
Control.Monad.Square
>>>
Control.Arrow.Square
arr
Control.Arrow.Square
bind
Control.Monad.Square
closed
Data.Profunctor.Square
cotraverse
Data.Distributive.Square
counit
Data.Functor.Adjunction.Square
curryF
Data.Square
distribute
Data.Distributive.Square
duplicate
Control.Comonad.Square
emptySquare
Data.Square
extend
Control.Comonad.Square
extract
Control.Comonad.Square
F
Data.Functor.Compose.List
fappend
Data.Functor.Compose.List
FComp
Data.Functor.Compose.List
FList
Data.Functor.Compose.List
foldMap
Data.Foldable.Square
fromCompose
Data.Functor.Square
fromHom
Data.Profunctor.Square
fromIdentity
Data.Functor.Square
fromLeft
Data.Square
fromPlainF
Data.Functor.Compose.List
fromPlainP
Data.Profunctor.Composition.List
fromProcompose
Data.Profunctor.Square
fromRight
Data.Square
funappend
Data.Functor.Compose.List
funId
Data.Square
funNat
Data.Square
Hom
Data.Profunctor.Composition.List
Id
Data.Functor.Compose.List
index
Data.Functor.Rep.Square
IsFList
Data.Functor.Compose.List
IsPList
Data.Profunctor.Composition.List
join
Control.Monad.Square
leftAdjunct
Data.Functor.Adjunction.Square
map
Data.Profunctor.Square
mkSquare
Data.Square
P
Data.Profunctor.Composition.List
pappend
Data.Profunctor.Composition.List
PComp
Data.Profunctor.Composition.List
PlainF
Data.Functor.Compose.List
PlainP
Data.Profunctor.Composition.List
PList
Data.Profunctor.Composition.List
proId
Data.Square
proNat
Data.Square
punappend
Data.Profunctor.Composition.List
return
Control.Monad.Square
right
1 (Function)
Data.Profunctor.Square
2 (Function)
Control.Arrow.Square
rightAdjunct
Data.Functor.Adjunction.Square
runSquare
Data.Square
second
1 (Function)
Data.Profunctor.Square
2 (Function)
Control.Arrow.Square
sequence
Data.Traversable.Square
spiderLemma
Data.Square
spiderLemma'
Data.Square
Square
1 (Type/Class)
Data.Square
2 (Data Constructor)
Data.Square
Square01
Data.Square
Square21
Data.Square
SquareNT
Data.Square
tabulate
Data.Functor.Rep.Square
toCompose
Data.Functor.Square
toHom
Data.Profunctor.Square
toIdentity
Data.Functor.Square
toLeft
Data.Square
toPlainF
Data.Functor.Compose.List
toPlainP
Data.Profunctor.Composition.List
toProcompose
Data.Profunctor.Square
toRight
Data.Square
traverse
Data.Traversable.Square
uLeft
Data.Square
UncurryF
1 (Type/Class)
Data.Square
2 (Data Constructor)
Data.Square
unF
Data.Functor.Compose.List
unFComp
Data.Functor.Compose.List
unHom
Data.Profunctor.Composition.List
unId
Data.Functor.Compose.List
Unit
1 (Type/Class)
Data.Square
2 (Data Constructor)
Data.Square
unit
Data.Functor.Adjunction.Square
unP
Data.Profunctor.Composition.List
unSquare
Data.Square
uRight
Data.Square
ValueF
1 (Type/Class)
Data.Square
2 (Data Constructor)
Data.Square
|||
Data.Square
~>
Data.Functor.Compose.List