BIBLIOTHECA OPALICA - BibOpalicaManual_dm

next node: [ bi ] to [ bo ],
prev node: [ a ] to [ an ],
up to node: Function Index By Domain

Function Index By Domain [ ar ] to [ ba ]

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

ar

arg	*	(arg -> res) * option[arg] -> option[res]*
arg	.	arg * (arg -> res) -> res*
arg	;	(arg -> inter) * (inter -> res) -> arg -> res*
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 * nat -> data*
array	#	array -> nat
array	++	array * array -> array*
array	:=	array * nat ** data -> array*
array	delete	array * nat ** nat -> array*
array	empty?	array -> bool
array	extend	array * nat ** (nat -> data) -> array*
array	extend	array * 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 * data -> data) ** array[data] -> data*
array[data]	\	(data * data -> data) ** array[data] -> data*
array[data]	abs	array[data] * set ** nat -> dArray*
array[data]	asDArray	array[data] -> dArray[data]
array[data]	asSeq	array[data] -> seq[data]
array[data]	drop	(data -> bool) * array[data] -> array[data]*
array[data]	partition	(data -> bool) * array[data] -> array[data] ** 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) * array[from] -> array[to]*
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]]	abs	array[map[nat, <, codom]] -> natMap[codom]
arrowWhere	arrow	arrowWhere -> config
arrowWhere	both?	arrowWhere -> bool
arrowWhere	first?	arrowWhere -> bool
arrowWhere	last?	arrowWhere -> bool
arrowWhere	none?	arrowWhere -> bool

b

b	*	(() -> parser[a, token, state, error]) * (a -> b) -> () -> parser[b, token, state, error]*
b	`	(a -> denotation) * (b -> denotation) -> either[a, b] -> denotation*
b	right	b -> either

ba

bag	#	bag -> nat
bag	*	bag * bag -> bag*
bag	+	bag * bag -> bag*
bag	-	bag * bag -> bag*
bag	<	bag * bag -> bool*
bag	<=	bag * bag -> bool*
bag	=	bag * bag -> bool*
bag	arb	bag -> data
bag	ct	data * bag -> nat*
bag	excl	data * bag -> bag*
bag	exclAll	data * bag -> bag*
bag	exist?	(data -> bool) * bag -> bool*
bag	find?	(data -> bool) * bag -> option[data]*
bag	forall?	(data -> bool) * bag -> bool*
bag	in	data * bag -> bool*
bag	incl	data * bag -> bag*
bag	inclCt	data * nat ** bag -> bag*
bag	rep	bag -> seq[pair[data, nat]]
bag	U	bag * bag -> bag*
bag	{}?	bag -> bool
bag[data, <]	/	(data * data -> data) ** bag[data, <] -> data*
bag[data, <]	asSeq	bag[data, <] -> seq[data]
bag[data, <]	asSeqPair	bag[data, <] -> seq[pair[data, nat]]
bag[data, <]	explode	bag[data, <] -> seq[data]
bag[data, <]	explodeCt	bag[data, <] -> seq[pair[data, nat]]
bag[data, <]	partition	(data -> bool) * bag[data, <] -> bag[data, <] ** bag[data, <]*
bag[data, <]	\|	(data -> bool) * bag[data, <] -> bag[data, <]*
bag[from, <]	*	(from -> to) * bag[from, <] -> bag[to, <]*
bag[from, <]	/	(from * nat to -> to) to ** bag[from, <] -> to*
bag[from, <]	/	(from * to -> to) to bag[from, <] -> to*

next node: [ bi ] to [ bo ],
prev node: [ a ] to [ an ],
up to node: Function Index By Domain