scalaz-scalacheck-binding/scalaz.scalacheck/ScalazProperties/density

density

object density
class Object
trait Matchable
class Any

Value members

Concrete methods

def densityIsLeftKan[F[_], A, B](implicit F: Density[F, A], F0: Equal[B], fa: Arbitrary[F[A]], fab: Arbitrary[F[A] => B]): Prop
def laws[F[_]](implicit a: Density[F, Int], am: Arbitrary[F[Int]], af: Arbitrary[F[Int] => Int], e: Equal[F[Int]]): Properties
def leftKanIsDensity[F[_], A, B](implicit F: Density[F, A], F0: Equal[F[A]], fa: Arbitrary[F[A]], fab: Arbitrary[F[A] => B]): Prop