Data.TPTP.Parse.Text

Runners of parsers for TPTP units

parseUnit :: Text -> Result Unit

Run a parser for a single TPTP unit on Text.

parseUnitOnly :: Text -> Either String Unit

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)

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

parseTPTP :: Text -> Result TPTP

Run a parser for a TPTP input on Text.

parseTPTPOnly :: Text -> Either String TPTP

Run a parser for a TPTP input that cannot be resupplied via a Partial result.

parseTPTPWith :: Monad m => m Text -> Text -> m (Result TPTP)

Run a parser for a TPTP input with an initial input string, and a monadic action that can supply more input if needed.

Runners of parsers for TSTP inputs

parseTSTP :: Text -> Result TSTP

Run a parser for a TSTP input on Text.

parseTSTPOnly :: Text -> Either String TSTP

Run a parser for a TSTP input that cannot be resupplied via a Partial result.

parseTSTPWith :: Monad m => m Text -> Text -> m (Result TSTP)

Run a parser for a TSTP input with an initial input string, and a monadic action that can supply more input if needed.