Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

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

    speculate Test.Speculate

    No documentation available.

  2. showConstantLaws :: Args -> Bool

    speculate Test.Speculate

    whether to show laws with no variables

  3. showConstants :: Args -> Bool

    speculate Test.Speculate

    repeat constants on output

  4. showCounts :: Args -> Bool

    speculate Test.Speculate

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

  5. showDot :: Args -> Bool

    speculate Test.Speculate

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

  6. showEquations :: Args -> Bool

    speculate Test.Speculate

    whether to show equations

  7. showHelp :: Args -> Bool

    speculate Test.Speculate

    (advanced) whether to show the command line help

  8. showSemiequations :: Args -> Bool

    speculate Test.Speculate

    whether to show inequalties

  9. showTheory :: Args -> Bool

    speculate Test.Speculate

    (debug) whether to show raw theory

  10. showArgs :: Args -> Bool

    speculate Test.Speculate.Args

    (debug) show _this_ args before running

Page 101 of many | Previous | Next