Hoogle Search

Within LTS Haskell 24.42 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. showCounts :: Args -> Bool

    speculate Test.Speculate

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

  2. showDot :: Args -> Bool

    speculate Test.Speculate

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

  3. showEquations :: Args -> Bool

    speculate Test.Speculate

    whether to show equations

  4. showHelp :: Args -> Bool

    speculate Test.Speculate

    (advanced) whether to show the command line help

  5. showSemiequations :: Args -> Bool

    speculate Test.Speculate

    whether to show inequalties

  6. showTheory :: Args -> Bool

    speculate Test.Speculate

    (debug) whether to show raw theory

  7. showArgs :: Args -> Bool

    speculate Test.Speculate.Args

    (debug) show _this_ args before running

  8. showClassesFor :: Args -> [Int]

    speculate Test.Speculate.Args

    (advanced) show equivalence classes of expressions

  9. showConditions :: Args -> Bool

    speculate Test.Speculate.Args

    whether to show conditional equations

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

    speculate Test.Speculate.Args

    No documentation available.

Page 134 of many | Previous | Next