Portability | portable |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | Safe-Inferred |
Disjunctive Normal Form
Documentation
Disjunctive normal form
Show lit => Show (DNF lit) | |
JoinSemiLattice (DNF lit) | |
MeetSemiLattice (DNF lit) | |
Lattice (DNF lit) | |
BoundedJoinSemiLattice (DNF lit) | |
BoundedMeetSemiLattice (DNF lit) | |
BoundedLattice (DNF lit) | |
Complement lit => Boolean (DNF lit) | |
Complement lit => Complement (DNF lit) |