next node: [ to ],
prev node: [ sr ] to [ st ],
up to node: Function Index By Domain

Function Index By Domain [ su ] to [ ti ]

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

su

subrel <? subrel -> bool
subrel =? subrel -> bool
subrel ` subrel -> denotation
subrel |=? subrel -> bool

ta

tag < tag ** tag -> bool
tag = tag ** tag -> bool
tag above canvasEditor ** tag -> com[tag]
tag addTag tag -> config
tag bbox canvasEditor ** tag -> com[pair[point, point]]
tag below canvasEditor ** tag -> com[tag]
tag canvas tag -> modifier
tag configCanvas (window ** widget ** tag -> com[void]) -> config
tag configText (window ** widget ** tag -> com[void]) -> config
tag delete canvasEditor ** tag -> com[void]
tag first tag -> index
tag focus canvasEditor ** tag -> com[void]
tag last tag -> index
tag lower canvasEditor ** tag -> com[void]
tag lower textEditor ** tag -> com[void]
tag move canvasEditor ** tag ** point -> com[void]
tag name tag -> denotation
tag raise canvasEditor ** tag -> com[void]
tag raise textEditor ** tag -> com[void]
tag ranges textEditor ** tag -> com[seq[range]]
tag scale canvasEditor ** tag ** point ** real ** real -> com[void]
tag set canvasEditor ** tag ** config -> com[void]
tag set textEditor ** tag ** config -> com[void]
tag tag tag -> config
tag tag textEditor ** index ** tag -> com[void]
tag tag textEditor ** range ** tag -> com[void]
tag tag textEditor ** seq[range] ** tag -> com[void]
tag tag? tag -> bool
tag text tag -> modifier
tag untag textEditor ** index ** tag -> com[void]
tag untag textEditor ** range ** tag -> com[void]
tag untag textEditor ** seq[range] ** tag -> com[void]
tag withTag canvasEditor ** tag -> com[set[tag, <]]

te

textEditor delete textEditor ** index -> com[void]
textEditor delete textEditor ** mark -> com[void]
textEditor delete textEditor ** range -> com[void]
textEditor delete textEditor ** seq[range] -> com[void]
textEditor delete textEditor -> com[void]
textEditor edit textEditor -> config
textEditor get textEditor ** index -> com[string]
textEditor get textEditor ** range -> com[string]
textEditor get textEditor -> com[string]
textEditor index textEditor ** index -> com[index]
textEditor insert textEditor ** string ** index ** config -> com[tag]
textEditor insert textEditor ** string ** index -> com[void]
textEditor insert textEditor ** string -> com[void]
textEditor insert textEditor ** view ** index ** config -> com[tag]
textEditor insert textEditor ** view ** index -> com[void]
textEditor lower textEditor ** tag -> com[void]
textEditor mark textEditor ** index -> com[mark]
textEditor move textEditor ** mark ** index -> com[void]
textEditor raise textEditor ** tag -> com[void]
textEditor ranges textEditor ** tag -> com[seq[range]]
textEditor register textEditor ** window ** widget -> com[void]
textEditor search textEditor ** denotation ** index ** seq[searchOpt] -> com[option[index]]
textEditor see textEditor ** index -> com[void]
textEditor set textEditor ** tag ** config -> com[void]
textEditor tag textEditor ** index ** tag -> com[void]
textEditor tag textEditor ** range ** tag -> com[void]
textEditor tag textEditor ** seq[range] ** tag -> com[void]
textEditor untag textEditor ** index ** tag -> com[void]
textEditor untag textEditor ** range ** tag -> com[void]
textEditor untag textEditor ** seq[range] ** tag -> com[void]

ti

time - time ** time -> real
time < time ** time -> bool
time <= time ** time -> bool
time = time ** time -> bool
time > time ** time -> bool
time >= time ** time -> bool
time ` time -> denotation
time day time -> nat
time dst? time -> option[bool]
time format denotation ** time -> denotation
time hour time -> nat
time min time -> nat
time mon time -> nat
time sec time -> nat
time utime denotation ** time ** time -> com[void]
time wday time -> wday
time yday time -> nat
time year time -> nat
time |= time ** time -> bool

next node: [ to ],
prev node: [ sr ] to [ st ],
up to node: Function Index By Domain