boolexpr-0.2: Boolean expressions with various representations and search queries.

Safe Haskell	Safe-Inferred
Language	Haskell98

Data.BoolExpr.Printer

Contents

Printers

Synopsis

boolExprPrinter :: (a -> ShowS) -> BoolExpr a -> ShowS
signedPrinter :: (a -> ShowS) -> Signed a -> ShowS
disjPrinter :: (a -> ShowS) -> Disj a -> ShowS
conjPrinter :: (a -> ShowS) -> Conj a -> ShowS
cnfPrinter :: (a -> ShowS) -> CNF a -> ShowS
dnfPrinter :: (a -> ShowS) -> DNF a -> ShowS

Printers

boolExprPrinter :: (a -> ShowS) -> BoolExpr a -> ShowS Source #

Printer

signedPrinter :: (a -> ShowS) -> Signed a -> ShowS Source #

disjPrinter :: (a -> ShowS) -> Disj a -> ShowS Source #

conjPrinter :: (a -> ShowS) -> Conj a -> ShowS Source #

cnfPrinter :: (a -> ShowS) -> CNF a -> ShowS Source #

dnfPrinter :: (a -> ShowS) -> DNF a -> ShowS Source #