BabelParser
gapt.formats.babel.BabelParser
object BabelParser
Attributes
- Source
- BabelParser.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
BabelParser.type
Members list
Value members
Concrete methods
Parses text as a lambda expression, or throws an exception.
Parses text as a formula, or throws an exception.
def tryParse(text: String, astTransformer: Expr => Expr)(implicit sig: BabelSignature): Either[BabelParseError, Expr]
Parses text as a lambda expression, or returns a parse error.
Parses text as a lambda expression, or returns a parse error.
Value parameters
- astTransformer
-
Function to apply to the Babel AST before type inference.
- sig
-
Babel signature that specifies which free variables are constants.
Attributes
- Source
- BabelParser.scala
def tryParseLabelledSequent(text: String, astTransformer: Expr => Expr)(implicit sig: BabelSignature): Either[BabelParseError, Sequent[(String, Formula)]]
Attributes
- Source
- BabelParser.scala
def tryParseSequent(text: String, astTransformer: Expr => Expr)(implicit sig: BabelSignature): Either[BabelParseError, Sequent[Expr]]
Attributes
- Source
- BabelParser.scala
Attributes
- Source
- BabelParser.scala
In this article