Hoogle Search
Within LTS Haskell 24.19 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
showConstantLaws :: Args -> Boolspeculate Test.Speculate whether to show laws with no variables
-
speculate Test.Speculate repeat constants on output
-
speculate Test.Speculate (intermediary) show counts of equations, inequalities and conditional equations
-
speculate Test.Speculate (advanced) whether to show a Graphviz dotfile with an Ord lattice
-
speculate Test.Speculate whether to show equations
-
speculate Test.Speculate (advanced) whether to show the command line help
showSemiequations :: Args -> Boolspeculate Test.Speculate whether to show inequalties
-
speculate Test.Speculate (debug) whether to show raw theory
-
speculate Test.Speculate.Args (debug) show _this_ args before running
showClassesFor :: Args -> [Int]speculate Test.Speculate.Args (advanced) show equivalence classes of expressions