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)))

Source: Applicative.scala

Linear Supertypes

Apply[Z], Pointed[Z], Pure[Z], Functor[Z], InvariantFunctor[Z], AnyRef, Any

Known Subclasses

Ordering

Alphabetic
By inheritance

Inherited

Hide All
Show all

Applicative
Apply
Pointed
Pure
Functor
InvariantFunctor
AnyRef
Any

Visibility

Public
All

Abstract Value Members

def pure [A] (a: ⇒ A): Z[A]

Attributes
abstract
Definition Classes
Pure

Concrete Value Members

def != (arg0: AnyRef): Boolean

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

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

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

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

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

Definition Classes
Applicative → Apply
def asInstanceOf [T0] : T0

Attributes
final
Definition Classes
Any
def clone (): AnyRef

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

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

Definition Classes
AnyRef → Any
def finalize (): Unit

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

Definition Classes
Applicative → Functor
def getClass (): java.lang.Class[_]

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

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

Attributes
final
Definition Classes
Any
def liftA2 [A, B, C] (a: Z[A], b: Z[B], f: (A, B) ⇒ C): Z[C]
def ne (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def notify (): Unit

Attributes
final
Definition Classes
AnyRef
def notifyAll (): Unit

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

Attributes
final
Definition Classes
AnyRef
def toString (): String

Definition Classes
AnyRef → Any
def wait (): Unit

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

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

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

Attributes
final
Definition Classes
Functor → InvariantFunctor

Inherited from Apply[Z]

Inherited from Pointed[Z]

Inherited from Pure[Z]

Inherited from Functor[Z]

Inherited from InvariantFunctor[Z]

Inherited from AnyRef

Inherited from Any