catalysts
.
checklite
.
testkit
TestSpec
trait
TestSpec
extends
CheckLite
with
testkit.TestSpec
with
LawSpec
with
TestKit
Linear Supertypes
TestKit
,
testkit.TestKit
,
LawKit
,
LawSpec
,
testkit.TestSpec
,
CheckLite
,
SpecBase
[
Prop
,
Properties
],
Properties
,
AnyRef
,
Any
Known Subclasses
TestSuite
Ordering
Alphabetic
By inheritance
Inherited
TestSpec
TestKit
TestKit
LawKit
LawSpec
TestSpec
CheckLite
SpecBase
Properties
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Type Members
implicit
class
AnyOps2
[
A
]
extends
AnyRef
Definition Classes
SpecBase
implicit
class
AnyRefOps
[
A <:
AnyRef
]
extends
AnyRef
Definition Classes
SpecBase
type
AssertResult
=
Unit
Definition Classes
TestKit
→ TestKit
implicit
class
CheckLiteStringOps
extends
SpecBaseStringOps
Definition Classes
CheckLite
type
ExceptionResult
=
Unit
Definition Classes
TestKit
→ TestKit
type
ForAllResult
=
Prop
Definition Classes
TestKit
→ LawKit
type
Prettify
[
T
]
= (
T
) ⇒
Pretty
Definition Classes
LawKit
implicit
class
PropertyOps2
extends
AnyRef
Definition Classes
CheckLite
sealed
class
PropertySpecifier
extends
AnyRef
Definition Classes
Properties
abstract
class
SpecBaseStringOps
extends
AnyRef
Definition Classes
SpecBase
type
Structure
=
Unit
Definition Classes
TestKit
→ LawKit
type
TestBlock
=
Unit
Definition Classes
TestKit
→ TestKit
type
TestEqual
[
A
]
=
Unit
Definition Classes
TestKit
→ TestKit
type
TestNest
=
Unit
Definition Classes
TestKit
→ TestKit
type
TestShow
[
A
]
=
Unit
Definition Classes
TestKit
→ TestKit
Value Members
final
def
!=
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
def
all
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
R
]
(
fun: (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
) ⇒
R
)
:
ForAllResult
Definition Classes
LawSpec
Annotations
@macroImpl
(
...
)
def
all
[
T1
,
T2
,
T3
,
T4
,
T5
,
R
]
(
fun: (
T1
,
T2
,
T3
,
T4
,
T5
) ⇒
R
)
:
ForAllResult
Definition Classes
LawSpec
Annotations
@macroImpl
(
...
)
def
all
[
T1
,
T2
,
T3
,
T4
,
R
]
(
fun: (
T1
,
T2
,
T3
,
T4
) ⇒
R
)
:
ForAllResult
Definition Classes
LawSpec
Annotations
@macroImpl
(
...
)
def
all
[
T1
,
T2
,
T3
,
R
]
(
fun: (
T1
,
T2
,
T3
) ⇒
R
)
:
ForAllResult
Definition Classes
LawSpec
Annotations
@macroImpl
(
...
)
def
all
[
T1
,
T2
,
R
]
(
fun: (
T1
,
T2
) ⇒
R
)
:
ForAllResult
Definition Classes
LawSpec
Annotations
@macroImpl
(
...
)
def
all
[
T1
,
R
]
(
fun: (
T1
) ⇒
R
)
:
ForAllResult
Definition Classes
LawSpec
Annotations
@macroImpl
(
...
)
implicit
def
anyToProp
(
u: ⇒
Any
)
:
Prop
Definition Classes
SpecBase
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
assertEqEqEqImpl
[
A
]
(
actual: ⇒
A
,
expected: ⇒
A
)
(
implicit
show:
Show
[
A
]
,
equal:
Equal
[
A
]
)
:
AssertResult
Definition Classes
TestSpec
→ TestSpec
def
assertEqEqImpl
[
A
]
(
actual: ⇒
A
,
expected: ⇒
A
)
:
AssertResult
Definition Classes
TestSpec
→ TestSpec
def
assertMsgEqEqImpl
[
A
]
(
msg:
String
,
actual: ⇒
A
,
expected: ⇒
A
)
:
AssertResult
Definition Classes
TestSpec
→ TestSpec
def
assert_==
[
A
]
(
msg:
String
,
actual: ⇒
A
,
expected: ⇒
A
)
:
AssertResult
Definition Classes
TestSpec
Annotations
@macroImpl
(
...
)
def
assert_==
[
A
]
(
actual: ⇒
A
,
expected: ⇒
A
)
:
AssertResult
Definition Classes
TestSpec
Annotations
@macroImpl
(
...
)
def
assert_===
[
A
]
(
actual: ⇒
A
,
expected: ⇒
A
)
:
AssertResult
Definition Classes
TestSpec
Annotations
@macroImpl
(
...
)
def
assert_Throw
[
A
,
T <:
Throwable
]
(
actual: ⇒
A
)
:
ExceptionResult
Definition Classes
TestSpec
Annotations
@macroImpl
(
...
)
def
assert_ThrowImpl
[
A
,
T <:
Throwable
]
(
actual: ⇒
A
)
(
implicit
m:
ClassTag
[
T
]
)
:
ExceptionResult
Definition Classes
TestSpec
→ TestSpec
def
block
(
s:
String
)
(
a: ⇒
Any
)
:
Unit
Definition Classes
TestSpec
→ TestSpec
implicit
def
booleanToProp
(
b: ⇒
Boolean
)
:
Prop
Definition Classes
CheckLite
→ SpecBase
def
check
(
x: ⇒
Boolean
)
:
Unit
Definition Classes
SpecBase
def
check
(
prms:
Parameters
)
:
Unit
Definition Classes
Properties
def
checkAll
(
props:
Properties
)
:
Seq
[
ListBuffer
[(
String
,
Prop
)]]
Definition Classes
CheckLite
def
checkAll
(
name:
String
,
props:
Properties
)
:
Seq
[
ListBuffer
[(
String
,
Prop
)]]
Definition Classes
CheckLite
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
fail
(
msg:
String
)
:
Nothing
Definition Classes
SpecBase
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
forAllImpl1
[
T1
,
R
]
(
fun: (
T1
) ⇒
R
)
(
implicit
arbA:
Arbitrary
[
T1
]
,
shrA:
Shrink
[
T1
]
,
pretty1: (
T1
) ⇒
Pretty
)
:
ForAllResult
Definition Classes
TestSpec
→ LawSpec
def
forAllImpl2
[
T1
,
T2
,
R
]
(
fun: (
T1
,
T2
) ⇒
R
)
(
implicit
arbA:
Arbitrary
[
T1
]
,
shrA:
Shrink
[
T1
]
,
pretty1: (
T1
) ⇒
Pretty
,
arbB:
Arbitrary
[
T2
]
,
shrB:
Shrink
[
T2
]
,
pretty2: (
T2
) ⇒
Pretty
)
:
ForAllResult
Definition Classes
TestSpec
→ LawSpec
def
forAllImpl3
[
T1
,
T2
,
T3
,
R
]
(
fun: (
T1
,
T2
,
T3
) ⇒
R
)
(
implicit
arbA:
Arbitrary
[
T1
]
,
shrA:
Shrink
[
T1
]
,
pretty1: (
T1
) ⇒
Pretty
,
arbB:
Arbitrary
[
T2
]
,
shrB:
Shrink
[
T2
]
,
pretty2: (
T2
) ⇒
Pretty
,
arbC:
Arbitrary
[
T3
]
,
shrC:
Shrink
[
T3
]
,
pretty3: (
T3
) ⇒
Pretty
)
:
ForAllResult
Definition Classes
TestSpec
→ LawSpec
def
forAllImpl4
[
T1
,
T2
,
T3
,
T4
,
R
]
(
fun: (
T1
,
T2
,
T3
,
T4
) ⇒
R
)
(
implicit
arbA:
Arbitrary
[
T1
]
,
shrA:
Shrink
[
T1
]
,
pretty1: (
T1
) ⇒
Pretty
,
arbB:
Arbitrary
[
T2
]
,
shrB:
Shrink
[
T2
]
,
pretty2: (
T2
) ⇒
Pretty
,
arbC:
Arbitrary
[
T3
]
,
shrC:
Shrink
[
T3
]
,
pretty3: (
T3
) ⇒
Pretty
,
arbD:
Arbitrary
[
T4
]
,
shrD:
Shrink
[
T4
]
,
pretty4: (
T4
) ⇒
Pretty
)
:
ForAllResult
Definition Classes
TestSpec
→ LawSpec
def
forAllImpl5
[
T1
,
T2
,
T3
,
T4
,
T5
,
R
]
(
fun: (
T1
,
T2
,
T3
,
T4
,
T5
) ⇒
R
)
(
implicit
arbA:
Arbitrary
[
T1
]
,
shrA:
Shrink
[
T1
]
,
pretty1: (
T1
) ⇒
Pretty
,
arbB:
Arbitrary
[
T2
]
,
shrB:
Shrink
[
T2
]
,
pretty2: (
T2
) ⇒
Pretty
,
arbC:
Arbitrary
[
T3
]
,
shrC:
Shrink
[
T3
]
,
pretty3: (
T3
) ⇒
Pretty
,
arbD:
Arbitrary
[
T4
]
,
shrD:
Shrink
[
T4
]
,
pretty4: (
T4
) ⇒
Pretty
,
arbE:
Arbitrary
[
T5
]
,
shrE:
Shrink
[
T5
]
,
pretty5: (
T5
) ⇒
Pretty
)
:
ForAllResult
Definition Classes
TestSpec
→ LawSpec
def
forAllImpl6
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
R
]
(
fun: (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
) ⇒
R
)
(
implicit
arbA:
Arbitrary
[
T1
]
,
shrA:
Shrink
[
T1
]
,
pretty1: (
T1
) ⇒
Pretty
,
arbB:
Arbitrary
[
T2
]
,
shrB:
Shrink
[
T2
]
,
pretty2: (
T2
) ⇒
Pretty
,
arbC:
Arbitrary
[
T3
]
,
shrC:
Shrink
[
T3
]
,
pretty3: (
T3
) ⇒
Pretty
,
arbD:
Arbitrary
[
T4
]
,
shrD:
Shrink
[
T4
]
,
pretty4: (
T4
) ⇒
Pretty
,
arbE:
Arbitrary
[
T5
]
,
shrE:
Shrink
[
T5
]
,
pretty5: (
T5
) ⇒
Pretty
,
arbF:
Arbitrary
[
T6
]
,
shrF:
Shrink
[
T6
]
,
pretty6: (
T6
) ⇒
Pretty
)
:
ForAllResult
Definition Classes
TestSpec
→ LawSpec
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
include
(
ps:
Properties
,
prefix:
String
)
:
Unit
Definition Classes
Properties
def
include
(
ps:
Properties
)
:
Unit
Definition Classes
Properties
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
main
(
args:
Array
[
String
]
)
:
Unit
Definition Classes
Properties
val
name
:
String
Definition Classes
CheckLite
→ Properties
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
nest
(
s:
String
)
(
a: ⇒
Any
)
:
Unit
Definition Classes
TestSpec
→ TestSpec
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
overrideParameters
(
p:
Parameters
)
:
Parameters
Definition Classes
Properties
implicit
def
propToProp
(
p: ⇒
Prop
)
:
Prop
Definition Classes
SpecBase
def
properties
:
Seq
[(
String
,
Prop
)]
Definition Classes
Properties
lazy val
property
:
PropertySpecifier
Definition Classes
Properties
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
TestKit
Inherited from
testkit.TestKit
Inherited from
LawKit
Inherited from
LawSpec
Inherited from
testkit.TestSpec
Inherited from
CheckLite
Inherited from
SpecBase
[
Prop
,
Properties
]
Inherited from
Properties
Inherited from
AnyRef
Inherited from
Any
Ungrouped