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.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.