A | |
add_buffer [Nopres_intf.Buffer] | add_buffer b1 b2 appends the current contents of buffer b2
at the end of buffer b1 .
|
add_channel [Nopres_intf.Buffer] | add_channel b ic n reads exactly n character from the
input channel ic and stores them at the end of buffer b .
|
add_char [Nopres_intf.Buffer] | add_char b c appends the character c at the end of
the buffer b .
|
add_full_channel [Nopres_intf.Buffer] | |
add_full_channel_f [Nopres_intf.Buffer] | |
add_one [Pres_intf.T] | add_one ra el adds element el to resizable array ra ,
possibly causing a reallocation.
|
add_one [Nopres_intf.T] | add_one ra el adds element el to resizable array ra ,
possibly causing a reallocation.
|
add_string [Nopres_intf.Buffer] | add_string b s appends the string s at the end of
the buffer b .
|
add_substring [Nopres_intf.Buffer] | add_substring b s ofs len takes len characters from offset
ofs in string s and appends them at the end of the buffer
b .
|
append [Pres_intf.T] | append ra1 ra2
|
append [Nopres_intf.T] | append ra1 ra2
|
B | |
blit [Pres_intf.T] | blit ra1 ofs1 ra2 ofs2 len blits resizable array ra1 onto
ra2 reading len elements from offset ofs1 and writing them
to ofs2 , possibly adding elements at the end of ra2.
|
blit [Nopres_intf.T] | blit ra1 ofs1 ra2 ofs2 len blits resizable array ra1 onto
ra2 reading len elements from offset ofs1 and writing them
to ofs2 , possibly adding elements at the end of ra2.
|
C | |
clear [Pres_intf.T] | clear ra removes all elements from resizable array ra ,
possibly causing a reallocation.
|
clear [Nopres_intf.T] | clear ra removes all elements from resizable array ra ,
possibly causing a reallocation.
|
concat [Pres_intf.T] | concat l
|
concat [Nopres_intf.T] | concat l
|
contents [Nopres_intf.Buffer] | contents b
|
copy [Pres_intf.T] | copy ra
|
copy [Nopres_intf.T] | copy ra
|
create [Pres_intf.T] | create n el same as screate but uses default strategy.
|
create [Nopres_intf.T] | create n same as screate but uses default strategy.
|
D | |
default [Strat.T] |
Default strategy of this strategy implementation.
|
E | |
empty [Pres_intf.T] | empty () same as sempty but uses default strategy.
|
empty [Nopres_intf.T] | empty () same as sempty but uses default strategy.
|
enforce_strategy [Pres_intf.T] | enforce_strategy ra forces a reallocation if necessary
(e.g.
|
enforce_strategy [Nopres_intf.T] | enforce_strategy ra forces a reallocation if necessary
(e.g.
|
exists [Pres_intf.T] | exists p ra
|
exists [Nopres_intf.T] | exists p ra
|
F | |
fill [Pres_intf.T] | fill ra ofs len el fills resizable array ra from offset
ofs with len elements el , possibly adding elements at the
end.
|
fill [Nopres_intf.T] | fill ra ofs len el fills resizable array ra from offset
ofs with len elements el , possibly adding elements at the
end.
|
filter [Pres_intf.T] | filter p ra
|
filter [Nopres_intf.T] | filter p ra
|
filter_in_place [Pres_intf.T] | filter_in_place p ra as filter , but filters in place.
|
filter_in_place [Nopres_intf.T] | filter_in_place p ra as filter , but filters in place.
|
find [Pres_intf.T] | find p ra
|
find [Nopres_intf.T] | find p ra
|
find_all [Pres_intf.T] | find_all p ra is the same as filter
|
find_all [Nopres_intf.T] | find_all p ra is the same as filter
|
find_index [Pres_intf.T] | find_index p ra pos
|
find_index [Nopres_intf.T] | find_index p ra pos
|
fold_left [Pres_intf.T] | fold_left f a ra left-folds values in resizable array ra
using function f and start accumulator a .
|
fold_left [Nopres_intf.T] | fold_left f a ra left-folds values in resizable array ra
using function f and start accumulator a .
|
fold_right [Pres_intf.T] | fold_right f a ra right-folds values in resizable array ra
using function f and start accumulator a .
|
fold_right [Nopres_intf.T] | fold_right f a ra right-folds values in resizable array ra
using function f and start accumulator a .
|
for_all [Pres_intf.T] | for_all p ra
|
for_all [Nopres_intf.T] | for_all p ra
|
G | |
get [Pres_intf.T] | get ra n
|
get [Nopres_intf.T] | get ra n
|
get_strategy [Pres_intf.T] | get_strategy ra
|
get_strategy [Nopres_intf.T] | get_strategy ra
|
grow [Strat.T] | grow strat new_len
|
I | |
init [Pres_intf.T] | init n f sames as sinit but uses default strategy.
|
init [Nopres_intf.T] | init n f sames as sinit but uses default strategy.
|
iter [Pres_intf.T] | iter f ra applies the unit-function f to each element in
resizable array ra .
|
iter [Nopres_intf.T] | iter f ra applies the unit-function f to each element in
resizable array ra .
|
iteri [Pres_intf.T] | iteri f ra applies the unit-function f to each index and
element in resizable array ra .
|
iteri [Nopres_intf.T] | iteri f ra applies the unit-function f to each index and
element in resizable array ra .
|
L | |
length [Pres_intf.T] | length ra
|
length [Nopres_intf.T] | length ra
|
lix [Pres_intf.T] | lix ra
|
lix [Nopres_intf.T] | lix ra
|
M | |
make [Pres_intf.T] | make n el same as create .
|
make [Nopres_intf.T] | make n el same as smake but uses default strategy.
|
make_matrix [Pres_intf.T] | make_matrix sx sy el creates a (resizable) matrix of
dimensions sx and sy containing element el only.
|
map [Pres_intf.T] | map f ra
|
map [Nopres_intf.T] | map f ra
|
mapi [Pres_intf.T] | mapi f ra
|
mapi [Nopres_intf.T] | mapi f ra
|
mem [Pres_intf.T] | mem el ra
|
mem [Nopres_intf.T] | mem el ra
|
memq [Pres_intf.T] | memq el ra
|
memq [Nopres_intf.T] | memq el ra
|
O | |
of_array [Pres_intf.T] | of_array ar converts a standard array to a resizable one
using the default strategy.
|
of_array [Nopres_intf.T] | of_array ar converts a standard array to a resizable one
using the default strategy.
|
of_list [Pres_intf.T] | of_list l creates a resizable array using the default
strategy and the elements in list l .
|
of_list [Nopres_intf.T] | of_list l creates a resizable array using the default
strategy and the elements in list l .
|
of_string [Nopres_intf.Buffer] | of_string ar converts a string to a resizable buffer using
the default strategy.
|
output_buffer [Nopres_intf.Buffer] | output_buffer oc b writes the current contents of buffer b
on the output channel oc .
|
P | |
partition [Pres_intf.T] | partition p ra
|
partition [Nopres_intf.T] | partition p ra
|
pos [Pres_intf.T] | pos el ra
|
pos [Nopres_intf.T] | pos el ra
|
posq [Pres_intf.T] | posq el ra
|
posq [Nopres_intf.T] | posq el ra
|
put_strategy [Pres_intf.T] | put_strategy ra s sets the reallocation strategy of
resizable array ra to s .
|
put_strategy [Nopres_intf.T] | put_strategy ra s sets the reallocation strategy of
resizable array ra to s .
|
R | |
real_length [Pres_intf.T] | real_length ra
|
real_length [Nopres_intf.T] | real_length ra
|
real_lix [Pres_intf.T] | real_lix ra
|
real_lix [Nopres_intf.T] | real_lix ra
|
remove_n [Pres_intf.T] | remove_n ra n removes the last n elements of resizable
array ra , possibly causing a reallocation.
|
remove_n [Nopres_intf.T] | remove_n ra n removes the last n elements of resizable
array ra , possibly causing a reallocation.
|
remove_one [Pres_intf.T] | remove_one ra removes the last element of resizable array
ra , possibly causing a reallocation.
|
remove_one [Nopres_intf.T] | remove_one ra removes the last element of resizable array
ra , possibly causing a reallocation.
|
remove_range [Pres_intf.T] | remove_range ra ofs len removes len elements from resizable
array ra starting at ofs and possibly causing a
reallocation.
|
remove_range [Nopres_intf.T] | remove_range ra ofs len removes len elements from resizable
array ra starting at ofs and possibly causing a
reallocation.
|
reset [Nopres_intf.Buffer] | reset b just clears the buffer, possibly resizing it.
|
S | |
screate [Pres_intf.T] | screate s n el
|
screate [Nopres_intf.T] | screate s n
|
sempty [Pres_intf.T] | sempty s
|
sempty [Nopres_intf.T] | sempty s
|
set [Pres_intf.T] | set ra n sets the n th element of ra .
|
set [Nopres_intf.T] | set ra n sets the n th element of ra .
|
set_strategy [Pres_intf.T] | set_strategy ra s sets the reallocation strategy of
resizable array ra to s , possibly causing an immediate
reallocation.
|
set_strategy [Nopres_intf.T] | set_strategy ra s sets the reallocation strategy of
resizable array ra to s , possibly causing an immediate
reallocation.
|
shrink [Strat.T] | shrink strat ~real_len ~new_len
|
sinit [Pres_intf.T] | sinit s n f
|
sinit [Nopres_intf.T] | sinit s n f
|
smake [Pres_intf.T] | smake s n el same as screate .
|
smake [Nopres_intf.T] | smake s n el
|
sof_array [Pres_intf.T] | sof_array s ar converts a standard array to a resizable one,
using strategy s .
|
sof_array [Nopres_intf.T] | sof_array s ar converts a standard array to a resizable one,
using strategy s .
|
sof_list [Pres_intf.T] | sof_list s l creates a resizable array using strategy s and
the elements in list l .
|
sof_list [Nopres_intf.T] | sof_list s l creates a resizable array using strategy s and
the elements in list l .
|
sof_string [Nopres_intf.Buffer] | sof_string s ar converts a string to a resizable buffer
using strategy s .
|
sub [Pres_intf.T] | sub ra ofs len
|
sub [Nopres_intf.T] | sub ra ofs len
|
swap [Pres_intf.T] | swap ra n m swaps elements at indices n and m .
|
swap [Nopres_intf.T] | swap ra n m swaps elements at indices n and m .
|
swap_in_last [Pres_intf.T] | swap_in_last ra n swaps the last element with the one at
position n .
|
swap_in_last [Nopres_intf.T] | swap_in_last ra n swaps the last element with the one at
position n .
|
T | |
to_array [Pres_intf.T] | to_array ra converts a resizable array to a standard one.
|
to_array [Nopres_intf.T] | to_array ra converts a resizable array to a standard one.
|
to_list [Pres_intf.T] | to_list ra converts resizable array ra to a list.
|
to_list [Nopres_intf.T] | to_list ra converts resizable array ra to a list.
|
U | |
unsafe_blit [Pres_intf.T] | |
unsafe_blit [Nopres_intf.T] | |
unsafe_fill [Pres_intf.T] | |
unsafe_fill [Nopres_intf.T] | |
unsafe_get [Pres_intf.T] | |
unsafe_get [Nopres_intf.T] | |
unsafe_remove_n [Pres_intf.T] | |
unsafe_remove_n [Nopres_intf.T] | |
unsafe_remove_one [Pres_intf.T] | |
unsafe_remove_one [Nopres_intf.T] | |
unsafe_set [Pres_intf.T] | |
unsafe_set [Nopres_intf.T] | |
unsafe_sub [Pres_intf.T] | |
unsafe_sub [Nopres_intf.T] | |
unsafe_swap [Pres_intf.T] | |
unsafe_swap [Nopres_intf.T] | |
unsafe_swap_in_last [Pres_intf.T] | |
unsafe_swap_in_last [Nopres_intf.T] |