band

object band
class Object
trait Matchable
class Any

Value members

Concrete methods

def idempotency[A : Arbitrary](implicit evidence$4: Equal[A], evidence$5: Arbitrary[A], A: Band[A]): Prop
def laws[A : Arbitrary](implicit evidence$6: Equal[A], evidence$7: Arbitrary[A], A: Band[A]): Properties