public class Library
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static Function.Native3 |
curry
curry: ((t, u) → v) → (t → u → v).
|
static Environment |
env
|
static Function |
frth
Return the fourth element of a
Value.Tuple . |
static Function |
fst
Return the first element of a
Value.Tuple . |
static Function |
id
The identity Function,
|
static Function |
snd
Return the second element of a
Value.Tuple . |
static Function |
thrd
Return the third element of a
Value.Tuple . |
static Function.Native2 |
uncurry
uncurry: (t → u → v) → ((t, u) → v).
|
static Function |
whnf
whnf p0 p1 can be used to make a parameter (p0) strict, say:
force p0 to weak head normal form (WHNF), but
return p1 (also in WHNF). |
Constructor and Description |
---|
Library() |
Modifier and Type | Method and Description |
---|---|
static Function.Native2 |
bOp(int op)
Return a curried Function based on the binary operator, 'op'
(+, *, etc).
|
static void |
main(java.lang.String[] argv)
Run a few simple tests on Library.
|
static Function.Native |
uOp(int op)
Return a Function based on the unary operator,
'op' (not, -, hd, etc.).
|
public static final Function id
public static final Function fst
Value.Tuple
.public static final Function snd
Value.Tuple
.public static final Function thrd
Value.Tuple
.public static final Function frth
Value.Tuple
.public static final Function.Native3 curry
public static final Function.Native2 uncurry
public static final Function whnf
force
p0 to weak head normal form (WHNF), but
return p1 (also in WHNF).public static final Environment env
public static Function.Native uOp(int op)
Value.uOp(int)
and bOp(int)
.public static Function.Native2 bOp(int op)
Value.bOp(int, la.la.Value)
and uOp(int)
.public static void main(java.lang.String[] argv)