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. showCandidates :: Ingredient

    code-conjure Conjure.Engine

    (Debug option) When provided in the ingredients list, this enables showing enumerated candidates. 

    conjure ... ... [ ...
, showCandidates
, ... ]
    Warning: activating this will likely produce a humongous wall-of-text.

  2. showDeconstructions :: Ingredient

    code-conjure Conjure.Engine

    (Debug option) Makes conjure print enumerated deconstructions when provided in its ingredient list.

  3. showExpr :: Expr -> String

    code-conjure Conjure.Engine

    O(n). Returns a string representation of an expression. Differently from show (:: Expr -> String) this function does not include the type in the output. 

    > putStrLn $ showExpr (one -+- two)
1 + 2

    > putStrLn $ showExpr $ (pp -||- true) -&&- (qq -||- false)
(p || True) && (q || False)

  4. showOpExpr :: String -> Expr -> String

    code-conjure Conjure.Engine

    O(n). Like showPrecExpr but the precedence is taken from the given operator name. 

    > showOpExpr "*" (two -*- three)
"(2 * 3)"

    > showOpExpr "+" (two -*- three)
"2 * 3"
    To imply that the surrounding environment is a function application, use " " as the given operator. 
    > showOpExpr " " (two -*- three)
"(2 * 3)"

  5. showPatterns :: Ingredient

    code-conjure Conjure.Engine

    (Debug option) When this option is provided in the ingredients list, conjure will print the enumrated LHS patterns. (cf. maxPatternSize, maxPatternDepth)

  6. showPrecExpr :: Int -> Expr -> String

    code-conjure Conjure.Engine

    O(n). Like showExpr but allows specifying the surrounding precedence. 

    > showPrecExpr 6 (one -+- two)
"1 + 2"

    > showPrecExpr 7 (one -+- two)
"(1 + 2)"

  7. showTests :: Ingredient

    code-conjure Conjure.Engine

    (Debug option) When provided in the ingredients list, conjure will print the tests reified from the partial definition. (cf. maxTests, maxSearchTests)

  8. showTheory :: Ingredient

    code-conjure Conjure.Engine

    (Debug option). Shows the underlying theory used in pruning when this is provided in the ingredient list.

  9. showExpr :: Expr -> String

    code-conjure Conjure.Expr

    O(n). Returns a string representation of an expression. Differently from show (:: Expr -> String) this function does not include the type in the output. 

    > putStrLn $ showExpr (one -+- two)
1 + 2

    > putStrLn $ showExpr $ (pp -||- true) -&&- (qq -||- false)
(p || True) && (q || False)

  10. showOpExpr :: String -> Expr -> String

    code-conjure Conjure.Expr

    O(n). Like showPrecExpr but the precedence is taken from the given operator name. 

    > showOpExpr "*" (two -*- three)
"(2 * 3)"

    > showOpExpr "+" (two -*- three)
"2 * 3"
    To imply that the surrounding environment is a function application, use " " as the given operator. 
    > showOpExpr " " (two -*- three)
"(2 * 3)"

Page 138 of many | Previous | Next