| codom | ! | codom -> map ** dom -> codom |
| codom | ! | rel ** dom ** codom -> data |
| codom | !? | rel ** dom ** codom -> option[data] |
| codom | !_c | rel ** codom -> set[dom, <] |
| codom | / | (codom ** to -> to) ** to ** map[dom, <, codom] -> to : [1], [2], [3] |
| codom | / | (codom ** to -> to) ** to ** natMap[codom] -> to |
| codom | / | (codom ** to -> to) ** to -> map[dom, <, codom] -> to : [1], [2] |
| codom | / | (dom ** codom ** data ** to -> to) ** to ** rel[dom, <, codom, <, data] -> to |
| codom | / | (dom ** codom ** to -> to) ** to ** map[dom, <, codom] -> to : [1], [2], [3] |
| codom | / | (dom ** codom ** to -> to) ** to -> map[dom, <, codom] -> to : [1], [2] |
| codom | / | (nat ** codom ** to -> to) ** to ** natMap[codom] -> to |
| codom | :-> | dom ** codom -> (dom ** codom -> data) -> rel |
| codom | :-> | dom ** codom -> data -> rel |
| codom | < | codom ** codom -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10] |
| codom | ` | (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation |
| codom | ` | (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3] |
| codom | ` | (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string |
| codom | ` | (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3] |
| codom | ` | (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation |
| codom | ` | (nat -> string) ** (codom -> string) -> natMap[codom] -> string |
| codom | def | dom ** codom ** map -> map : [1], [2], [3] |
| codom | def | nat ** codom ** natMap -> natMap |
| codom | def_c? | rel ** codom -> bool |
| codom | excl | dom ** codom ** rel -> rel |
| codom | exist? | (dom ** codom ** data -> bool) ** rel -> bool |
| codom | exist? | (dom ** codom -> bool) ** map -> bool : [1], [2], [3] |
| codom | exist? | (dom ** codom -> bool) ** rel -> bool |
| codom | exist? | (nat ** codom -> bool) ** natMap -> bool |
| codom | extend | rel ** seq[dom] ** seq[codom] ** (dom ** codom -> data) -> rel |
| codom | find? | (dom ** codom ** data -> bool) ** rel -> option[triple[dom, codom, data]] |
| codom | find? | (dom ** codom -> bool) ** map -> option[pair[dom, codom]] : [1], [2], [3] |
| codom | find? | (dom ** codom -> bool) ** rel -> option[pair[dom, codom]] |
| codom | find? | (nat ** codom -> bool) ** natMap -> option[pair[nat, codom]] |
| codom | fmtMap | (dom -> fmt) ** (codom -> fmt) -> map[dom, <, codom] -> fmt |
| codom | forall? | (dom ** codom ** data -> bool) ** rel -> bool |
| codom | forall? | (dom ** codom -> bool) ** map -> bool : [1], [2], [3] |
| codom | forall? | (dom ** codom -> bool) ** rel -> bool |
| codom | forall? | (nat ** codom -> bool) ** natMap -> bool |
| codom | in | dom ** codom ** rel -> bool |
| codom | incl | dom ** codom ** (dom ** codom -> data) ** rel -> rel |
| codom | incl | dom ** codom ** data ** rel -> rel |
| codom | init | set[dom, <] ** (dom -> codom) -> map : [1], [2], [3] |
| codom | init | set[nat, <] ** (nat -> codom) -> natMap |
| codom | partition | (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data] ** rel[dom, <, codom, <, data] |
| codom | partition | (dom ** codom -> bool) ** map[dom, <, codom] -> map[dom, <, codom] ** map[dom, <, codom] : [1], [2], [3] |
| codom | partition | (nat ** codom -> bool) ** natMap[codom] -> natMap[codom] ** natMap[codom] |
| codom | upd | dom ** (codom -> codom) ** map -> map : [1], [2], [3] |
| codom | upd | nat ** (codom -> codom) ** natMap -> natMap |
| codom | x | set[dom, <] ** codom -> (dom ** codom -> data) -> rel |
| codom | | | (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data] |
| codom | | | (dom ** codom -> bool) ** map[dom, <, codom] -> map[dom, <, codom] : [1], [2], [3] |
| codom | | | (nat ** codom -> bool) ** natMap[codom] -> natMap[codom] |
| codomFrom | * | (codomFrom -> codomTo) ** map[dom, <, codomFrom] -> map[dom, <, codomTo] : [1], [2], [3] |
| codomFrom | * | (codomFrom -> codomTo) ** natMap[codomFrom] -> natMap[codomTo] |
| codomFrom | * | (domFrom ** codomFrom ** dataFrom -> domTo ** codomTo ** dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
| codomFrom | * | (domFrom -> domTo) ** (codomFrom -> codomTo) ** (dataFrom -> dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
| codomFrom | < | codomFrom ** codomFrom -> bool |
| codomTo | * | (codomFrom -> codomTo) ** map[dom, <, codomFrom] -> map[dom, <, codomTo] : [1], [2], [3] |
| codomTo | * | (codomFrom -> codomTo) ** natMap[codomFrom] -> natMap[codomTo] |
| codomTo | * | (domFrom ** codomFrom ** dataFrom -> domTo ** codomTo ** dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
| codomTo | * | (domFrom -> domTo) ** (codomFrom -> codomTo) ** (dataFrom -> dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
| codomTo | < | codomTo ** codomTo -> bool |
| color | activeBackground | color -> config |
| color | activeForeground | color -> config |
| color | background | color -> config |
| color | bg | color -> config |
| color | color? | color -> bool |
| color | cursor | cursor ** color ** color -> config |
| color | cursorBackground | color -> config |
| color | disabledForeground | color -> config |
| color | fg | color -> config |
| color | fill | color -> config |
| color | foreground | color -> config |
| color | insertBackground | color -> config |
| color | name | color -> denotation |
| color | outline | color -> config |
| color | selectBackground | color -> config |
| color | selectColor | color -> config |
| color | selectForeground | color -> config |
| color | selector | color -> config |
| colorModel | directColor? | colorModel -> bool |
| colorModel | grayScale? | colorModel -> bool |
| colorModel | pseudoColor? | colorModel -> bool |
| colorModel | staticColor? | colorModel -> bool |
| colorModel | staticGray? | colorModel -> bool |
| colorModel | trueColor? | colorModel -> bool |
| com | EXEC | com -> data |
| com[data1] | & | com[data1] ** (data1 -> data2) -> com[data2] |
| com[data1] | * | (data1 -> data2) ** com[data1] -> com[data2] |
| com[data] | + | com[data] ** com[data] -> com[data] |
| com[data] | ` | com[data] -> denotation |
| 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] | section | com[void] ** com[void] ** com[data] -> com[data] |
| com[data] | | | com[data] ** com[data] -> com[data] |
| com[env] | monitor | channel[inData, outData] ** env ** (env -> com[env]) ** (env -> com[env]) -> env |
| com[env] | monitorForce | env ** (env -> com[env]) -> env |
| com[first] | & | com[first] ** (first -> com[second]) -> com[second] |
| com[first] | & | com[first] ** com[second] -> com[second] |
| com[first] | ; | com[first] ** (ans[first] -> com[second]) -> com[second] |
| com[first] | ; | com[first] ** com[second] -> com[second] |
| com[out] | => | sap ** (in -> bool) ** (in -> com[out]) -> com[out] |
| com[out] | => | sap ** (in -> com[out]) -> com[out] |
| com[pair[first1, first2]] | & | com[pair[first1, first2]] ** (first1 ** first2 -> com[second]) -> com[second] |
| com[result] | agent | com[result] -> com[agent] |
| 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[seq[denotation]] | readLine | denotation ** (denotation ** denotation ** nat ** nat -> com[seq[denotation]]) -> com[denotation] |
| com[string] | define | (seq[string] -> com[string]) -> com[callback] |
| com[string] | define | callback ** (seq[string] -> com[string]) -> com[void] |
| com[string] | define | callback ** com[string] -> com[void] |
| com[string] | define | com[string] -> com[callback] |
| com[string] | define | interpreter ** denotation ** (interpreter ** seq[string] -> com[string]) -> com[void] |
| com[to] | *& | (from -> com[to]) ** seq[from] -> com[seq[to]] |
| 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[triple[first1, first2, first3]] | & | com[triple[first1, first2, first3]] ** (first1 ** first2 ** first3 -> com[second]) -> com[second] |
| com[void] | -?-> | bool ** (() -> com[void]) -> com[void] |
| com[void] | @& | (data -> com[void]) ** seq[data] -> com[void] |
| com[void] | @; | (data -> com[void]) ** seq[data] -> com[void] |
| com[void] | atomic | semaphor ** com[void] -> com[void] |
| com[void] | basic | (window ** widget -> com[void]) ** config -> view |
| com[void] | basic | (window ** widget -> com[void]) -> view |
| 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 | com[void] -> config |
| com[void] | bind | event ** (eventInfo -> com[void]) -> com[void] |
| com[void] | bind | event ** (eventInfo -> com[void]) -> config |
| com[void] | bind | event ** (eventInfo -> com[void]) -> wconfig |
| 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] | button | denotation ** com[void] -> view |
| com[void] | check | (denotation -> denotation) ** com[void] -> com[void] |
| com[void] | check | com[void] -> com[void] |
| com[void] | com | (window ** widget ** modifier -> com[void]) -> configCom |
| com[void] | com | (window -> com[void]) -> wconfigCom |
| com[void] | config | (window ** widget ** modifier -> com[void]) -> config |
| com[void] | configCanvas | (window ** widget ** tag -> com[void]) -> config |
| com[void] | configMenu | (window ** widget ** nat -> com[void]) -> config |
| com[void] | configOther | (window ** widget ** string -> com[void]) -> config |
| com[void] | configText | (window ** widget ** tag -> com[void]) -> config |
| com[void] | configWidget | (window ** widget -> com[void]) -> config |
| com[void] | define | callback ** com[void] -> com[void] |
| com[void] | define | com[void] -> com[callback] |
| com[void] | extDefine | callback ** (seq[string] -> com[void]) -> com[void] |
| com[void] | extDefine | callback ** com[void] -> com[void] |
| com[void] | forever | com[void] -> com[void] |
| com[void] | notify | (denotation -> denotation) ** com[void] -> com[void] |
| com[void] | notify | com[void] -> com[void] |
| com[void] | registerDispose | window ** com[void] -> com[void] |
| com[void] | registerDispose | window ** widget ** com[void] -> com[void] |
| com[void] | repeat | com[void] -> com[void] |
| com[void] | repeatAsk | denotation ** com[void] -> com[void] |
| com[void] | section | com[void] ** com[void] ** com[data] -> com[data] |
| com[void] | silently | com[void] -> 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] | wconfig | (window -> com[void]) -> wconfig |
| composeOp | = | composeOp ** composeOp -> bool |
| composeOp | compound | composeOp ** seq[view] -> view |
| composeOp | hierarchical? | composeOp -> bool |
| composeOp | horizontal? | composeOp -> bool |
| composeOp | pack | composeOp -> set[packOp, <] |
| composeOp | vertical? | composeOp -> bool |
| config | ++ | config ** config -> config |
| config | aEntry | config -> com[aEntry] |
| config | aEntry | data ** config -> com[aEntry] |
| config | aEntryLong | config -> com[aEntry] |
| config | aEntryLong | data ** config -> com[aEntry] |
| config | apply | window ** widget ** modifier ** config -> com[void] |
| config | basic | (window ** widget -> com[void]) ** config -> view |
| config | config? | config -> bool |
| config | forceApply | window ** widget ** modifier ** config -> com[void] |
| config | insert | textEditor ** string ** index ** config -> com[tag] |
| config | insert | textEditor ** view ** index ** config -> com[tag] |
| config | mapEntry | config -> com[mapEntry] |
| config | mapEntry | map[data1, <, data2] ** config -> com[mapEntry] |
| config | opts | config -> seq[configCom] |
| config | seqEntry | config -> com[seqEntry] |
| config | seqEntry | seq[data] ** config -> com[seqEntry] |
| config | set | canvasEditor ** tag ** config -> com[void] |
| config | set | regulator ** config -> com[void] |
| config | set | textEditor ** tag ** config -> com[void] |
| config | setEntry | config -> com[setEntry] |
| config | setEntry | set[data, <] ** config -> com[setEntry] |
| config | sync | selector ** (data -> bool) ** config ** config -> config |
| config | with | drawing ** config -> drawing |
| config | with | items ** config -> items |
| config | with | view ** config -> view |
| configCom | com | configCom -> window ** widget ** modifier -> com[void] |
| configCom | com? | configCom -> bool |