dhall-testing/org.dhallj.testing.instances

org.dhallj.testing.instances

package org.dhallj.testing.instances

Value members

Concrete methods

def genNameString: Gen[String]
def genTextString: Gen[String]

Inherited methods

def defaultMaxDepth: Int
Inherited from
ArbitraryInstances
def defaultMaxFields: Int
Inherited from
ArbitraryInstances
def genExpr(maxDepth: Int): Gen[Expr]
Inherited from
ArbitraryInstances
def genForType(tpe: Expr): Option[Gen[Expr]]
Inherited from
ArbitraryInstances
def genIdentifier: Gen[Expr]
Inherited from
ArbitraryInstances
def genText(maxDepth: Int): Gen[Expr]
Inherited from
ArbitraryInstances
def genType(maxDepth: Int): Gen[Expr]
Inherited from
ArbitraryInstances
def genValidNameString: Gen[String]
Inherited from
ArbitraryInstances
def isValidName(name: String): Boolean
Inherited from
ArbitraryInstances

Inherited fields

val genOperator: Gen[Operator]
Inherited from
ArbitraryInstances
val genType: Gen[Expr]
Inherited from
ArbitraryInstances
lazy val safeFieldsShrink: Shrink[Map[String, Expr]]
Inherited from
ArbitraryInstances
val safeNameShrink: Shrink[String]
Inherited from
ArbitraryInstances
lazy val safeOptionFieldsShrink: Shrink[Map[String, Option[Expr]]]
Inherited from
ArbitraryInstances

Implicits

Inherited implicits

implicit val arbitraryExpr: Arbitrary[Expr]
Inherited from
ArbitraryInstances
implicit val arbitraryWellTypedExpr: Arbitrary[WellTypedExpr]
Inherited from
ArbitraryInstances
implicit val shrinkExpr: Shrink[Expr]
Inherited from
ArbitraryInstances
implicit val shrinkWellTypedExpr: Shrink[WellTypedExpr]
Inherited from
ArbitraryInstances