Trait/Object

scalaz

Band

Related Docs: object Band | package scalaz

Permalink

trait Band[F] extends Semigroup[F]

scalaz.Semigroup which is also idempotent, i.e. appending a value with itself results in the same value.

Self Type
Band[F]
Source
Band.scala
See also

scalaz.Band.BandLaw

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Band
  2. Semigroup
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait BandLaw extends SemigroupLaw

    Permalink

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

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

    • idempotency: forall a. append(a, a) == a
  2. trait SemigroupApply extends Apply[[α]F]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    Semigroup
  3. trait SemigroupCompose extends Compose[[α, β]F]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    Semigroup
  4. trait SemigroupLaw extends AnyRef

    Permalink

    A semigroup in type F must satisfy two laws:

    A semigroup in type F must satisfy two laws:

    • closure: ∀ a, b in F, append(a, b) is also in F. This is enforced by the type system.
    • associativity: ∀ a, b, c in F, the equation append(append(a, b), c) = append(a, append(b , c)) holds.
    Definition Classes
    Semigroup

Abstract Value Members

  1. abstract def append(f1: F, f2: ⇒ F): F

    Permalink

    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
    Semigroup

Concrete Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def apply: Apply[[α]F]

    Permalink

    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
  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. def bandLaw: BandLaw

    Permalink
  7. val bandSyntax: BandSyntax[F]

    Permalink
  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. final def compose: Compose[[α, β]F]

    Permalink

    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

  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  16. def multiply1(value: F, n: Int): F

    Permalink

    The default definition exploits idempotency to optimise to O(1)

    The default definition exploits idempotency to optimise to O(1)

    Definition Classes
    BandSemigroup
  17. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  20. def semigroupLaw: SemigroupLaw

    Permalink
    Definition Classes
    Semigroup
  21. val semigroupSyntax: SemigroupSyntax[F]

    Permalink
    Definition Classes
    Semigroup
  22. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  23. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  24. def unfoldlSumOpt[S](seed: S)(f: (S) ⇒ Maybe[(S, F)]): Maybe[F]

    Permalink

    Unfold seed to the left and sum using #append.

    Unfold seed to the left and sum using #append. Semigroups with right absorbing elements may override this method to not unfold more than is necessary to determine the result.

    Definition Classes
    Semigroup
  25. def unfoldrSumOpt[S](seed: S)(f: (S) ⇒ Maybe[(F, S)]): Maybe[F]

    Permalink

    Unfold seed to the right and sum using #append.

    Unfold seed to the right and sum using #append. Semigroups with left absorbing elements may override this method to not unfold more than is necessary to determine the result.

    Definition Classes
    Semigroup
  26. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Semigroup[F]

Inherited from AnyRef

Inherited from Any

Ungrouped