BIBLIOTHECA OPALICA - BibOpalicaManual_cd

Function Index By Codomain [ do ] to [ ev ]

[ al ] [ an ] [ ar ] [ ba ] [ bi ] [ bo ] [ bs ] [ 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 ] [ 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 ]

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*

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*

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*