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

Copyright	(c) Evgenii Kotelnikov 2019
License	GPL-3
Maintainer	evgeny.kotelnikov@gmail.com
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Data.TPTP.Parse.Text.Lazy

Contents

Runners of parsers for TPTP units
Runners of parsers for TPTP inputs

Description

Synopsis

parseUnit :: Text -> Result Unit
parseTPTP :: Text -> Result TPTP

Runners of parsers for TPTP units

parseUnit :: Text -> Result Unit Source #

Parse a single TPTP unit from Text.

Runners of parsers for TPTP inputs

parseTPTP :: Text -> Result TPTP Source #

Parse a TPTP input from Text.