picologic-0.1.2: 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