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.

  1. showConstantLaws :: Args -> Bool

    speculate Test.Speculate

    whether to show laws with no variables

  2. showConstants :: Args -> Bool

    speculate Test.Speculate

    repeat constants on output

  3. showCounts :: Args -> Bool

    speculate Test.Speculate

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

  4. showDot :: Args -> Bool

    speculate Test.Speculate

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

  5. showEquations :: Args -> Bool

    speculate Test.Speculate

    whether to show equations

  6. showHelp :: Args -> Bool

    speculate Test.Speculate

    (advanced) whether to show the command line help

  7. showSemiequations :: Args -> Bool

    speculate Test.Speculate

    whether to show inequalties

  8. showTheory :: Args -> Bool

    speculate Test.Speculate

    (debug) whether to show raw theory

  9. showArgs :: Args -> Bool

    speculate Test.Speculate.Args

    (debug) show _this_ args before running

  10. showClassesFor :: Args -> [Int]

    speculate Test.Speculate.Args

    (advanced) show equivalence classes of expressions

Page 101 of many | Previous | Next