Safe Haskell	Safe
Language	Haskell98

Djinn.LJTFormula

Documentation

Constructors

Instances

Eq Symbol Source #
Instance details Defined in Djinn.LJTFormula Methods (==) :: Symbol -> Symbol -> Bool Source # (/=) :: Symbol -> Symbol -> Bool Source #
Ord Symbol Source #
Instance details Defined in Djinn.LJTFormula Methods compare :: Symbol -> Symbol -> Ordering Source # (<) :: Symbol -> Symbol -> Bool Source # (<=) :: Symbol -> Symbol -> Bool Source # (>) :: Symbol -> Symbol -> Bool Source # (>=) :: Symbol -> Symbol -> Bool Source # max :: Symbol -> Symbol -> Symbol Source # min :: Symbol -> Symbol -> Symbol Source #
Show Symbol Source #
Instance details Defined in Djinn.LJTFormula Methods showsPrec :: Int -> Symbol -> ShowS Source # show :: Symbol -> String Source # showList :: [Symbol] -> ShowS Source #

Constructors

Instances

Eq Formula Source #
Instance details Defined in Djinn.LJTFormula Methods (==) :: Formula -> Formula -> Bool Source # (/=) :: Formula -> Formula -> Bool Source #
Ord Formula Source #
Instance details Defined in Djinn.LJTFormula Methods compare :: Formula -> Formula -> Ordering Source # (<) :: Formula -> Formula -> Bool Source # (<=) :: Formula -> Formula -> Bool Source # (>) :: Formula -> Formula -> Bool Source # (>=) :: Formula -> Formula -> Bool Source # max :: Formula -> Formula -> Formula Source # min :: Formula -> Formula -> Formula Source #
Show Formula Source #
Instance details Defined in Djinn.LJTFormula Methods showsPrec :: Int -> Formula -> ShowS Source # show :: Formula -> String Source # showList :: [Formula] -> ShowS Source #

Constructors

Instances

Eq ConsDesc Source #
Instance details Defined in Djinn.LJTFormula Methods (==) :: ConsDesc -> ConsDesc -> Bool Source # (/=) :: ConsDesc -> ConsDesc -> Bool Source #
Ord ConsDesc Source #
Instance details Defined in Djinn.LJTFormula Methods compare :: ConsDesc -> ConsDesc -> Ordering Source # (<) :: ConsDesc -> ConsDesc -> Bool Source # (<=) :: ConsDesc -> ConsDesc -> Bool Source # (>) :: ConsDesc -> ConsDesc -> Bool Source # (>=) :: ConsDesc -> ConsDesc -> Bool Source # max :: ConsDesc -> ConsDesc -> ConsDesc Source # min :: ConsDesc -> ConsDesc -> ConsDesc Source #
Show ConsDesc Source #
Instance details Defined in Djinn.LJTFormula Methods showsPrec :: Int -> ConsDesc -> ShowS Source # show :: ConsDesc -> String Source # showList :: [ConsDesc] -> ShowS Source #

Constructors

Instances

Eq Term Source #
Instance details Defined in Djinn.LJTFormula Methods (==) :: Term -> Term -> Bool Source # (/=) :: Term -> Term -> Bool Source #
Ord Term Source #
Instance details Defined in Djinn.LJTFormula Methods compare :: Term -> Term -> Ordering Source # (<) :: Term -> Term -> Bool Source # (<=) :: Term -> Term -> Bool Source # (>) :: Term -> Term -> Bool Source # (>=) :: Term -> Term -> Bool Source # max :: Term -> Term -> Term Source # min :: Term -> Term -> Term Source #
Show Term Source #
Instance details Defined in Djinn.LJTFormula Methods showsPrec :: Int -> Term -> ShowS Source # show :: Term -> String Source # showList :: [Term] -> ShowS Source #