scalaprops-all
API
Generated with
scalaprops-all/scalaprops/scalaprops.scalazlaws/divisible

divisible

scalaprops.scalazlaws.divisible
object divisible

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
divisible.type

Members list

Value members

Concrete methods

def all[F[_] : Divisible](implicit evidence$1: Divisible[F], G: Gen[F[Int]], E: Equal[F[Int]]): Properties[ScalazLaw]
def laws[F[_] : Divisible](implicit evidence$1: Divisible[F], G: Gen[F[Int]], E: Equal[F[Int]]): Properties[ScalazLaw]
def leftIdentity[F[_], A](implicit F: Divisible[F], G: Gen[F[A]], E: Equal[F[A]]): Property
def rightIdentity[F[_], A](implicit F: Divisible[F], G: Gen[F[A]], E: Equal[F[A]]): Property
Generated with