@FunctionalInterface public static interface Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝> extends Lazy<Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝>>, frege.run.Kind.U<Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,?>,𝓝>, frege.run.Kind.B<Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,?,?>,𝓜,𝓝>, frege.run.Kind.T<Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,?,?,?>,𝓛,𝓜,𝓝>, frege.run.Kind.Q<Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,?,?,?,?>,𝓚,𝓛,𝓜,𝓝>, frege.run.Kind.V<Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,?,?,?,?,?>,𝓙,𝓚,𝓛,𝓜,𝓝>, frege.run.Kind.VI<Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,?,?,?,?,?,?>,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝>, frege.run.Kind.VII<Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,?,?,?,?,?,?,?>,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝>, frege.run.Kind.VIII<Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,?,?,?,?,?,?,?,?>,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝>, frege.run.Kind.IX<Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,?,?,?,?,?,?,?,?,?>,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝>, frege.run.Kind.X<Func.XIII<𝓐,𝓑,𝓒,𝓓,?,?,?,?,?,?,?,?,?,?>,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝>, frege.run.Kind.XI<Func.XIII<𝓐,𝓑,𝓒,?,?,?,?,?,?,?,?,?,?,?>,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝>, frege.run.Kind.XII<Func.XIII<𝓐,𝓑,?,?,?,?,?,?,?,?,?,?,?,?>,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝>, frege.run.Kind.XIII<Func.XIII<𝓐,?,?,?,?,?,?,?,?,?,?,?,?,?>,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝>, frege.run.Kind.XIV<Func.XIII<?,?,?,?,?,?,?,?,?,?,?,?,?,?>,𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝>
| Modifier and Type | Method and Description |
|---|---|
Lazy<𝓝> |
apply(Lazy<𝓐> a,
Lazy<𝓑> b,
Lazy<𝓒> c,
Lazy<𝓓> d,
Lazy<𝓔> e,
Lazy<𝓕> f,
Lazy<𝓖> g,
Lazy<𝓗> h,
Lazy<𝓘> i,
Lazy<𝓙> j,
Lazy<𝓚> k,
Lazy<𝓛> l,
Lazy<𝓜> m) |
default Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝> |
call()
Compute the value if it is needed.
|
default boolean |
isShared()
Tell if this is shared.
|
Lazy<𝓝> apply(Lazy<𝓐> a, Lazy<𝓑> b, Lazy<𝓒> c, Lazy<𝓓> d, Lazy<𝓔> e, Lazy<𝓕> f, Lazy<𝓖> g, Lazy<𝓗> h, Lazy<𝓘> i, Lazy<𝓙> j, Lazy<𝓚> k, Lazy<𝓛> l, Lazy<𝓜> m)
default Func.XIII<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝> call()
LazyCompute the value if it is needed.
default boolean isShared()
LazyTell 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