com.aol.cyclops2.types.extensability

Interface FunctionalAdapter<W extends WitnessType<W>>

Type Parameters:

T - Monadic Type being wrapped

All Known Subinterfaces:

ValueAdapter<W>

All Known Implementing Classes:

AbstractFunctionalAdapter

public interface FunctionalAdapter<W extends WitnessType<W>>

Interface for defining how Comprehensions should work for a type Cyclops For Comprehensions will supply either a JDK 8 Predicate or Function for filter / map / flatMap The comprehender should wrap these in a suitable type and make the call to the underlying Monadic Type (T) the Comprehender implementation supports. E.g. To support mapping for the Functional Java Option type wrap the supplied JDK 8 Function in a Functional Java fj.F type, call the make call to option.map( ) and retun the result.

  OptionComprehender<Option> {
    
     public Object map(Option o, Function fn){
        return o.map( a-> fn.apply(a));
     }
     
 }
 

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	FunctionalAdapter.ValueIterator<T>

Method Summary

Modifier and Type	Method and Description
<T,R> AnyM<W,R>	ap(AnyM<W,? extends java.util.function.Function<? super T,? extends R>> fn, AnyM<W,T> apply)
default <T,T2,R> AnyM<W,R>	ap2(AnyM<W,? extends java.util.function.Function<? super T,? extends java.util.function.Function<? super T2,? extends R>>> fn, AnyM<W,T> apply, AnyM<W,T2> apply2)
default <T> AnyM<W,T>	empty()
default <T> AnyM<W,T>	filter(AnyM<W,T> t, java.util.function.Predicate<? super T> fn)
<T,R> AnyM<W,R>	flatMap(AnyM<W,T> t, java.util.function.Function<? super T,? extends AnyM<W,? extends R>> fn)
default boolean	isFilterable()
<T,R> AnyM<W,R>	map(AnyM<W,T> t, java.util.function.Function<? super T,? extends R> fn)
<T> java.lang.Iterable<T>	toIterable(AnyM<W,T> t)
default <T> AnyM<W,T>	unit(T o)
<T> AnyM<W,T>	unitIterable(java.lang.Iterable<T> it)
default <R> R	visit(java.util.function.Function<? super FunctionalAdapter<W>,? extends R> fn1, java.util.function.Function<? super ValueAdapter<W>,? extends R> fn2)

Method Detail

visit

default <R> R visit(java.util.function.Function<? super FunctionalAdapter<W>,? extends R> fn1,
                    java.util.function.Function<? super ValueAdapter<W>,? extends R> fn2)

ap2

default <T,T2,R> AnyM<W,R> ap2(AnyM<W,? extends java.util.function.Function<? super T,? extends java.util.function.Function<? super T2,? extends R>>> fn,
                               AnyM<W,T> apply,
                               AnyM<W,T2> apply2)

ap

<T,R> AnyM<W,R> ap(AnyM<W,? extends java.util.function.Function<? super T,? extends R>> fn,
                   AnyM<W,T> apply)

filter

default <T> AnyM<W,T> filter(AnyM<W,T> t,
                             java.util.function.Predicate<? super T> fn)

map

<T,R> AnyM<W,R> map(AnyM<W,T> t,
                    java.util.function.Function<? super T,? extends R> fn)

flatMap

<T,R> AnyM<W,R> flatMap(AnyM<W,T> t,
                        java.util.function.Function<? super T,? extends AnyM<W,? extends R>> fn)

isFilterable

default boolean isFilterable()

unit

default <T> AnyM<W,T> unit(T o)

toIterable

<T> java.lang.Iterable<T> toIterable(AnyM<W,T> t)

empty

default <T> AnyM<W,T> empty()

unitIterable

<T> AnyM<W,T> unitIterable(java.lang.Iterable<T> it)