Domain.Math.Expr.Parser

Documentation

parseExpr :: String -> Either String Expr

parseExprM :: Monad m => String -> m Expr

pExpr :: Parser Expr

pRelExpr :: Parser (Relation Expr)

parseEqExpr :: String -> Either String (Equation Expr)

parseBoolEqExpr :: String -> Either String (WithBool (Equation Expr))

parseRelExpr :: String -> Either String (Relation Expr)

parseOrsEqExpr :: String -> Either String (OrList (Equation Expr))

parseOrsRelExpr :: String -> Either String (OrList (Relation Expr))

parseLogicRelExpr :: String -> Either String (Logic (Relation Expr))

parseExprTuple :: String -> Either String [Expr]

Orphan instances

Read Expr

Methods

readsPrec :: Int -> ReadS Expr

readList :: ReadS [Expr]

readPrec :: ReadPrec Expr

readListPrec :: ReadPrec [Expr]

Reference Expr

Methods

makeRef :: IsId n => n -> Ref Expr

makeRefList :: IsId n => n -> Ref [Expr]