Copyright	© Oleg Grenrus 2014
License	MIT
Maintainer	Oleg Grenrus <oleg.grenrus@iki.fi>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Algebra.Boolean.CNF.List

Description

Synopsis

newtype CNF a = CNF {
- unCNF :: [[a]]
}
fromDoubleList :: [[a]] -> CNF a
toDoubleList :: CNF a -> [[a]]
fromNNF :: Negable a => NNF a -> CNF a
module Data.Algebra.Boolean.NormalForm

Documentation

newtype CNF a Source #

Boolean formula in Conjunction Normal Form

Constructors

CNF
Fields unCNF :: [[a]]

Instances

Functor CNF Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods fmap :: (a -> b) -> CNF a -> CNF b # (<$) :: a -> CNF b -> CNF a #
Foldable CNF Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods fold :: Monoid m => CNF m -> m # foldMap :: Monoid m => (a -> m) -> CNF a -> m # foldr :: (a -> b -> b) -> b -> CNF a -> b # foldr' :: (a -> b -> b) -> b -> CNF a -> b # foldl :: (b -> a -> b) -> b -> CNF a -> b # foldl' :: (b -> a -> b) -> b -> CNF a -> b # foldr1 :: (a -> a -> a) -> CNF a -> a # foldl1 :: (a -> a -> a) -> CNF a -> a # toList :: CNF a -> [a] # null :: CNF a -> Bool # length :: CNF a -> Int # elem :: Eq a => a -> CNF a -> Bool # maximum :: Ord a => CNF a -> a # minimum :: Ord a => CNF a -> a # sum :: Num a => CNF a -> a # product :: Num a => CNF a -> a #
CoBoolean1 CNF Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods toBooleanWith :: Boolean c => (a -> c) -> CNF a -> c Source #
NormalForm CNF Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Associated Types type NFConstraint CNF a :: Constraint Source # Methods toNormalForm :: a -> CNF a Source # simplify :: NFConstraint CNF a => (a -> Maybe Bool) -> CNF a -> CNF a Source # fromFreeBoolean :: NFConstraint CNF a => FreeBoolean a -> CNF a Source #
Eq a => Eq (CNF a) Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods (==) :: CNF a -> CNF a -> Bool # (/=) :: CNF a -> CNF a -> Bool #
Ord a => Ord (CNF a) Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods compare :: CNF a -> CNF a -> Ordering # (<) :: CNF a -> CNF a -> Bool # (<=) :: CNF a -> CNF a -> Bool # (>) :: CNF a -> CNF a -> Bool # (>=) :: CNF a -> CNF a -> Bool # max :: CNF a -> CNF a -> CNF a # min :: CNF a -> CNF a -> CNF a #
Read a => Read (CNF a) Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods readsPrec :: Int -> ReadS (CNF a) # readList :: ReadS [CNF a] # readPrec :: ReadPrec (CNF a) # readListPrec :: ReadPrec [CNF a] #
Show a => Show (CNF a) Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods showsPrec :: Int -> CNF a -> ShowS # show :: CNF a -> String # showList :: [CNF a] -> ShowS #
Negable a => Boolean (CNF a) Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods true :: CNF a # false :: CNF a # not :: CNF a -> CNF a # (&&) :: CNF a -> CNF a -> CNF a # (\|\|) :: CNF a -> CNF a -> CNF a # xor :: CNF a -> CNF a -> CNF a # (-->) :: CNF a -> CNF a -> CNF a # (<-->) :: CNF a -> CNF a -> CNF a # and :: Foldable t => t (CNF a) -> CNF a # or :: Foldable t => t (CNF a) -> CNF a # nand :: Foldable t => t (CNF a) -> CNF a # all :: Foldable t => (a0 -> CNF a) -> t a0 -> CNF a # any :: Foldable t => (a0 -> CNF a) -> t a0 -> CNF a # nor :: Foldable t => t (CNF a) -> CNF a #
NFData a => NFData (CNF a) Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods rnf :: CNF a -> () #
CoBoolean a => CoBoolean (CNF a) Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods toBoolean :: Boolean b => CNF a -> b Source #
Negable a => Negable (CNF a) Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List Methods not :: CNF a -> CNF a Source #
type NFConstraint CNF a Source #
Instance details Defined in Data.Algebra.Boolean.CNF.List type NFConstraint CNF a = Negable a

fromDoubleList :: [[a]] -> CNF a Source #

toDoubleList :: CNF a -> [[a]] Source #

fromNNF :: Negable a => NNF a -> CNF a Source #

module Data.Algebra.Boolean.NormalForm