Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

  1. showConstants :: Args -> Bool

    speculate Test.Speculate

    repeat constants on output

  2. showCounts :: Args -> Bool

    speculate Test.Speculate

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

  3. showDot :: Args -> Bool

    speculate Test.Speculate

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

  4. showEquations :: Args -> Bool

    speculate Test.Speculate

    whether to show equations

  5. showHelp :: Args -> Bool

    speculate Test.Speculate

    (advanced) whether to show the command line help

  6. showSemiequations :: Args -> Bool

    speculate Test.Speculate

    whether to show inequalties

  7. showTheory :: Args -> Bool

    speculate Test.Speculate

    (debug) whether to show raw theory

  8. showArgs :: Args -> Bool

    speculate Test.Speculate.Args

    (debug) show _this_ args before running

  9. showClassesFor :: Args -> [Int]

    speculate Test.Speculate.Args

    (advanced) show equivalence classes of expressions

  10. showConditions :: Args -> Bool

    speculate Test.Speculate.Args

    whether to show conditional equations

Page 134 of many | Previous | Next