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
fanIn	Proarrow.Category.Monoidal.Hypergraph
fanOut	Proarrow.Category.Monoidal.Hypergraph
Filterable	Proarrow.Category.Instance.PointedHask
filterSparse	Proarrow.Category.Instance.ZX
FIN	Proarrow.Category.Instance.Fin
Fin
1 (Type/Class)	Proarrow.Tools.Diagrams.Dot
2 (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
findArr	Proarrow.Category.Instance.FinSet
findIndex	Proarrow.Category.Instance.FinSet
findIso	Proarrow.Category.Instance.FinSet
Finite	Proarrow.Category.Instance.FinSet
FINREL	Proarrow.Category.Instance.FinRel
FinRel
1 (Type/Class)	Proarrow.Category.Instance.FinRel
2 (Data Constructor)	Proarrow.Category.Instance.FinRel
FINSET	Proarrow.Category.Instance.FinSet
FinSet
1 (Type/Class)	Proarrow.Category.Instance.FinSet
2 (Data Constructor)	Proarrow.Category.Instance.FinSet
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.Sub
2 (Type/Class)	Proarrow.Category.Instance.Simplex
3 (Type/Class)	Proarrow.Category.Instance.Linear
FR	Proarrow.Category.Instance.FinRel
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
Frobenius	Proarrow.Category.Monoidal.Hypergraph
FromAdjunction
1 (Type/Class)	Proarrow.Universal, Proarrow
2 (Data Constructor)	Proarrow.Universal, Proarrow
FromAll	Proarrow.Category.Instance.Free
fromBools	Proarrow.Category.Instance.FinRel
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
1 (Type/Class)	Proarrow.Category.Instance.Fin
2 (Type/Class)	Proarrow.Category.Instance.FinSet
Fst
1 (Type/Class)	Proarrow.Category.Instance.Product
2 (Type/Class)	Proarrow.Category.Bicategory.Product
3 (Type/Class)	Proarrow.Category.Bicategory.Limit
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
Fun	Proarrow.Category.Instance.FinRel
Functional	Proarrow.Category.Instance.Rel
Functor	Proarrow.Functor, Proarrow
FunctorForRep	Proarrow.Functor, Proarrow
FUNK	Proarrow.Category.Bicategory.Prof
FZ	Proarrow.Category.Instance.Fin