Hets - the Heterogeneous Tool Set
Copyright(c) Eugen Kuksa University of Magdeburg 2017
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerEugen Kuksa <kuksa@iks.cs.ovgu.de>
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Common.DebugParser

Description

A Parser for the TPTP Input Syntax v6.4.0.11 taken from http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html

References

1
G. Sutcliffe et al.: The TPTP language grammar in BNF. http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html

Note: The implemented version is saved at TPTPDocumentsSyntaxBNF.html

Note: The names of the data types are aligned with the names of the grammar rules at this reference page (modulo case).

Documentation

parserTraceId :: String -> CharParser st a -> CharParser st a Source #

parserTraceLineNumber :: String -> CharParser st a -> CharParser st a Source #

parserTraceFull :: String -> CharParser st a -> CharParser st a Source #