Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. locatedHaskLikePrinter :: SExprPrinter (Located HaskLikeAtom) (SExpr (Located HaskLikeAtom))

   s-cargot	Data.SCargot.Language.HaskLike

   A SExprPrinter for Located values. Works exactly like haskLikePrinter It ignores the location tags when printing the result.

   >>> let (Right dec) = decode locatedHaskLikeParser $ pack "(1 elephant)"
   [SCons (SAtom (At (Span (line 1, column 2) (line 1, column 3)) (HSInt 1))) (SCons (SAtom (At (Span (line 1, column 4) (line 1, column 12)) (HSIdent "elephant"))) SNil)]
   

   >>> encode locatedHaskLikePrinter dec
   "(1 elephant)"
   

2. data SExprPrinter atom carrier

   s-cargot	Data.SCargot.Print

   A SExprPrinter value describes how to print a given value as an s-expression. The carrier type parameter indicates the value that will be printed, and the atom parameter indicates the type that will represent tokens in an s-expression structure.

3. basicPrint :: (atom -> Text) -> SExprPrinter atom (SExpr atom)

   s-cargot	Data.SCargot.Print

   A default SExprPrinter struct that will always swing subsequent expressions onto later lines if they're too long, indenting them by two spaces, and uses a soft maximum width of 80 characters

4. flatPrint :: (atom -> Text) -> SExprPrinter atom (SExpr atom)

   s-cargot	Data.SCargot.Print

   A default SExprPrinter struct that will always print a SExpr as a single line.

5. unconstrainedPrint :: (atom -> Text) -> SExprPrinter atom (SExpr atom)

   s-cargot	Data.SCargot.Print

   A default SExprPrinter struct that will always swing subsequent expressions onto later lines if they're too long, indenting them by two spaces, but makes no effort to keep the pretty-printed sources inside a maximum width. In the case that we want indented printing but don't care about a "maximum" width, we can print more efficiently than in other situations.

6. allSatPrintAlong :: SMTConfig -> Bool

   sbv	Data.SBV

   In a allSat call, print models as they are found.

7. isPrintL1 :: SChar -> SBool

   sbv	Data.SBV.Char

   Is this a printable character? Only works for the Latin1 subset, otherwise returns sFalse.

8. allSatPrintAlong :: SMTConfig -> Bool

   sbv	Data.SBV.Dynamic

   In a allSat call, print models as they are found.

9. allSatPrintAlong :: SMTConfig -> Bool

   sbv	Data.SBV.Internals

   In a allSat call, print models as they are found.

10. allSatPrintAlong :: SMTConfig -> Bool

    sbv	Data.SBV.Trans

    In a allSat call, print models as they are found.

Page 369 of many | Previous | Next