picologic-0.3.0: Utilities for symbolic predicate logic expressions

Safe HaskellSafe
LanguageHaskell2010

Picologic.Pretty

Contents

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

Orphan instances