scalaz-core/scalaz/Associative/AssociativeLaw

AssociativeLaw

trait AssociativeLaw
class Object
trait Matchable
class Any

Value members

Concrete methods

def leftRight[A, B, C](fa: A =>: B =>: C)(implicit FR: Equal[A =>: B =>: C]): Boolean

Reassociating left and then right is a no-op.

Reassociating left and then right is a no-op.

def rightLeft[A, B, C](fa: A =>: B =>: C)(implicit FL: Equal[A =>: B =>: C]): Boolean

Reassociating right and then left is a no-op.

Reassociating right and then left is a no-op.