A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
$
%
&
*
+
.
/
<
=
?
@
\
^
|
-
~
All

Index - F

F	Proarrow.Tools.CCC
F2T	Proarrow.Category.Instance.Bool
FAM	Proarrow.Category.Instance.Fam
Fam
1 (Type/Class)	Proarrow.Category.Instance.Fam
2 (Data Constructor)	Proarrow.Category.Instance.Fam
Filterable	Proarrow.Category.Instance.PointedHask
filterSparse	Proarrow.Category.Instance.ZX
FIN	Proarrow.Category.Instance.Fin
Fin
1 (Type/Class)	Proarrow.Category.Instance.Simplex
2 (Type/Class)	Proarrow.Tools.Diagrams.Dot
3 (Data Constructor)	Proarrow.Tools.Diagrams.Dot
FIN0	Proarrow.Category.Instance.Fin
FIN1	Proarrow.Category.Instance.Fin
FIN2	Proarrow.Category.Instance.Fin
FIN3	Proarrow.Category.Instance.Fin
first
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Object.BinaryProduct
3 (Function)	Proarrow.Category.Instance.Nat
first'	Proarrow.Category.Monoidal.Action
Fix	Proarrow.Profunctor.Fix
FK	Proarrow.Tools.CCC
FlipApp
1 (Type/Class)	Proarrow.Squares
2 (Data Constructor)	Proarrow.Squares
flipCorep	Proarrow.Profunctor.Representable
flipLeftAdjoint	Proarrow.Category.Bicategory
flipLeftAdjointInv	Proarrow.Category.Bicategory
flipRan	Proarrow.Profunctor.Ran
flipRanInv	Proarrow.Profunctor.Ran
flipRep	Proarrow.Profunctor.Representable
flipRift	Proarrow.Profunctor.Rift
flipRiftInv	Proarrow.Profunctor.Rift
flipRightAdjoint	Proarrow.Category.Bicategory
flipRightAdjointInv	Proarrow.Category.Bicategory
FLS	Proarrow.Category.Instance.Bool
Fls	Proarrow.Category.Instance.Bool
fmap	Proarrow.Functor, Proarrow
Fold
1 (Type/Class)	Proarrow.Category.Bicategory.Strictified
2 (Type/Class)	Proarrow.Category.Monoidal.Strictified
3 (Type/Class)	Proarrow.Profunctor.Fold
4 (Data Constructor)	Proarrow.Profunctor.Fold
fold
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Instance.Free
3 (Function)	Proarrow.Category.Monoidal.Strictified
4 (Function)	Proarrow.Profunctor.Free
foldList	Proarrow.Profunctor.List
foldStructure	Proarrow.Category.Instance.Free
Forget
1 (Type/Class)	Proarrow.Category.Instance.Simplex
2 (Type/Class)	Proarrow.Category.Instance.Sub
3 (Type/Class)	Proarrow.Category.Instance.Linear
FREE	Proarrow.Category.Instance.Free
Free
1 (Type/Class)	Proarrow.Category.Instance.Free
2 (Type/Class)	Proarrow.Profunctor.Free
3 (Type/Class)	Proarrow.Tools.CCC
FreePromonad	Proarrow.Profunctor.Free
from	Proarrow.Core
FromAdjunction
1 (Type/Class)	Proarrow.Universal, Proarrow
2 (Data Constructor)	Proarrow.Universal, Proarrow
FromAll	Proarrow.Category.Instance.Free
fromInt	Proarrow.Category.Instance.IntConstruction
fromLeft	Proarrow.Squares
fromLinear	Proarrow.Category.Instance.Duploid
fromList	Proarrow.Profunctor.Fix
FromPointed
1 (Type/Class)	Proarrow.Category.Instance.PointedHask
2 (Data Constructor)	Proarrow.Category.Instance.PointedHask
FromProfunctor
1 (Type/Class)	Proarrow.Functor, Proarrow
2 (Data Constructor)	Proarrow.Functor, Proarrow
fromRight	Proarrow.Squares
fromSelfAct	Proarrow.Category.Monoidal.Action
fromSimplex	Proarrow.Category.Bicategory.Adj
fromSimplexOp	Proarrow.Category.Bicategory.Adj
fromThunkable	Proarrow.Category.Instance.Duploid
FS	Proarrow.Category.Instance.Fin
Fs	Proarrow.Category.Instance.Simplex
Fst
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Type/Class)	Proarrow.Category.Instance.Product
3 (Type/Class)	Proarrow.Category.Bicategory.Product
4 (Data Constructor)	Proarrow.Object.BinaryProduct
fst
1 (Function)	Proarrow.Category.Bicategory.Product
2 (Function)	Proarrow.Object.BinaryProduct
fst'	Proarrow.Object.BinaryProduct
FstCat	Proarrow.Category.Instance.Cat
fstK	Proarrow.Category.Instance.Product
fstObj	Proarrow.Category.Bicategory.Limit
fstP	Proarrow.Profunctor.Product
FUN	Proarrow.Category.Bicategory.Prof
Functional	Proarrow.Category.Instance.Rel
Functor	Proarrow.Functor, Proarrow
FunctorForRep	Proarrow.Functor, Proarrow
FUNK	Proarrow.Category.Bicategory.Prof
FZ	Proarrow.Category.Instance.Fin
Fz	Proarrow.Category.Instance.Simplex