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

Index - F

F 
1 (Data Constructor)Proarrow.Category.Instance.Free
2 (Data Constructor)Proarrow.Helper.CCC
F2TProarrow.Category.Instance.Bool
FINProarrow.Category.Instance.Fin
FinProarrow.Category.Instance.Simplex
FIN0Proarrow.Category.Instance.Fin
FIN1Proarrow.Category.Instance.Fin
FIN2Proarrow.Category.Instance.Fin
FIN3Proarrow.Category.Instance.Fin
finIdProarrow.Category.Instance.Fin
first 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Object.BinaryProduct
first'Proarrow.Object.BinaryProduct
FixProarrow.Profunctor.Fix
FKProarrow.Helper.CCC
flipCompanionProarrow.Category.Equipment
flipCompanionInvProarrow.Category.Equipment
flipConjointProarrow.Category.Equipment
flipConjointInvProarrow.Category.Equipment
flipRanProarrow.Profunctor.Ran
flipRanInvProarrow.Profunctor.Ran
flipRepProarrow.Profunctor.Representable
flipRetroSqProarrow.Category.Bicategory.Op
flipRiftProarrow.Profunctor.Rift
flipRiftInvProarrow.Profunctor.Rift
flipSqProarrow.Category.Bicategory.Op
FLSProarrow.Category.Instance.Bool
FlsProarrow.Category.Instance.Bool
Fold 
1 (Type/Class)Proarrow.Category.Monoidal.Strictified
2 (Type/Class)Proarrow.Category.Bicategory.Strictified
fold 
1 (Function)Proarrow.Category.Monoidal.Strictified
2 (Function)Proarrow.Category.Bicategory.Strictified
foldCompanionProarrow.Category.Equipment
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
FREEProarrow.Category.Instance.Free
Free 
1 (Type/Class)Proarrow.Category.Instance.Free
2 (Type/Class)Proarrow.Profunctor.Free
3 (Type/Class)Proarrow.Category.Instance.Linear
4 (Data Constructor)Proarrow.Category.Instance.Linear
FreeCCCProarrow.Helper.CCC
FreeIdProarrow.Category.Instance.Free
FreeMonoidProarrow.Profunctor.Free
FreeMonoidFProarrow.Profunctor.Free
FreeMonoidIsMonoidProarrow.Profunctor.Free
FreePromonadProarrow.Profunctor.Free
FreeSub 
1 (Type/Class)Proarrow.Profunctor.Free
2 (Data Constructor)Proarrow.Profunctor.Free
fromLeft 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
fromListProarrow.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
FSProarrow.Category.Instance.Fin
FsProarrow.Category.Instance.Simplex
Fst 
1 (Type/Class)Proarrow.Category.Instance.Product
2 (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
fstPProarrow.Profunctor.Product
FUNProarrow.Category.Bicategory.Prof
FunctorProarrow.Functor, Proarrow
FUNKProarrow.Category.Bicategory.Prof
FZProarrow.Category.Instance.Fin
FzProarrow.Category.Instance.Simplex