tptp-0.1.0.3: A parser and a pretty printer for the TPTP language

Copyright(c) Evgenii Kotelnikov 2019
LicenseGPL-3
Maintainerevgeny.kotelnikov@gmail.com
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Data.TPTP.Parse.Text

Contents

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.