picologic-0.1.2: Utilities for symbolic predicate logic expressions

Safe HaskellSafe
LanguageHaskell2010

Picologic.Pretty

Synopsis

Documentation

ppExprU :: Expr -> Doc Source

Pretty print with unicode symbols.

ppExprA :: Expr -> Doc Source

Pretty print with ascii symbols.

ppExprLisp :: Expr -> Doc Source

Pretty print into S-Expressions

ppSolutions :: Solutions -> String Source