frege.run8

Interface Func.T<𝓐,𝓑,𝓒,𝓓>

All Superinterfaces:

java.util.concurrent.Callable<Func.T<𝓐,𝓑,𝓒,𝓓>>, frege.run.Kind.B<Func.T<𝓐,𝓑,?,?>,𝓒,𝓓>, frege.run.Kind.Q<Func.T<?,?,?,?>,𝓐,𝓑,𝓒,𝓓>, frege.run.Kind.T<Func.T<𝓐,?,?,?>,𝓑,𝓒,𝓓>, frege.run.Kind.U<Func.T<𝓐,𝓑,𝓒,?>,𝓓>, Lazy<Func.T<𝓐,𝓑,𝓒,𝓓>>

Enclosing class:

Func

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public static interface Func.T<𝓐,𝓑,𝓒,𝓓>
extends Lazy<Func.T<𝓐,𝓑,𝓒,𝓓>>, frege.run.Kind.U<Func.T<𝓐,𝓑,𝓒,?>,𝓓>, frege.run.Kind.B<Func.T<𝓐,𝓑,?,?>,𝓒,𝓓>, frege.run.Kind.T<Func.T<𝓐,?,?,?>,𝓑,𝓒,𝓓>, frege.run.Kind.Q<Func.T<?,?,?,?>,𝓐,𝓑,𝓒,𝓓>

Method Summary

Modifier and Type	Method and Description
Lazy<𝓓>	apply(Lazy<𝓐> a, Lazy<𝓑> b, Lazy<𝓒> c)
default Func.T<𝓐,𝓑,𝓒,𝓓>	call() Compute the value if it is needed.
default boolean	isShared() Tell if this is shared.

Methods inherited from interface frege.run8.Lazy

asThunk

Method Detail

apply

Lazy<𝓓> apply(Lazy<𝓐> a,
               Lazy<𝓑> b,
               Lazy<𝓒> c)

call

default Func.T<𝓐,𝓑,𝓒,𝓓> call()

Description copied from interface: Lazy

Compute the value if it is needed.

Specified by:

call in interface java.util.concurrent.Callable<Func.T<𝓐,𝓑,𝓒,𝓓>>

Specified by:

call in interface Lazy<Func.T<𝓐,𝓑,𝓒,𝓓>>

See Also:

Callable.call()

isShared

default boolean isShared()

Description copied from interface: Lazy

Tell if this is shared.

Data and functions whose Lazy.call() method returns this as well as simple boxes that just hold a value ready to be supplied and Thunks are considered shared.

But a bare lambda expression is assumed to be in need of sharing. For example:

() -> 42

Specified by:

isShared in interface Lazy<Func.T<𝓐,𝓑,𝓒,𝓓>>

Returns:

false, if sharing this would make any sense, otherwise true