proarrow-0: Category theory with a central role for profunctors (Index - F)

proarrow-0: Category theory with a central role for profunctors

Index - F

F	Proarrow.Category.Instance.Free
F2T	Proarrow.Category.Instance.Bool
Fin	Proarrow.Category.Instance.Simplex
first
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Object.BinaryProduct
Fix	Proarrow.Profunctor.Fix
FLS	Proarrow.Category.Instance.Bool
Fls	Proarrow.Category.Instance.Bool
Fold
1 (Type/Class)	Proarrow.Category.Monoidal
2 (Type/Class)	Proarrow.Category.Bicategory
fold
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
folded	Proarrow.Category.Double
Forget
1 (Type/Class)	Proarrow.Profunctor.Forget
2 (Data Constructor)	Proarrow.Profunctor.Forget
3 (Type/Class)	Proarrow.Category.Instance.Linear
4 (Data Constructor)	Proarrow.Category.Instance.Linear
5 (Type/Class)	Proarrow.Category.Instance.Simplex
6 (Data Constructor)	Proarrow.Category.Instance.Simplex
FREE	Proarrow.Category.Instance.Free
Free
1 (Type/Class)	Proarrow.Category.Instance.Free
2 (Type/Class)	Proarrow.Category.Instance.Linear
3 (Data Constructor)	Proarrow.Category.Instance.Linear
FreeId	Proarrow.Category.Instance.Free
fromLeft	Proarrow.Category.Double
fromList	Proarrow.Profunctor.Fix
fromRight	Proarrow.Category.Double
Fs	Proarrow.Category.Instance.Simplex
Fst
1 (Type/Class)	Proarrow.Category.Bicategory.Product
2 (Type/Class)	Proarrow.Category.Instance.Product
fst	Proarrow.Object.BinaryProduct
fst'	Proarrow.Object.BinaryProduct
FstCat
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
fstP	Proarrow.Profunctor.Product
Functor	Proarrow.Functor, Proarrow
Fz	Proarrow.Category.Instance.Simplex