dhall-testing
dhall-testing
org.dhallj.testing
ArbitraryInstances
WellTypedExpr
org.dhallj.testing.instances
dhall-testing
/
org.dhallj.testing
/
ArbitraryInstances
ArbitraryInstances
trait
ArbitraryInstances
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Value members
Implicits
Value members
Abstract methods
def
genNameString
:
Gen
[
String
]
def
genTextString
:
Gen
[
String
]
Concrete methods
def
defaultMaxDepth
:
Int
def
defaultMaxFields
:
Int
def
defaultMaxInterpolated
:
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
]