Copyright | (c) Masahiro Sakai 2014-2015 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | non-portable (MultiParamTypeClasses, DeriveDataTypeable, FlexibleContexts, FlexibleInstances) |
Safe Haskell | None |
Language | Haskell2010 |
Boolean expression over a given type of atoms
BoolExpr type
Boolean expression over a given type of atoms
Atom a | |
And [BoolExpr a] | |
Or [BoolExpr a] | |
Not (BoolExpr a) | |
Imply (BoolExpr a) (BoolExpr a) | |
Equiv (BoolExpr a) (BoolExpr a) | |
ITE (BoolExpr a) (BoolExpr a) (BoolExpr a) |
Monad BoolExpr Source # | |
Functor BoolExpr Source # | |
Applicative BoolExpr Source # | |
Foldable BoolExpr Source # | |
Traversable BoolExpr Source # | |
Eval m a Bool => Eval m (BoolExpr a) Bool Source # | |
Eq a => Eq (BoolExpr a) Source # | |
Data a => Data (BoolExpr a) Source # | |
Ord a => Ord (BoolExpr a) Source # | |
Read a => Read (BoolExpr a) Source # | |
Show a => Show (BoolExpr a) Source # | |
NFData a => NFData (BoolExpr a) Source # | |
Hashable a => Hashable (BoolExpr a) Source # | |
Variables a => Variables (BoolExpr a) Source # | |
Boolean (BoolExpr a) Source # | |
Complement (BoolExpr a) Source # | |
MonotoneBoolean (BoolExpr a) Source # | |
IsOrdRel (Expr Integer) QFFormula Source # | |
IsEqRel (Expr Integer) QFFormula Source # | |
IfThenElse (BoolExpr a) (BoolExpr a) Source # | |