codom | ! | codom -> map ** dom -> codom |
codom | ! | map ** dom -> codom : [1], [2], [3] |
codom | ! | natMap ** nat -> codom |
codom | .. | nat ** nat -> (nat -> codom) -> natMap |
codom | .. | nat ** nat -> (nat -> dom) ** (dom -> codom) -> map : [1], [2], [3] |
codom | :-> | dom ** codom -> (dom ** codom -> data) -> rel |
codom | ` | denotation ** denotation ** denotation -> (dom ** codom ** data -> denotation) -> rel[dom, <, codom, <, data] -> denotation |
codom | ` | denotation ** denotation ** denotation -> (dom ** codom ** data -> string) -> rel[dom, <, codom, <, data] -> string |
codom | ` | denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation |
codom | ` | denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string |
codom | ` | denotation -> denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3] |
codom | ` | denotation -> denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3] |
codom | ` | denotation -> denotation ** denotation ** denotation -> (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation |
codom | ` | denotation -> denotation ** denotation ** denotation -> (nat -> string) ** (codom -> string) -> natMap[codom] -> string |
codom | arb | rel -> dom ** codom |
codom | arb | rel -> dom ** codom ** data |
codom | iter | dom ** (dom -> dom) ** (dom -> bool) -> (dom -> codom) -> map : [1], [2], [3] |
codom | iter | nat ** (nat -> nat) ** (nat -> bool) -> (nat -> codom) -> natMap |
codom | max | rel -> dom ** codom |
codom | min | rel -> dom ** codom |
codom | x | dom ** set[codom, <] -> (dom ** codom -> data) -> rel |
codom | x | set[dom, <] ** codom -> (dom ** codom -> data) -> rel |
codom | x | set[dom, <] ** set[codom, <] -> (dom ** codom -> data) -> rel |
color | azure | color |
color | black | color |
color | blue | color |
color | burlywood | color |
color | color | denotation -> color |
color | darkazure | color |
color | darkblue | color |
color | darkgreen | color |
color | darkgrey | color |
color | darkorange | color |
color | darkpink | color |
color | darkred | color |
color | darkturquoise | color |
color | forestgreen | color |
color | green | color |
color | grey | color |
color | ivory | color |
color | lightazure | color |
color | lightblue | color |
color | lightgreen | color |
color | lightgrey | color |
color | lightorange | color |
color | lightpink | color |
color | lightred | color |
color | lightturquoise | color |
color | magenta | color |
color | orange | color |
color | orchid | color |
color | pink | color |
color | purple | color |
color | red | color |
color | rgb | denotation ** denotation ** denotation -> color |
color | rgb | real ** real ** real -> color |
color | thistle | color |
color | turquoise | color |
color | violet | color |
color | white | color |
colorModel | colorModel | colorModel |
colorModel | directColor | colorModel |
colorModel | grayScale | colorModel |
colorModel | pseudoColor | colorModel |
colorModel | staticColor | colorModel |
colorModel | staticGray | colorModel |
colorModel | trueColor | colorModel |
com | break | denotation -> com |
com | exit | nat -> com |
com | succeed | data -> com |
com | yield | ans -> com |
com[aEntry] | aEntry | com[aEntry] |
com[aEntry] | aEntry | config -> com[aEntry] |
com[aEntry] | aEntry | data ** config -> com[aEntry] |
com[aEntry] | aEntry | data ** nat -> com[aEntry] |
com[aEntry] | aEntry | data -> com[aEntry] |
com[aEntry] | aEntry | nat -> com[aEntry] |
com[aEntry] | aEntryLong | com[aEntry] |
com[aEntry] | aEntryLong | config -> com[aEntry] |
com[aEntry] | aEntryLong | data ** config -> com[aEntry] |
com[aEntry] | aEntryLong | data ** nat -> com[aEntry] |
com[aEntry] | aEntryLong | data -> com[aEntry] |
com[aEntry] | aEntryLong | nat -> com[aEntry] |
com[agent] | agent | com[result] -> com[agent] |
com[agent] | self | com[agent] |
com[bool] | access | denotation ** filemode -> com[bool] |
com[bool] | ask | denotation -> com[bool] |
com[bool] | caught? | signal -> com[bool] |
com[bool] | displayChildren | window ** widget ** string ** seq[view] -> com[bool] |
com[bool] | displayView | window ** widget ** view ** bool -> com[bool] |
com[bool] | displayView | window ** widget ** view -> com[bool] |
com[bool] | eof? | file -> com[bool] |
com[bool] | eos? | input -> com[bool] |
com[bool] | error? | file -> com[bool] |
com[bool] | incoming? | channel -> com[bool] |
com[callback] | callback | com[callback] |
com[callback] | define | (seq[string] -> com[string]) -> com[callback] |
com[callback] | define | com[string] -> com[callback] |
com[callback] | define | com[void] -> com[callback] |
com[canvasEditor] | canvasEditor | com[canvasEditor] |
com[channel] | open | denotation ** role -> com[channel] |
com[char] | ask | denotation -> com[char] |
com[char] | look | input -> com[char] |
com[char] | read | file -> com[char] |
com[char] | read | input -> com[char] |
com[config] | get | regulator -> com[config] |
com[data2] | & | com[data1] ** (data1 -> data2) -> com[data2] |
com[data2] | * | (data1 -> data2) ** com[data1] -> com[data2] |
com[data] | + | com[data] ** com[data] -> com[data] |
com[data] | => | stateId[state] ** (state -> state ** data) -> com[data] |
com[data] | ? | stateId[state] ** (state -> data) -> com[data] |
com[data] | await | distOut -> com[data] |
com[data] | await | emitter -> com[data] |
com[data] | await | selector ** (data -> bool) -> com[data] |
com[data] | breakOnInterrupt | com[data] -> com[data] |
com[data] | breaks | com[data] ** com[data] -> com[data] |
com[data] | check | (denotation -> denotation) ** com[data] -> com[data] : [1], [2] |
com[data] | check | com[data] -> com[data] |
com[data] | get | aEntry -> com[data] : [1], [2] |
com[data] | get | selector -> com[data] |
com[data] | get | setEntry ** point -> com[data] : [1], [2] |
com[data] | get | stateId[state] ** (state -> data) -> com[data] |
com[data] | load | denotation ** denotation -> com[data] |
com[data] | read | file ** denotation -> com[data] |
com[data] | read | input ** denotation -> com[data] |
com[data] | section | com[void] ** com[void] ** com[data] -> com[data] |
com[data] | with | stateId[state] ** (state -> state ** data) -> com[data] |
com[data] | | | com[data] ** com[data] -> com[data] |
com[denotation] | arg | nat -> com[denotation] : [1], [2] |
com[denotation] | ask | denotation -> com[denotation] |
com[denotation] | env | denotation -> com[denotation] : [1], [2] |
com[denotation] | getCWD | com[denotation] |
com[denotation] | getLogin | com[denotation] |
com[denotation] | homeDir | com[denotation] |
com[denotation] | homeDir | denotation -> com[denotation] |
com[denotation] | homeDir | userid -> com[denotation] |
com[denotation] | ls_dlg | denotation -> com[denotation] |
com[denotation] | readLine | denotation ** (denotation ** denotation ** nat ** nat -> com[seq[denotation]]) -> com[denotation] |
com[denotation] | readLine | denotation -> com[denotation] |
com[denotation] | readLink | denotation -> com[denotation] |
com[denotation] | tmpName | com[denotation] |
com[dist] | dist | com[dist] |
com[distOut] | register | dist -> com[distOut] |
com[emitter] | emitter | com[emitter] |
com[file] | open | denotation ** denotation -> com[file] |
com[file] | popen | denotation ** denotation -> com[file] |
com[filemode] | umask | filemode -> com[filemode] |
com[filestat] | stat | denotation -> com[filestat] |
com[fission] | fork | com[fission] |
com[groupid] | getEGId | com[groupid] |
com[groupid] | getGId | com[groupid] |
com[image] | bitmap | com[image] |
com[image] | bitmap | iconfig -> com[image] |
com[image] | photo | com[image] |
com[image] | photo | iconfig -> com[image] |
com[inData] | read | channel -> com[inData] |
com[index] | index | textEditor ** index -> com[index] |
com[input] | open | denotation -> com[input] |
com[input] | openBin | denotation -> com[input] |
com[int] | ask | denotation -> com[int] |
com[interpreter] | create | state -> com[interpreter] |
com[manager] | get | window ** managerRequest -> com[manager] |
com[map[data1, <, data2]] | get | mapEntry -> com[map[data1, <, data2]] : [1], [2] |
com[map[data1, <, data2]] | getSelection | mapEntry -> com[map[data1, <, data2]] : [1], [2] |
com[mapEntry] | mapEntry | com[mapEntry] |
com[mapEntry] | mapEntry | config -> com[mapEntry] |
com[mapEntry] | mapEntry | map[data1, <, data2] ** config -> com[mapEntry] |
com[mapEntry] | mapEntry | map[data1, <, data2] ** nat ** nat -> com[mapEntry] |
com[mapEntry] | mapEntry | map[data1, <, data2] -> com[mapEntry] |
com[mapEntry] | mapEntry | nat ** nat -> com[mapEntry] |
com[mark] | mark | textEditor ** index -> com[mark] |
com[metrics] | fontMetrics | font -> com[metrics] |
com[nat] | alarm | nat -> com[nat] |
com[nat] | argCount | com[nat] : [1], [2] |
com[nat] | ask | denotation -> com[nat] |
com[nat] | random | com[nat] |
com[nat] | random | nat -> com[nat] |
com[nat] | readInterrupts | com[nat] |
com[nat] | size | file -> com[nat] |
com[nat] | sleep | nat -> com[nat] |
com[nat] | tell | file -> com[nat] |
com[option[group]] | getGroup | denotation -> com[option[group]] |
com[option[group]] | getGroup | groupid -> com[option[group]] |
com[option[inData]] | read? | channel -> com[option[inData]] |
com[option[index]] | search | textEditor ** denotation ** index ** seq[searchOpt] -> com[option[index]] |
com[option[pair[process, childstat]]] | wait | com[option[pair[process, childstat]]] |
com[option[pair[process, childstat]]] | wait | process -> com[option[pair[process, childstat]]] |
com[option[pair[process, childstat]]] | waitGrp | com[option[pair[process, childstat]]] |
com[option[pair[process, childstat]]] | waitGrp | process -> com[option[pair[process, childstat]]] |
com[option[user]] | getUser | denotation -> com[option[user]] |
com[option[user]] | getUser | userid -> com[option[user]] |
com[out] | => | sap ** (in -> bool) ** (in -> com[out]) -> com[out] |
com[out] | => | sap ** (in -> com[out]) -> com[out] |
com[out] | @ | sap ** in -> com[out] |
com[output] | append | denotation -> com[output] |
com[output] | appendBin | denotation -> com[output] |
com[output] | create | denotation -> com[output] |
com[output] | createBin | denotation -> com[output] |
com[pair[config, version]] | sync | regulator ** version -> com[pair[config, version]] |
com[pair[data1, data2]] | get | mapEntry ** point -> com[pair[data1, data2]] : [1], [2] |
com[pair[nat, data]] | get | seqEntry ** point -> com[pair[nat, data]] : [1], [2] |
com[pair[point, point]] | bbox | canvasEditor ** tag -> com[pair[point, point]] |
com[pair[process, childstat]] | wait | com[pair[process, childstat]] |
com[pair[process, childstat]] | wait | process -> com[pair[process, childstat]] |
com[pair[process, childstat]] | waitGrp | com[pair[process, childstat]] |
com[pair[process, childstat]] | waitGrp | process -> com[pair[process, childstat]] |
com[pair[process, nat]] | wait | com[pair[process, nat]] |
com[point] | get | window ** positionRequest -> com[point] |
com[process] | fork | com[process] |
com[process] | getPGrp | com[process] |
com[process] | getPId | com[process] |
com[process] | getPPId | com[process] |
com[process] | setSId | com[process] |
com[quad[real, real, real, real]] | times | com[quad[real, real, real, real]] |
com[real] | ask | denotation -> com[real] |
com[real] | clock | com[real] |
com[real] | random | com[real] |
com[real] | seed? | com[real] |
com[real] | uptime | com[real] |
com[regulator] | regulator | com[regulator] |
com[result] | wait | agent -> com[result] |
com[sap] | sap | com[sap] |
com[scroller] | scroller | com[scroller] |
com[scrollView] | awaitView | scroller -> com[scrollView] |
com[scrollWindow] | awaitWindow | scroller -> com[scrollWindow] |
com[second] | & | com[first] ** (first -> com[second]) -> com[second] |
com[second] | & | com[first] ** com[second] -> com[second] |
com[second] | & | com[pair[first1, first2]] ** (first1 ** first2 -> com[second]) -> com[second] |
com[second] | & | com[triple[first1, first2, first3]] ** (first1 ** first2 ** first3 -> com[second]) -> com[second] |
com[second] | ; | com[first] ** (ans[first] -> com[second]) -> com[second] |
com[second] | ; | com[first] ** com[second] -> com[second] |
com[selector] | selector | data -> com[selector] |
com[semaphor] | semaphor | com[semaphor] |
com[seq[data]] | get | seqEntry -> com[seq[data]] : [1], [2] |
com[seq[data]] | getSelection | seqEntry -> com[seq[data]] : [1], [2] |
com[seq[denotation]] | args | com[seq[denotation]] : [1], [2] |
com[seq[denotation]] | readDir | denotation -> com[seq[denotation]] |
com[seq[image]] | images | com[seq[image]] |
com[seq[range]] | ranges | textEditor ** tag -> com[seq[range]] |
com[seq[string]] | load | denotation -> com[seq[string]] |
com[seq[string]] | readLines | file -> com[seq[string]] |
com[seq[string]] | readLines | input -> com[seq[string]] |
com[seq[to]] | *& | (from -> com[to]) ** seq[from] -> com[seq[to]] |
com[seqEntry] | seqEntry | com[seqEntry] |
com[seqEntry] | seqEntry | config -> com[seqEntry] |
com[seqEntry] | seqEntry | nat ** nat -> com[seqEntry] |
com[seqEntry] | seqEntry | seq[data] ** config -> com[seqEntry] |
com[seqEntry] | seqEntry | seq[data] ** nat ** nat -> com[seqEntry] |
com[seqEntry] | seqEntry | seq[data] -> com[seqEntry] |
com[set[data, <]] | get | setEntry -> com[set[data, <]] : [1], [2] |
com[set[data, <]] | getSelection | setEntry -> com[set[data, <]] : [1], [2] |
com[set[groupid, <]] | getGroups | com[set[groupid, <]] |
com[set[tag, <]] | enclosed | canvasEditor ** point ** point -> com[set[tag, <]] |
com[set[tag, <]] | overlapping | canvasEditor ** point ** point -> com[set[tag, <]] |
com[set[tag, <]] | withTag | canvasEditor ** tag -> com[set[tag, <]] |
com[setEntry] | setEntry | com[setEntry] |
com[setEntry] | setEntry | config -> com[setEntry] |
com[setEntry] | setEntry | nat ** nat -> com[setEntry] |
com[setEntry] | setEntry | set[data, <] ** config -> com[setEntry] |
com[setEntry] | setEntry | set[data, <] ** nat ** nat -> com[setEntry] |
com[setEntry] | setEntry | set[data, <] -> com[setEntry] |
com[sigaction] | sigAction | signal ** sigaction -> com[sigaction] |
com[sigaction] | sigAction | signal -> com[sigaction] |
com[sigmask] | sigBlock | sigmask -> com[sigmask] |
com[sigmask] | sigMask | com[sigmask] |
com[sigmask] | sigMask | sigmask -> com[sigmask] |
com[sigmask] | sigPending | com[sigmask] |
com[sigmask] | sigUnblock | sigmask -> com[sigmask] |
com[size] | get | window ** sizeRequest -> com[size] |
com[size] | size | image -> com[size] |
com[state] | ? | stateId -> com[state] |
com[state] | get | stateId -> com[state] |
com[state] | get | window ** stateRequest -> com[state] |
com[state] | state | interpreter -> com[state] |
com[stateId] | stateId | state -> com[stateId] |
com[string] | ! | interpreter ** denotation ** denotation -> com[string] |
com[string] | ! | interpreter ** denotation -> com[string] |
com[string] | .! | interpreter ** denotation ** denotation -> com[string] |
com[string] | .! | interpreter ** denotation -> com[string] |
com[string] | @ | interpreter ** denotation ** seq[union] -> com[string] |
com[string] | @ | interpreter ** denotation -> com[string] |
com[string] | @ | interpreter ** seq[string] -> com[string] |
com[string] | @ | interpreter ** string -> com[string] |
com[string] | eval | denotation -> com[string] |
com[string] | eval | script -> com[string] |
com[string] | get | textEditor ** index -> com[string] |
com[string] | get | textEditor ** range -> com[string] |
com[string] | get | textEditor -> com[string] |
com[string] | read | file ** (char -> bool) -> com[string] |
com[string] | read | file ** nat -> com[string] |
com[string] | read | input ** (char -> bool) -> com[string] |
com[string] | read | input ** nat -> com[string] |
com[string] | readLine | file -> com[string] |
com[string] | readLine | input -> com[string] |
com[string] | source | interpreter ** denotation -> com[string] |
com[string] | tmpName | com[string] |
com[tag] | above | canvasEditor ** tag -> com[tag] |
com[tag] | below | canvasEditor ** tag -> com[tag] |
com[tag] | closest | canvasEditor ** point ** real -> com[tag] |
com[tag] | closest | canvasEditor ** point -> com[tag] |
com[tag] | genTag | com[tag] |
com[tag] | insert | textEditor ** string ** index ** config -> com[tag] |
com[tag] | insert | textEditor ** view ** index ** config -> com[tag] |
com[textEditor] | textEditor | com[textEditor] |
com[time] | time | com[time] |
com[to] | / | (from ** ans[to] -> com[to]) ** ans[to] ** seq[from] -> com[to] |
com[to] | / | (from ** ans[to] -> com[to]) ** ans[to] -> seq[from] -> com[to] |
com[to] | /& | (from ** to -> com[to]) ** to ** seq[from] -> com[to] |
com[to] | /& | (from ** to -> com[to]) ** to -> seq[from] -> com[to] |
com[to] | // | (from ** ans[to] -> com[to]) ** seq[from] -> ans[to] -> com[to] |
com[userid] | getEUId | com[userid] |
com[userid] | getUId | com[userid] |
com[void] | -!-> | bool ** (() -> denotation) -> com[void] |
com[void] | -?-> | bool ** (() -> com[void]) -> com[void] |
com[void] | .:= | interpreter ** denotation ** denotation ** string -> com[void] |
com[void] | .:= | interpreter ** denotation ** string -> com[void] |
com[void] | := | interpreter ** denotation ** denotation ** string -> com[void] |
com[void] | := | interpreter ** denotation ** string -> com[void] |
com[void] | => | interpreter ** (state -> state) -> com[void] |
com[void] | => | stateId ** (state -> state) -> com[void] |
com[void] | @& | (data -> com[void]) ** seq[data] -> com[void] |
com[void] | @; | (data -> com[void]) ** seq[data] -> com[void] |
com[void] | act | denotation -> com[void] |
com[void] | act | script -> com[void] |
com[void] | apply | window ** wconfig -> com[void] |
com[void] | apply | window ** widget ** modifier ** config -> com[void] |
com[void] | atomic | semaphor ** com[void] -> com[void] |
com[void] | beep | com[void] |
com[void] | bind | aEntry ** event ** (aEntry ** eventInfo ** data -> com[void]) -> com[void] : [1], [2] |
com[void] | bind | aEntry ** event ** (aEntry ** eventInfo -> com[void]) -> com[void] : [1], [2] |
com[void] | bind | event ** (eventInfo -> com[void]) -> com[void] |
com[void] | bind | event ** emitter ** data -> com[void] |
com[void] | bind | mapEntry ** event ** (mapEntry ** eventInfo ** map[data1, <, data2] -> com[void]) -> com[void] : [1], [2] |
com[void] | bind | mapEntry ** event ** (mapEntry ** eventInfo -> com[void]) -> com[void] : [1], [2] |
com[void] | bind | seqEntry ** event ** (seqEntry ** eventInfo ** seq[data] -> com[void]) -> com[void] : [1], [2] |
com[void] | bind | seqEntry ** event ** (seqEntry ** eventInfo -> com[void]) -> com[void] : [1], [2] |
com[void] | bind | setEntry ** event ** (setEntry ** eventInfo ** set[data, <] -> com[void]) -> com[void] : [1], [2] |
com[void] | bind | setEntry ** event ** (setEntry ** eventInfo -> com[void]) -> com[void] : [1], [2] |
com[void] | chDir | denotation -> com[void] |
com[void] | check | (denotation -> denotation) ** com[void] -> com[void] |
com[void] | check | com[void] -> com[void] |
com[void] | chgrp | denotation ** groupid -> com[void] |
com[void] | chmod | denotation ** filemode -> com[void] |
com[void] | chown | denotation ** userid -> com[void] |
com[void] | close | channel -> com[void] |
com[void] | close | file -> com[void] |
com[void] | close | input -> com[void] |
com[void] | close | output -> com[void] |
com[void] | com | configCom -> window ** widget ** modifier -> com[void] |
com[void] | com | wconfigCom -> window -> com[void] |
com[void] | createApp | interpreter[state] ** option[denotation] ** denotation -> com[void] |
com[void] | defaultFocus | window -> com[void] |
com[void] | define | callback ** (seq[string] -> com[string]) -> com[void] |
com[void] | define | callback ** com[string] -> com[void] |
com[void] | define | callback ** com[void] -> com[void] |
com[void] | define | interpreter ** denotation ** (interpreter ** seq[string] -> ans[string]) -> com[void] |
com[void] | define | interpreter ** denotation ** (interpreter ** seq[string] -> com[string]) -> com[void] |
com[void] | delete | canvasEditor ** tag -> com[void] |
com[void] | delete | image -> com[void] |
com[void] | delete | interpreter -> com[void] |
com[void] | delete | stateId -> com[void] |
com[void] | delete | string -> com[void] |
com[void] | delete | textEditor ** index -> com[void] |
com[void] | delete | textEditor ** mark -> com[void] |
com[void] | delete | textEditor ** range -> com[void] |
com[void] | delete | textEditor ** seq[range] -> com[void] |
com[void] | delete | textEditor -> com[void] |
com[void] | delete | window -> com[void] |
com[void] | display | canvasEditor ** drawing -> com[void] |
com[void] | displayCom | view -> window ** widget -> com[void] |
com[void] | doConfig | window ** widget ** modifier ** denotation -> com[void] |
com[void] | doConfig | window ** widget ** modifier ** script -> com[void] |
com[void] | done | com[void] |
com[void] | emit | dist ** data -> com[void] |
com[void] | emit | emitter ** data -> com[void] |
com[void] | evaluate | com[void] |
com[void] | exec | denotation ** seq[denotation] -> com[void] |
com[void] | exec | sighandler -> com[void] |
com[void] | execE | denotation ** seq[denotation] ** seq[denotation] -> com[void] |
com[void] | execP | denotation ** seq[denotation] -> com[void] |
com[void] | execve | denotation ** seq[string] ** option[seq[string]] -> com[void] |
com[void] | exit | procstat -> com[void] |
com[void] | extDefine | callback ** (seq[string] -> com[void]) -> com[void] |
com[void] | extDefine | callback ** com[void] -> com[void] |
com[void] | flush | file -> com[void] |
com[void] | focus | canvasEditor ** tag -> com[void] |
com[void] | focus | window -> com[void] |
com[void] | forceApply | window ** wconfig -> com[void] |
com[void] | forceApply | window ** widget ** modifier ** config -> com[void] |
com[void] | forever | com[void] -> com[void] |
com[void] | freeCallback | callback -> com[void] |
com[void] | freeWidget | widget -> com[void] |
com[void] | genMonitor | bool -> com[void] |
com[void] | grab | window -> com[void] |
com[void] | insert | textEditor ** string ** index -> com[void] |
com[void] | insert | textEditor ** string -> com[void] |
com[void] | insert | textEditor ** view ** index -> com[void] |
com[void] | kill | agent -> com[void] |
com[void] | kill | process ** nat -> com[void] |
com[void] | kill | process ** signal -> com[void] |
com[void] | kill | process -> com[void] |
com[void] | killPGrp | process ** signal -> com[void] |
com[void] | killPGrp | process -> com[void] |
com[void] | link | denotation ** denotation -> com[void] |
com[void] | loadDefaults | defaultPrio ** denotation -> com[void] |
com[void] | lower | canvasEditor ** tag -> com[void] |
com[void] | lower | textEditor ** tag -> com[void] |
com[void] | menu | denotation ** seq[pair[denotation, com[void]]] -> com[void] |
com[void] | mkDir | denotation ** filemode -> com[void] |
com[void] | mkFifo | denotation ** filemode -> com[void] |
com[void] | monitor | (() -> denotation) -> com[void] |
com[void] | monitor | denotation -> com[void] |
com[void] | move | canvasEditor ** tag ** point -> com[void] |
com[void] | move | textEditor ** mark ** index -> com[void] |
com[void] | notify | (denotation -> denotation) ** com[void] -> com[void] |
com[void] | notify | com[void] -> com[void] |
com[void] | pause | com[void] |
com[void] | pclose | file -> com[void] |
com[void] | raise | canvasEditor ** tag -> com[void] |
com[void] | raise | textEditor ** tag -> com[void] |
com[void] | register | canvasEditor ** window ** widget -> com[void] |
com[void] | register | textEditor ** window ** widget -> com[void] |
com[void] | registerDispose | window ** com[void] -> com[void] |
com[void] | registerDispose | window ** widget ** com[void] -> com[void] |
com[void] | release | semaphor -> com[void] |
com[void] | release | window -> com[void] |
com[void] | rename | denotation ** denotation -> com[void] |
com[void] | rename | string ** string -> com[void] |
com[void] | reopen | denotation ** denotation ** file -> com[void] |
com[void] | repeat | com[void] -> com[void] |
com[void] | repeatAsk | denotation ** com[void] -> com[void] |
com[void] | reserve | semaphor -> com[void] |
com[void] | retain | com[void] : [1], [2] |
com[void] | rewind | file -> com[void] |
com[void] | rmDir | denotation -> com[void] |
com[void] | scale | canvasEditor ** tag ** point ** real ** real -> com[void] |
com[void] | see | textEditor ** index -> com[void] |
com[void] | seed | real -> com[void] |
com[void] | seek | file ** int ** seekMode -> com[void] |
com[void] | set | aEntry ** data -> com[void] : [1], [2] |
com[void] | set | canvasEditor ** tag ** config -> com[void] |
com[void] | set | image ** iconfig -> com[void] |
com[void] | set | mapEntry ** map[data1, <, data2] -> com[void] : [1], [2] |
com[void] | set | regulator ** config -> com[void] |
com[void] | set | selector ** data -> com[void] |
com[void] | set | seqEntry ** seq[data] -> com[void] : [1], [2] |
com[void] | set | setEntry ** set[data, <] -> com[void] : [1], [2] |
com[void] | set | textEditor ** tag ** config -> com[void] |
com[void] | set | window ** wconfig -> com[void] |
com[void] | setArgs | seq[denotation] -> com[void] |
com[void] | setDefault | defaultPrio ** denotation ** denotation -> com[void] |
com[void] | setEnv | denotation ** denotation -> com[void] |
com[void] | setGId | groupid -> com[void] |
com[void] | setPGrp | com[void] |
com[void] | setPGrp | process ** process -> com[void] |
com[void] | setUId | userid -> com[void] |
com[void] | setView | scroller ** scrollView -> com[void] |
com[void] | setWindow | scroller ** scrollWindow -> com[void] |
com[void] | shift | nat -> com[void] |
com[void] | sigSuspend | sigmask -> com[void] |
com[void] | silently | com[void] -> com[void] |
com[void] | store | denotation ** denotation ** data -> com[void] |
com[void] | store | denotation ** seq[string] -> com[void] |
com[void] | submit | com[void] : [1], [2] |
com[void] | symLink | denotation ** denotation -> com[void] |
com[void] | sync | aEntry ** (data -> com[void]) -> com[void] : [1], [2] |
com[void] | sync | mapEntry ** (map[data1, <, data2] -> com[void]) -> com[void] : [1], [2] |
com[void] | sync | seqEntry ** (seq[data] -> com[void]) -> com[void] : [1], [2] |
com[void] | sync | setEntry ** (set[data, <] -> com[void]) -> com[void] : [1], [2] |
com[void] | tag | textEditor ** index ** tag -> com[void] |
com[void] | tag | textEditor ** range ** tag -> com[void] |
com[void] | tag | textEditor ** seq[range] ** tag -> com[void] |
com[void] | timeout | nat -> com[void] |
com[void] | touch | denotation -> com[void] |
com[void] | undefine | interpreter ** denotation -> com[void] |
com[void] | unlink | denotation -> com[void] |
com[void] | unread | file ** char -> com[void] |
com[void] | untag | textEditor ** index ** tag -> com[void] |
com[void] | untag | textEditor ** range ** tag -> com[void] |
com[void] | untag | textEditor ** seq[range] ** tag -> com[void] |
com[void] | upd | aEntry ** (data -> data) -> com[void] : [1], [2] |
com[void] | upd | mapEntry ** (map[data1, <, data2] -> map[data1, <, data2]) -> com[void] : [1], [2] |
com[void] | upd | seqEntry ** (seq[data] -> seq[data]) -> com[void] : [1], [2] |
com[void] | upd | setEntry ** (set[data, <] -> set[data, <]) -> com[void] : [1], [2] |
com[void] | update | com[void] : [1], [2], [3] |
com[void] | utime | denotation ** time ** time -> com[void] |
com[void] | with | stateId ** (state -> state) -> com[void] |
com[void] | write | bool -> com[void] |
com[void] | write | channel ** outData -> com[void] |
com[void] | write | char -> com[void] |
com[void] | write | denotation -> com[void] |
com[void] | write | file ** char -> com[void] |
com[void] | write | file ** denotation ** data -> com[void] |
com[void] | write | file ** denotation -> com[void] |
com[void] | write | file ** string -> com[void] |
com[void] | write | int -> com[void] |
com[void] | write | nat -> com[void] |
com[void] | write | output ** char -> com[void] |
com[void] | write | output ** denotation ** data -> com[void] |
com[void] | write | output ** denotation -> com[void] |
com[void] | write | output ** string -> com[void] |
com[void] | write | real -> com[void] |
com[void] | writeLine | bool -> com[void] |
com[void] | writeLine | char -> com[void] |
com[void] | writeLine | denotation -> com[void] |
com[void] | writeLine | file ** denotation -> com[void] |
com[void] | writeLine | file ** string -> com[void] |
com[void] | writeLine | int -> com[void] |
com[void] | writeLine | nat -> com[void] |
com[void] | writeLine | output ** denotation -> com[void] |
com[void] | writeLine | output ** string -> com[void] |
com[void] | writeLine | real -> com[void] |
com[void] | writeLines | file ** seq[string] -> com[void] |
com[void] | writeLines | output ** seq[string] -> com[void] |
com[widget] | widget | widget -> com[widget] |
com[window] | menu | items -> com[window] |
com[window] | menu | wconfig ** items -> com[window] |
com[window] | window | denotation ** wconfig ** view -> com[window] |
com[window] | window | view -> com[window] |
com[window] | window | wconfig ** view -> com[window] |
com[window] | window | widget ** denotation -> com[window] |
com[window] | window | window ** denotation ** wconfig ** view -> com[window] |
composeOp | hierarchical | composeOp |
composeOp | horizontal | set[packOp, <] -> composeOp |
composeOp | op | view -> composeOp |
composeOp | vertical | set[packOp, <] -> composeOp |
config | ++ | config ** config -> config |
config | accelerator | denotation -> config |
config | accelerator | string -> config |
config | active | config |
config | activeBackground | color -> config |
config | activeBorderWidth | real -> config |
config | activeForeground | color -> config |
config | activeRelief | relief -> config |
config | addTag | tag -> config |
config | addTags | set[tag, <] -> config |
config | align | align -> config |
config | anchor | anchor -> config |
config | arrow | arrowWhere -> config |
config | arrowShape | real ** real ** real -> config |
config | background | color -> config |
config | bg | color -> config |
config | bgstipple | bitmap -> config |
config | bind | com[void] -> config |
config | bind | emitter ** data -> config |
config | bind | event ** (eventInfo -> com[void]) -> config |
config | bind | event ** emitter ** data -> config |
config | bitmap | bitmap -> config |
config | borderWidth | real -> config |
config | bw | real -> config |
config | cap | capStyle -> config |
config | closeEnough | real -> config |
config | config | (window ** widget ** modifier -> com[void]) -> config |
config | config | denotation -> config |
config | config | script -> config |
config | config | seq[configCom] -> config |
config | config | view -> config |
config | configCanvas | (window ** widget ** tag -> com[void]) -> config |
config | configMenu | (window ** widget ** nat -> com[void]) -> config |
config | configOther | (window ** widget ** string -> com[void]) -> config |
config | configText | (window ** widget ** tag -> com[void]) -> config |
config | configWidget | (window ** widget -> com[void]) -> config |
config | confine | bool -> config |
config | cursor | cursor ** color ** color -> config |
config | cursor | cursor -> config |
config | cursorBackground | color -> config |
config | cursorBorderWidth | real -> config |
config | cursorWidth | real -> config |
config | defaultConfig | config : [1], [2], [3], [4], [5], [6], [7], [8] |
config | dimension | real -> config |
config | disabled | config |
config | disabledForeground | color -> config |
config | edit | canvasEditor -> config |
config | edit | textEditor -> config |
config | elementBorderWidth | real -> config |
config | enable | selector ** (data -> bool) -> config |
config | exportSelection | config |
config | extent | real -> config |
config | fg | color -> config |
config | fgstipple | bitmap -> config |
config | fill | color -> config |
config | fixedSize | config |
config | flat | config |
config | font | font -> config |
config | foreground | color -> config |
config | groove | config |
config | height | real -> config |
config | horizontal | config |
config | image | image -> config |
config | insertBackground | color -> config |
config | insertBorderWidth | real -> config |
config | ipad | real ** real -> config |
config | ipad | size -> config |
config | ipadX | real -> config |
config | ipadY | real -> config |
config | join | joinStyle -> config |
config | justify | justifyHow -> config |
config | label | denotation -> config |
config | label | string -> config |
config | lineWidth | real -> config |
config | normal | config |
config | orient | orient -> config |
config | outline | color -> config |
config | outlineStipple | bitmap -> config |
config | pad | real ** real -> config |
config | pad | size -> config |
config | padX | real -> config |
config | padY | real -> config |
config | position | point -> config |
config | position | real ** real -> config |
config | raised | config |
config | regulate | regulator -> config |
config | relief | relief -> config |
config | relPosition | point -> config |
config | relPosition | real ** real -> config |
config | ridge | config |
config | scroll | scroller ** orient -> config |
config | scrollControl | scroller -> config |
config | scrollRegion | point ** point -> config |
config | select | selector ** (data -> bool) ** (data -> data) ** (data -> data) -> config |
config | select | selector ** (data -> bool) ** data -> config |
config | selectBackground | color -> config |
config | selectBorderWidth | real -> config |
config | selectColor | color -> config |
config | selectForeground | color -> config |
config | selectImage | image -> config |
config | selectIndicator | bool -> config |
config | selector | color -> config |
config | setGrid | config |
config | size | real ** real -> config |
config | size | size -> config |
config | slice | real ** real -> config |
config | smooth | bool -> config |
config | splineSteps | nat -> config |
config | start | real -> config |
config | state | state -> config |
config | stretch | config |
config | submenu | items -> config |
config | submenu | wconfig ** items -> config |
config | sunken | config |
config | sync | selector ** (data -> bool) ** config ** config -> config |
config | tag | tag -> config |
config | tags | set[tag, <] -> config |
config | text | denotation ** seq[union] -> config |
config | text | denotation -> config |
config | text | string -> config |
config | unitHeight | nat -> config |
config | unitSize | nat ** nat -> config |
config | unitSize | size -> config |
config | unitWidth | nat -> config |
config | vertical | config |
config | width | real -> config |
config | wrap | wrapStyle ** real ** real ** real -> config |
config | wrap | wrapStyle -> config |
config | xScrollIncrement | real -> config |
config | yScrollIncrement | real -> config |
config | {} | config |
configCom | com | (window ** widget ** modifier -> com[void]) -> configCom |