| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Ideas.Common.Predicate
Description
Representation for predicates
Synopsis
- data Predicate a
- predicate :: (a -> Bool) -> Predicate a
- predicateView :: View a b -> Predicate a
- evalPredicate :: Predicate a -> a -> Bool
- class BoolValue a where
- class BoolValue a => Boolean a where
- ands :: Boolean a => [a] -> a
- ors :: Boolean a => [a] -> a
- implies :: Boolean a => a -> a -> a
- equivalent :: Boolean a => a -> a -> a
Predicate representation
predicateView :: View a b -> Predicate a Source #
evalPredicate :: Predicate a -> a -> Bool Source #
Exports from Boolean algebra
class BoolValue a => Boolean a where Source #
Minimal complete definition
equivalent :: Boolean a => a -> a -> a Source #