com.aol.cyclops.hkt.typeclasses.monad

Interface Applicative<CRE>

All Superinterfaces:

Functor<CRE>, Unit<CRE>

All Known Subinterfaces:

Monad<CRE>, MonadPlus<CRE>, MonadZero<CRE>, Traverse<CRE>, TraverseBySequence<CRE>, TraverseByTraverse<CRE>

All Known Implementing Classes:

General.GeneralApplicative, General.GeneralMonad, General.GeneralMonadPlus, General.GeneralMonadZero, General.GeneralTraverse, General.GeneralTraverseByTraverse, General.SupplierMonadPlus, General.SupplierMonadZero

public interface Applicative<CRE>
extends Functor<CRE>, Unit<CRE>

Method Summary

Modifier and Type	Method and Description
<T,R> com.aol.cyclops.hkt.alias.Higher<CRE,R>	ap(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,R>> fn, com.aol.cyclops.hkt.alias.Higher<CRE,T> apply)
default <T,T2,R> com.aol.cyclops.hkt.alias.Higher<CRE,R>	ap2(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,java.util.function.Function<T2,R>>> fn, com.aol.cyclops.hkt.alias.Higher<CRE,T> apply, com.aol.cyclops.hkt.alias.Higher<CRE,T2> apply2)
default <T,T2,T3,R> com.aol.cyclops.hkt.alias.Higher<CRE,R>	ap3(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,java.util.function.Function<T2,java.util.function.Function<T3,R>>>> fn, com.aol.cyclops.hkt.alias.Higher<CRE,T> apply, com.aol.cyclops.hkt.alias.Higher<CRE,T2> apply2, com.aol.cyclops.hkt.alias.Higher<CRE,T3> apply3)
default <T,T2,R> com.aol.cyclops.hkt.alias.Higher<CRE,R>	apBiFn(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.BiFunction<T,T2,R>> fn, com.aol.cyclops.hkt.alias.Higher<CRE,T> apply, com.aol.cyclops.hkt.alias.Higher<CRE,T2> apply2) The default implementation of apBiFn is less efficient than ap2 (extra map operation)
static <T1,T2,R> java.util.function.Function<T1,java.util.function.Function<T2,R>>	curry2(java.util.function.BiFunction<T1,T2,R> biFunc)
static <CRE,T,R> com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,R>>	narrow(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<? super T,? extends R>> broad) Narrow the co/contra variance on Function stored within a HKT encoded type
static <CRE,T,T2,R> com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,java.util.function.Function<T2,R>>>	narrow2(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<? super T,? extends java.util.function.Function<? super T2,? extends R>>> broad) Narrow the co/contra variance on Function stored within a HKT encoded type
static <CRE,T,T2,T3,R> com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,java.util.function.Function<T2,java.util.function.Function<T3,R>>>>	narrow3(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<? super T,? extends java.util.function.Function<? super T2,? extends java.util.function.Function<? super T3,? extends R>>>> broad) Narrow the co/contra variance on Function stored within a HKT encoded type
static <CRE,T,T2,R> com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.BiFunction<T,T2,R>>	narrowBiFn(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.BiFunction<? super T,? super T2,? extends R>> fn, com.aol.cyclops.hkt.alias.Higher<CRE,T> apply, com.aol.cyclops.hkt.alias.Higher<CRE,T2> broad) Narrow the co/contra variance on BiFunction stored within a HKT encoded type

Methods inherited from interface com.aol.cyclops.hkt.typeclasses.functor.Functor

lift, map, mapRev, peek

Methods inherited from interface com.aol.cyclops.hkt.typeclasses.Unit

unit

Method Detail

narrow

static <CRE,T,R> com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,R>> narrow(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<? super T,? extends R>> broad)

Narrow the co/contra variance on Function stored within a HKT encoded type

Parameters:

broad - HKT encoded type with function to narrow variance on

Returns:

HKT encoded type with narrowed function type

narrow2

static <CRE,T,T2,R> com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,java.util.function.Function<T2,R>>> narrow2(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<? super T,? extends java.util.function.Function<? super T2,? extends R>>> broad)

Narrow the co/contra variance on Function stored within a HKT encoded type

Parameters:

broad - HKT encoded type with function to narrow variance on

Returns:

HKT encoded type with narrowed function type

narrow3

static <CRE,T,T2,T3,R> com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,java.util.function.Function<T2,java.util.function.Function<T3,R>>>> narrow3(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<? super T,? extends java.util.function.Function<? super T2,? extends java.util.function.Function<? super T3,? extends R>>>> broad)

Narrow the co/contra variance on Function stored within a HKT encoded type

Parameters:

broad - HKT encoded type with function to narrow variance on

Returns:

HKT encoded type with narrowed function type

narrowBiFn

static <CRE,T,T2,R> com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.BiFunction<T,T2,R>> narrowBiFn(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.BiFunction<? super T,? super T2,? extends R>> fn,
                                                                                                           com.aol.cyclops.hkt.alias.Higher<CRE,T> apply,
                                                                                                           com.aol.cyclops.hkt.alias.Higher<CRE,T2> broad)

Narrow the co/contra variance on BiFunction stored within a HKT encoded type

Parameters:

broad - HKT encoded type with function to narrow variance on

Returns:

HKT encoded type with narrowed function type

ap

<T,R> com.aol.cyclops.hkt.alias.Higher<CRE,R> ap(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,R>> fn,
                                                 com.aol.cyclops.hkt.alias.Higher<CRE,T> apply)

apBiFn

default <T,T2,R> com.aol.cyclops.hkt.alias.Higher<CRE,R> apBiFn(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.BiFunction<T,T2,R>> fn,
                                                                com.aol.cyclops.hkt.alias.Higher<CRE,T> apply,
                                                                com.aol.cyclops.hkt.alias.Higher<CRE,T2> apply2)

The default implementation of apBiFn is less efficient than ap2 (extra map operation)

Parameters:

fn -

apply -

apply2 -

Returns:

ap2

default <T,T2,R> com.aol.cyclops.hkt.alias.Higher<CRE,R> ap2(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,java.util.function.Function<T2,R>>> fn,
                                                             com.aol.cyclops.hkt.alias.Higher<CRE,T> apply,
                                                             com.aol.cyclops.hkt.alias.Higher<CRE,T2> apply2)

ap3

default <T,T2,T3,R> com.aol.cyclops.hkt.alias.Higher<CRE,R> ap3(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,java.util.function.Function<T2,java.util.function.Function<T3,R>>>> fn,
                                                                com.aol.cyclops.hkt.alias.Higher<CRE,T> apply,
                                                                com.aol.cyclops.hkt.alias.Higher<CRE,T2> apply2,
                                                                com.aol.cyclops.hkt.alias.Higher<CRE,T3> apply3)

curry2

static <T1,T2,R> java.util.function.Function<T1,java.util.function.Function<T2,R>> curry2(java.util.function.BiFunction<T1,T2,R> biFunc)