| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
CoALP.Parser.Parser
- parse :: String -> Either String Program1
- parseWithCount :: String -> Either String (Program1, Integer)
- parseClause :: String -> Either String Clause1
Documentation
parseWithCount :: String -> Either String (Program1, Integer)
Parse program, obtain next variable counter
parseClause :: String -> Either String Clause1
Parse single clause