| Copyright | (c) Evgenii Kotelnikov 2019 |
|---|---|
| License | GPL-3 |
| Maintainer | evgeny.kotelnikov@gmail.com |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.TPTP.Parse.Text
Contents
Description
Synopsis
- parseUnit :: Text -> Result Unit
- parseUnitOnly :: Text -> Either String Unit
- parseUnitWith :: Monad m => m Text -> Text -> m (Result Unit)
- parseTPTP :: Text -> Result TPTP
- parseTPTPOnly :: Text -> Either String TPTP
- parseTPTPWith :: Monad m => m Text -> Text -> m (Result TPTP)
- parseTSTP :: Text -> Result TSTP
- parseTSTPOnly :: Text -> Either String TSTP
- parseTSTPWith :: Monad m => m Text -> Text -> m (Result TSTP)
Runners of parsers for TPTP units
parseUnitOnly :: Text -> Either String Unit Source #
Run a parser for a single TPTP unit that cannot be resupplied
via a Partial result.
parseUnitWith :: Monad m => m Text -> Text -> m (Result Unit) Source #
Run a parser for a single TPTP unit with an initial input string, and a monadic action that can supply more input if needed.
Runners of parsers for TPTP inputs
parseTPTPOnly :: Text -> Either String TPTP Source #
Run a parser for a TPTP input that cannot be resupplied
via a Partial result.
parseTPTPWith :: Monad m => m Text -> Text -> m (Result TPTP) Source #
Run a parser for a TPTP input with an initial input string, and a monadic action that can supply more input if needed.