Hoogle Search

Within LTS Haskell 24.37 (ghc-9.10.3)

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

  1. showTimeOffset :: ZonedTime -> Text

    co-log Colog.Message

    Shows time in the following format: 

    >>> showTimeOffset $ C.utcToZonedTime (C.hoursToTimeZone (-2)) (C.UTCTime (C.fromGregorian 2019 12 29) (C.secondsToDiffTime 3600 * 22))
"[29 Dec 2019 20:00:00.000 -02:00] "

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

  3. showDeconstructions :: Ingredient

    code-conjure Conjure

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

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

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

  6. showTheory :: Ingredient

    code-conjure Conjure

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

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

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

  9. showDeconstructions :: Ingredient

    code-conjure Conjure.Engine

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

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

Page 138 of many | Previous | Next