scalacheck
scalacheck
API
weaver.scalacheck
CheckConfig
CheckConfig
Checkers
PartiallyAppliedForall
forall
Checkers
Prop
Prop
scalacheck
/
weaver.scalacheck
/
Checkers
/
Prop
Prop
weaver.scalacheck.Checkers$.Prop$
See the
Prop
companion trait
object
Prop
Attributes
Companion:
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Prop
.type
Clear all
Members list
Concise view
Value members
Concrete methods
def
apply
[
F
[
_
],
B
](
implicit
ev
:
Prop
[
F
,
B
]):
Prop
[
F
,
B
]
Implicits
Implicits
implicit
def
unwrapped
[
F
[
_
],
FE
](
implicit
ev
:
FE
<:<
F
[
Expectations
]):
Prop
[
F
,
FE
]
implicit
def
wrap
[
F
[
_
] :
Applicative
]:
Prop
[
F
,
Expectations
]