Concurrent booleans. Writing properties with the Cool data type often yields faster searches compared to Bool.
Modulelazy-search-0.1.3.0Haskell2010
Data.Coolean
Proper documentation is TBD
- Packagelazy-search-0.1.3.0
- Exports17
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceCoolean.hs
Overloaded parallel operators
Provides better interoperability between Bool and Cool by overloading operators.
Negation
Commutative conjunction
Commutative disjunction
Parallel implication
Overloaded sequential operators
Sequential conjunction. Does not evaluate second operand unless first is True.
Sequential disjunction. Does not evaluate second operand unless first is True.
Sequential implication. Does not evaluate second operand unless first is True.