Index - N
| Nat | Test.ClassLaws.Partial, Test.ClassLaws |
| natrec | Test.ClassLaws.Partial, Test.ClassLaws |
| Nil | Test.ClassLaws.TestingDatatypes |
| NoExpectedFailure | Test.ClassLaws |
| nonBottomError | Test.ClassLaws.Partial, Test.ClassLaws |
| NonEmpty | Test.ClassLaws |
| NonEmptyList | Test.ClassLaws |
| NonNegative | |
| 1 (Data Constructor) | Test.ClassLaws |
| 2 (Type/Class) | Test.ClassLaws |
| NonTermination | Test.ClassLaws.Partial, Test.ClassLaws |
| NonZero | |
| 1 (Data Constructor) | Test.ClassLaws |
| 2 (Type/Class) | Test.ClassLaws |
| noTweak | Test.ClassLaws.Partial, Test.ClassLaws |
| numShrinks | Test.ClassLaws |
| numTests | Test.ClassLaws |