Package javaslang.algebra

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

See: Description

Interface Summary

Interface	Description
Applicative<TYPE extends Kind2<TYPE,?,?>,T1,T2>	An implementation similar to scalaz's Applicative type.
BiFunctor<T1,T2>	A BiFunctor combines two unrelated Functors.
Functor<T>	Defines a Functor by generalizing the map function.
Monad<M extends Kind1<M,?>,T>	Defines a Monad by generalizing the flatMap function.
Monad.Lifted1<T,R>	Represents a function T -> R lifted to M<T> -> M<R>.
Monad.Lifted2<T1,T2,R>	Represents a function (T1, T2) -> R lifted to (M<T1>, M<T2>) -> M<R>.
Monad.Lifted3<T1,T2,T3,R>	Represents a function (T1, T2, T3) -> R lifted to (M<T1>, M<T2>, M<T3>) -> M<R>.
Monad.Lifted4<T1,T2,T3,T4,R>	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>	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>	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>	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>	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>	A Monoid is a Semigroup (types with an associative binary operation) that has an identity element zero.
Semigroup<A>	A Semigroup is a type with an associative binary operation combine(Object, Object).

Package javaslang.algebra Description

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

Since:

1.1.0