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