Copyright | © Oleg Grenrus 2014 |
---|---|
License | MIT |
Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
Boolean formula in Disjunction Normal Form
Foldable DNF Source # | |
CoBoolean1 DNF Source # | |
NormalForm DNF Source # | |
Eq a => Eq (DNF a) Source # | |
Ord a => Ord (DNF a) Source # | |
(Ord a, Read a) => Read (DNF a) Source # | |
Show a => Show (DNF a) Source # | |
(Ord a, Negable a) => Boolean (DNF a) Source # | |
NFData a => NFData (DNF a) Source # | |
CoBoolean a => CoBoolean (DNF a) Source # | |
(Ord a, Negable a) => Negable (DNF a) Source # | |
type NFConstraint DNF a Source # | |
fromDoubleList :: Ord a => [[a]] -> DNF a Source #
toDoubleList :: DNF a -> [[a]] Source #