WeberLogic.Parser

Documentation

data Letter

Constructors

Name Char

Variable Char

Instances

Eq Letter

Show Letter

data LogicExp

Constructors

Not LogicExp

Or LogicExp LogicExp

Xor LogicExp LogicExp

And LogicExp LogicExp

Implies LogicExp LogicExp

Iff LogicExp LogicExp

Nand LogicExp LogicExp

Nor LogicExp LogicExp

Predicate Char [Letter]

Universal Letter LogicExp

Existential LogicExp

Instances

Eq LogicExp

Show LogicExp

parseExp :: Parser LogicExp

parseArg :: Parser [LogicExp]