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

Safe HaskellSafe
LanguageHaskell98

Djinn.LJTFormula

Documentation

newtype Symbol Source #

Constructors

Symbol String 
Instances
Eq Symbol Source # 
Instance details

Defined in Djinn.LJTFormula

Ord Symbol Source # 
Instance details

Defined in Djinn.LJTFormula

Show Symbol Source # 
Instance details

Defined in Djinn.LJTFormula

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

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

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

data Term Source #

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

Show Term Source # 
Instance details

Defined in Djinn.LJTFormula