gapt
2.20.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.doc/parse

parse

gapt.doc.parse
object parse

Attributes

Source
evalCodeSnippetsInLatex.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
parse.type

Members list

Type members

Classlikes

@FunctionalInterface
trait Parser[+A]

Attributes

Source
evalCodeSnippetsInLatex.scala
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply(contents: String): Document

Attributes

Source
evalCodeSnippetsInLatex.scala
def cliListingCommand: Parser[(String, String)]

Attributes

Source
evalCodeSnippetsInLatex.scala
def linesWhile(pred: String => Boolean): Parser[String]

Attributes

Source
evalCodeSnippetsInLatex.scala
def pure[A](a: A): Parser[A]

Attributes

Source
evalCodeSnippetsInLatex.scala
def regex0(r: Regex): Parser[String]

Attributes

Source
evalCodeSnippetsInLatex.scala
def regex1(r: Regex): Parser[Option[String]]

Attributes

Source
evalCodeSnippetsInLatex.scala
def sat(pred: String => Boolean): Parser[String]

Attributes

Source
evalCodeSnippetsInLatex.scala

Concrete fields

val beginCliListing: Regex

Attributes

Source
evalCodeSnippetsInLatex.scala
val beginSection: Regex

Attributes

Source
evalCodeSnippetsInLatex.scala
val beginTacticsListing: Regex

Attributes

Source
evalCodeSnippetsInLatex.scala
val beginTacticsOutput: String

Attributes

Source
evalCodeSnippetsInLatex.scala
val cliInputLine: Regex

Attributes

Source
evalCodeSnippetsInLatex.scala
val endCliListing: String

Attributes

Source
evalCodeSnippetsInLatex.scala
val endTacticsListing: String

Attributes

Source
evalCodeSnippetsInLatex.scala
val endTacticsOutput: String

Attributes

Source
evalCodeSnippetsInLatex.scala
Generated with