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
1 (Data Constructor)	Proarrow.Category.Instance.Free
2 (Data Constructor)	Proarrow.Helper.CCC
F2T	Proarrow.Category.Instance.Bool
filterSparse	Proarrow.Category.Instance.ZX
FIN	Proarrow.Category.Instance.Fin
Fin	Proarrow.Category.Instance.Simplex
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
first'	Proarrow.Category.Monoidal.Action
Fix	Proarrow.Profunctor.Fix
FK
1 (Type/Class)	Proarrow.Category.Instance.Free
2 (Type/Class)	Proarrow.Helper.CCC
Flatten	Proarrow.Category.Instance.Free
flipCompanion	Proarrow.Category.Equipment
flipCompanionInv	Proarrow.Category.Equipment
flipConjoint	Proarrow.Category.Equipment
flipConjointInv	Proarrow.Category.Equipment
flipRan	Proarrow.Profunctor.Ran
flipRanInv	Proarrow.Profunctor.Ran
flipRep	Proarrow.Profunctor.Representable
flipRetroSq	Proarrow.Category.Bicategory.Op
flipRift	Proarrow.Profunctor.Rift
flipRiftInv	Proarrow.Profunctor.Rift
flipSq	Proarrow.Category.Bicategory.Op
FLS	Proarrow.Category.Instance.Bool
Fls	Proarrow.Category.Instance.Bool
Fold
1 (Type/Class)	Proarrow.Category.Monoidal.Strictified
2 (Type/Class)	Proarrow.Category.Bicategory.Strictified
3 (Type/Class)	Proarrow.Profunctor.Fold
4 (Data Constructor)	Proarrow.Profunctor.Fold
fold
1 (Function)	Proarrow.Category.Monoidal.Strictified
2 (Function)	Proarrow.Category.Instance.Free
3 (Function)	Proarrow.Category.Bicategory.Strictified
4 (Function)	Proarrow.Profunctor.Free
foldCompanion	Proarrow.Category.Bicategory.Strictified
foldStructure	Proarrow.Category.Instance.Free
Forget
1 (Type/Class)	Proarrow.Profunctor.Forget
2 (Data Constructor)	Proarrow.Profunctor.Forget
3 (Type/Class)	Proarrow.Category.Instance.Simplex
4 (Data Constructor)	Proarrow.Category.Instance.Simplex
5 (Type/Class)	Proarrow.Category.Instance.Linear
6 (Data Constructor)	Proarrow.Category.Instance.Linear
FREE	Proarrow.Category.Instance.Free
Free
1 (Type/Class)	Proarrow.Category.Instance.Free
2 (Data Constructor)	Proarrow.Category.Instance.Free
3 (Type/Class)	Proarrow.Helper.CCC
4 (Type/Class)	Proarrow.Profunctor.Free
5 (Type/Class)	Proarrow.Category.Instance.Linear
6 (Data Constructor)	Proarrow.Category.Instance.Linear
FreePromonad	Proarrow.Profunctor.Free
FreeSub
1 (Type/Class)	Proarrow.Profunctor.Free
2 (Data Constructor)	Proarrow.Profunctor.Free
fromInt	Proarrow.Category.Instance.IntConstruction
fromLeft
1 (Function)	Proarrow.Category.Equipment
2 (Function)	Proarrow.Squares
fromList	Proarrow.Profunctor.Fix
FromProfunctor
1 (Type/Class)	Proarrow.Functor, Proarrow
2 (Data Constructor)	Proarrow.Functor, Proarrow
fromRight
1 (Function)	Proarrow.Category.Equipment
2 (Function)	Proarrow.Squares
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.Equipment.Limit
4 (Type/Class)	Proarrow.Category.Bicategory.Product
fst
1 (Function)	Proarrow.Category.Bicategory.Product
2 (Function)	Proarrow.Object.BinaryProduct
fst'	Proarrow.Object.BinaryProduct
FstCat
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
fstK	Proarrow.Category.Instance.Product
fstObj
1 (Function)	Proarrow.Category.Bicategory.Limit
2 (Function)	Proarrow.Category.Equipment.Limit
fstP	Proarrow.Profunctor.Product
FUN	Proarrow.Category.Bicategory.Prof
Functor	Proarrow.Functor, Proarrow
FUNK	Proarrow.Category.Bicategory.Prof
FZ	Proarrow.Category.Instance.Fin
Fz	Proarrow.Category.Instance.Simplex