A | |
| accumul_right [Higher_order] |
Applying accumul_right (op, neutral) to an empty list returns neutral, while applying it
to a list a1 ...
|
| accumul_right_1 [Higher_order] |
The same function as accumul_right.
|
| and_list [Higher_order] |
Logical conjunction of all the booleans in a list.
|
| and_list_1 [Higher_order] |
The same function as and_list.
|
| and_list_2 [Higher_order] |
The same function as and_list, too.
|
| approx_square_root_of_two [Higher_order] |
Returns an approximat value for the square root of 2.
|
C | |
| compose [Higher_order] |
Function composition : returns teh function g of f, given a pair (g, f) of functions.
|
| compose_functions [Higher_order] |
Returns the function that computes the composition of all the functions in
a list.
|
| concatenate_lists [Higher_order] |
Returns the function that computes the concatenation of all the lists in
a list.
|
| concatenate_strings [Higher_order] |
Returns the function that computes the concatenation of all the strings in
a list.
|
| concatenate_strings_1 [Higher_order] |
The same function as concatenate_strings.
|
| cons_list [List_1] |
Constructs from the given pair (x, lx) the list whose first element is x and
whose rest is lx.
|
| curry [Higher_order] |
Currying a function with two arguments.
|
D | |
| deriv [Higher_order] |
Returns the (approximate) derivative function of a function that maps real numbers to
real numbers).
|
E | |
| empty_list [List_1] |
Constructs an empty list.
|
H | |
| head [List_1] |
Returns the first element of a list.
|
I | |
| is_empty_list [List_1] |
Tests whether a list is empty.
|
L | |
| log_in_base [Higher_order] |
Returns the logarithm in base a function given a positive real number a other than 1.
|
M | |
| map_length [Higher_order] |
Returns the list of the lengths of the elements in a list of lists.
|
| map_length_1 [Higher_order] |
The same function as map_length.
|
| map_to_all [Higher_order] |
Applying map_to_all (f) to an empty list returns an empty list, while applying it
to a list a1 ...
|
| map_to_all_1 [Higher_order] |
The same function as map_to_all.
|
| map_twice [Higher_order] |
Returns the list of twice each element in a list of integers.
|
| map_twice_1 [Higher_order] |
The same function as map_twice.
|
| map_twice_2 [Higher_order] |
The same function as map_twice, too.
|
N | |
| newton [Higher_order] |
Returns the unique zero a function (that maps real numbers to real numbers)
has in a interval.
|
P | |
| phi [Higher_order] |
A higher-order function to compute
the function that computes the sum of two functions from real numbers to real numbers,
the function that computes the product of two functions from real numbers to real numbers,
and so on
|
| positive_only [Higher_order] |
Returns the sublist of the positive integers in a list.
|
| prod_float_list [Higher_order] |
Product of all the reals in a list.
|
| prod_float_list_1 [Higher_order] |
The same function as prod_float_list.
|
| prod_float_list_2 [Higher_order] |
The same function as prod_float_list, too
|
| product [Higher_order] |
Computes the product of two functions from real numbers to real numbers.
|
| product_1 [Higher_order] | |
S | |
| sublist [Higher_order] |
Computes from a given predicate the function that extracts the sublist of the elements
in a list satisfying the predicate.
|
| sum [Higher_order] |
Computes the sum of two functions from real numbers to real numbers.
|
| sum_1 [Higher_order] | |
| sum_int_list [Higher_order] |
Summation of all the integers in a list.
|
| sum_int_list_1 [Higher_order] |
The same function as sum_int_list.
|
| sum_int_list_2 [Higher_order] |
The same function as sum_int_list, too
|
T | |
| tail [List_1] |
Returns the given list without its first element.
|
U | |
| unary_of_int_add [Higher_order] |
Returns the function that adds x and an integer, given the integer x
|
| unary_of_int_add_1 [Higher_order] |
The same function as unary_of_int_add.
|
| unary_of_real_mult [Higher_order] |
Returns the function that multiplies x and a real number, given the real number x
|
| unary_of_real_mult_1 [Higher_order] |
The same function as unary_of_real_mult.
|
| unary_of_string_concat [Higher_order] |
Returns the function that concatenates x before a string, given the string x
|
| unary_of_string_concat_1 [Higher_order] |
The same function as unary_of_string_concat.
|
| uncurry [Higher_order] |
Uncurrying the curried version of a function with two arguments.
|