N | Type.Family.Nat |
N0 | Type.Family.Nat |
N1 | Type.Family.Nat |
N10 | Type.Family.Nat |
N2 | Type.Family.Nat |
N3 | Type.Family.Nat |
N4 | Type.Family.Nat |
N5 | Type.Family.Nat |
N6 | Type.Family.Nat |
N7 | Type.Family.Nat |
N8 | Type.Family.Nat |
N9 | Type.Family.Nat |
Nat | Data.Type.Nat |
natCompare | Data.Type.Nat.Inequality |
NatEQ | Data.Type.Nat.Inequality |
NatEq | Type.Family.Nat |
NatGT | Data.Type.Nat.Inequality |
NatLT | Data.Type.Nat.Inequality |
natVal | Data.Type.Nat |
neq1 | Type.Class.Higher |
neq2 | Type.Class.Higher |
neq3 | Type.Class.Higher |
nilFSum | Data.Type.Sum.Lifted |
nilNotCons | Type.Family.List |
nilSum | Data.Type.Sum |
Not | Type.Family.Bool |
not' | Data.Type.Boolean |
nothingCong | Type.Family.Maybe |
nothingNotJust | Type.Family.Maybe |
Nothing_ | Data.Type.Option |
Null | Type.Family.List |
nullCong | Type.Family.List |