com.aol.cyclops.hkt.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.GeneralTraverse<CRE,C2,A,B>
static class	General.GeneralTraverseByTraverse<CRE,C2,A,B>
static class	General.GeneralUnit<CRE,A>
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, Unit<CRE> unit, java.util.function.BiFunction<? extends com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,R>>,? extends com.aol.cyclops.hkt.alias.Higher<CRE,T>,? extends com.aol.cyclops.hkt.alias.Higher<CRE,R>> applyRef)
static <CRE,T,R> General.GeneralComonad<CRE,T,R>	comonad(Functor<CRE> functor, Unit<CRE> unit, java.util.function.Function<? super com.aol.cyclops.hkt.alias.Higher<CRE,T>,? extends T> extractFn)
static <CRE,T> General.GeneralFoldable<CRE,T>	foldable(java.util.function.BiFunction<com.aol.cyclops.Monoid<T>,com.aol.cyclops.hkt.alias.Higher<CRE,T>,T> foldRightFn, java.util.function.BiFunction<com.aol.cyclops.Monoid<T>,com.aol.cyclops.hkt.alias.Higher<CRE,T>,T> foldLeftFn)
static <CRE,T,R> General.GeneralFunctor<CRE,T,R>	functor(java.util.function.BiFunction<? extends com.aol.cyclops.hkt.alias.Higher<CRE,T>,java.util.function.Function<? super T,? extends R>,? extends com.aol.cyclops.hkt.alias.Higher<CRE,R>> f)
static <CRE,A,B> General.GeneralMonad<CRE,A,B>	monad(Applicative<CRE> applicative, java.util.function.BiFunction<? extends com.aol.cyclops.hkt.alias.Higher<CRE,A>,java.util.function.Function<? super A,? extends com.aol.cyclops.hkt.alias.Higher<CRE,B>>,? extends com.aol.cyclops.hkt.alias.Higher<CRE,B>> bindRef)
static <CRE,A,B> General.GeneralMonadPlus<CRE,A>	monadPlus(Monad<CRE> monad, com.aol.cyclops.Monoid<com.aol.cyclops.hkt.alias.Higher<CRE,?>> monoid)
static <CRE,A,B> General.SupplierMonadPlus<CRE,A,B>	monadPlus(MonadZero<CRE> monad, com.aol.cyclops.Monoid<com.aol.cyclops.hkt.alias.Higher<CRE,A>> monoid)
static <CRE,A,B> General.GeneralMonadZero<CRE,A,B>	monadZero(Monad<CRE> monad, com.aol.cyclops.hkt.alias.Higher<CRE,A> zero)
static <CRE,A,B> General.SupplierMonadZero<CRE,A,B>	monadZero(Monad<CRE> monad, java.util.function.Supplier<com.aol.cyclops.hkt.alias.Higher<CRE,A>> zero, java.util.function.BiFunction<com.aol.cyclops.hkt.alias.Higher<CRE,A>,java.util.function.Predicate<? super A>,com.aol.cyclops.hkt.alias.Higher<CRE,A>> filterRef)
static <CRE,C2,T,R> Traverse<CRE>	traverse(Applicative<CRE> applicative, java.util.function.BiFunction<Applicative<C2>,com.aol.cyclops.hkt.alias.Higher<CRE,com.aol.cyclops.hkt.alias.Higher<C2,T>>,com.aol.cyclops.hkt.alias.Higher<C2,com.aol.cyclops.hkt.alias.Higher<CRE,T>>> sequenceFn)
static <CRE,C2,T,R> Traverse<CRE>	traverseByTraverse(Applicative<CRE> applicative, com.aol.cyclops.util.function.TriFunction<Applicative<C2>,java.util.function.Function<T,com.aol.cyclops.hkt.alias.Higher<C2,R>>,com.aol.cyclops.hkt.alias.Higher<CRE,T>,com.aol.cyclops.hkt.alias.Higher<C2,com.aol.cyclops.hkt.alias.Higher<CRE,R>>> traverseFn)
static <CRE,A> General.GeneralUnit<CRE,A>	unit(java.util.function.Function<A,com.aol.cyclops.hkt.alias.Higher<CRE,A>> unitRef)

Method Detail

functor

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

unit

static <CRE,A> General.GeneralUnit<CRE,A> unit(java.util.function.Function<A,com.aol.cyclops.hkt.alias.Higher<CRE,A>> unitRef)

applicative

static <CRE,T,R> General.GeneralApplicative<CRE,T,R> applicative(Functor<CRE> functor,
                                                                 Unit<CRE> unit,
                                                                 java.util.function.BiFunction<? extends com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,R>>,? extends com.aol.cyclops.hkt.alias.Higher<CRE,T>,? extends com.aol.cyclops.hkt.alias.Higher<CRE,R>> applyRef)

monad

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

monadZero

static <CRE,A,B> General.GeneralMonadZero<CRE,A,B> monadZero(Monad<CRE> monad,
                                                             com.aol.cyclops.hkt.alias.Higher<CRE,A> zero)

monadZero

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

monadPlus

static <CRE,A,B> General.GeneralMonadPlus<CRE,A> monadPlus(Monad<CRE> monad,
                                                           com.aol.cyclops.Monoid<com.aol.cyclops.hkt.alias.Higher<CRE,?>> monoid)

monadPlus

static <CRE,A,B> General.SupplierMonadPlus<CRE,A,B> monadPlus(MonadZero<CRE> monad,
                                                              com.aol.cyclops.Monoid<com.aol.cyclops.hkt.alias.Higher<CRE,A>> monoid)

comonad

static <CRE,T,R> General.GeneralComonad<CRE,T,R> comonad(Functor<CRE> functor,
                                                         Unit<CRE> unit,
                                                         java.util.function.Function<? super com.aol.cyclops.hkt.alias.Higher<CRE,T>,? extends T> extractFn)

foldable

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

traverse

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

traverseByTraverse

static <CRE,C2,T,R> Traverse<CRE> traverseByTraverse(Applicative<CRE> applicative,
                                                     com.aol.cyclops.util.function.TriFunction<Applicative<C2>,java.util.function.Function<T,com.aol.cyclops.hkt.alias.Higher<C2,R>>,com.aol.cyclops.hkt.alias.Higher<CRE,T>,com.aol.cyclops.hkt.alias.Higher<C2,com.aol.cyclops.hkt.alias.Higher<CRE,R>>> traverseFn)