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.Monoidal
2 (Data Constructor)	Proarrow.Object.Terminal
3 (Data Constructor)	Proarrow.Object.Initial
4 (Data Constructor)	Proarrow.Object.BinaryProduct
5 (Data Constructor)	Proarrow.Object.BinaryCoproduct
6 (Data Constructor)	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
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
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
flipCompanion	Proarrow.Category.Equipment
flipCompanionInv	Proarrow.Category.Equipment
flipConjoint	Proarrow.Category.Equipment
flipConjointInv	Proarrow.Category.Equipment
flipCorep	Proarrow.Profunctor.Representable
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
fmap	Proarrow.Functor, Proarrow
Fold
1 (Type/Class)	Proarrow.Category.Monoidal.Strictified
2 (Type/Class)	Proarrow.Profunctor.Fold
3 (Data Constructor)	Proarrow.Profunctor.Fold
4 (Type/Class)	Proarrow.Category.Bicategory.Strictified
fold
1 (Function)	Proarrow.Category.Instance.Free
2 (Function)	Proarrow.Category.Monoidal.Strictified
3 (Function)	Proarrow.Category.Bicategory.Strictified
4 (Function)	Proarrow.Profunctor.Free
foldCompanion	Proarrow.Category.Bicategory.Strictified
foldList	Proarrow.Profunctor.List
foldStructure	Proarrow.Category.Instance.Free
Forget
1 (Type/Class)	Proarrow.Category.Instance.Sub
2 (Type/Class)	Proarrow.Category.Instance.Simplex
3 (Type/Class)	Proarrow.Category.Instance.Linear
FREE	Proarrow.Category.Instance.Free
Free
1 (Type/Class)	Proarrow.Category.Instance.Free
2 (Type/Class)	Proarrow.Tools.CCC
3 (Type/Class)	Proarrow.Profunctor.Free
FreePromonad	Proarrow.Profunctor.Free
FreeSub	Proarrow.Profunctor.Free
FromAdjunction
1 (Type/Class)	Proarrow.Universal, Proarrow
2 (Data Constructor)	Proarrow.Universal, Proarrow
FromAll	Proarrow.Category.Instance.Free
fromInt	Proarrow.Category.Instance.IntConstruction
fromLeft
1 (Function)	Proarrow.Category.Equipment
2 (Function)	Proarrow.Squares
fromLimitAdj	Proarrow.Category.Equipment.Limit
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
fromSelfAct	Proarrow.Category.Monoidal.Action
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 (Data Constructor)	Proarrow.Object.BinaryProduct
4 (Type/Class)	Proarrow.Category.Equipment.Limit
5 (Type/Class)	Proarrow.Category.Bicategory.Product
fst
1 (Function)	Proarrow.Object.BinaryProduct
2 (Function)	Proarrow.Category.Bicategory.Product
fst'	Proarrow.Object.BinaryProduct
FstCat	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
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