djinn-lib-0.0.1.3: Generate Haskell code from a type. Library extracted from djinn package.
Djinn.LJTFormula
newtype Symbol Source #
Constructors
Instances
Methods
(==) :: Symbol -> Symbol -> Bool #
(/=) :: Symbol -> Symbol -> Bool #
compare :: Symbol -> Symbol -> Ordering #
(<) :: Symbol -> Symbol -> Bool #
(<=) :: Symbol -> Symbol -> Bool #
(>) :: Symbol -> Symbol -> Bool #
(>=) :: Symbol -> Symbol -> Bool #
max :: Symbol -> Symbol -> Symbol #
min :: Symbol -> Symbol -> Symbol #
showsPrec :: Int -> Symbol -> ShowS #
show :: Symbol -> String #
showList :: [Symbol] -> ShowS #
data Formula Source #
(==) :: Formula -> Formula -> Bool #
(/=) :: Formula -> Formula -> Bool #
compare :: Formula -> Formula -> Ordering #
(<) :: Formula -> Formula -> Bool #
(<=) :: Formula -> Formula -> Bool #
(>) :: Formula -> Formula -> Bool #
(>=) :: Formula -> Formula -> Bool #
max :: Formula -> Formula -> Formula #
min :: Formula -> Formula -> Formula #
showsPrec :: Int -> Formula -> ShowS #
show :: Formula -> String #
showList :: [Formula] -> ShowS #
(<->) :: Formula -> Formula -> Formula infix 2 Source #
(&) :: Formula -> Formula -> Formula infixl 4 Source #
(|:) :: Formula -> Formula -> Formula infixl 3 Source #
fnot :: Formula -> Formula Source #
false :: Formula Source #
true :: Formula Source #
data ConsDesc Source #
(==) :: ConsDesc -> ConsDesc -> Bool #
(/=) :: ConsDesc -> ConsDesc -> Bool #
compare :: ConsDesc -> ConsDesc -> Ordering #
(<) :: ConsDesc -> ConsDesc -> Bool #
(<=) :: ConsDesc -> ConsDesc -> Bool #
(>) :: ConsDesc -> ConsDesc -> Bool #
(>=) :: ConsDesc -> ConsDesc -> Bool #
max :: ConsDesc -> ConsDesc -> ConsDesc #
min :: ConsDesc -> ConsDesc -> ConsDesc #
showsPrec :: Int -> ConsDesc -> ShowS #
show :: ConsDesc -> String #
showList :: [ConsDesc] -> ShowS #
data Term Source #
(==) :: Term -> Term -> Bool #
(/=) :: Term -> Term -> Bool #
compare :: Term -> Term -> Ordering #
(<) :: Term -> Term -> Bool #
(<=) :: Term -> Term -> Bool #
(>) :: Term -> Term -> Bool #
(>=) :: Term -> Term -> Bool #
max :: Term -> Term -> Term #
min :: Term -> Term -> Term #
showsPrec :: Int -> Term -> ShowS #
show :: Term -> String #
showList :: [Term] -> ShowS #
applys :: Term -> [Term] -> Term Source #
freeVars :: Term -> [Symbol] Source #