searchOpt | backwards? | searchOpt -> bool |
searchOpt | exact? | searchOpt -> bool |
searchOpt | forwards? | searchOpt -> bool |
searchOpt | nocase? | searchOpt -> bool |
searchOpt | regexp? | searchOpt -> bool |
seekMode | fromCurrent? | seekMode -> bool |
seekMode | fromEnd? | seekMode -> bool |
seekMode | fromStart? | seekMode -> bool |
seekMode | seek | file ** int ** seekMode -> com[void] |
selector | await | selector ** (data -> bool) -> com[data] |
selector | enable | selector ** (data -> bool) -> config |
selector | get | selector -> com[data] |
selector | select | selector ** (data -> bool) ** (data -> data) ** (data -> data) -> config |
selector | select | selector ** (data -> bool) ** data -> config |
selector | set | selector ** data -> com[void] |
selector | sync | selector ** (data -> bool) ** config ** config -> config |
semaphor | atomic | semaphor ** com[void] -> com[void] |
semaphor | release | semaphor -> com[void] |
semaphor | reserve | semaphor -> com[void] |
seq | # | seq -> nat |
seq | +% | seq ** data -> seq |
seq | +%+ | seq -> seq ** seq -> seq |
seq | ++ | seq ** seq -> seq |
seq | +/+ | seq -> seq ** seq -> seq |
seq | :: | data ** seq -> seq |
seq | ::? | seq -> bool |
seq | <>? | seq -> bool |
seq | cons | data ** seq -> seq |
seq | cons? | seq -> bool |
seq | drop | nat ** seq -> seq |
seq | empty? | seq -> bool |
seq | exist1? | (data -> bool) ** seq -> bool |
seq | exist? | (data -> bool) ** seq -> bool |
seq | find? | (data -> bool) ** seq -> option[data] |
seq | forall? | (data -> bool) ** seq -> bool |
seq | front | seq -> seq |
seq | ft | seq -> data |
seq | last | seq -> data |
seq | revert | seq -> seq |
seq | rt | seq -> seq |
seq | split | nat ** seq -> seq ** seq |
seq | take | nat ** seq -> seq |
seq[char] | asString | seq[char] -> string |
seq[char] | implode | seq[char] -> string |
seq[codom] | extend | map ** seq[dom] ** seq[codom] -> map : [1], [2], [3] |
seq[codom] | extend | natMap ** seq[nat] ** seq[codom] -> natMap |
seq[codom] | extend | rel ** seq[dom] ** seq[codom] ** (dom ** codom -> data) -> rel |
seq[codom] | extend | rel ** seq[dom] ** seq[codom] ** seq[data] -> rel |
seq[configCom] | config | seq[configCom] -> config |
seq[data] | ! | seq[data] ** nat -> data |
seq[data] | +%+ | seq[data] -> seq[data] ** iseq -> iseq |
seq[data] | ++ | seq[data] ** iseq -> iseq |
seq[data] | +/+ | seq[data] -> seq[data] ** iseq -> iseq |
seq[data] | / | (data ** data -> data) ** seq[data] -> data |
seq[data] | @& | (data -> com[void]) ** seq[data] -> com[void] |
seq[data] | @; | (data -> com[void]) ** seq[data] -> com[void] |
seq[data] | \ | (data ** data -> data) ** seq[data] -> data |
seq[data] | abs | seq[data] -> set |
seq[data] | asArray | seq[data] -> array[data] |
seq[data] | asBag | seq[data] -> bag[data, <] |
seq[data] | asDArray | seq[data] -> dArray[data] |
seq[data] | asSet | seq[data] -> set[data, <] : [1], [2] |
seq[data] | bind | seqEntry ** event ** (seqEntry ** eventInfo ** seq[data] -> com[void]) -> com[void] : [1], [2] |
seq[data] | delete | seq[data] ** nat ** nat -> seq[data] |
seq[data] | drop | (data -> bool) ** seq[data] -> seq[data] |
seq[data] | extend | rel ** seq[dom] ** seq[codom] ** seq[data] -> rel |
seq[data] | filter | (data -> bool) ** seq[data] -> seq[data] |
seq[data] | implode | seq[data] -> bag[data, <] |
seq[data] | inits | seq[data] -> seq[seq[data]] |
seq[data] | insert | iseq[data] ** nat ** seq[data] -> iseq[data] |
seq[data] | insert | seq[data] ** nat ** seq[data] -> seq[data] |
seq[data] | list | (data -> fmt) ** fmt ** fmt ** fmt ** seq[data] -> fmt |
seq[data] | list | (data -> fmt) ** fmt ** seq[data] -> fmt |
seq[data] | list? | (data -> fmt) ** fmt ** fmt ** fmt ** seq[data] -> fmt |
seq[data] | partition | (data -> bool) ** seq[data] -> seq[data] ** seq[data] |
seq[data] | permutations | seq[data] -> seq[seq[data]] |
seq[data] | pos | (data -> bool) ** seq[data] -> option[nat] |
seq[data] | repeat | seq[data] -> iseq |
seq[data] | repl | iseq[data] ** nat ** seq[data] -> iseq[data] |
seq[data] | repl | seq[data] ** nat ** seq[data] -> seq[data] |
seq[data] | seqEntry | seq[data] ** config -> com[seqEntry] |
seq[data] | seqEntry | seq[data] ** nat ** nat -> com[seqEntry] |
seq[data] | seqEntry | seq[data] -> com[seqEntry] |
seq[data] | set | seqEntry ** seq[data] -> com[void] : [1], [2] |
seq[data] | slice | seq[data] ** nat ** nat -> seq[data] |
seq[data] | split | (data -> bool) ** seq[data] -> seq[data] ** seq[data] |
seq[data] | swap | nat ** nat ** seq[data] -> seq[data] |
seq[data] | sync | seqEntry ** (seq[data] -> com[void]) -> com[void] : [1], [2] |
seq[data] | tails | seq[data] -> seq[seq[data]] |
seq[data] | take | (data -> bool) ** seq[data] -> seq[data] |
seq[data] | upd | nat ** (data -> data) ** seq[data] -> seq[data] |
seq[data] | upd | nat ** data ** seq[data] -> seq[data] |
seq[data] | upd | seqEntry ** (seq[data] -> seq[data]) -> com[void] : [1], [2] |
seq[data] | | | (data -> bool) ** seq[data] -> seq[data] |
seq[denotation] | exec | denotation ** seq[denotation] -> com[void] |
seq[denotation] | execE | denotation ** seq[denotation] ** seq[denotation] -> com[void] |
seq[denotation] | execP | denotation ** seq[denotation] -> com[void] |
seq[denotation] | setArgs | seq[denotation] -> com[void] |
seq[doc] | cat | seq[doc] -> doc |
seq[doc] | fill | seq[doc] -> doc |
seq[doc] | hcat | seq[doc] -> doc |
seq[doc] | hsep | seq[doc] -> doc |
seq[doc] | punctuate | doc ** seq[doc] -> seq[doc] |
seq[doc] | sep | seq[doc] -> doc |
seq[doc] | vcat | seq[doc] -> doc |
seq[dom] | extend | map ** seq[dom] ** seq[codom] -> map : [1], [2], [3] |
seq[dom] | extend | rel ** seq[dom] ** seq[codom] ** (dom ** codom -> data) -> rel |
seq[dom] | extend | rel ** seq[dom] ** seq[codom] ** seq[data] -> rel |
seq[fmt] | ..* | seq[fmt] -> fmt |
seq[fmt] | ..|..* | fmt ** seq[fmt] -> fmt |
seq[from] | * | (env ** from -> env ** to) ** env ** seq[from] -> env ** seq[to] |
seq[from] | * | (from -> to) ** seq[from] -> seq[to] |
seq[from] | *& | (from -> com[to]) ** seq[from] -> com[seq[to]] |
seq[from] | / | (from ** ans[to] -> com[to]) ** ans[to] ** seq[from] -> com[to] |
seq[from] | / | (from ** to -> to) ** to ** seq[from] -> to |
seq[from] | /& | (from ** to -> com[to]) ** to ** seq[from] -> com[to] |
seq[from] | // | (from ** ans[to] -> com[to]) ** seq[from] -> ans[to] -> com[to] |
seq[from] | \ | (from ** to -> to) ** to ** seq[from] -> to |
seq[from] | map | (from -> to) ** seq[from] -> seq[to] |
seq[from] | reduce | (from ** to -> to) ** to ** seq[from] -> to |
seq[nat] | asSet | seq[nat] -> set |
seq[nat] | extend | natMap ** seq[nat] ** seq[codom] -> natMap |
seq[pair[data, nat]] | abs | seq[pair[data, nat]] -> bag |
seq[pair[data, nat]] | asBag | seq[pair[data, nat]] -> bag[data, <] |
seq[pair[data, nat]] | implodeCt | seq[pair[data, nat]] -> bag[data, <] |
seq[pair[denotation, com[void]]] | menu | denotation ** seq[pair[denotation, com[void]]] -> com[void] |
seq[pair[dom, codom]] | asMap | seq[pair[dom, codom]] -> map[dom, <, codom] : [1], [2], [3] |
seq[pair[dom, codom]] | implode | seq[pair[dom, codom]] -> map[dom, <, codom] : [1], [2] |
seq[pair[nat, codom]] | asNatMap | seq[pair[nat, codom]] -> natMap[codom] |
seq[point] | line | seq[point] -> drawing |
seq[point] | polygon | seq[point] -> drawing |
seq[range] | delete | textEditor ** seq[range] -> com[void] |
seq[range] | tag | textEditor ** seq[range] ** tag -> com[void] |
seq[range] | untag | textEditor ** seq[range] ** tag -> com[void] |
seq[searchOpt] | search | textEditor ** denotation ** index ** seq[searchOpt] -> com[option[index]] |
seq[seq[data]] | combinations | seq[seq[data]] -> seq[seq[data]] |
seq[seq[data]] | flat | seq[seq[data]] -> seq[data] |
seq[seq[data]] | transpose | seq[seq[data]] -> seq[seq[data]] |
seq[string] | @ | interpreter ** seq[string] -> com[string] |
seq[string] | asString | seq[string] -> string |
seq[string] | define | (seq[string] -> com[string]) -> com[callback] |
seq[string] | define | callback ** (seq[string] -> com[string]) -> com[void] |
seq[string] | define | interpreter ** denotation ** (interpreter ** seq[string] -> ans[string]) -> com[void] |
seq[string] | define | interpreter ** denotation ** (interpreter ** seq[string] -> com[string]) -> com[void] |
seq[string] | execve | denotation ** seq[string] ** option[seq[string]] -> com[void] |
seq[string] | extDefine | callback ** (seq[string] -> com[void]) -> com[void] |
seq[string] | store | denotation ** seq[string] -> com[void] |
seq[string] | writeLines | file ** seq[string] -> com[void] |
seq[string] | writeLines | output ** seq[string] -> com[void] |
seq[token] | parser | (seq[token] ** state -> either[option[error], a] ** seq[token] ** state) -> parser |
seq[token] | run | seq[token] ** state ** (() -> parser) -> either[option[error], a] |
seq[triple[dom, codom, data]] | asRel | seq[triple[dom, codom, data]] -> rel[dom, <, codom, <, data] |
seq[union] | @ | interpreter ** denotation ** seq[union] -> com[string] |
seq[union] | ` | seq[union] -> denotation |
seq[union] | format | denotation ** seq[union] -> string |
seq[union] | format | string ** seq[union] -> string |
seq[union] | text | denotation ** seq[union] -> config |
seq[union] | u | bool ** seq[union] -> seq[union] |
seq[union] | u | char ** seq[union] -> seq[union] |
seq[union] | u | denotation ** seq[union] -> seq[union] |
seq[union] | u | int ** seq[union] -> seq[union] |
seq[union] | u | nat ** seq[union] -> seq[union] |
seq[union] | u | real ** seq[union] -> seq[union] |
seq[union] | u | string ** seq[union] -> seq[union] |
seq[view] | compound | composeOp ** seq[view] -> view |
seq[view] | displayChildren | window ** widget ** string ** seq[view] -> com[bool] |
seq[wconfigCom] | wconfig | seq[wconfigCom] -> wconfig |
seqEntry | bind | seqEntry ** event ** (seqEntry ** eventInfo ** seq[data] -> com[void]) -> com[void] : [1], [2] |
seqEntry | bind | seqEntry ** event ** (seqEntry ** eventInfo -> com[void]) -> com[void] : [1], [2] |
seqEntry | get | seqEntry ** point -> com[pair[nat, data]] : [1], [2] |
seqEntry | get | seqEntry -> com[seq[data]] : [1], [2] |
seqEntry | getSelection | seqEntry -> com[seq[data]] : [1], [2] |
seqEntry | regulator | seqEntry -> regulator : [1], [2] |
seqEntry | set | seqEntry ** seq[data] -> com[void] : [1], [2] |
seqEntry | sync | seqEntry ** (seq[data] -> com[void]) -> com[void] : [1], [2] |
seqEntry | upd | seqEntry ** (seq[data] -> seq[data]) -> com[void] : [1], [2] |
seqEntry | view | seqEntry -> view : [1], [2] |
set | # | set -> nat : [1], [2], [3] |
set | * | (nat -> nat) ** set -> set |
set | * | set ** set -> set : [1], [2], [3], [4] |
set | + | set ** set -> set : [1], [2], [3], [4] |
set | - | set ** set -> set : [1], [2], [3], [4] |
set | / | (nat ** nat -> nat) ** set -> nat |
set | / | (nat ** to -> to) ** to ** set -> to |
set | < | set ** set -> bool : [1], [2], [3] |
set | <= | set ** set -> bool : [1], [2], [3] |
set | = | set ** set -> bool : [1], [2], [3] |
set | ` | set -> denotation |
set | ` | set -> string |
set | abs | array[data] ** set ** nat -> dArray |
set | arb | set -> data : [1], [2] |
set | arb | set -> nat |
set | asSeq | set -> seq[nat] |
set | asSet? | set -> bool |
set | cF | set -> data -> bool |
set | excl | data ** set -> set : [1], [2] |
set | excl | nat ** set -> set |
set | exist? | (data -> bool) ** set -> bool : [1], [2] |
set | exist? | (nat -> bool) ** set -> bool |
set | find? | (data -> bool) ** set -> option[data] : [1], [2] |
set | find? | (nat -> bool) ** set -> option[nat] |
set | forall? | (data -> bool) ** set -> bool : [1], [2] |
set | forall? | (nat -> bool) ** set -> bool |
set | in | data ** set -> bool : [1], [2], [3] |
set | in | nat ** set -> bool |
set | incl | data ** set -> set : [1], [2] |
set | incl | nat ** set -> set |
set | max | set -> data : [1], [2] |
set | min | set -> data : [1], [2] |
set | partition | (nat -> bool) ** set -> set ** set |
set | rep | set -> bstree[data, <] |
set | rep | set -> seq[data] |
set | {<} | set ** set -> bool : [1], [2], [3] |
set | {}? | set -> bool : [1], [2], [3] |
set | | | (nat -> bool) ** set -> set |
set | ~ | set -> set |
set[codom, <] | !_c | rel ** set[codom, <] -> set[dom, <] |
set[codom, <] | x | dom ** set[codom, <] -> (dom ** codom -> data) -> rel |
set[codom, <] | x | set[dom, <] ** set[codom, <] -> (dom ** codom -> data) -> rel |
set[codom, <] | |> | rel ** set[codom, <] -> rel |
set[codom, <] | |~> | rel ** set[codom, <] -> rel |
set[data, <] | / | (data ** data -> data) ** set[data, <] -> data : [1], [2] |
set[data, <] | asSeq | set[data, <] -> seq[data] : [1], [2] |
set[data, <] | bind | setEntry ** event ** (setEntry ** eventInfo ** set[data, <] -> com[void]) -> com[void] : [1], [2] |
set[data, <] | P | set[data, <] -> set[set[data, <], {<}[data, <]] : [1], [2] |
set[data, <] | partition | (data -> bool) ** set[data, <] -> set[data, <] ** set[data, <] : [1], [2] |
set[data, <] | set | setEntry ** set[data, <] -> com[void] : [1], [2] |
set[data, <] | setEntry | set[data, <] ** config -> com[setEntry] |
set[data, <] | setEntry | set[data, <] ** nat ** nat -> com[setEntry] |
set[data, <] | setEntry | set[data, <] -> com[setEntry] |
set[data, <] | sync | setEntry ** (set[data, <] -> com[void]) -> com[void] : [1], [2] |
set[data, <] | topSort | (data -> set[data, <]) -> set[data, <] -> seq[set[data, <]] |
set[data, <] | upd | setEntry ** (set[data, <] -> set[data, <]) -> com[void] : [1], [2] |
set[data, <] | | | (data -> bool) ** set[data, <] -> set[data, <] : [1], [2] |
set[data1, <] | U | set[data1, <] ** set[data2, <] -> set[union[data1, data2], <] : [1], [2] |
set[data1, <] | x | set[data1, <] ** set[data2, <] -> set[pair[data1, data2], <] : [1], [2] |
set[data1] | U | set[data1] ** set[data2] -> set[union[data1, data2]] |
set[data1] | x | set[data1] ** set[data2] -> set[pair[data1, data2]] |
set[data2, <] | U | set[data1, <] ** set[data2, <] -> set[union[data1, data2], <] : [1], [2] |
set[data2, <] | x | set[data1, <] ** set[data2, <] -> set[pair[data1, data2], <] : [1], [2] |
set[data2] | U | set[data1] ** set[data2] -> set[union[data1, data2]] |
set[data2] | x | set[data1] ** set[data2] -> set[pair[data1, data2]] |
set[data] | ` | set[data] -> denotation |
set[data] | ` | set[data] -> string |
set[data] | partition | (data -> bool) ** set[data] -> set[data] ** set[data] |
set[data] | | | (data -> bool) ** set[data] -> set[data] |
set[dom, <] | ! | rel ** set[dom, <] -> set[codom, <] |
set[dom, <] | <- | map ** set[dom, <] -> map : [1], [2], [3] |
set[dom, <] | <| | set[dom, <] ** rel -> rel |
set[dom, <] | <~| | set[dom, <] ** rel -> rel |
set[dom, <] | id | set[dom, <] -> rel[dom, <, dom, <, data] |
set[dom, <] | init | set[dom, <] ** (dom -> codom) -> map : [1], [2], [3] |
set[dom, <] | x | set[dom, <] ** codom -> (dom ** codom -> data) -> rel |
set[dom, <] | x | set[dom, <] ** set[codom, <] -> (dom ** codom -> data) -> rel |
set[from, <] | * | (env ** from -> env ** to) ** env ** set[from, <] -> env ** set[to, <] : [1], [2] |
set[from, <] | * | (from -> to) ** set[from, <] -> set[to, <] : [1], [2] |
set[from, <] | / | (from ** to -> to) ** to ** set[from, <] -> to : [1], [2] |
set[nat, <] | <- | natMap ** set[nat, <] -> natMap |
set[nat, <] | init | set[nat, <] ** (nat -> codom) -> natMap |
set[packOp, <] | horizontal | set[packOp, <] -> composeOp |
set[packOp, <] | modified | set[packOp, <] ** view -> view |
set[packOp, <] | vertical | set[packOp, <] -> composeOp |
set[pair[dom, codom], less] | abs | set[pair[dom, codom], less] -> map : [1], [2] |
set[pair[dom, codom], less] | abs | set[pair[dom, codom], less] -> map[dom, <, codom] |
set[set[data, <], {<}[data, <]] | flat | set[set[data, <], {<}[data, <]] -> set[data, <] : [1], [2] |
set[tag, <] | addTags | set[tag, <] -> config |
set[tag, <] | tags | set[tag, <] -> config |
setEntry | bind | setEntry ** event ** (setEntry ** eventInfo ** set[data, <] -> com[void]) -> com[void] : [1], [2] |
setEntry | bind | setEntry ** event ** (setEntry ** eventInfo -> com[void]) -> com[void] : [1], [2] |
setEntry | get | setEntry ** point -> com[data] : [1], [2] |
setEntry | get | setEntry -> com[set[data, <]] : [1], [2] |
setEntry | getSelection | setEntry -> com[set[data, <]] : [1], [2] |
setEntry | regulator | setEntry -> regulator : [1], [2] |
setEntry | set | setEntry ** set[data, <] -> com[void] : [1], [2] |
setEntry | sync | setEntry ** (set[data, <] -> com[void]) -> com[void] : [1], [2] |
setEntry | upd | setEntry ** (set[data, <] -> set[data, <]) -> com[void] : [1], [2] |
setEntry | view | setEntry -> view : [1], [2] |