scalaz-core/scalaz/SemiLattice/SemiLatticeLaw

SemiLatticeLaw

trait SemiLatticeLaw extends BandLaw
trait BandLaw
class Object
trait Matchable
class Any

Value members

Concrete methods

def commutative(a: F, b: F)(implicit F: Equal[F]): Boolean

Inherited methods

def associative(f1: F, f2: F, f3: F)(implicit F: Equal[F]): Boolean
Inherited from
SemigroupLaw
def idempotency(a: F)(implicit F: Equal[F]): Boolean
Inherited from
BandLaw
def unfoldlSumOptConsistency[S](s: S, f: S => Maybe[(S, F)])(implicit E: Equal[F]): Boolean
Inherited from
SemigroupLaw
def unfoldrSumOptConsistency[S](s: S, f: S => Maybe[(F, S)])(implicit E: Equal[F]): Boolean
Inherited from
SemigroupLaw