proarrow

Index - N

NATProarrow.Category.Instance.Fin
Nat 
1 (Type/Class)Proarrow.Category.Instance.Simplex
2 (Type/Class)Proarrow.Category.Instance.Mat
3 (Type/Class)Proarrow.Category.Instance.Nat
4 (Data Constructor)Proarrow.Category.Instance.Nat
natProarrow.Category.Instance.ZX
Nat' 
1 (Type/Class)Proarrow.Category.Instance.Nat
2 (Data Constructor)Proarrow.Category.Instance.Nat
NatKProarrow.Category.Instance.Nat
Neg 
1 (Type/Class)Proarrow.Category.Instance.Linear
2 (Data Constructor)Proarrow.Category.Instance.Linear
NegComp 
1 (Type/Class)Proarrow.Category.Instance.Linear
2 (Data Constructor)Proarrow.Category.Instance.Linear
Nil 
1 (Type/Class)Proarrow.Category.Bicategory.Strictified
2 (Data Constructor)Proarrow.Profunctor.List
3 (Data Constructor)Proarrow.Category.Instance.Mat
4 (Data Constructor)Proarrow.Profunctor.Fix
noProarrow.Category.Instance.Zero
NotProarrow.Category.Instance.Linear
not 
1 (Function)Proarrow.Category.Instance.ZX
2 (Function)Proarrow.Category.Instance.Linear
not'Proarrow.Category.Instance.Linear
notQuestProarrow.Category.Instance.Linear
NTProarrow.Category.Instance.Nat