Data.Algebra.Boolean.FreeBoolean

Documentation

data FreeBoolean a

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

Methods

fmap :: (a -> b) -> FreeBoolean a -> FreeBoolean b

(<$) :: a -> FreeBoolean b -> FreeBoolean a

Foldable 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

Methods

toBooleanWith :: Boolean c => (a -> c) -> FreeBoolean a -> c

NormalForm FreeBoolean

Associated Types

type NFConstraint (FreeBoolean :: * -> *) a :: Constraint

Methods

toNormalForm :: a -> FreeBoolean a

simplify :: NFConstraint FreeBoolean a => (a -> Maybe Bool) -> FreeBoolean a -> FreeBoolean a

fromFreeBoolean :: NFConstraint FreeBoolean a => FreeBoolean a -> FreeBoolean a

Eq a => Eq (FreeBoolean a)

Methods

(==) :: FreeBoolean a -> FreeBoolean a -> Bool

(/=) :: FreeBoolean a -> FreeBoolean a -> Bool

Ord a => Ord (FreeBoolean a)

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)

Methods

readsPrec :: Int -> ReadS (FreeBoolean a)

readList :: ReadS [FreeBoolean a]

readPrec :: ReadPrec (FreeBoolean a)

readListPrec :: ReadPrec [FreeBoolean a]

Show a => Show (FreeBoolean a)

Methods

showsPrec :: Int -> FreeBoolean a -> ShowS

show :: FreeBoolean a -> String

showList :: [FreeBoolean a] -> ShowS

Boolean (FreeBoolean a)

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 => (a -> FreeBoolean a) -> t a -> FreeBoolean a

any :: Foldable t => (a -> FreeBoolean a) -> t a -> FreeBoolean a

nor :: Foldable t => t (FreeBoolean a) -> FreeBoolean a

NFData a => NFData (FreeBoolean a)

Methods

rnf :: FreeBoolean a -> ()

CoBoolean a => CoBoolean (FreeBoolean a)

Methods

toBoolean :: Boolean b => FreeBoolean a -> b

Negable (FreeBoolean a)

Methods

not :: FreeBoolean a -> FreeBoolean a

type NFConstraint FreeBoolean a

type NFConstraint FreeBoolean a = ()

module Data.Algebra.Boolean.CoBoolean