Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data
SExprPrinter atom carriers-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.
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
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.
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.
allSatPrintAlong :: SMTConfig -> Boolsbv Data.SBV In a allSat call, print models as they are found.
-
sbv Data.SBV.Char Is this a printable character? Only works for the Latin1 subset, otherwise returns sFalse.
allSatPrintAlong :: SMTConfig -> Boolsbv Data.SBV.Dynamic In a allSat call, print models as they are found.
allSatPrintAlong :: SMTConfig -> Boolsbv Data.SBV.Internals In a allSat call, print models as they are found.
allSatPrintAlong :: SMTConfig -> Boolsbv Data.SBV.Trans In a allSat call, print models as they are found.
execPrinter :: Printer t a -> a -> [t]text-postgresql Database.PostgreSQL.Printer No documentation available.