scalaz-core/scalaz/Semigroup

Semigroup

object Semigroup
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

@inline
def apply[F](implicit F: Semigroup[F]): Semigroup[F]
def firstSemigroup[A]: Semigroup[A]

A purely left-biased semigroup.

A purely left-biased semigroup.

def fromIso[F, G](D: IsoSet[F, G])(implicit M: Semigroup[G]): Semigroup[F]
def instance[A](f: (A, => A) => A): Semigroup[A]

Make an associative binary function into an instance.

Make an associative binary function into an instance.

def iterate[F[_], A](a: A)(f: A => A)(implicit F: Applicative[F], m: Semigroup[F[A]]): F[A]

point(a) append (point(f(a)) append (point(f(f(a)))...

point(a) append (point(f(a)) append (point(f(f(a)))...

def lastSemigroup[A]: Semigroup[A]

A purely right-biased semigroup.

A purely right-biased semigroup.

def liftSemigroup[F[_], M](implicit F0: Apply[F], M0: Semigroup[M]): Semigroup[F[M]]

A semigroup for sequencing Apply effects.

A semigroup for sequencing Apply effects.

def maxSemigroup[A](implicit o: Order[A]): Semigroup[A @@ MaxVal]
def minSemigroup[A](implicit o: Order[A]): Semigroup[A @@ MinVal]
def repeat[F[_], A](a: A)(implicit F: Applicative[F], m: Semigroup[F[A]]): F[A]

point(a) append (point(a) append (point(a)...

point(a) append (point(a) append (point(a)...

Implicits

Implicits

@inline
implicit
def firstTaggedSemigroup[A]: Semigroup[A @@ FirstVal]
@inline
implicit
def lastTaggedSemigroup[A]: Semigroup[A @@ LastVal]
@inline
implicit
def maxTaggedSemigroup[A : Order]: Semigroup[A @@ MaxVal]
@inline
implicit
def minTaggedSemigroup[A : Order]: Semigroup[A @@ MinVal]
implicit
val semigroupInvariantFunctor: InvariantFunctor[Semigroup]

Semigroup is an invariant functor.

Semigroup is an invariant functor.