Data.Prednote.Expressions.RPN

Postfix, or RPN, expression parsing.

This module parses RPN expressions where the operands are predicates and the operators are one of and, or, or not, where and and or are binary and not is unary.

Documentation

type Error = Text

data RPNToken a

Constructors

TokOperand (Pdct a)

TokOperator Operator

data Operator

Constructors

OpAnd

OpOr

OpNot

Instances

Show Operator

pushOperand :: Pdct a -> [Pdct a] -> [Pdct a]

pushOperator :: Operator -> [Pdct a] -> Either Error [Pdct a]

pushToken :: [Pdct a] -> RPNToken a -> Either Error [Pdct a]

parseRPN :: Foldable f => f (RPNToken a) -> Either Error (Pdct a)

Parses an RPN expression and returns the resulting Pdct. Fails if there are no operands left on the stack or if there are multiple operands left on the stack; the stack must contain exactly one operand in order to succeed.