proarrow

Index - N

NProarrow.Category.Instance.Duploid
namesProarrow.Tools.Diagrams.Dot
NATProarrow.Category.Instance.Fin
Nat 
1 (Type/Class)Proarrow.Category.Instance.Simplex
2 (Type/Class)Proarrow.Category.Instance.Nat
3 (Data Constructor)Proarrow.Category.Instance.Nat
4 (Type/Class)Proarrow.Category.Instance.Mat
natProarrow.Category.Instance.ZX
Nat' 
1 (Type/Class)Proarrow.Category.Instance.Nat
2 (Data Constructor)Proarrow.Category.Instance.Nat
Neg 
1 (Type/Class)Proarrow.Category.Instance.Linear
2 (Data Constructor)Proarrow.Category.Instance.Linear
3 (Type/Class)Proarrow.Category.Instance.Duploid
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.Profunctor.Fix
4 (Data Constructor)Proarrow.Category.Instance.Mat
noProarrow.Category.Instance.Zero
nodeProarrow.Tools.Diagrams.Dot
node'Proarrow.Tools.Diagrams.Dot
nodeOptsProarrow.Tools.Diagrams.Dot
normalizeProarrow.Tools.Diagrams.Dot
Not 
1 (Type/Class)Proarrow.Object.Exponential
2 (Type/Class)Proarrow.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