scalacheck/weaver.scalacheck/Checkers/Prop

Prop

object Prop
Companion
class
class Object
trait Matchable
class Any

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$4`: Applicative[F]): Prop[F, Expectations]