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. showConstantLaws :: Args -> Bool

    speculate Test.Speculate.Args

    whether to show laws with no variables

  2. showConstants :: Args -> Bool

    speculate Test.Speculate.Args

    repeat constants on output

  3. showCounts :: Args -> Bool

    speculate Test.Speculate.Args

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

  4. showDot :: Args -> Bool

    speculate Test.Speculate.Args

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

  5. showEquations :: Args -> Bool

    speculate Test.Speculate.Args

    whether to show equations

  6. showHelp :: Args -> Bool

    speculate Test.Speculate.Args

    (advanced) whether to show the command line help

  7. showSemiequations :: Args -> Bool

    speculate Test.Speculate.Args

    whether to show inequalties

  8. showTheory :: Args -> Bool

    speculate Test.Speculate.Args

    (debug) whether to show raw theory

  9. showThy :: Thy -> String

    speculate Test.Speculate.Reason

    Pretty-prints a theory into a string. (cf. printThy)

  10. showLitChar :: Char -> ShowS

    speculate Test.Speculate.Utils

    Convert a character to a string using only printable characters, using Haskell source-language escape conventions. For example: 

    showLitChar '\n' s  =  "\\n" ++ s

Page 135 of many | Previous | Next