Data.BoolExpr.Simplify
Description
Simplification logic for boolean expressions that is not provided in the boolexpr package.
boolexpr
cannotBeTrue :: Ord a => BoolExpr a -> Bool Source #
replace :: Ord a => Map a Bool -> BoolExpr a -> BoolExpr a Source #