BIBLIOTHECA OPALICA - BibOpalicaManual_cd

next node: [ b ] to [ bo ],
prev node: Function Index By Codomain,
up to node: Function Index By Codomain

Function Index By Codomain [ a ] to [ ar ]

[ 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 ]

a

left

either -> a

al

align	baseline	align
align	bottom	align
align	center	align
align	top	align

an

anchor	-	anchor * anchor -> anchor*
anchor	anchor	denotation -> anchor
anchor	center	anchor
anchor	east	anchor
anchor	north	anchor
anchor	south	anchor
anchor	west	anchor
ans	fail	denotation -> ans
ans	okay	data -> ans
ans[bool]	asBool	string -> ans[bool]
ans[data]	`	(data -> denotation) -> ans[data] -> denotation
ans[data]	argListToLong	ans[data]
ans[data]	badAddress	ans[data]
ans[data]	badFileNumber	ans[data]
ans[data]	brokenPipe	ans[data]
ans[data]	crossDeviceLink	ans[data]
ans[data]	deadlock	ans[data]
ans[data]	deviceBusy	ans[data]
ans[data]	directoryNotEmpty	ans[data]
ans[data]	execFormat	ans[data]
ans[data]	fileExists	ans[data]
ans[data]	fileTableOverflow	ans[data]
ans[data]	fileTooLarge	ans[data]
ans[data]	illegalSeek	ans[data]
ans[data]	interruptedSystemCall	ans[data]
ans[data]	invalidArgument	ans[data]
ans[data]	ioError	ans[data]
ans[data]	isDirectory	ans[data]
ans[data]	nameTooLong	ans[data]
ans[data]	noChildren	ans[data]
ans[data]	noDirectory	ans[data]
ans[data]	noEntity	ans[data]
ans[data]	noMoreProcesses	ans[data]
ans[data]	noRecordLocks	ans[data]
ans[data]	noSpaceOnDevice	ans[data]
ans[data]	noSuchDevice	ans[data]
ans[data]	noSuchDeviceOrAddr	ans[data]
ans[data]	noSuchProcess	ans[data]
ans[data]	notEnoughMemory	ans[data]
ans[data]	notImplemented	ans[data]
ans[data]	notOwner	ans[data]
ans[data]	noTTY	ans[data]
ans[data]	permissionDenied	ans[data]
ans[data]	readOnlyFileSys	ans[data]
ans[data]	someError	ans[data]
ans[data]	tooManyLinks	ans[data]
ans[data]	tooManyOpenFiles	ans[data]
ans[int]	asInt	string -> ans[int]
ans[nat]	asNat	string -> ans[nat]
ans[real]	asReal	string -> ans[real]
ans[seq[string]]	asList	string -> ans[seq[string]]
ans[to]	//	(from * ans[to] -> com[to]) ** seq[from] -> ans[to] -> com[to]*

ar

arg	;	(arg -> inter) * (inter -> res) -> arg -> res*
arg	const	res -> arg -> res
arg	const	res1 * res2 -> arg -> res1 ** res2*
arg	o	(inter -> res) * (arg -> inter) -> arg -> res*
arg1	;	(arg1 * arg2 arg3 arg4 -> inter) (inter -> res) -> arg1 arg2 arg3 arg4 -> res*
arg1	;	(arg1 * arg2 arg3 -> inter) (inter -> res) -> arg1 arg2 arg3 -> res*
arg1	;	(arg1 * arg2 -> inter) (inter -> res) -> arg1 arg2 -> res*
arg1	curry	(arg1 * arg2 -> res) -> arg1 -> arg2 -> res*
arg1	flip	(arg1 * arg2 -> res) -> arg2 ** arg1 -> res*
arg1	flip	(arg1 -> arg2 -> res) -> arg2 -> arg1 -> res
arg1	o	(inter -> res) * (arg1 arg2 arg3 arg4 -> inter) -> arg1 arg2 arg3 arg4 -> res*
arg1	o	(inter -> res) * (arg1 arg2 arg3 -> inter) -> arg1 arg2 arg3 -> res*
arg1	o	(inter -> res) * (arg1 arg2 -> inter) -> arg1 arg2 -> res*
arg1	uncurry	(arg1 -> arg2 -> res) -> arg1 * arg2 -> res*
arg1	\|	(arg1 -> res1) * (arg2 -> res2) -> arg1 arg2 -> res1 res2*
arg2	;	(arg1 * arg2 arg3 arg4 -> inter) (inter -> res) -> arg1 arg2 arg3 arg4 -> res*
arg2	;	(arg1 * arg2 arg3 -> inter) (inter -> res) -> arg1 arg2 arg3 -> res*
arg2	;	(arg1 * arg2 -> inter) (inter -> res) -> arg1 arg2 -> res*
arg2	curry	(arg1 * arg2 -> res) -> arg1 -> arg2 -> res*
arg2	flip	(arg1 * arg2 -> res) -> arg2 ** arg1 -> res*
arg2	flip	(arg1 -> arg2 -> res) -> arg2 -> arg1 -> res
arg2	o	(inter -> res) * (arg1 arg2 arg3 arg4 -> inter) -> arg1 arg2 arg3 arg4 -> res*
arg2	o	(inter -> res) * (arg1 arg2 arg3 -> inter) -> arg1 arg2 arg3 -> res*
arg2	o	(inter -> res) * (arg1 arg2 -> inter) -> arg1 arg2 -> res*
arg2	uncurry	(arg1 -> arg2 -> res) -> arg1 * arg2 -> res*
arg2	\|	(arg1 -> res1) * (arg2 -> res2) -> arg1 arg2 -> res1 res2*
arg3	;	(arg1 * arg2 arg3 arg4 -> inter) (inter -> res) -> arg1 arg2 arg3 arg4 -> res*
arg3	;	(arg1 * arg2 arg3 -> inter) (inter -> res) -> arg1 arg2 arg3 -> res*
arg3	o	(inter -> res) * (arg1 arg2 arg3 arg4 -> inter) -> arg1 arg2 arg3 arg4 -> res*
arg3	o	(inter -> res) * (arg1 arg2 arg3 -> inter) -> arg1 arg2 arg3 -> res*
arg4	;	(arg1 * arg2 arg3 arg4 -> inter) (inter -> res) -> arg1 arg2 arg3 arg4 -> res*
arg4	o	(inter -> res) * (arg1 arg2 arg3 arg4 -> inter) -> arg1 arg2 arg3 arg4 -> res*
array	++	array * array -> array*
array	:=	array * nat ** data -> array*
array	delete	array * nat ** nat -> array*
array	empty	array
array	extend	array * nat ** (nat -> data) -> array*
array	extend	array * nat ** data -> array*
array	init	nat * (nat -> data) -> array*
array	init	nat * data -> array*
array	insert	array * nat ** array -> array*
array	swap	array * nat ** nat -> array*
array	upd	nat * (data -> data) ** array -> array*
array	upd	nat * data ** array -> array*
array[data]	`	(data -> denotation) -> array[data] -> denotation
array[data]	`	(data -> string) -> array[data] -> string
array[data]	asArray	dArray[data] -> array[data]
array[data]	asArray	seq[data] -> array[data]
array[data]	drop	(data -> bool) * array[data] -> array[data]*
array[data]	fmtArray	(data -> fmt) -> array[data] -> fmt
array[data]	partition	(data -> bool) * array[data] -> array[data] ** array[data]*
array[data]	rep	dArray -> array[data]
array[data]	split	(data -> bool) * array[data] -> array[data] ** array[data]*
array[data]	take	(data -> bool) * array[data] -> array[data]*
array[data]	\|	(data -> bool) * array[data] -> array[data]*
array[from]	/	(from * to -> to) ** to -> array[from] -> to*
array[from]	/	(nat * from to -> to) to -> array[from] -> to*
array[from]	\	(from * to -> to) ** to -> array[from] -> to*
array[from]	\	(nat * from to -> to) to -> array[from] -> to*
array[map[nat, <, codom]]	rep	natMap[codom] -> array[map[nat, <, codom]]
array[to]	*	(from -> to) * array[from] -> array[to]*
arrowWhere	both	arrowWhere
arrowWhere	first	arrowWhere
arrowWhere	last	arrowWhere
arrowWhere	none	arrowWhere

next node: [ b ] to [ bo ],
prev node: Function Index By Codomain,
up to node: Function Index By Codomain