djinn-lib-0.0.1.2: Generate Haskell code from a type. Library extracted from djinn package.

Safe HaskellSafe
LanguageHaskell98

Djinn.LJTFormula

Documentation

newtype Symbol #

Constructors

Symbol String 

Instances

(<->) :: Formula -> Formula -> Formula infix 2 #

(&) :: Formula -> Formula -> Formula infixl 4 #

(|:) :: Formula -> Formula -> Formula infixl 3 #

data Term #

Instances

Eq Term # 

Methods

(==) :: Term -> Term -> Bool #

(/=) :: Term -> Term -> Bool #

Ord Term # 

Methods

compare :: Term -> Term -> Ordering #

(<) :: Term -> Term -> Bool #

(<=) :: Term -> Term -> Bool #

(>) :: Term -> Term -> Bool #

(>=) :: Term -> Term -> Bool #

max :: Term -> Term -> Term #

min :: Term -> Term -> Term #

Show Term # 

Methods

showsPrec :: Int -> Term -> ShowS #

show :: Term -> String #

showList :: [Term] -> ShowS #

applys :: Term -> [Term] -> Term #