frege.run7

Interface Func.V<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕>

All Superinterfaces:

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

All Known Implementing Classes:

Func.V.D

Enclosing class:

Func

public static interface Func.V<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕>
extends Lazy<Func.V<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕>>, frege.run.Kind.U<Func.V<𝓐,𝓑,𝓒,𝓓,𝓔,?>,𝓕>, frege.run.Kind.B<Func.V<𝓐,𝓑,𝓒,𝓓,?,?>,𝓔,𝓕>, frege.run.Kind.T<Func.V<𝓐,𝓑,𝓒,?,?,?>,𝓓,𝓔,𝓕>, frege.run.Kind.Q<Func.V<𝓐,𝓑,?,?,?,?>,𝓒,𝓓,𝓔,𝓕>, frege.run.Kind.V<Func.V<𝓐,?,?,?,?,?>,𝓑,𝓒,𝓓,𝓔,𝓕>, frege.run.Kind.VI<Func.V<?,?,?,?,?,?>,𝓐,𝓑,𝓒,𝓓,𝓔,𝓕>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Func.V.D<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕>

Method Summary

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

Methods inherited from interface frege.run7.Lazy

asThunk

Method Detail

apply

Lazy<𝓕> apply(Lazy<𝓐> a,
               Lazy<𝓑> b,
               Lazy<𝓒> c,
               Lazy<𝓓> d,
               Lazy<𝓔> e)

call

Func.V<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕> call()

Description copied from interface: Lazy

Compute the value if it is needed.

Specified by:

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

Specified by:

call in interface Lazy<Func.V<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕>>

See Also:

Callable.call()

isShared

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.V<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕>>