root/scalaz/Band/BandLaw

BandLaw

trait BandLaw extends SemigroupLaw

Band instances must satisfy scalaz.Semigroup.SemigroupLaw and 1 additional law:

  • '''idempotency''': forall a. append(a, a) == a
class Object
trait Matchable
class Any

Value members

Concrete methods

def idempotency(a: 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 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