picologic-0.1.1: Utilities for symbolic predicate logic expressions

Safe HaskellSafe-Inferred

Picologic.Parser

Documentation

parseFile :: FilePath -> IO (Either ParseError Expr)Source

parseExpr :: String -> Either ParseError ExprSource

readExpr :: String -> ExprSource