real | & | script ** real -> script |
real | * | real ** real -> real |
real | + | real ** real -> real |
real | + | script ** real -> script |
real | - | real ** real -> real |
real | - | real -> real |
real | / | real ** real -> real |
real | < | real ** real -> bool |
real | <- | denotation ** real -> script : [1], [2] |
real | <= | real ** real -> bool |
real | = | real ** real -> bool |
real | > | real ** real -> bool |
real | >= | real ** real -> bool |
real | @ | real ** real -> point |
real | ^ | real ** real -> real |
real | ` | real ** nat -> denotation |
real | ` | real -> denotation |
real | `` | real ** nat -> denotation |
real | `` | real -> denotation |
real | abs | real -> real |
real | activeBorderWidth | real -> config |
real | arccos | real -> real |
real | arcsin | real -> real |
real | arctan2 | real ** real -> real |
real | arctan | real -> real |
real | arrowShape | real ** real ** real -> config |
real | asInt | real -> int |
real | asNat | real -> nat |
real | asPixel | real -> denotation |
real | borderWidth | real -> config |
real | bw | real -> config |
real | ceil | real -> real |
real | closeEnough | real -> config |
real | closest | canvasEditor ** point ** real -> com[tag] |
real | cos | real -> real |
real | cosh | real -> real |
real | cursorBorderWidth | real -> config |
real | cursorWidth | real -> config |
real | deg | real -> real |
real | dimension | real -> config |
real | elementBorderWidth | real -> config |
real | exp | real -> real |
real | extent | real -> config |
real | floor | real -> real |
real | gamma | real -> iconfig |
real | height | real -> config |
real | insertBorderWidth | real -> config |
real | ipad | real ** real -> config |
real | ipadX | real -> config |
real | ipadY | real -> config |
real | lineWidth | real -> config |
real | ln | real -> real |
real | log | real -> real |
real | max | real ** real -> real |
real | min | real ** real -> real |
real | moveto | real -> scrollView |
real | neg? | real -> bool |
real | num | real -> doc |
real | pad | real ** real -> config |
real | padX | real -> config |
real | padY | real -> config |
real | pos? | real -> bool |
real | position | real ** real -> config |
real | pow | real ** real -> real |
real | px | real -> real |
real | rad | real -> real |
real | real | real -> union |
real | relPosition | real ** real -> config |
real | rgb | real ** real ** real -> color |
real | scale | canvasEditor ** tag ** point ** real ** real -> com[void] |
real | seed | real -> com[void] |
real | selectBorderWidth | real -> config |
real | sign | real -> real |
real | sin | real -> real |
real | sinh | real -> real |
real | size | real ** real -> config |
real | slice | real ** real -> config |
real | sqrt | real -> real |
real | start | real -> config |
real | tan | real -> real |
real | tanh | real -> real |
real | trunc | real -> nat |
real | u | real ** seq[union] -> seq[union] |
real | u | real -> seq[union] |
real | width | real -> config |
real | window | real ** real -> scrollWindow |
real | wrap | wrapStyle ** real ** real ** real -> config |
real | write | real -> com[void] |
real | writeLine | real -> com[void] |
real | x | real ** real -> size |
real | xScrollIncrement | real -> config |
real | yScrollIncrement | real -> config |
real | zero? | real -> bool |
real | |= | real ** real -> bool |
regulator | get | regulator -> com[config] |
regulator | regulate | regulator -> config |
regulator | set | regulator ** config -> com[void] |
regulator | sync | regulator ** version -> com[pair[config, version]] |
rel | ! | rel ** dom ** codom -> data |
rel | ! | rel ** dom -> set[codom, <] |
rel | ! | rel ** set[dom, <] -> set[codom, <] |
rel | !? | rel ** dom ** codom -> option[data] |
rel | !_c | rel ** codom -> set[dom, <] |
rel | !_c | rel ** set[codom, <] -> set[dom, <] |
rel | # | rel -> nat |
rel | * | rel ** rel -> rel |
rel | + | rel ** rel -> rel |
rel | - | rel ** rel -> rel |
rel | < | rel ** rel -> bool |
rel | <= | rel ** rel -> bool |
rel | <? | rel -> bool |
rel | <| | set[dom, <] ** rel -> rel |
rel | <~| | set[dom, <] ** rel -> rel |
rel | = | rel ** rel -> bool |
rel | =? | rel -> bool |
rel | >? | rel -> bool |
rel | ` | rel -> denotation |
rel | arb | rel -> dom ** codom |
rel | arb | rel -> dom ** codom ** data |
rel | bijective? | rel -> bool |
rel | codom | rel -> set[codom, <] |
rel | def? | rel ** dom -> bool |
rel | def_c? | rel ** codom -> bool |
rel | disjoint? | rel ** rel -> bool |
rel | dom | rel -> set[dom, <] |
rel | excl | dom ** codom ** rel -> rel |
rel | exist? | (dom ** codom ** data -> bool) ** rel -> bool |
rel | exist? | (dom ** codom -> bool) ** rel -> bool |
rel | extend | rel ** seq[dom] ** seq[codom] ** (dom ** codom -> data) -> rel |
rel | extend | rel ** seq[dom] ** seq[codom] ** seq[data] -> rel |
rel | find? | (dom ** codom ** data -> bool) ** rel -> option[triple[dom, codom, data]] |
rel | find? | (dom ** codom -> bool) ** rel -> option[pair[dom, codom]] |
rel | forall? | (dom ** codom ** data -> bool) ** rel -> bool |
rel | forall? | (dom ** codom -> bool) ** rel -> bool |
rel | function? | rel -> bool |
rel | in | dom ** codom ** rel -> bool |
rel | incl | dom ** codom ** (dom ** codom -> data) ** rel -> rel |
rel | incl | dom ** codom ** data ** rel -> rel |
rel | max | rel -> dom ** codom |
rel | min | rel -> dom ** codom |
rel | {<} | rel ** rel -> bool |
rel | {}? | rel -> bool |
rel | |> | rel ** set[codom, <] -> rel |
rel | |~> | rel ** set[codom, <] -> rel |
rel[dom, <, codom, <, data] | / | (dom ** codom ** data ** to -> to) ** to ** rel[dom, <, codom, <, data] -> to |
rel[dom, <, codom, <, data] | asSeq | rel[dom, <, codom, <, data] -> seq[triple[dom, codom, data]] |
rel[dom, <, codom, <, data] | partition | (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data] ** rel[dom, <, codom, <, data] |
rel[dom, <, codom, <, data] | rep | rel[dom, <, codom, <, data] -> map[dom, <, map[codom, <, data]] |
rel[dom, <, codom, <, data] | | | (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data] |
rel[dom, <, codom, <, data] | ~ | rel[dom, <, codom, <, data] -> rel[codom, <, dom, <, data] |
rel[dom, <, dom, <, data] | * | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
rel[dom, <, dom, <, data] | + | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
rel[dom, <, dom, <, data] | ^ | rel[dom, <, dom, <, data] ** nat -> rel[dom, <, dom, <, data] |
rel[dom, <, dom, <, data] | iter | rel[dom, <, dom, <, data] ** nat -> rel[dom, <, dom, <, data] |
rel[dom, <, dom, <, data] | refClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
rel[dom, <, dom, <, data] | reflexive? | rel[dom, <, dom, <, data] -> bool |
rel[dom, <, dom, <, data] | refTransClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
rel[dom, <, dom, <, data] | RSTClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
rel[dom, <, dom, <, data] | symClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
rel[dom, <, dom, <, data] | symmetric? | rel[dom, <, dom, <, data] -> bool |
rel[dom, <, dom, <, data] | transClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
rel[dom, <, dom, <, data] | transitive? | rel[dom, <, dom, <, data] -> bool |
rel[dom, <, mid, <, data1] | ; | rel[dom, <, mid, <, data1] ** rel[mid, <, codom, <, data2] -> rel[dom, <, codom, <, data3] |
rel[dom, <, mid, <, data1] | o | rel[mid, <, codom, <, data2] ** rel[dom, <, mid, <, data1] -> rel[dom, <, codom, <, data3] |
rel[domFrom, <, codomFrom, <, dataFrom] | * | (domFrom ** codomFrom ** dataFrom -> domTo ** codomTo ** dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
rel[domFrom, <, codomFrom, <, dataFrom] | * | (domFrom -> domTo) ** (codomFrom -> codomTo) ** (dataFrom -> dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
rel[mid, <, codom, <, data2] | ; | rel[dom, <, mid, <, data1] ** rel[mid, <, codom, <, data2] -> rel[dom, <, codom, <, data3] |
rel[mid, <, codom, <, data2] | o | rel[mid, <, codom, <, data2] ** rel[dom, <, mid, <, data1] -> rel[dom, <, codom, <, data3] |
relief | activeRelief | relief -> config |
relief | name | relief -> denotation |
relief | relief | relief -> config |
relief | relief? | relief -> bool |
res | * | (arg -> res) ** option[arg] -> option[res] |
res | . | arg ** (arg -> res) -> res |
res | ; | (arg -> inter) ** (inter -> res) -> arg -> res |
res | ; | (arg1 ** arg2 ** arg3 ** arg4 -> inter) ** (inter -> res) -> arg1 ** arg2 ** arg3 ** arg4 -> res |
res | ; | (arg1 ** arg2 ** arg3 -> inter) ** (inter -> res) -> arg1 ** arg2 ** arg3 -> res |
res | ; | (arg1 ** arg2 -> inter) ** (inter -> res) -> arg1 ** arg2 -> res |
res | const | res -> arg -> res |
res | curry | (arg1 ** arg2 -> res) -> arg1 -> arg2 -> res |
res | flip | (arg1 ** arg2 -> res) -> arg2 ** arg1 -> res |
res | flip | (arg1 -> arg2 -> res) -> arg2 -> arg1 -> res |
res | o | (inter -> res) ** (arg -> inter) -> arg -> res |
res | o | (inter -> res) ** (arg1 ** arg2 ** arg3 ** arg4 -> inter) -> arg1 ** arg2 ** arg3 ** arg4 -> res |
res | o | (inter -> res) ** (arg1 ** arg2 ** arg3 -> inter) -> arg1 ** arg2 ** arg3 -> res |
res | o | (inter -> res) ** (arg1 ** arg2 -> inter) -> arg1 ** arg2 -> res |
res | uncurry | (arg1 -> arg2 -> res) -> arg1 ** arg2 -> res |
res1 | const | res1 ** res2 -> arg -> res1 ** res2 |
res1 | | | (arg1 -> res1) ** (arg2 -> res2) -> arg1 ** arg2 -> res1 ** res2 |
res2 | const | res1 ** res2 -> arg -> res1 ** res2 |
res2 | | | (arg1 -> res1) ** (arg2 -> res2) -> arg1 ** arg2 -> res1 ** res2 |