cyclops.typeclasses.instances

Interface General

public interface General

General instance used to create typeclass instances from Java 8 method references

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	General.GeneralApplicative<CRE,A,B>
static class	General.GeneralComonad<CRE,A,B>
static class	General.GeneralFoldable<CRE,T>
static class	General.GeneralFunctor<CRE,A,B>
static class	General.GeneralMonad<CRE,A,B>
static class	General.GeneralMonadPlus<CRE,T>
static class	General.GeneralMonadZero<CRE,A,B>
static class	General.GeneralPure<CRE,A>
static class	General.GeneralTraverse<CRE,C2,A,B>
static class	General.GeneralTraverseByTraverse<CRE,C2,A,B>
static class	General.SupplierMonadPlus<CRE,T,B>
static class	General.SupplierMonadZero<CRE,A,B>

Method Summary

Modifier and Type	Method and Description
static <CRE,T,R> General.GeneralApplicative<CRE,T,R>	applicative(Functor<CRE> functor, Pure<CRE> pure, java.util.function.BiFunction<? extends Higher<CRE,java.util.function.Function<T,R>>,? extends Higher<CRE,T>,? extends Higher<CRE,R>> applyRef)
static <CRE,T,R> General.GeneralComonad<CRE,T,R>	comonad(Functor<CRE> functor, Pure<CRE> pure, java.util.function.Function<? super Higher<CRE,T>,? extends T> extractFn)
static <CRE,T> General.GeneralFoldable<CRE,T>	foldable(java.util.function.BiFunction<Monoid<T>,Higher<CRE,T>,T> foldRightFn, java.util.function.BiFunction<Monoid<T>,Higher<CRE,T>,T> foldLeftFn)
static <CRE,T,R> General.GeneralFunctor<CRE,T,R>	functor(java.util.function.BiFunction<? extends Higher<CRE,T>,java.util.function.Function<? super T,? extends R>,? extends Higher<CRE,R>> f)
static <CRE,A,B> General.GeneralMonad<CRE,A,B>	monad(Applicative<CRE> applicative, java.util.function.BiFunction<? extends Higher<CRE,A>,java.util.function.Function<? super A,? extends Higher<CRE,B>>,? extends Higher<CRE,B>> bindRef)
static <CRE,A,B> General.GeneralMonadPlus<CRE,A>	monadPlus(Monad<CRE> monad, Monoid<Higher<CRE,?>> monoid)
static <CRE,A,B> General.SupplierMonadPlus<CRE,A,B>	monadPlus(MonadZero<CRE> monad, Monoid<Higher<CRE,A>> monoid)
static <CRE,A,B> General.GeneralMonadZero<CRE,A,B>	monadZero(Monad<CRE> monad, Higher<CRE,A> zero)
static <CRE,A,B> General.SupplierMonadZero<CRE,A,B>	monadZero(Monad<CRE> monad, java.util.function.Supplier<Higher<CRE,A>> zero, java.util.function.BiFunction<Higher<CRE,A>,java.util.function.Predicate<? super A>,Higher<CRE,A>> filterRef)
static <CRE,C2,T,R> Traverse<CRE>	traverse(Applicative<CRE> applicative, java.util.function.BiFunction<Applicative<C2>,Higher<CRE,Higher<C2,T>>,Higher<C2,Higher<CRE,T>>> sequenceFn)
static <CRE,C2,T,R> Traverse<CRE>	traverseByTraverse(Applicative<CRE> applicative, Fn3<Applicative<C2>,java.util.function.Function<T,Higher<C2,R>>,Higher<CRE,T>,Higher<C2,Higher<CRE,R>>> traverseFn)
static <CRE,A> General.GeneralPure<CRE,A>	unit(java.util.function.Function<A,Higher<CRE,A>> unitRef)

Method Detail

functor

static <CRE,T,R> General.GeneralFunctor<CRE,T,R> functor(java.util.function.BiFunction<? extends Higher<CRE,T>,java.util.function.Function<? super T,? extends R>,? extends Higher<CRE,R>> f)

unit

static <CRE,A> General.GeneralPure<CRE,A> unit(java.util.function.Function<A,Higher<CRE,A>> unitRef)

applicative

static <CRE,T,R> General.GeneralApplicative<CRE,T,R> applicative(Functor<CRE> functor,
                                                                 Pure<CRE> pure,
                                                                 java.util.function.BiFunction<? extends Higher<CRE,java.util.function.Function<T,R>>,? extends Higher<CRE,T>,? extends Higher<CRE,R>> applyRef)

monad

static <CRE,A,B> General.GeneralMonad<CRE,A,B> monad(Applicative<CRE> applicative,
                                                     java.util.function.BiFunction<? extends Higher<CRE,A>,java.util.function.Function<? super A,? extends Higher<CRE,B>>,? extends Higher<CRE,B>> bindRef)

monadZero

static <CRE,A,B> General.GeneralMonadZero<CRE,A,B> monadZero(Monad<CRE> monad,
                                                             Higher<CRE,A> zero)

monadZero

static <CRE,A,B> General.SupplierMonadZero<CRE,A,B> monadZero(Monad<CRE> monad,
                                                              java.util.function.Supplier<Higher<CRE,A>> zero,
                                                              java.util.function.BiFunction<Higher<CRE,A>,java.util.function.Predicate<? super A>,Higher<CRE,A>> filterRef)

monadPlus

static <CRE,A,B> General.GeneralMonadPlus<CRE,A> monadPlus(Monad<CRE> monad,
                                                           Monoid<Higher<CRE,?>> monoid)

monadPlus

static <CRE,A,B> General.SupplierMonadPlus<CRE,A,B> monadPlus(MonadZero<CRE> monad,
                                                              Monoid<Higher<CRE,A>> monoid)

comonad

static <CRE,T,R> General.GeneralComonad<CRE,T,R> comonad(Functor<CRE> functor,
                                                         Pure<CRE> pure,
                                                         java.util.function.Function<? super Higher<CRE,T>,? extends T> extractFn)

foldable

static <CRE,T> General.GeneralFoldable<CRE,T> foldable(java.util.function.BiFunction<Monoid<T>,Higher<CRE,T>,T> foldRightFn,
                                                       java.util.function.BiFunction<Monoid<T>,Higher<CRE,T>,T> foldLeftFn)

traverse

static <CRE,C2,T,R> Traverse<CRE> traverse(Applicative<CRE> applicative,
                                           java.util.function.BiFunction<Applicative<C2>,Higher<CRE,Higher<C2,T>>,Higher<C2,Higher<CRE,T>>> sequenceFn)

traverseByTraverse

static <CRE,C2,T,R> Traverse<CRE> traverseByTraverse(Applicative<CRE> applicative,
                                                     Fn3<Applicative<C2>,java.util.function.Function<T,Higher<C2,R>>,Higher<CRE,T>,Higher<C2,Higher<CRE,R>>> traverseFn)