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

    code-conjure Conjure

    (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

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

  3. showPatterns :: Ingredient

    code-conjure Conjure

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

  4. showTests :: Ingredient

    code-conjure Conjure

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

  5. showTheory :: Ingredient

    code-conjure Conjure

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

  6. showDefn :: Defn -> String

    code-conjure Conjure.Defn

    Pretty-prints a Defn as a String: 

    > putStr $ showDefn sumDefn
sum []  =  0
sum (x:xs)  =  x + sum xs

  7. 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.

  8. showDeconstructions :: Ingredient

    code-conjure Conjure.Engine

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

  9. 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)

  10. 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)"

Page 138 of many | Previous | Next