scalaz-scalacheck-binding/scalaz.scalacheck/ScalazProperties/category

category

object category
class Object
trait Matchable
class Any

Value members

Concrete methods

def laws[=>:[_, _]](implicit C: Category[=>:], AB: Arbitrary[=>:[Int, Int]], E: Equal[=>:[Int, Int]]): Properties
def leftIdentity[=>:[_, _], A, B](implicit ab: Arbitrary[=>:[A, B]], C: Category[=>:], E: Equal[=>:[A, B]]): Prop
def rightIdentity[=>:[_, _], A, B](implicit ab: Arbitrary[=>:[A, B]], C: Category[=>:], E: Equal[=>:[A, B]]): Prop