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
factorCoequalizer	Proarrow.Colimit.Coequalizer
factorEqualizer	Proarrow.Limit.Equalizer
factorize	Proarrow.Category.Topos
false	Proarrow.Category.Topos
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
fanInS	Proarrow.Category.Monoidal.Hypergraph
fanOut	Proarrow.Category.Monoidal.Hypergraph
fanOutS	Proarrow.Category.Monoidal.Hypergraph
FF	Proarrow.Category.Instance.Bool
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.Internal
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.Limit.BinaryProduct
3 (Function)	Proarrow.Category.Instance.Nat
first'	Proarrow.Category.Monoidal.Strength
Fix	Proarrow.Profunctor.Instance.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.Instance.Ran
flipRanInv	Proarrow.Profunctor.Instance.Ran
flipRep	Proarrow.Profunctor.Representable
flipRift	Proarrow.Profunctor.Instance.Rift
flipRiftInv	Proarrow.Profunctor.Instance.Rift
flipRightAdjoint	Proarrow.Category.Bicategory
flipRightAdjointInv	Proarrow.Category.Bicategory
FLS	Proarrow.Category.Instance.Bool
Fls	Proarrow.Category.Instance.Bool
fmap	Proarrow.Functor, Proarrow
fmapDefault	Proarrow.Category.Monoidal.Applicative
Fold
1 (Type/Class)	Proarrow.Category.Bicategory.Strictified
2 (Type/Class)	Proarrow.Category.Monoidal.Strictified
3 (Type/Class)	Proarrow.Profunctor.Instance.Fold
4 (Data Constructor)	Proarrow.Profunctor.Instance.Fold
fold
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Monoidal.Strictified
3 (Function)	Proarrow.Category.Instance.Free
foldFreePromonad	Proarrow.Profunctor.Free
foldList	Proarrow.Profunctor.Instance.List
foldMap	Proarrow.Profunctor.Free
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
freeComp	Proarrow.Profunctor.Free
freeMap	Proarrow.Profunctor.Free
FreePromonad	Proarrow.Profunctor.Free
freePromonadAlg	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.Instance.Fix
FromPointed
1 (Type/Class)	Proarrow.Category.Instance.PointedHask
2 (Data Constructor)	Proarrow.Category.Instance.PointedHask
FromProd
1 (Type/Class)	Proarrow.Limit.BinaryProduct
2 (Data Constructor)	Proarrow.Limit.BinaryProduct
FromProfunctor
1 (Type/Class)	Proarrow.Functor, Proarrow
2 (Data Constructor)	Proarrow.Functor, Proarrow
fromRight	Proarrow.Squares
fromSimplex	Proarrow.Category.Bicategory.Adj
fromSimplexOp	Proarrow.Category.Bicategory.Adj
fromThunkable	Proarrow.Category.Instance.Duploid
fromVLLens	Proarrow.Category.Monoidal.Optic
fromWeightedOptic	Proarrow.Profunctor.Instance.PastroTambara
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.Limit
3 (Data Constructor)	Proarrow.Limit.BinaryProduct
fst
1 (Function)	Proarrow.Category.Bicategory.Product
2 (Function)	Proarrow.Limit.BinaryProduct
3 (Function)	Proarrow.Category.Monoidal.CopyDiscard
fst'	Proarrow.Limit.BinaryProduct
fstK	Proarrow.Category.Instance.Product
fstObj	Proarrow.Category.Bicategory.Limit
fstP	Proarrow.Profunctor.Instance.Product
FT	Proarrow.Category.Instance.Bool
FUN
1 (Type/Class)	Proarrow.Category.Instance.Sub
2 (Type/Class)	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