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.FreeBoolean

Description

Synopsis

data FreeBoolean a
- = FBValue a
- | FBTrue
- | FBFalse
- | FBNot (FreeBoolean a)
- | FBAnd (FreeBoolean a) (FreeBoolean a)
- | FBOr (FreeBoolean a) (FreeBoolean a)
module Data.Algebra.Boolean.CoBoolean

Documentation

data FreeBoolean a Source #

Free Boolean type, does not perform any optimizations on the structure. Useful only in tests.

Consider using NNF.

Constructors

FBValue a
FBTrue
FBFalse
FBNot (FreeBoolean a)
FBAnd (FreeBoolean a) (FreeBoolean a)
FBOr (FreeBoolean a) (FreeBoolean a)

Instances

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

module Data.Algebra.Boolean.CoBoolean