tptp-0.1.1.0: 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.Lazy

Contents

Description

 
Synopsis

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.

Runners of parsers for TSTP inputs

parseTSTP :: Text -> Result TSTP Source #

Parse a TSTP input from Text.