Copyright	(c) Gershom Bazerman Jeff Polakow 2011
License	BSD 3 Clause
Maintainer	gershomb@gmail.com
Stability	experimental
Safe Haskell	Safe
Language	Haskell98

Data.BoolSimplifier

Description

Machinery for representing and simplifying simple propositional formulas. Type families are used to maintain a simple normal form, taking advantage of the duality between "And" and "Or". Additional tools are provided to pull out common atoms in subformulas and otherwise iterate until a simplified fixpoint. Full and general simplification is NP-hard, but the tools here can take typical machine-generated formulas and perform most simplifications that could be spotted and done by hand by a reasonable programmer.

While there are many functions below, only qAtom, andq(s), orq(s), and qNot need be used directly to build expressions. simplifyQueryRep performs a basic simplification, simplifyIons works on expressions with negation to handle their reduction, and fixSimplifyQueryRep takes a function built out of any combination of basic simplifiers (you can write your own ones taking into account any special properties of your atoms) and runs it repeatedly until it ceases to reduce the size of your target expression.

The general notion is either that you build up an expression with these combinators directly, simplify it further, and then transform it to a target semantics, or that an expression in some AST may be converted into a normal form expression using such combinators, and then simplified and transformed back to the original AST.

Here are some simple interactions:

Prelude Data.BoolSimplifier> (qAtom "A") `orq` (qAtom "B")
QOp | fromList [QAtom Pos "A",QAtom Pos "B"] fromList []

Prelude Data.BoolSimplifier> ppQueryRep $ (qAtom "A") `orq` (qAtom "B")
"(A | B)"

Prelude Data.BoolSimplifier> ppQueryRep $ ((qAtom "A") `orq` (qAtom "B") `andq` (qAtom "A"))
"(A)"

Prelude Data.BoolSimplifier> ppQueryRep $ ((qAtom "A") `orq` (qAtom "B") `andq` (qAtom "A" `orq` qAtom "C"))
"((A | B) & (A | C))"

Prelude Data.BoolSimplifier> ppQueryRep $ simplifyQueryRep $ ((qAtom "A") `orq` (qAtom "B") `andq` (qAtom "A" `orq` qAtom "C"))
"((A | (B & C)))"

Synopsis

data QOrTyp
data QAndTyp
data QAtomTyp
type family QFlipTyp t :: *
data QueryRep qtyp a where
- QAtom :: Ord a => a -> QueryRep QAtomTyp a
- QOp :: (Show qtyp, Ord a) => Set (QueryRep QAtomTyp a) -> Set (QueryRep (QFlipTyp qtyp) a) -> QueryRep qtyp a
extractAs :: QueryRep qtyp a -> Set (QueryRep QAtomTyp a)
extractCs :: QueryRep qtyp a -> Set (QueryRep (QFlipTyp qtyp) a)
qOr :: Ord a => Set (QueryRep QAtomTyp a) -> Set (QueryRep QAndTyp a) -> QueryRep QOrTyp a
qAnd :: Ord a => Set (QueryRep QAtomTyp a) -> Set (QueryRep QOrTyp a) -> QueryRep QAndTyp a
class PPQueryRep a where
qop :: (Ord a, Show qtyp, Show (QFlipTyp qtyp), QFlipTyp (QFlipTyp qtyp) ~ qtyp) => Set (QueryRep QAtomTyp a) -> Set (QueryRep (QFlipTyp qtyp) a) -> QueryRep qtyp a
extractAtomCs :: (Ord a, Show qtyp, Show (QFlipTyp qtyp), QFlipTyp (QFlipTyp qtyp) ~ qtyp) => Set (QueryRep qtyp a) -> (Set (QueryRep qtyp a), Set (QueryRep QAtomTyp a))
class HasClause fife qtyp where
andqs :: Ord a => CombineQ a qtyp QAndTyp => [QueryRep qtyp a] -> QueryRep QAndTyp a
orqs :: Ord a => CombineQ a qtyp QOrTyp => [QueryRep qtyp a] -> QueryRep QOrTyp a
class CombineQ a qtyp1 qtyp2 where
simplifyQueryRep :: (Ord a, Show (QFlipTyp qtyp), Show (QFlipTyp (QFlipTyp qtyp)), QFlipTyp (QFlipTyp qtyp) ~ qtyp) => QueryRep qtyp a -> QueryRep qtyp a
getCommonClauseAs :: Ord a => Set (QueryRep fife a) -> Maybe (QueryRep QAtomTyp a, Set (QueryRep fife a), Set (QueryRep fife a))
getCommonClauseCs :: Ord a => Set (QueryRep fife a) -> Maybe (QueryRep (QFlipTyp fife) a, Set (QueryRep fife a), Set (QueryRep fife a))
fixSimplifyQueryRep :: (QueryRep qtyp a -> QueryRep qtyp a) -> QueryRep qtyp a -> QueryRep qtyp a
data Ion a
- = Neg a
- | Pos a
qAtom :: Ord a => a -> QueryRep QAtomTyp (Ion a)
isEmptyQR :: QueryRep qtyp a -> Bool
isConstQR :: QueryRep qtyp a -> Bool
class PPConstQR qtyp where
class QNot qtyp where
- type QNeg qtyp
simplifyIons :: (Ord a, Show (QFlipTyp qtyp), QFlipTyp (QFlipTyp qtyp) ~ qtyp) => QueryRep qtyp (Ion a) -> QueryRep qtyp (Ion a)
maximumByNote :: String -> (a -> a -> Ordering) -> [a] -> a

Documentation

data QOrTyp #

We'll start with three types of formulas: disjunctions, conjunctions, and atoms

Instances

Show QOrTyp #
Instance details Defined in Data.BoolSimplifier Methods showsPrec :: Int -> QOrTyp -> ShowS # show :: QOrTyp -> String # showList :: [QOrTyp] -> ShowS #
QNot QOrTyp #
Instance details Defined in Data.BoolSimplifier Associated Types type QNeg QOrTyp :: * # Methods qNot :: QueryRep QOrTyp (Ion a) -> QueryRep (QNeg QOrTyp) (Ion a) #
PPConstQR QOrTyp #
Instance details Defined in Data.BoolSimplifier Methods ppConstQR :: QueryRep QOrTyp a -> String #
Ord a => CombineQ a QAtomTyp QOrTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAtomTyp a -> QueryRep QOrTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAtomTyp a -> QueryRep QOrTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QOrTyp QAtomTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QOrTyp a -> QueryRep QAtomTyp a -> QueryRep QAndTyp a # orq :: QueryRep QOrTyp a -> QueryRep QAtomTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QOrTyp QOrTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QOrTyp a -> QueryRep QOrTyp a -> QueryRep QAndTyp a # orq :: QueryRep QOrTyp a -> QueryRep QOrTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QOrTyp QAndTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QOrTyp a -> QueryRep QAndTyp a -> QueryRep QAndTyp a # orq :: QueryRep QOrTyp a -> QueryRep QAndTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAndTyp QOrTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAndTyp a -> QueryRep QOrTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAndTyp a -> QueryRep QOrTyp a -> QueryRep QOrTyp a #
PPQueryRep (QueryRep QOrTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QOrTyp (Ion String) -> String #
type QNeg QOrTyp #
Instance details Defined in Data.BoolSimplifier type QNeg QOrTyp = QAndTyp
type QFlipTyp QOrTyp #
Instance details Defined in Data.BoolSimplifier type QFlipTyp QOrTyp = QAndTyp

data QAndTyp #

Instances

Show QAndTyp #
Instance details Defined in Data.BoolSimplifier Methods showsPrec :: Int -> QAndTyp -> ShowS # show :: QAndTyp -> String # showList :: [QAndTyp] -> ShowS #
QNot QAndTyp #
Instance details Defined in Data.BoolSimplifier Associated Types type QNeg QAndTyp :: * # Methods qNot :: QueryRep QAndTyp (Ion a) -> QueryRep (QNeg QAndTyp) (Ion a) #
PPConstQR QAndTyp #
Instance details Defined in Data.BoolSimplifier Methods ppConstQR :: QueryRep QAndTyp a -> String #
Ord a => CombineQ a QAtomTyp QAndTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAtomTyp a -> QueryRep QAndTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAtomTyp a -> QueryRep QAndTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QOrTyp QAndTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QOrTyp a -> QueryRep QAndTyp a -> QueryRep QAndTyp a # orq :: QueryRep QOrTyp a -> QueryRep QAndTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAndTyp QAtomTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAndTyp a -> QueryRep QAtomTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAndTyp a -> QueryRep QAtomTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAndTyp QOrTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAndTyp a -> QueryRep QOrTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAndTyp a -> QueryRep QOrTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAndTyp QAndTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAndTyp a -> QueryRep QAndTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAndTyp a -> QueryRep QAndTyp a -> QueryRep QOrTyp a #
PPQueryRep (QueryRep QAndTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QAndTyp (Ion String) -> String #
type QNeg QAndTyp #
Instance details Defined in Data.BoolSimplifier type QNeg QAndTyp = QOrTyp
type QFlipTyp QAndTyp #
Instance details Defined in Data.BoolSimplifier type QFlipTyp QAndTyp = QOrTyp

data QAtomTyp #

Instances

QNot QAtomTyp #
Instance details Defined in Data.BoolSimplifier Associated Types type QNeg QAtomTyp :: * # Methods qNot :: QueryRep QAtomTyp (Ion a) -> QueryRep (QNeg QAtomTyp) (Ion a) #
HasClause fife QAtomTyp #
Instance details Defined in Data.BoolSimplifier Methods hasClause :: QueryRep fife a -> QueryRep QAtomTyp a -> Bool # stripClause :: QueryRep QAtomTyp a -> QueryRep fife a -> QueryRep fife a #
Ord a => CombineQ a QAtomTyp QAtomTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAtomTyp a -> QueryRep QAtomTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAtomTyp a -> QueryRep QAtomTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAtomTyp QOrTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAtomTyp a -> QueryRep QOrTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAtomTyp a -> QueryRep QOrTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAtomTyp QAndTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAtomTyp a -> QueryRep QAndTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAtomTyp a -> QueryRep QAndTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QOrTyp QAtomTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QOrTyp a -> QueryRep QAtomTyp a -> QueryRep QAndTyp a # orq :: QueryRep QOrTyp a -> QueryRep QAtomTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAndTyp QAtomTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAndTyp a -> QueryRep QAtomTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAndTyp a -> QueryRep QAtomTyp a -> QueryRep QOrTyp a #
PPQueryRep (QueryRep QAtomTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QAtomTyp (Ion String) -> String #
type QNeg QAtomTyp #
Instance details Defined in Data.BoolSimplifier type QNeg QAtomTyp = QAtomTyp

type family QFlipTyp t :: * #

disjunction is the dual of conjunction and vice-versa

Instances

type QFlipTyp QAndTyp #
Instance details Defined in Data.BoolSimplifier type QFlipTyp QAndTyp = QOrTyp
type QFlipTyp QOrTyp #
Instance details Defined in Data.BoolSimplifier type QFlipTyp QOrTyp = QAndTyp

data QueryRep qtyp a where #

A formula is either an atom (of some type, e.g. String).

A non-atomic formula (which is either a disjunction or a conjunction) is n-ary and consists of a Set of atoms and a set of non-atomic subformulas of dual connective, i.e. the non-atomic subformulas of a disjunction must all be conjunctions. The type system enforces this since there is no QFlipTyp instance for QAtomTyp.

Constructors

QAtom :: Ord a => a -> QueryRep QAtomTyp a
QOp :: (Show qtyp, Ord a) => Set (QueryRep QAtomTyp a) -> Set (QueryRep (QFlipTyp qtyp) a) -> QueryRep qtyp a

Instances

Eq a => Eq (QueryRep qtyp a) #
Instance details Defined in Data.BoolSimplifier Methods (==) :: QueryRep qtyp a -> QueryRep qtyp a -> Bool # (/=) :: QueryRep qtyp a -> QueryRep qtyp a -> Bool #
Ord a => Ord (QueryRep qtyp a) #
Instance details Defined in Data.BoolSimplifier Methods compare :: QueryRep qtyp a -> QueryRep qtyp a -> Ordering # (<) :: QueryRep qtyp a -> QueryRep qtyp a -> Bool # (<=) :: QueryRep qtyp a -> QueryRep qtyp a -> Bool # (>) :: QueryRep qtyp a -> QueryRep qtyp a -> Bool # (>=) :: QueryRep qtyp a -> QueryRep qtyp a -> Bool # max :: QueryRep qtyp a -> QueryRep qtyp a -> QueryRep qtyp a # min :: QueryRep qtyp a -> QueryRep qtyp a -> QueryRep qtyp a #
Show a => Show (QueryRep qtyp a) #
Instance details Defined in Data.BoolSimplifier Methods showsPrec :: Int -> QueryRep qtyp a -> ShowS # show :: QueryRep qtyp a -> String # showList :: [QueryRep qtyp a] -> ShowS #
PPQueryRep (QueryRep qtyp String) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep qtyp String -> String #
PPQueryRep (QueryRep QAtomTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QAtomTyp (Ion String) -> String #
PPQueryRep (QueryRep QAndTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QAndTyp (Ion String) -> String #
PPQueryRep (QueryRep QOrTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QOrTyp (Ion String) -> String #

extractAs :: QueryRep qtyp a -> Set (QueryRep QAtomTyp a) #

extractCs :: QueryRep qtyp a -> Set (QueryRep (QFlipTyp qtyp) a) #

qOr :: Ord a => Set (QueryRep QAtomTyp a) -> Set (QueryRep QAndTyp a) -> QueryRep QOrTyp a #

convenience constructors, not particularly smart

qAnd :: Ord a => Set (QueryRep QAtomTyp a) -> Set (QueryRep QOrTyp a) -> QueryRep QAndTyp a #

class PPQueryRep a where #

pretty printer class

Minimal complete definition

ppQueryRep

Methods

ppQueryRep :: a -> String #

Instances

PPQueryRep (QueryRep qtyp String) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep qtyp String -> String #
PPQueryRep (QueryRep QAtomTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QAtomTyp (Ion String) -> String #
PPQueryRep (QueryRep QAndTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QAndTyp (Ion String) -> String #
PPQueryRep (QueryRep QOrTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QOrTyp (Ion String) -> String #

qop :: (Ord a, Show qtyp, Show (QFlipTyp qtyp), QFlipTyp (QFlipTyp qtyp) ~ qtyp) => Set (QueryRep QAtomTyp a) -> Set (QueryRep (QFlipTyp qtyp) a) -> QueryRep qtyp a #

smart constructor for QOp does following optimization: a /\ (a \/ b) <-> a, or dually: a \/ (a /\ b) <-> a

extractAtomCs :: (Ord a, Show qtyp, Show (QFlipTyp qtyp), QFlipTyp (QFlipTyp qtyp) ~ qtyp) => Set (QueryRep qtyp a) -> (Set (QueryRep qtyp a), Set (QueryRep QAtomTyp a)) #

class HasClause fife qtyp where #

QueryReps can be queried for clauses within them, and clauses within them can be extracted.

Minimal complete definition

hasClause, stripClause

Methods

hasClause :: QueryRep fife a -> QueryRep qtyp a -> Bool #

stripClause :: QueryRep qtyp a -> QueryRep fife a -> QueryRep fife a #

Instances

QFlipTyp fife ~ qtyp => HasClause fife qtyp #
Instance details Defined in Data.BoolSimplifier Methods hasClause :: QueryRep fife a -> QueryRep qtyp a -> Bool # stripClause :: QueryRep qtyp a -> QueryRep fife a -> QueryRep fife a #
HasClause fife QAtomTyp #
Instance details Defined in Data.BoolSimplifier Methods hasClause :: QueryRep fife a -> QueryRep QAtomTyp a -> Bool # stripClause :: QueryRep QAtomTyp a -> QueryRep fife a -> QueryRep fife a #

andqs :: Ord a => CombineQ a qtyp QAndTyp => [QueryRep qtyp a] -> QueryRep QAndTyp a #

convenience functions

orqs :: Ord a => CombineQ a qtyp QOrTyp => [QueryRep qtyp a] -> QueryRep QOrTyp a #

class CombineQ a qtyp1 qtyp2 where #

smart constructors for QueryRep

Minimal complete definition

andq, orq

Methods

andq :: QueryRep qtyp1 a -> QueryRep qtyp2 a -> QueryRep QAndTyp a #

orq :: QueryRep qtyp1 a -> QueryRep qtyp2 a -> QueryRep QOrTyp a #

Instances

Ord a => CombineQ a QAtomTyp QAtomTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAtomTyp a -> QueryRep QAtomTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAtomTyp a -> QueryRep QAtomTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAtomTyp QOrTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAtomTyp a -> QueryRep QOrTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAtomTyp a -> QueryRep QOrTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAtomTyp QAndTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAtomTyp a -> QueryRep QAndTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAtomTyp a -> QueryRep QAndTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QOrTyp QAtomTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QOrTyp a -> QueryRep QAtomTyp a -> QueryRep QAndTyp a # orq :: QueryRep QOrTyp a -> QueryRep QAtomTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QOrTyp QOrTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QOrTyp a -> QueryRep QOrTyp a -> QueryRep QAndTyp a # orq :: QueryRep QOrTyp a -> QueryRep QOrTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QOrTyp QAndTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QOrTyp a -> QueryRep QAndTyp a -> QueryRep QAndTyp a # orq :: QueryRep QOrTyp a -> QueryRep QAndTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAndTyp QAtomTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAndTyp a -> QueryRep QAtomTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAndTyp a -> QueryRep QAtomTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAndTyp QOrTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAndTyp a -> QueryRep QOrTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAndTyp a -> QueryRep QOrTyp a -> QueryRep QOrTyp a #
Ord a => CombineQ a QAndTyp QAndTyp #
Instance details Defined in Data.BoolSimplifier Methods andq :: QueryRep QAndTyp a -> QueryRep QAndTyp a -> QueryRep QAndTyp a # orq :: QueryRep QAndTyp a -> QueryRep QAndTyp a -> QueryRep QOrTyp a #

simplifyQueryRep :: (Ord a, Show (QFlipTyp qtyp), Show (QFlipTyp (QFlipTyp qtyp)), QFlipTyp (QFlipTyp qtyp) ~ qtyp) => QueryRep qtyp a -> QueryRep qtyp a #

(a /\ b) \/ (a /\ c) \/ d <-> (a /\ (b \/ c)) \/ d (and also the dual)

getCommonClauseAs :: Ord a => Set (QueryRep fife a) -> Maybe (QueryRep QAtomTyp a, Set (QueryRep fife a), Set (QueryRep fife a)) #

Given a set of QueryReps, extracts a common clause if possible, returning the clause, the terms from which the clause has been extracted, and the rest.

getCommonClauseCs :: Ord a => Set (QueryRep fife a) -> Maybe (QueryRep (QFlipTyp fife) a, Set (QueryRep fife a), Set (QueryRep fife a)) #

fixSimplifyQueryRep :: (QueryRep qtyp a -> QueryRep qtyp a) -> QueryRep qtyp a -> QueryRep qtyp a #

Takes any given simplifier and repeatedly applies it until it ceases to reduce the size of the query reprepresentation.

data Ion a #

We can wrap any underying atom dype in an Ion to give it a "polarity" and add handling of "not" to our simplification tools.

Constructors

Neg a
Pos a

Instances

Eq a => Eq (Ion a) #
Instance details Defined in Data.BoolSimplifier Methods (==) :: Ion a -> Ion a -> Bool # (/=) :: Ion a -> Ion a -> Bool #
Ord a => Ord (Ion a) #
Instance details Defined in Data.BoolSimplifier Methods compare :: Ion a -> Ion a -> Ordering # (<) :: Ion a -> Ion a -> Bool # (<=) :: Ion a -> Ion a -> Bool # (>) :: Ion a -> Ion a -> Bool # (>=) :: Ion a -> Ion a -> Bool # max :: Ion a -> Ion a -> Ion a # min :: Ion a -> Ion a -> Ion a #
Show a => Show (Ion a) #
Instance details Defined in Data.BoolSimplifier Methods showsPrec :: Int -> Ion a -> ShowS # show :: Ion a -> String # showList :: [Ion a] -> ShowS #
PPQueryRep (QueryRep QAtomTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QAtomTyp (Ion String) -> String #
PPQueryRep (QueryRep QAndTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QAndTyp (Ion String) -> String #
PPQueryRep (QueryRep QOrTyp (Ion String)) #
Instance details Defined in Data.BoolSimplifier Methods ppQueryRep :: QueryRep QOrTyp (Ion String) -> String #

qAtom :: Ord a => a -> QueryRep QAtomTyp (Ion a) #

isEmptyQR :: QueryRep qtyp a -> Bool #

isConstQR :: QueryRep qtyp a -> Bool #

class PPConstQR qtyp where #

Minimal complete definition

ppConstQR

Methods

ppConstQR :: QueryRep qtyp a -> String #

Instances

PPConstQR a #
Instance details Defined in Data.BoolSimplifier Methods ppConstQR :: QueryRep a a0 -> String #
PPConstQR QAndTyp #
Instance details Defined in Data.BoolSimplifier Methods ppConstQR :: QueryRep QAndTyp a -> String #
PPConstQR QOrTyp #
Instance details Defined in Data.BoolSimplifier Methods ppConstQR :: QueryRep QOrTyp a -> String #

class QNot qtyp where #

Minimal complete definition

qNot

Associated Types

type QNeg qtyp #

Methods

qNot :: QueryRep qtyp (Ion a) -> QueryRep (QNeg qtyp) (Ion a) #

Instances

QNot QAtomTyp #
Instance details Defined in Data.BoolSimplifier Associated Types type QNeg QAtomTyp :: * # Methods qNot :: QueryRep QAtomTyp (Ion a) -> QueryRep (QNeg QAtomTyp) (Ion a) #
QNot QAndTyp #
Instance details Defined in Data.BoolSimplifier Associated Types type QNeg QAndTyp :: * # Methods qNot :: QueryRep QAndTyp (Ion a) -> QueryRep (QNeg QAndTyp) (Ion a) #
QNot QOrTyp #
Instance details Defined in Data.BoolSimplifier Associated Types type QNeg QOrTyp :: * # Methods qNot :: QueryRep QOrTyp (Ion a) -> QueryRep (QNeg QOrTyp) (Ion a) #

simplifyIons :: (Ord a, Show (QFlipTyp qtyp), QFlipTyp (QFlipTyp qtyp) ~ qtyp) => QueryRep qtyp (Ion a) -> QueryRep qtyp (Ion a) #

 a  /\  (b \/ ~b)  /\  (c \/ d)   <->   a /\ (c \/ d)
 a  /\  ~a         /\  (b \/ c)   <->   False
        (a \/ ~a)  /\  (b \/ ~b)  <->   True  (*)

and duals

N.B. 0-ary \/ is False and 0-ary /\ is True

maximumByNote :: String -> (a -> a -> Ordering) -> [a] -> a #