scalacheck
scalacheck
weaver.scalacheck
CheckConfig
CheckConfig
Checkers
Checkers
Prop
Prop
scalacheck
/
weaver.scalacheck
/
Checkers
/
Prop
Prop
object
Prop
Companion
class
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Value members
Implicits
Value members
Concrete methods
def
apply
[F[_], B](ev:
Prop
[F, B]):
Prop
[F, B]
Implicits
Implicits
implicit
def
unwrapped
[F[_], FE](ev: FE
<:<
F[
Expectations
]):
Prop
[F, FE]
implicit
def
wrap
[F[_]](`evidence$55`:
Applicative
[
F
]):
Prop
[F,
Expectations
]