swarm-0.5.0.0: 2D resource gathering game with programmable robots
LicenseBSD-3-Clause
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.BoolExpr.Simplify

Description

Simplification logic for boolean expressions that is not provided in the boolexpr package.

Documentation

cannotBeTrue :: Ord a => BoolExpr a -> Bool Source #

replace :: Ord a => Map a Bool -> BoolExpr a -> BoolExpr a Source #