LambdaTests

final def !=(arg0: Any): Boolean

def !==[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]

def !==(right: Null): TripleEqualsInvocation[Null]

def !==[T](right: T): TripleEqualsInvocation[T]

final def ##(): Int

final def ==(arg0: Any): Boolean

def ===[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]

def ===(right: Null): TripleEqualsInvocation[Null]

def ===[T](right: T): TripleEqualsInvocation[T]

object FocusTest extends Tag

A ScalaTest tag that enables us to focus attention on particular tests rather than running all of them each time.

def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]

def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

implicit def accept(e: Elem): Parser[Elem]

def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

def after(fun: ⇒ Any): Unit

def alert: Alerter

def any: PackratParser[Char]

final def asInstanceOf[T0]: T0

macro def assert(condition: Boolean, clue: Any): Unit

macro def assert(condition: Boolean): Unit

def assertEval(mech: String, term: String, expected: Exp): Unit

Parse and evaluate term using the specified mechanism (which is assumed to already have been set) then compare to result.

def assertEvalAll(term: String, expected1: Exp, expected2: Exp): Unit

Test the assertion on all available evaluation mechanisms.

def assertEvalAll(term: String, expected: Exp): Unit

Test the assertion on all available evaluation mechanisms.

def assertMessage(term: String, line: Int, col: Int, msg: String): Unit

Compute the tipe of the expression and check to see if the specified message is produced.

def assertMessage(messaging: Messaging, index: Int, message: Message): Unit

Assert that a message at index was produced at a given position.

def assertMessages(messaging: Messaging, messages: (Int, Message)*): Unit

Assert that the given messsaging object has recorded the given messages.

def assertNoMessage(term: String): Unit

Parse and type check the expression and expect no messages.

def assertNotSame(expected: Any)(actual: Any): Unit

Analogous to ScalaTest's assertResult but it uses same to compare the two values instead of equality.

def assertParseCheck[T, U](str: String, parser: Parser[T])(func: (T) ⇒ U): U

Parse a string and if the parse succeeds, pass the result of the parse to a function for further processing or checking.

def assertParseError[T](str: String, parser: Parser[T], line: Int, column: Int, msg: String, iserr: Boolean = false): Unit

Assert that a parsing operation should not result in success.

def assertParseOk[T](str: String, parser: Parser[T], expected: T): Unit

Assert that a parsing operation should be performed correctly.

def assertParseReturn[T](str: String, parser: Parser[T]): T

Parse a string and if the parse succeeds, return the result of the parse.

def assertPrettyE(term: Exp, result: String): Unit

Pretty-print term then compare to result.

def assertPrettyS(term: String, expected: String): Unit

Parse and pretty-print resulting term then compare to result.

def assertResult(expected: Any)(actual: Any): Unit

def assertResult(expected: Any, clue: Any)(actual: Any): Unit

def assertSame(mech: String, e1: Exp, e2: Exp): Unit

Assert true if the two expressions are the same modulo variable renaming, otherwise assert a failure.

def assertSame(expected: Any)(actual: Any): Unit

Analogous to ScalaTest's assertResult but it uses same to compare the two values instead of equality.

def assertType(e: Exp, analysis: Analysis, aname: String, a: (Exp) ⇒ Type, line: Int, col: Int, msg: String): Unit

Compute the type of e using the specified attribute and check to make sure the relevant message is reported.

macro def assertTypeError(code: String): Unit

val assertionsHelper: AssertionsHelper

macro def assume(condition: Boolean, clue: Any): Unit

macro def assume(condition: Boolean): Unit

def before(fun: ⇒ Any): Unit

def cancel(cause: Throwable): Nothing

def cancel(message: String, cause: Throwable): Nothing

def cancel(message: String): Nothing

def cancel(): Nothing

def canon(x: Exp): Exp

Canonicalise an expression so that its binding variable names are given by the depth of their binder in the whole expression.

def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

def check(p: Prop, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig): Unit

def check(p: Prop, prms: Parameters): Unit

def check[A1, A2, A3, A4, A5, A6, P](f: (A1, A2, A3, A4, A5, A6) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty, a6: Arbitrary[A6], s6: Shrink[A6], pp6: (A6) ⇒ Pretty): Unit

def check[A1, A2, A3, A4, A5, P](f: (A1, A2, A3, A4, A5) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty): Unit

def check[A1, A2, A3, A4, P](f: (A1, A2, A3, A4) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty): Unit

def check[A1, A2, A3, P](f: (A1, A2, A3) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty): Unit

def check[A1, A2, P](f: (A1, A2) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty): Unit

def check[A1, P](f: (A1) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty): Unit

def clone(): AnyRef

def commit[T](p: ⇒ Parser[T]): Parser[T]

implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R

implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R

implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R

implicit def constToTupleFunction5[A, B, C, D, E, R](r: (A, B, C, D, E) ⇒ R): (~[~[~[~[A, B], C], D], E]) ⇒ R

implicit def constToTupleFunction6[A, B, C, D, E, F, R](r: (A, B, C, D, E, F) ⇒ R): (~[~[~[~[~[A, B], C], D], E], F]) ⇒ R

lazy val constrainedInt: PackratParser[Int]

def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) ⇒ A): Constraint[A, B]

def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): Constraint[A, B]

def convertEquivalenceToAToBConversionConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: (A) ⇒ B): Constraint[A, B]

def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): Constraint[A, B]

def convertEquivalenceToBToAConversionConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: (B) ⇒ A): Constraint[A, B]

def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]

implicit def convertToEqualizer[T](left: T): Equalizer[T]

def convertToLegacyCheckingEqualizer[T](left: T): LegacyCheckingEqualizer[T]

def convertToLegacyEqualizer[T](left: T): LegacyEqualizer[T]

def defaultEquality[A]: Equality[A]

def elem(e: Elem): Parser[Elem]

def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def err(msg: String): Parser[Nothing]

final def execute: Unit

final def execute(testName: String, configMap: ConfigMap, color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

lazy val exp: PackratParser[Exp]

lazy val exp0: PackratParser[Exp]

lazy val exp1: PackratParser[Exp]

lazy val exp2: PackratParser[Exp]

def expectedTestCount(filter: Filter): Int

def fail(cause: Throwable): Nothing

def fail(message: String, cause: Throwable): Nothing

def fail(message: String): Nothing

def fail(): Nothing

def failExpectedTest[T](expected: T, found: T, description: String = ""): Unit

Fail a test with a message about finding something and expecting something else.

def failInputEnd(in: Input): Unit

Fail a test with a message about reaching the end of the input.

def failParseError(error: Error): Unit

Fail a test with a message detailing a parse error.

def failParseFailure(failure: Failure): Unit

Fail a test with a message detailing a parse failure.

def failure(msg: String): Parser[Nothing]

def finalize(): Unit

implicit val generatorDrivenConfig: PropertyCheckConfig

final def getClass(): Class[_]

def guard[T](p: ⇒ Parser[T]): Parser[T]

def handleWhiteSpace(in: Input): Int

def handleWhiteSpace(source: CharSequence, offset: Int): Int

def hashCode(): Int

lazy val idn: Regex

def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

def info: Informer

def intercept[T <: AnyRef](f: ⇒ Any)(implicit manifest: Manifest[T]): T

final def isInstanceOf[T0]: Boolean

lazy val itype: PackratParser[Type]

def keywords(ext: Regex, kws: Seq[String]): Parser[String]

implicit def literal(s: String): Parser[String]

def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

def lowPriorityConversionCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], cnv: (A) ⇒ B): Constraint[A, B]

def lowPriorityTypeCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], ev: <:<[A, B]): Constraint[A, B]

def markup: Documenter

def maxDiscarded(value: Int): MaxDiscarded

def maxSize(value: Int): MaxSize

def memo[T](p: Parser[T]): PackratParser[T]

def minSize(value: Int): MinSize

def minSuccessful(value: Int): MinSuccessful

def mkList[T]: (~[T, List[T]]) ⇒ List[T]

final def ne(arg0: AnyRef): Boolean

def nestedSuites: IndexedSeq[Suite]

def not[T](p: ⇒ Parser[T]): Parser[Unit]

def note: Notifier

final def notify(): Unit

final def notifyAll(): Unit

lazy val number: Parser[Num]

lazy val op: Parser[Product with Serializable with Op]

def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

def parse[T](p: Parser[T], in: Reader): ParseResult[T]

def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]

implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]

implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]

implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]

implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]

implicit def parseResultToTuple6[A, B, C, D, E, F](p: Parser[~[~[~[~[~[A, B], C], D], E], F]]): PackratParser[(A, B, C, D, E, F)]

def parseString[T](parser: Parser[T], str: String): Either[T, String]

lazy val parser: PackratParser[Exp]

implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]

def pending: PendingNothing

def pendingUntilFixed(f: ⇒ Unit): Unit

def phrase[T](p: Parser[T]): PackratParser[T]

def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

implicit def regex(r: Regex): Parser[String]

def regexnows(r: Regex): Parser[String]

def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]

def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

def rerunner: Option[String]

def result[T](v: ⇒ T): Parser[T]

def run(testName: Option[String], args: Args): Status

final def run(testName: Option[String], reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Status

def runNestedSuites(args: Args): Status

def runTest(testName: String, args: Args): Status

def runTests(testName: Option[String], args: Args): Status

def same(v1: Any, v2: Any): Boolean

Compare two values.

def skipWhitespace: Boolean

def stringToInt(s: String): Either[Int, String]

final val styleName: String

def success[T](v: T): Parser[T]

def suiteId: String

def suiteName: String

final def synchronized[T0](arg0: ⇒ T0): T0

def tags: Map[String, Set[String]]

def test(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

def testDataFor(testName: String, theConfigMap: ConfigMap): TestData

def testNames: Set[String]

def testsFor(unit: Unit): Unit

def toString(): String

def trap[T](f: ⇒ T): Throwable

lazy val ttype: PackratParser[Type]

lazy val ttype0: PackratParser[Type]

def typeCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], ev: <:<[B, A]): Constraint[A, B]

implicit def unconstrainedEquality[A, B](implicit equalityOfA: Equality[A]): Constraint[A, B]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

val whiteSpace: Regex

def withClue[T](clue: Any)(fun: ⇒ T): T

def withFixture(test: NoArgTest): Outcome

def workers(value: Int): Workers

def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]

def assert(o: Option[String]): Unit

def assert(o: Option[String], clue: Any): Unit

def assume(o: Option[String]): Unit

def assume(o: Option[String], clue: Any): Unit

def expect(expected: Any)(actual: Any): Unit

def expect(expected: Any, clue: Any)(actual: Any): Unit

def expectResult(expected: Any)(actual: Any): Unit

def expectResult(expected: Any, clue: Any)(actual: Any): Unit