next node: [ si ] to [ sr ],
prev node: [ pe ] to [ re ],
up to node: Function Index By Codomain

Function Index By Codomain [ ro ] to [ se ]

[ a ] [ al ] [ an ] [ ar ] [ b ] [ ba ] [ bi ] [ bo ] [ bs ] [ ca ] [ ch ] [ co ] [ cu ] [ da ] [ de ] [ do ] [ dr ] [ dy ] [ ei ] [ en ] [ ev ] [ fi ] [ fm ] [ fo ] [ fr ] [ fu ] [ gr ] [ he ] [ ic ] [ im ] [ in ] [ is ] [ it ] [ jo ] [ ju ] [ ma ] [ mo ] [ na ] [ op ] [ or ] [ ou ] [ pa ] [ pe ] [ po ] [ pr ] [ qu ] [ ra ] [ re ] [ ro ] [ sc ] [ se ] [ si ] [ so ] [ sr ] [ st ] [ su ] [ ta ] [ ti ] [ to ] [ tr ] [ un ] [ us ] [ ve ] [ vi ] [ vo ] [ wc ] [ wd ] [ wi ] [ wr ]

ro

role client role
role server role

sc

script & script ** denotation -> script
script & script ** int -> script
script & script ** nat -> script
script & script ** real -> script
script & script ** string -> script
script + script ** callback -> script
script + script ** denotation -> script
script + script ** nat -> script
script + script ** real -> script
script + script ** string -> script
script + script ** widget -> script
script <- denotation ** callback -> script
script <- denotation ** denotation -> script : [1], [2]
script <- denotation ** int -> script
script <- denotation ** nat -> script : [1], [2]
script <- denotation ** real -> script : [1], [2]
script <- denotation ** string -> script : [1], [2]
script <- denotation ** widget -> script
scrollView moveto real -> scrollView
scrollView shiftPages int -> scrollView
scrollView shiftUnits int -> scrollView
scrollWindow window real ** real -> scrollWindow

se

searchOpt backwards searchOpt
searchOpt exact searchOpt
searchOpt forwards searchOpt
searchOpt nocase searchOpt
searchOpt regexp searchOpt
seekMode fromCurrent seekMode
seekMode fromEnd seekMode
seekMode fromStart seekMode
seq % data ** data ** data ** data ** data ** data ** data ** data -> seq
seq % data ** data ** data ** data ** data ** data ** data -> seq
seq % data ** data ** data ** data ** data ** data -> seq
seq % data ** data ** data ** data ** data -> seq
seq % data ** data ** data ** data -> seq
seq % data ** data ** data -> seq
seq % data ** data -> seq
seq % data -> seq
seq +% seq ** data -> seq
seq +%+ data -> seq ** seq -> seq
seq +%+ seq -> seq ** seq -> seq
seq ++ seq ** seq -> seq
seq +/+ data -> seq ** seq -> seq
seq +/+ seq -> seq ** seq -> seq
seq .. nat ** nat -> (nat -> data) -> seq
seq :: data ** seq -> seq
seq < (data ** data -> bool) -> seq ** seq -> bool
seq <> seq
seq = (data ** data -> bool) -> seq ** seq -> bool
seq cons data ** seq -> seq
seq drop nat ** seq -> seq
seq empty seq
seq front seq -> seq
seq iter data ** (data -> data) ** (data -> bool) -> seq
seq revert seq -> seq
seq rt seq -> seq
seq split nat ** seq -> seq ** seq
seq take nat ** seq -> seq
seq[char] asSeq string -> seq[char]
seq[char] explode string -> seq[char]
seq[codom] codom map -> seq[codom] : [1], [2], [3]
seq[codom] codom natMap -> seq[codom]
seq[configCom] opts config -> seq[configCom]
seq[data] +%+ data -> seq[data] ** iseq -> iseq
seq[data] +%+ seq[data] -> seq[data] ** iseq -> iseq
seq[data] +/+ data -> seq[data] ** iseq -> iseq
seq[data] +/+ seq[data] -> seq[data] ** iseq -> iseq
seq[data] ` (data -> denotation) -> seq[data] -> denotation
seq[data] ` (data -> string) -> seq[data] -> string
seq[data] ` denotation ** denotation ** denotation -> (data -> denotation) -> seq[data] -> denotation
seq[data] ` denotation ** denotation ** denotation -> (data -> string) -> seq[data] -> string
seq[data] asSeq array[data] -> seq[data]
seq[data] asSeq bag[data, <] -> seq[data]
seq[data] asSeq dArray[data] -> seq[data]
seq[data] asSeq set[data, <] -> seq[data] : [1], [2]
seq[data] asSeqIn bstree[data, <] -> seq[data]
seq[data] asSeqIn heap[data, <] -> seq[data]
seq[data] asSeqIn tree[data] -> seq[data]
seq[data] asSeqPost bstree[data, <] -> seq[data]
seq[data] asSeqPost heap[data, <] -> seq[data]
seq[data] asSeqPost tree[data] -> seq[data]
seq[data] asSeqPre bstree[data, <] -> seq[data]
seq[data] asSeqPre heap[data, <] -> seq[data]
seq[data] asSeqPre tree[data] -> seq[data]
seq[data] children bstree -> seq[data]
seq[data] children heap -> seq[data]
seq[data] children tree -> seq[data]
seq[data] cmp (data ** data -> bool) -> seq[data] ** seq[data] -> rel
seq[data] components (data ** data -> bool) -> seq[data] -> seq[seq[data]]
seq[data] delete seq[data] ** nat ** nat -> seq[data]
seq[data] drop (data -> bool) ** seq[data] -> seq[data]
seq[data] eq? (data ** data -> bool) -> seq[data] ** seq[data] -> bool
seq[data] explode bag[data, <] -> seq[data]
seq[data] filter (data -> bool) ** seq[data] -> seq[data]
seq[data] filter (data -> bool) -> seq[data] -> seq[data]
seq[data] flat seq[seq[data]] -> seq[data]
seq[data] fmtSeq (data -> fmt) -> seq[data] -> fmt
seq[data] front bstree -> seq[data]
seq[data] front heap -> seq[data]
seq[data] front tree -> seq[data]
seq[data] grandchildren bstree -> seq[data]
seq[data] grandchildren heap -> seq[data]
seq[data] grandchildren tree -> seq[data]
seq[data] insert seq[data] ** nat ** seq[data] -> seq[data]
seq[data] level nat ** bstree -> seq[data]
seq[data] level nat ** heap -> seq[data]
seq[data] level nat ** tree -> seq[data]
seq[data] merge (data ** data -> bool) -> seq[data] ** seq[data] -> seq[data]
seq[data] msort (data ** data -> bool) -> seq[data] -> seq[data]
seq[data] partition (data ** data -> bool) -> seq[data] -> seq[seq[data]]
seq[data] partition (data -> bool) ** seq[data] -> seq[data] ** seq[data]
seq[data] rep set -> seq[data]
seq[data] repl seq[data] ** nat ** seq[data] -> seq[data]
seq[data] slice iseq[data] ** nat ** nat -> seq[data]
seq[data] slice seq[data] ** nat ** nat -> seq[data]
seq[data] split (data -> bool) ** iseq[data] -> seq[data] ** iseq[data]
seq[data] split (data -> bool) ** seq[data] -> seq[data] ** seq[data]
seq[data] split nat ** iseq -> seq[data] ** iseq
seq[data] swap nat ** nat ** seq[data] -> seq[data]
seq[data] take (data -> bool) ** iseq[data] -> seq[data]
seq[data] take (data -> bool) ** seq[data] -> seq[data]
seq[data] take nat ** iseq -> seq[data]
seq[data] upd nat ** (data -> data) ** seq[data] -> seq[data]
seq[data] upd nat ** data ** seq[data] -> seq[data]
seq[data] | (data -> bool) ** seq[data] -> seq[data]
seq[denotation] applArgs seq[denotation]
seq[denotation] pretty doc -> seq[denotation]
seq[denotation] pretty nat ** doc -> seq[denotation]
seq[doc] punctuate doc ** seq[doc] -> seq[doc]
seq[from1] unzip (to -> from1 ** from2) -> seq[to] -> seq[from1] ** seq[from2]
seq[from1] zip (from1 ** from2 -> to) -> seq[from1] ** seq[from2] -> seq[to]
seq[from2] unzip (to -> from1 ** from2) -> seq[to] -> seq[from1] ** seq[from2]
seq[from2] zip (from1 ** from2 -> to) -> seq[from1] ** seq[from2] -> 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 ** 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] asSeq set -> seq[nat]
seq[pair[data, nat]] asSeqPair bag[data, <] -> seq[pair[data, nat]]
seq[pair[data, nat]] explodeCt bag[data, <] -> seq[pair[data, nat]]
seq[pair[data, nat]] rep bag -> seq[pair[data, nat]]
seq[pair[dom, codom]] asSeq map[dom, <, codom] -> seq[pair[dom, codom]] : [1], [2], [3]
seq[pair[dom, codom]] explode map[dom, <, codom] -> seq[pair[dom, codom]] : [1], [2]
seq[pair[nat, codom]] asSeq natMap[codom] -> seq[pair[nat, codom]]
seq[seq[data]] asSeqBreadth bstree[data, <] -> seq[seq[data]]
seq[seq[data]] asSeqBreadth heap[data, <] -> seq[seq[data]]
seq[seq[data]] asSeqBreadth tree[data] -> seq[seq[data]]
seq[seq[data]] combinations seq[seq[data]] -> seq[seq[data]]
seq[seq[data]] components (data ** data -> bool) -> seq[data] -> seq[seq[data]]
seq[seq[data]] inits seq[data] -> seq[seq[data]]
seq[seq[data]] msc map[data, <, set[data, <]] -> seq[seq[data]]
seq[seq[data]] partition (data ** data -> bool) -> seq[data] -> seq[seq[data]]
seq[seq[data]] permutations seq[data] -> seq[seq[data]]
seq[seq[data]] tails seq[data] -> seq[seq[data]]
seq[seq[data]] transpose seq[seq[data]] -> seq[seq[data]]
seq[set[data, <]] topSort (data -> set[data, <]) -> set[data, <] -> seq[set[data, <]]
seq[string] components (char ** char -> bool) -> string -> seq[string]
seq[string] convList string -> seq[string]
seq[string] pretty doc -> seq[string]
seq[string] pretty fmt ** nat ** fmt -> seq[string]
seq[string] pretty nat ** doc -> seq[string]
seq[string] pretty nat ** nat ** fmt -> seq[string]
seq[string] split (char -> bool) ** string -> seq[string]
seq[to] * (char -> to) ** string -> seq[to]
seq[to] * (env ** from -> env ** to) ** env ** seq[from] -> env ** seq[to]
seq[to] * (from -> to) ** seq[from] -> seq[to]
seq[to] map (from -> to) ** seq[from] -> seq[to]
seq[to] map (from -> to) -> seq[from] -> seq[to]
seq[to] unzip (to -> from1 ** from2) -> seq[to] -> seq[from1] ** seq[from2]
seq[to] zip (from1 ** from2 -> to) -> seq[from1] ** seq[from2] -> seq[to]
seq[token] parser parser -> seq[token] ** state -> either[option[error], a] ** seq[token] ** state
seq[triple[dom, codom, data]] asSeq rel[dom, <, codom, <, data] -> seq[triple[dom, codom, data]]
seq[union] scan denotation ** string -> seq[union]
seq[union] scan denotation ** string -> seq[union] ** denotation ** string
seq[union] scan denotation ** string -> seq[union] ** string
seq[union] u bool ** seq[union] -> seq[union]
seq[union] u bool -> seq[union]
seq[union] u char ** seq[union] -> seq[union]
seq[union] u char -> seq[union]
seq[union] u denotation ** seq[union] -> seq[union]
seq[union] u denotation -> seq[union]
seq[union] u int ** seq[union] -> seq[union]
seq[union] u int -> seq[union]
seq[union] u nat ** seq[union] -> seq[union]
seq[union] u nat -> seq[union]
seq[union] u real ** seq[union] -> seq[union]
seq[union] u real -> seq[union]
seq[union] u string ** seq[union] -> seq[union]
seq[union] u string -> seq[union]
seq[view] views view -> seq[view]
seq[wconfigCom] opts wconfig -> seq[wconfigCom]
set % data ** data ** data ** data ** data ** data ** data ** data -> set : [1], [2]
set % data ** data ** data ** data ** data ** data ** data -> set : [1], [2]
set % data ** data ** data ** data ** data ** data -> set : [1], [2]
set % data ** data ** data ** data ** data -> set : [1], [2]
set % data ** data ** data ** data -> set : [1], [2]
set % data ** data ** data -> set : [1], [2]
set % data ** data -> set : [1], [2]
set % data -> set : [1], [2]
set % nat ** nat ** nat ** nat ** nat ** nat ** nat ** nat -> set
set % nat ** nat ** nat ** nat ** nat ** nat ** nat -> set
set % nat ** nat ** nat ** nat ** nat ** nat -> set
set % nat ** nat ** nat ** nat ** nat -> set
set % nat ** nat ** nat ** nat -> set
set % nat ** nat ** nat -> set
set % nat ** nat -> set
set % nat -> set
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 -> data) -> set : [1], [2]
set .. nat ** nat -> (nat -> nat) -> set
set < (data ** data -> bool) -> set ** set -> bool
set abs bstree[data, <] -> set
set abs seq[data] -> set
set asSet (data -> bool) -> set
set asSet seq[nat] -> set
set excl data ** set -> set : [1], [2]
set excl nat ** set -> set
set incl data ** set -> set : [1], [2]
set incl nat ** set -> set
set iter data ** (data -> data) ** (data -> bool) -> set : [1], [2]
set iter nat ** (nat -> nat) ** (nat -> bool) -> set
set occ dArray -> set
set partition (nat -> bool) ** set -> set ** set
set U set
set {} set : [1], [2], [3], [4]
set | (nat -> bool) ** set -> set
set ~ set -> set
set[codom, <] ! rel ** dom -> set[codom, <]
set[codom, <] ! rel ** set[dom, <] -> set[codom, <]
set[codom, <] codom rel -> set[codom, <]
set[data, <] ` (data -> denotation) -> set[data, <] -> denotation : [1], [2]
set[data, <] ` (data -> string) -> set[data, <] -> string : [1], [2]
set[data, <] ` denotation ** denotation ** denotation -> (data -> denotation) -> set[data, <] -> denotation : [1], [2]
set[data, <] ` denotation ** denotation ** denotation -> (data -> string) -> set[data, <] -> string : [1], [2]
set[data, <] asSet seq[data] -> set[data, <] : [1], [2]
set[data, <] flat set[set[data, <], {<}[data, <]] -> set[data, <] : [1], [2]
set[data, <] fmtSet (data -> fmt) -> set[data, <] -> fmt
set[data, <] partition (data ** data -> bool) -> set[data, <] -> set[set[data, <], {<}[data, <]] : [1], [2]
set[data, <] partition (data -> bool) ** set[data, <] -> set[data, <] ** set[data, <] : [1], [2]
set[data, <] topSort (data -> set[data, <]) -> set[data, <] -> seq[set[data, <]]
set[data, <] | (data -> bool) ** set[data, <] -> set[data, <] : [1], [2]
set[data] partition (data -> bool) ** set[data] -> set[data] ** set[data]
set[data] | (data -> bool) ** set[data] -> set[data]
set[denotation, <] groupMembers group -> set[denotation, <]
set[dom, <] !_c rel ** codom -> set[dom, <]
set[dom, <] !_c rel ** set[codom, <] -> set[dom, <]
set[dom, <] dom map -> set[dom, <] : [1], [2], [3]
set[dom, <] dom rel -> set[dom, <]
set[from, <] / (from ** to -> to) ** to -> set[from, <] -> to
set[nat, <] dom natMap -> set[nat, <]
set[packOp, <] pack composeOp -> set[packOp, <]
set[packOp, <] pack view -> set[packOp, <]
set[pair[data1, data2], <] x set[data1, <] ** set[data2, <] -> set[pair[data1, data2], <] : [1], [2]
set[pair[data1, data2]] x set[data1] ** set[data2] -> set[pair[data1, data2]]
set[pair[dom, codom], less] rep map -> set[pair[dom, codom], less] : [1], [2]
set[pair[dom, codom], less] rep map[dom, <, codom] -> set[pair[dom, codom], less]
set[set[data, <], {<}[data, <]] P set[data, <] -> set[set[data, <], {<}[data, <]] : [1], [2]
set[set[data, <], {<}[data, <]] partition (data ** data -> bool) -> set[data, <] -> set[set[data, <], {<}[data, <]] : [1], [2]
set[to, <] * (env ** from -> env ** to) ** env ** set[from, <] -> env ** set[to, <] : [1], [2]
set[to, <] * (from -> to) ** set[from, <] -> set[to, <] : [1], [2]
set[union[data1, data2], <] U set[data1, <] ** set[data2, <] -> set[union[data1, data2], <] : [1], [2]
set[union[data1, data2]] U set[data1] ** set[data2] -> set[union[data1, data2]]

next node: [ si ] to [ sr ],
prev node: [ pe ] to [ re ],
up to node: Function Index By Codomain