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.

Exact lookup

1. showDeconstructions :: Ingredient

   code-conjure	Conjure.Engine

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

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

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

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

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

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

7. showTheory :: Ingredient

   code-conjure	Conjure.Engine

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

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

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

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

    code-conjure	Conjure.Expr

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

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

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

Page 139 of many | Previous | Next