picologic-0.3.0: Utilities for symbolic predicate logic expressions

Safe Haskell	Safe
Language	Haskell2010

Picologic.Pretty

Contents

Orphan instances

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 #

Orphan instances

Show Expr Source #
Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Show Solutions Source #
Methods showsPrec :: Int -> Solutions -> ShowS # show :: Solutions -> String # showList :: [Solutions] -> ShowS #