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.

Exact lookup

1. showConditions :: Args -> Bool

   speculate	Test.Speculate.Args

   whether to show conditional equations

2. showConstant :: (Typeable a, Show a) => a -> Expr

   speculate	Test.Speculate.Args

   No documentation available.

3. showConstantLaws :: Args -> Bool

   speculate	Test.Speculate.Args

   whether to show laws with no variables

4. showConstants :: Args -> Bool

   speculate	Test.Speculate.Args

   repeat constants on output

5. showCounts :: Args -> Bool

   speculate	Test.Speculate.Args

   (intermediary) show counts of equations, inequalities and conditional equations

6. showDot :: Args -> Bool

   speculate	Test.Speculate.Args

   (advanced) whether to show a Graphviz dotfile with an Ord lattice

7. showEquations :: Args -> Bool

   speculate	Test.Speculate.Args

   whether to show equations

8. showHelp :: Args -> Bool

   speculate	Test.Speculate.Args

   (advanced) whether to show the command line help

9. showSemiequations :: Args -> Bool

   speculate	Test.Speculate.Args

   whether to show inequalties

10. showTheory :: Args -> Bool

    speculate	Test.Speculate.Args

    (debug) whether to show raw theory

Page 102 of many | Previous | Next