scalacheck/weaver.scalacheck/Checkers/Prop

Prop

object Prop
Companion:
class
class Object
trait Matchable
class Any
Prop.type

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]