dhall-testing/org.dhallj.testing/ArbitraryInstances

ArbitraryInstances

trait ArbitraryInstances
class Object
trait Matchable
class Any

Value members

Abstract methods

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

Concrete methods

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

Concrete fields

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

Implicits

Implicits

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