tptp-0.1.3.0: Parser and pretty printer for the TPTP language
Copyright(c) Evgenii Kotelnikov 2019-2021
LicenseGPL-3
Maintainerevgeny.kotelnikov@gmail.com
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Data.TPTP.Parse.Text

Description

 
Synopsis

Runners of parsers for TPTP units

parseUnit :: Text -> Result Unit Source #

Run a parser for a single TPTP unit on Text.

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

parseTPTP :: Text -> Result TPTP Source #

Run a parser for a TPTP input on Text.

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.

Runners of parsers for TSTP inputs

parseTSTP :: Text -> Result TSTP Source #

Run a parser for a TSTP input on Text.

parseTSTPOnly :: Text -> Either String TSTP Source #

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

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

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