Operators
Operating Table
operator | string | tuple | helper |
---|---|---|---|
arrayOf | "T[]" | [T, "[]"] | arrayOf(T) |
instanceOf | ["instanceOf", T] | instanceOf(T) | |
& | "L&R" | [L, "&", R] | intersection(L,R) |
keyOf | "["keyOf", T]" | keyOf(T) | |
|> | [inputType, "|>", (data) => output] | morph(inputType, (data) => output) | |
=> | ["type", "=>" , condition] | ||
| | "L|R" | [L, "|" , R] | union(L,R) |
=== | ["===", T] | valueOf(T) | |
: | ["type", ":", config] | ||
bound | "N<S<N", with comparators restricted to < or <= | ||
% | "N%D", where "N" is a number and "D" is a non-zero integer | ||
node | ["node", nodeDefinition] | type.from(nodeDefinition) |