scalaz

# Applicative

#### trait Applicative [Z[_]] extends Pointed[Z] with Apply[Z]

Defines an applicative functor as described by McBride and Paterson in Applicative Programming with Effects.

All instances must satisfy 4 laws:

• identity
`forall a. a == apply(a, pure(identity))`
• composition
`forall af ag a. apply(apply(a, ag), af) == apply(a, apply(ag, apply(af, pure(compose))))`
• homomorphism
`forall f a. apply(pure(a), pure(f)) == pure(f(a))`
• interchange
`forall af a. apply(pure(a), af) == apply(af, pure(f => f(x)))`
Linear Supertypes
Apply[Z], Pointed[Z], Pure[Z], Functor[Z], InvariantFunctor[Z], AnyRef, Any
Known Subclasses
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. Hide All
2. Show all
1. Applicative
2. Apply
3. Pointed
4. Pure
5. Functor
6. InvariantFunctor
7. AnyRef
8. Any
Visibility
1. Public
2. All

### Abstract Value Members

1. #### def pure [A] (a: ⇒ A): Z[A]

Attributes
abstract
Definition Classes
Pure

### Concrete Value Members

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

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

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

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

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

Attributes
final
Definition Classes
Any
6. #### def apply [A, B] (f: Z[(A) ⇒ B], a: Z[A]): Z[B]

Definition Classes
ApplicativeApply
7. #### def asInstanceOf [T0] : T0

Attributes
final
Definition Classes
Any
8. #### def clone (): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
9. #### def eq (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
10. #### def equals (arg0: Any): Boolean

Definition Classes
AnyRef → Any
11. #### def finalize (): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
12. #### def fmap [A, B] (fa: Z[A], f: (A) ⇒ B): Z[B]

Definition Classes
ApplicativeFunctor
13. #### def getClass (): java.lang.Class[_]

Attributes
final
Definition Classes
AnyRef → Any
14. #### def hashCode (): Int

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

Attributes
final
Definition Classes
Any

17. #### def ne (arg0: AnyRef): Boolean

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

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

Attributes
final
Definition Classes
AnyRef
20. #### def synchronized [T0] (arg0: ⇒ T0): T0

Attributes
final
Definition Classes
AnyRef
21. #### def toString (): String

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

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

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

Attributes
final
Definition Classes
AnyRef
Annotations
@throws()
25. #### def xmap [A, B] (ma: Z[A], f: (A) ⇒ B, g: (B) ⇒ A): Z[B]

Attributes
final
Definition Classes
FunctorInvariantFunctor