speculate-0.4.20: discovery of properties about Haskell functions

Index - N

Name 
1 (Type/Class)Test.Speculate.Args
2 (Type/Class)Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
nameTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
namesTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
Nat 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
natTest.Speculate
Nat1 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat2 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat3 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat4 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat5 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat6 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat7 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Natural 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
naturalTest.Speculate
neverIdentityTest.Speculate
NoDup 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
noDupListConsTest.Speculate
noDupListsOfTest.Speculate
noneTest.Speculate.Utils
NonSpacingMarkTest.Speculate.Utils
normalizeTest.Speculate.Reason
normalizedCriticalPairsTest.Speculate.Reason
normalizeETest.Speculate.Reason
normalizeTTest.Speculate
NotAssignedTest.Speculate.Utils
nubConstsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
nubHolesTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
nubMergeTest.Speculate.Utils
nubMergeByTest.Speculate.Utils
nubMergeMapTest.Speculate.Utils
nubMergeOnTest.Speculate.Utils
nubMergesTest.Speculate.Utils
nubMergesByTest.Speculate.Utils
nubSortTest.Speculate.Utils
nubSortByTest.Speculate.Utils
nubSubexprsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
nubValuesTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
nubVarsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine