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 Negation Normal Form
Boolean
operations will perform transformations as below:
Functor NNF Source # | |
Foldable NNF Source # | |
CoBoolean1 NNF Source # | |
NormalForm NNF Source # | |
Eq a => Eq (NNF a) Source # | |
Ord a => Ord (NNF a) Source # | |
Read a => Read (NNF a) Source # | |
Show a => Show (NNF a) Source # | |
Negable a => Boolean (NNF a) Source # | |
NFData a => NFData (NNF a) Source # | |
CoBoolean a => CoBoolean (NNF a) Source # | |
Negable a => Negable (NNF a) Source # | |
type NFConstraint NNF a Source # | |