# Function1Semigroup

#### trait Function1Semigroup[A, R] extends Semigroup[(A) ⇒ R]

Source
Function.scala
Linear Supertypes
Semigroup[(A) ⇒ R], AnyRef, Any
Known Subclasses
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. Function1Semigroup
2. Semigroup
3. AnyRef
4. Any
1. Hide All
2. Show all
Visibility
1. Public
2. All

### Type Members

1. #### trait SemigroupLaw extends AnyRef

A semigroup in type F must satisfy two laws:

### Concrete Value Members

1. #### final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
2. #### final def !=(arg0: Any): Boolean

Definition Classes
Any
3. #### final def ##(): Int

Definition Classes
AnyRef → Any
4. #### final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
5. #### final def ==(arg0: Any): Boolean

Definition Classes
Any
6. #### def append(f1: (A) ⇒ R, f2: ⇒ (A) ⇒ R): (A) ⇒ R

The binary operation to combine `f1` and `f2`.

The binary operation to combine `f1` and `f2`.

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

Definition Classes
Function1SemigroupSemigroup
7. #### final def apply: Apply[[α](A) ⇒ R]

An scalaz.Apply, that implements `ap` with `append`.

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

Definition Classes
Semigroup
8. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
9. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
10. #### final def compose: Compose[[α, β](A) ⇒ R]

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[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
14. #### final def getClass(): Class[_]

Definition Classes
AnyRef → Any
15. #### def hashCode(): Int

Definition Classes
AnyRef → Any
16. #### final def isInstanceOf[T0]: Boolean

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

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

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

Definition Classes
AnyRef
20. #### def semigroupLaw: SemigroupLaw

Definition Classes
Semigroup
21. #### val semigroupSyntax: SemigroupSyntax[(A) ⇒ R]

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

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

Definition Classes
AnyRef → Any
24. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )