| Interface | Description |
|---|---|
| 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<𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘,𝓙,𝓚,𝓛,𝓜,𝓝,𝓞,𝓟,𝓠,𝓡,𝓢,𝓣,𝓤,𝓥,𝓦,𝓧,𝓨,𝓩,Ω> | |
| Lazy<R> |
Common interface of all lazy values.
|
| Class | Description |
|---|---|
| Box<R> |
Java values and primitives can be put in boxes to make them lazy.
|
| Box.B | |
| Box.C | |
| Box.D | |
| Box.F | |
| Box.I | |
| Box.L | |
| Box.O |
O, like in "octet", since B already used for booleans
|
| Box.S | |
| Func | |
| Thunk<R> |
A lazy value that can be shared and is updated with the evaluated value.
|
| Utils |
Helper functions to convert between Java8 function types and Frege functions.
|