scalaz/scalaz.scalacheck/ScalazProperties/isEmpty

isEmpty

object isEmpty
class Object
trait Matchable
class Any

Value members

Concrete methods

def emptyIsEmpty[F[_], X](implicit f: IsEmpty[F]): Prop
def emptyPlusIdentity[F[_], X](implicit f: IsEmpty[F], afx: Arbitrary[F[X]]): Prop
def laws[F[_]](implicit F: IsEmpty[F], afx: Arbitrary[F[Int]], ef: Equal[F[Int]]): Properties