javaslang.algebra

Interface Applicative<TYPE extends Kind2<TYPE,?,?>,T1,T2>

Type Parameters:

TYPE - Type of recursive self-type which Applicative describes

T1 - First type described by this Applicative (usually the error type)

T2 - Second type described by this Applicative (usually the success type)

All Superinterfaces:

Functor<T2>, Kind2<TYPE,T1,T2>

public interface Applicative<TYPE extends Kind2<TYPE,?,?>,T1,T2>
extends Kind2<TYPE,T1,T2>, Functor<T2>

An implementation similar to scalaz's Applicative type. Unlike the 'map' function in Functors, which applies a pure function to a value inside of a context, Applicatives allow a function wrapped inside of a context to be applied to a value inside of a context, returning the result inside of the same context.

Since:

2.0.0

Author:

Daniel Dietrich, Eric Nelson

See Also:

Applicative

Method Summary

Modifier and Type	Method and Description
<U> Applicative<TYPE,List<T1>,U>	ap(Kind2<TYPE,List<T1>,? extends Function<? super T2,? extends U>> f) Applies a function wrapped inside of an Applicative, f, to a value inside of this Applicative.
<U> Applicative<TYPE,T1,U>	map(Function<? super T2,? extends U> f) Applies a function f to the components of this Functor.

Method Detail

ap

<U> Applicative<TYPE,List<T1>,U> ap(Kind2<TYPE,List<T1>,? extends Function<? super T2,? extends U>> f)

Applies a function wrapped inside of an Applicative, f, to a value inside of this Applicative.

Type Parameters:

U - type of the result from this mapping

Parameters:

f - an Applicative containing a function which maps this value

Returns:

an Applicative containing either an error, or the result of the mapping

map

<U> Applicative<TYPE,T1,U> map(Function<? super T2,? extends U> f)

Description copied from interface: Functor

Applies a function f to the components of this Functor.

Specified by:

map in interface Functor<T2>

Type Parameters:

U - 1st component type of the resulting Functor

Parameters:

f - a Function which maps the component of this Functor

Returns:

a new Functor