scalaz-core/scalaz/Category/CategoryLaw

CategoryLaw

trait CategoryLaw extends ComposeLaw
class Object
trait Matchable
class Any

Value members

Concrete methods

def leftIdentity[A, B](ab: A =>: B)(implicit E: Equal[A =>: B]): Boolean

_ <<< id is vacuous.

_ <<< id is vacuous.

def rightIdentity[A, B](ab: A =>: B)(implicit E: Equal[A =>: B]): Boolean

id <<< _ is vacuous.

id <<< _ is vacuous.

Inherited methods

def associative[A, B, C, D](ab: A =>: B, bc: B =>: C, cd: C =>: D)(implicit E: Equal[A =>: D]): Boolean

compose is associative.

compose is associative.

Inherited from
ComposeLaw