A B C E F J L M N O S Z

A

ap(Kind2<TYPE, List<T1>, ? extends Function<? super T2, ? extends U>>) - Method in interface javaslang.algebra.Applicative

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

Applicative<TYPE extends Kind2<TYPE,?,?>,T1,T2> - Interface in javaslang.algebra

An implementation similar to scalaz's Applicative type.

apply(Monad<M, T>) - Method in interface javaslang.algebra.Monad.Lifted1

apply(Monad<M, T1>, Monad<M, T2>) - Method in interface javaslang.algebra.Monad.Lifted2

apply(Monad<M, T1>, Monad<M, T2>, Monad<M, T3>) - Method in interface javaslang.algebra.Monad.Lifted3

apply(Monad<M, T1>, Monad<M, T2>, Monad<M, T3>, Monad<M, T4>) - Method in interface javaslang.algebra.Monad.Lifted4

apply(Monad<M, T1>, Monad<M, T2>, Monad<M, T3>, Monad<M, T4>, Monad<M, T5>) - Method in interface javaslang.algebra.Monad.Lifted5

apply(Monad<M, T1>, Monad<M, T2>, Monad<M, T3>, Monad<M, T4>, Monad<M, T5>, Monad<M, T6>) - Method in interface javaslang.algebra.Monad.Lifted6

apply(Monad<M, T1>, Monad<M, T2>, Monad<M, T3>, Monad<M, T4>, Monad<M, T5>, Monad<M, T6>, Monad<M, T7>) - Method in interface javaslang.algebra.Monad.Lifted7

apply(Monad<M, T1>, Monad<M, T2>, Monad<M, T3>, Monad<M, T4>, Monad<M, T5>, Monad<M, T6>, Monad<M, T7>, Monad<M, T8>) - Method in interface javaslang.algebra.Monad.Lifted8

B

BiFunctor<T1,T2> - Interface in javaslang.algebra

A BiFunctor combines two unrelated Functors.

bimap(Function<? super T1, ? extends U1>, Function<? super T2, ? extends U2>) - Method in interface javaslang.algebra.BiFunctor

Applies two functions f1, f2 to the components of this BiFunctor.

C

combine(A, A) - Method in interface javaslang.algebra.Semigroup

Combines two elements of the same type, which is also returned.

E

endoMonoid() - Static method in interface javaslang.algebra.Monoid

The monoid of endomorphisms under composition.

F

flatMap(Function<? super T, ? extends Monad<M, U>>) - Method in interface javaslang.algebra.Monad

FlatMaps this Monad to a new Monad with different component type.

fold(Monoid<T>, Foldable<T>) - Static method in interface javaslang.algebra.Monoid

Folds the elements of Foldable from the left, starting with monoid.zero() and successively calling monoid::combine.

foldLeft(Monoid<T>, Foldable<T>) - Static method in interface javaslang.algebra.Monoid

Folds the elements of Foldable from the left, starting with monoid.zero() and successively calling monoid::combine.

foldMap(Monoid<U>, Foldable<T>, Function<? super T, ? extends U>) - Static method in interface javaslang.algebra.Monoid

Maps this elements to a Monoid and applies foldLeft, starting with monoid.zero():

foldRight(Monoid<T>, Foldable<T>) - Static method in interface javaslang.algebra.Monoid

Folds this elements from the right, starting with monoid.zero() and successively calling monoid::combine.

Functor<T> - Interface in javaslang.algebra

Defines a Functor by generalizing the map function.

J

javaslang.algebra - package javaslang.algebra

The algebra package contains interfaces used to describe inherent class properties like Applicative, Monoid and Monad.

L

lift(Function<? super T, ? extends R>) - Static method in interface javaslang.algebra.Monad

Lifts a Function to a higher Lifted1 function that operates on Monads.

lift(BiFunction<? super T1, ? super T2, ? extends R>) - Static method in interface javaslang.algebra.Monad

Lifts a BiFunction to a higher Lifted2 function that operates on Monads.

lift(Function3<? super T1, ? super T2, ? super T3, ? extends R>) - Static method in interface javaslang.algebra.Monad

Lifts a Function3 to a higher Lifted3 function that operates on Monads.

lift(Function4<? super T1, ? super T2, ? super T3, ? super T4, ? extends R>) - Static method in interface javaslang.algebra.Monad

Lifts a Function4 to a higher Lifted4 function that operates on Monads.

lift(Function5<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? extends R>) - Static method in interface javaslang.algebra.Monad

Lifts a Function5 to a higher Lifted5 function that operates on Monads.

lift(Function6<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? extends R>) - Static method in interface javaslang.algebra.Monad

Lifts a Function6 to a higher Lifted6 function that operates on Monads.

lift(Function7<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? super T7, ? extends R>) - Static method in interface javaslang.algebra.Monad

Lifts a Function7 to a higher Lifted7 function that operates on Monads.

lift(Function8<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? super T7, ? super T8, ? extends R>) - Static method in interface javaslang.algebra.Monad

Lifts a Function8 to a higher Lifted8 function that operates on Monads.

M

map(Function<? super T2, ? extends U>) - Method in interface javaslang.algebra.Applicative

map(Function<? super T, ? extends U>) - Method in interface javaslang.algebra.Functor

Applies a function f to the components of this Functor.

map(Function<? super T, ? extends U>) - Method in interface javaslang.algebra.Monad

Monad<M extends Kind1<M,?>,T> - Interface in javaslang.algebra

Defines a Monad by generalizing the flatMap function.

Monad.Lifted1<T,R> - Interface in javaslang.algebra

Represents a function T -> R lifted to M<T> -> M<R>.

Monad.Lifted2<T1,T2,R> - Interface in javaslang.algebra

Represents a function (T1, T2) -> R lifted to (M<T1>, M<T2>) -> M<R>.

Monad.Lifted3<T1,T2,T3,R> - Interface in javaslang.algebra

Represents a function (T1, T2, T3) -> R lifted to (M<T1>, M<T2>, M<T3>) -> M<R>.

Monad.Lifted4<T1,T2,T3,T4,R> - Interface in javaslang.algebra

Represents a function (T1, T2, T3, T4) -> R lifted to (M<T1>, M<T2>, M<T3>, M<T4>) -> M<R>.

Monad.Lifted5<T1,T2,T3,T4,T5,R> - Interface in javaslang.algebra

Represents a function (T1, T2, T3, T4, T5) -> R lifted to (M<T1>, M<T2>, M<T3>, M<T4>, M<T5>) -> M<R>.

Monad.Lifted6<T1,T2,T3,T4,T5,T6,R> - Interface in javaslang.algebra

Represents a function (T1, T2, T3, T4, T5, T6) -> R lifted to (M<T1>, M<T2>, M<T3>, M<T4>, M<T5>, M<T6>) -> M<R>.

Monad.Lifted7<T1,T2,T3,T4,T5,T6,T7,R> - Interface in javaslang.algebra

Represents a function (T1, T2, T3, T4, T5, T6, T7) -> R lifted to (M<T1>, M<T2>, M<T3>, M<T4>, M<T5>, M<T6>, M<T7>) -> M<R>.

Monad.Lifted8<T1,T2,T3,T4,T5,T6,T7,T8,R> - Interface in javaslang.algebra

Represents a function (T1, T2, T3, T4, T5, T6, T7, T8) -> R lifted to (M<T1>, M<T2>, M<T3>, M<T4>, M<T5>, M<T6>, M<T7>, M<T8>) -> M<R>.

Monoid<A> - Interface in javaslang.algebra

A Monoid is a Semigroup (types with an associative binary operation) that has an identity element zero.

N

narrow() - Method in interface javaslang.algebra.Monad

Pulls the monadic instance of type M<?> out of this Monad view.

O

of(List<T>) - Static method in interface javaslang.algebra.Monad

of(A, Semigroup<A>) - Static method in interface javaslang.algebra.Monoid

Factory method for monoids, taking a zero and a Semigroup.

S

Semigroup<A> - Interface in javaslang.algebra

A Semigroup is a type with an associative binary operation Semigroup.combine(Object, Object).

Z

zero() - Method in interface javaslang.algebra.Monoid

The unique neutral element regarding Semigroup.combine(Object, Object).

A B C E F J L M N O S Z