scalaz/scalaz.scalacheck/ScalazProperties/divisible

divisible

object divisible
class Object
trait Matchable
class Any

Value members

Concrete methods

def laws[F[_]](implicit F: Divisible[F], af: Arbitrary[F[Int]], axy: Arbitrary[Int => Int], ef: Equal[F[Int]]): Properties
def leftIdentity[F[_], A](implicit F: Divisible[F], A: Arbitrary[F[A]], E: Equal[F[A]]): Prop
def rightIdentity[F[_], A](implicit F: Divisible[F], A: Arbitrary[F[A]], E: Equal[F[A]]): Prop