Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  def append(f1: Boolean, f2: ⇒ Boolean): Boolean

   The binary operation to combine f1 and f2.

   The binary operation to combine f1 and f2.

   Implementations should not evaluate the by-name parameter f2 if result can be determined by f1.

   Definition Classes

   disjunction → Semigroup

5.  final def applicative: Applicative[[α]Boolean]

   A monoidal applicative functor, that implements point and ap with the operations zero and append respectively.

   A monoidal applicative functor, that implements point and ap with the operations zero and append respectively. Note that the type parameter α in Applicative[λ[α => F]] is discarded; it is a phantom type. As such, the functor cannot support scalaz.Bind.

   Definition Classes

   Monoid

6.  final def apply: Apply[[α]Boolean]

   An scalaz.Apply, that implements ap with append.

   An scalaz.Apply, that implements ap with append. Note that the type parameter α in Apply[λ[α => F]] is discarded; it is a phantom type. As such, the functor cannot support scalaz.Bind.

   Definition Classes

   Semigroup

7.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8.  final def category: Category[[α, β]Boolean]

   Every Monoid gives rise to a scalaz.Category, for which the type parameters are phantoms.

   Every Monoid gives rise to a scalaz.Category, for which the type parameters are phantoms.

   Definition Classes

   Monoid

   Note

   category.monoid = this

9.  def clone(): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... ) @native()

10.  final def compose: Compose[[α, β]Boolean]

    Every Semigroup gives rise to a scalaz.Compose, for which the type parameters are phantoms.

    Every Semigroup gives rise to a scalaz.Compose, for which the type parameters are phantoms.

    Definition Classes

    Semigroup

    Note

    compose.semigroup = this

11.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

12.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

13.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

14.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

15.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

16.  final def ifEmpty[B](a: Boolean)(t: ⇒ B)(f: ⇒ B)(implicit eq: Equal[Boolean]): B

    Definition Classes

    Monoid

17.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

18.  def isMZero(a: Boolean)(implicit eq: Equal[Boolean]): Boolean

    Whether a == zero.

    Whether a == zero.

    Definition Classes

    Monoid

19.  def monoidLaw: MonoidLaw

    Definition Classes

    Monoid

20.  val monoidSyntax: MonoidSyntax[Boolean]

    Definition Classes

    Monoid

21.  def multiply(value: Boolean, n: Int): Boolean

    For n = 0, zero For n = 1, append(zero, value) For n = 2, append(append(zero, value), value)

    For n = 0, zero For n = 1, append(zero, value) For n = 2, append(append(zero, value), value)

    Definition Classes

    Monoid

22.  def multiply1(value: Boolean, n: Int): Boolean

    For n = 0, value For n = 1, append(value, value) For n = 2, append(append(value, value), value)

    For n = 0, value For n = 1, append(value, value) For n = 2, append(append(value, value), value)

    The default definition uses peasant multiplication, exploiting associativity to only require O(log n) uses of append

    Definition Classes

    Semigroup

23.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

24.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

25.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

26.  final def onEmpty[A, B](a: Boolean)(v: ⇒ B)(implicit eq: Equal[Boolean], mb: Monoid[B]): B

    Definition Classes

    Monoid

27.  final def onNotEmpty[B](a: Boolean)(v: ⇒ B)(implicit eq: Equal[Boolean], mb: Monoid[B]): B

    Definition Classes

    Monoid

28.  def semigroupLaw: SemigroupLaw

    Definition Classes

    Semigroup

29.  val semigroupSyntax: SemigroupSyntax[Boolean]

    Definition Classes

    Semigroup

30.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

31.  def toString(): String

    Definition Classes

    AnyRef → Any

32.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

33.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

34.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

35.  def zero: Boolean

    The identity element for append.

    The identity element for append.

    Definition Classes

    disjunction → Monoid