frege.run8

Interface Lazy<R>

All Superinterfaces:

java.util.concurrent.Callable<R>

All Known Subinterfaces:

Func.B<𝓐,𝓑,𝓒>, Func.IX<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙>, Func.Q<𝓐,𝓑,𝓒,𝓓,𝓔>, Func.T<𝓐,𝓑,𝓒,𝓓>, Func.U<𝓐,𝓑>, Func.V<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕>, Func.VI<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖>, Func.VII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗>, Func.VIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘>, Func.X<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚>, Func.XI<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛>, Func.XII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜>, Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝>, Func.XIV<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞>, Func.XIX<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠,𝓡,𝓢,𝓣>, Func.XV<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟>, Func.XVI<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠>, Func.XVII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠,𝓡>, Func.XVIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠,𝓡,𝓢>, Func.XX<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠,𝓡,𝓢,𝓣,𝓤>, Func.XXI<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠,𝓡,𝓢,𝓣,𝓤,𝓥>, Func.XXII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠,𝓡,𝓢,𝓣,𝓤,𝓥,𝓦>, Func.XXIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠,𝓡,𝓢,𝓣,𝓤,𝓥,𝓦,𝓧>, Func.XXIV<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠,𝓡,𝓢,𝓣,𝓤,𝓥,𝓦,𝓧,𝓨>, Func.XXV<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠,𝓡,𝓢,𝓣,𝓤,𝓥,𝓦,𝓧,𝓨,𝓩>, Func.XXVI<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠,𝓡,𝓢,𝓣,𝓤,𝓥,𝓦,𝓧,𝓨,𝓩,Ω>

All Known Implementing Classes:

Box, Box.B, Box.C, Box.D, Box.F, Box.I, Box.L, Box.O, Box.S, Thunk

public interface Lazy<R>
extends java.util.concurrent.Callable<R>

Common interface of all lazy values.

Method Summary

Modifier and Type	Method and Description
default Thunk<R>	asThunk() Tell if this is really a Thunk
R	call() Compute the value if it is needed.
default boolean	isShared() Tell if this is shared.

Method Detail

call

R call()

Compute the value if it is needed.

Specified by:

call in interface java.util.concurrent.Callable<R>

See Also:

Callable.call()

asThunk

default Thunk<R> asThunk()

Tell if this is really a Thunk

Returns:

isShared

default boolean isShared()

Tell if this is shared.

Data and functions whose 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

Returns:

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