next node: [ fi ] to [ fm ],
prev node: [ de ],
up to node: Function Index By Codomain


Function Index By Codomain [ do ] to [ ev ]

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

do

dom ! codom -> map ** dom -> codom
dom .. nat ** nat -> (nat -> dom) ** (dom -> codom) -> map : [1], [2], [3]
dom :-> dom ** codom -> (dom ** codom -> data) -> rel
dom ` denotation ** denotation ** denotation -> (dom ** codom ** data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
dom ` denotation ** denotation ** denotation -> (dom ** codom ** data -> string) -> rel[dom, <, codom, <, data] -> string
dom ` denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
dom ` denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string
dom ` denotation -> denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3]
dom ` denotation -> denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3]
dom arb rel -> dom ** codom
dom arb rel -> dom ** codom ** data
dom iter dom ** (dom -> dom) ** (dom -> bool) -> (dom -> codom) -> map : [1], [2], [3]
dom max rel -> dom ** codom
dom min rel -> dom ** codom
dom x dom ** set[codom, <] -> (dom ** codom -> data) -> rel
dom x set[dom, <] ** codom -> (dom ** codom -> data) -> rel
dom x set[dom, <] ** set[codom, <] -> (dom ** codom -> data) -> rel

dr

drawing ++ drawing ** drawing -> drawing
drawing arc point ** point -> drawing
drawing bitmap point -> drawing
drawing chord point ** point -> drawing
drawing image point -> drawing
drawing line seq[point] -> drawing
drawing move drawing ** point -> drawing
drawing oval point ** point -> drawing
drawing pie point ** point -> drawing
drawing polygon seq[point] -> drawing
drawing rectangle point ** point -> drawing
drawing text point -> drawing
drawing view point ** view -> drawing
drawing with drawing ** config -> drawing
drawing {} drawing

dy

dyn pack data ** denotation -> dyn

en

env * (env ** from -> env ** to) ** env ** seq[from] -> env ** seq[to]
env * (env ** from -> env ** to) ** env ** set[from, <] -> env ** set[to, <] : [1], [2]
env *_^ (env ** env ** from -> env ** to) ** env ** bstree[from, <] -> env ** bstree[to, <]
env *_^ (env ** env ** from -> env ** to) ** env ** heap[from, <] -> env ** heap[to, <]
env *_^ (env ** env ** from -> env ** to) ** env ** tree[from] -> env ** tree[to]
env *_in (env ** from -> env ** to) ** env ** bstree[from, <] -> env ** bstree[to, <]
env *_in (env ** from -> env ** to) ** env ** heap[from, <] -> env ** heap[to, <]
env *_in (env ** from -> env ** to) ** env ** tree[from] -> env ** tree[to]
env *_post (env ** from -> env ** to) ** env ** bstree[from, <] -> env ** bstree[to, <]
env *_post (env ** from -> env ** to) ** env ** heap[from, <] -> env ** heap[to, <]
env *_post (env ** from -> env ** to) ** env ** tree[from] -> env ** tree[to]
env *_pre (env ** from -> env ** to) ** env ** bstree[from, <] -> env ** bstree[to, <]
env *_pre (env ** from -> env ** to) ** env ** heap[from, <] -> env ** heap[to, <]
env *_pre (env ** from -> env ** to) ** env ** tree[from] -> env ** tree[to]
env monitor channel[inData, outData] ** env ** (env -> com[env]) ** (env -> com[env]) -> env
env monitorForce env ** (env -> com[env]) -> env

ev

event ++ event ** event -> event
event - modifier ** event -> event
event button nat -> event
event buttonPress nat -> event
event buttonRelease nat -> event
event configure event
event destroy event
event enter event
event event event -> event
event event eventInfo -> event
event expose event
event focusIn event
event focusOut event
event key denotation -> event
event keyPress denotation -> event
event keyRelease denotation -> event
event leave event
event left event -> event
event map event
event motion event
event reparent event
event right event -> event
event someButtonPress event
event someButtonRelease event
event someKeyPress event
event someKeyRelease event
event unmap event
event visibility event
eventInfo buttonInfo event ** point ** nat -> eventInfo
eventInfo keyInfo event ** point ** denotation ** nat ** char -> eventInfo
eventInfo noInfo event -> eventInfo
eventInfo pointInfo event ** point -> eventInfo


next node: [ fi ] to [ fm ],
prev node: [ de ],
up to node: Function Index By Codomain