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