Prednote.Expressions

Handles parsing of both infix and RPN Pred expressions.

Documentation

data ExprDesc

Is this an infix or RPN expression?

Constructors

Infix

RPN

Instances

Eq ExprDesc

Show ExprDesc

type Error = Text

data Token m a

A single type for both RPN tokens and infix tokens.

operand :: PredM m a -> Token m a

Creates Operands from Pred.

opAnd :: Token m a

The And operator

opOr :: Token m a

The Or operator

opNot :: Token m a

The Not operator

openParen :: Token m a

Open parentheses

closeParen :: Token m a

Close parentheses

parseExpression :: (Functor m, Monad m) => ExprDesc -> [Token m a] -> Either Error (PredM m a)

Parses expressions. Fails if the expression is nonsensical in some way (for example, unbalanced parentheses, parentheses in an RPN expression, or multiple stack values remaining.) Works by first changing infix expressions to RPN ones.