Data.Algebra.Boolean

Boolean expressions implemented using naive trees

Documentation

type Parser = Parsec Void Text

type CTX = Map Text Bool

Context. Every variable not in context will be treated as False.

data Expr

Instances

Eq Expr

Defined in Data.Algebra.Boolean

Methods

(==) :: Expr -> Expr -> Bool

(/=) :: Expr -> Expr -> Bool

Show Expr

Defined in Data.Algebra.Boolean

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

eval :: CTX -> Expr -> Bool

Evaluate an expression in a context.

expr :: Parser Expr

Parse an expression