trait ApplicativeSemigroup[F[_], M] extends Semigroup[F[M]]
- Alphabetic
- By Inheritance
- ApplicativeSemigroup
- Semigroup
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
trait
SemigroupLaw
extends AnyRef
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 inF
. This is enforced by the type system. - associativity:
∀ a, b, c
inF
, the equationappend(append(a, b), c) = append(a, append(b , c))
holds.
- Definition Classes
- Semigroup
- closure:
Abstract Value Members
- implicit abstract def F: Applicative[F]
- implicit abstract def M: Semigroup[M]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
append(x: F[M], y: ⇒ F[M]): F[M]
The binary operation to combine
f1
andf2
.The binary operation to combine
f1
andf2
.Implementations should not evaluate the by-name parameter
f2
if result can be determined byf1
.- Definition Classes
- ApplicativeSemigroup → Semigroup
-
final
def
apply: Apply[[α]F[M]]
An scalaz.Apply, that implements
ap
withappend
.An scalaz.Apply, that implements
ap
withappend
. Note that the type parameterα
inApply[({type λ[α]=F})#λ]
is discarded; it is a phantom type. As such, the functor cannot support scalaz.Bind.- Definition Classes
- Semigroup
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
compose: Compose[[α, β]F[M]]
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
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
semigroupLaw: SemigroupLaw
- Definition Classes
- Semigroup
-
val
semigroupSyntax: SemigroupSyntax[F[M]]
- Definition Classes
- Semigroup
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )