picologic-0.3.0: Utilities for symbolic predicate logic expressions

Safe HaskellSafe
LanguageHaskell2010

Picologic.Parser

Documentation

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

parseExpr :: String -> Either ParseError Expr Source #

readExpr :: String -> Expr Source #