mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 17:33:38 +00:00
Code Issues Projects Releases Wiki Activity
Files
1e7b2f6fbd9305f4dbbefc9cdcfede74cfc6d5e5
mercury/library
History
Mark Brown ec24859b4c Update library documentation. 
library/random.m:
    Add a guide for people implementing RNGs using this interface.

    Other minor improvements.
2023-02-26 21:52:41 +11:00
..
.gitignore
…
.mgnuc_copts
…
.mgnuc_opts
…
.nocopyright
…
array2d.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
array.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
assoc_list.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
backjump.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
bag.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
benchmarking.m
Move some code to new io.error_util module.
2023-01-13 18:54:04 +11:00
bimap.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
bit_buffer.m
…
bit_buffer.read.m
…
bit_buffer.write.m
…
bitmap.m
Move some code to new io.error_util module.
2023-01-13 18:54:04 +11:00
bool.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
bt_array.m
Minor documentation fix.
2022-07-02 14:16:52 +10:00
builtin.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
calendar.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
char.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
construct.m
…
cord.m
Add more functionality to ra_list.m.
2022-06-12 19:42:47 +10:00
counter.m
Make sparse_bitset.m operate on uints.
2022-12-05 09:45:11 +11:00
deconstruct.m
Fix indentation.
2022-10-11 16:01:46 +11:00
diet.m
Delete obsolete predicates from set modules.
2022-04-13 19:53:47 +10:00
digraph.m
Optimise digraph.compose.
2023-02-02 16:21:54 +11:00
dir.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
edit_seq.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
enum.m
Make sparse_bitset.m operate on uints.
2022-12-05 09:45:11 +11:00
eqvclass.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
exception.m
Minor grammar fixes.
2023-01-05 20:15:05 +11:00
fat_sparse_bitset.m
Delete old_list_to_set.
2023-02-03 19:30:53 +11:00
fatter_sparse_bitset.m
Add library/fatter_sparse_bitset.m.
2023-01-31 18:36:16 +11:00
float.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
gc.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
getopt_io.m
Fix value of maybe_string option when negated.
2022-11-08 15:19:38 +11:00
getopt.m
Fix value of maybe_string option when negated.
2022-11-08 15:19:38 +11:00
hash_table.m
Add hash table lookup predicates.
2022-12-01 16:44:11 +11:00
injection.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
int8.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
int16.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
int32.m
Minor grammar fixes.
2023-01-05 20:15:05 +11:00
int64.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
int.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
integer.m
Fix typos in library documentation.
2022-07-25 00:52:24 +10:00
INTER_FLAGS
Use --trans-opt-deps-spec option.
2023-01-25 16:48:45 +11:00
INTER_FLAGS_MMC_MAKE
…
io.call_system.m
Move some code to new io.error_util module.
2023-01-13 18:54:04 +11:00
io.environment.m
Introduce io.system_error to io.m public interface.
2022-08-23 16:39:48 +10:00
io.error_util.m
Add system_error_is_success/1.
2023-02-13 11:30:40 +11:00
io.file.m
Move some code to new io.error_util module.
2023-01-13 18:54:04 +11:00
io.m
Add system_error_is_success/1.
2023-02-13 11:30:40 +11:00
io.primitives_read.m
Address XXXs.
2022-04-03 17:36:27 +10:00
io.primitives_write.m
Add write_binary_utf8_string.
2022-04-07 12:29:46 +10:00
io.stream_db.m
Carve io.stream_db.m out of io.m.
2022-03-11 18:13:28 +11:00
io.stream_ops.m
Address XXXs.
2022-04-03 17:36:27 +10:00
io.text_read.m
Introduce io.system_error to io.m public interface.
2022-08-23 16:39:48 +10:00
kv_list.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
lazy.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
LIB_FLAGS.in
…
library_strong_name.sn
…
library.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
list.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
map.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
math.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
maybe.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
mer_std.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
mer_std.trans_opt_deps_spec
Increase parallelism when making standard library .trans_opt files.
2023-01-30 17:26:31 +11:00
mercury_term_lexer.m
Recognize <<u and >>u as operators.
2022-12-05 18:22:32 +11:00
mercury_term_parser.m
Add the init_posn function.
2023-01-14 00:09:48 +11:00
Mercury.options
Opt-export version_array lookup and set.
2022-12-01 17:29:33 +11:00
Mmakefile
…
MODULES_DOC
Add library/fatter_sparse_bitset.m.
2023-01-31 18:36:16 +11:00
MODULES_UNDOC
Move some code to new io.error_util module.
2023-01-13 18:54:04 +11:00
multi_map.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
mutvar.m
…
one_or_more_map.m
Delete quotes from `VarNames' in stdlib comments.
2022-03-07 11:49:00 +11:00
one_or_more.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
ops.m
Recognize <<u and >>u as operators.
2022-12-05 18:22:32 +11:00
pair.m
…
par_builtin.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
parsing_utils.m
Minor documentation fix.
2022-07-02 14:22:27 +10:00
pprint.m
Prepare to s/codepoint/code_point/ in string.m.
2023-02-02 19:59:10 +11:00
pqueue.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
pretty_printer.m
Prepare to s/codepoint/code_point/ in string.m.
2023-02-02 19:59:10 +11:00
print_extra_inits
…
private_builtin.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
profiling_builtin.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
prolog.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
psqueue.m
Library documentation fix.
2022-07-26 12:10:37 +10:00
queue.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
ra_list.m
Another documentation fix.
2022-07-02 16:13:24 +10:00
random.m
Update library documentation.
2023-02-26 21:52:41 +11:00
random.sfc16.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
random.sfc32.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
random.sfc64.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
random.system_rng.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
ranges.m
Minor documentation fix.
2022-07-02 02:22:42 +10:00
rational.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
rbtree.m
Delete redundant module qualifiers.
2023-02-21 00:40:31 +11:00
region_builtin.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
require.m
Fix the handling of status in add_pragma.m.
2022-09-24 19:12:18 +10:00
RESERVED_MACRO_NAMES
…
robdd.m
Move I/O predicates to the end of the robdd.m.
2022-07-24 12:27:26 +10:00
rtree.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
rtti_implementation.m
Warn for unneeded use of mode-specific clauses.
2022-04-13 23:39:23 +10:00
set_bbbtree.m
Delete obsolete predicates from set modules.
2022-04-13 19:53:47 +10:00
set_ctree234.m
Extend debug messages from dead_proc_elim.m.
2022-05-13 18:50:08 +10:00
set_ordlist.m
Delete obsolete predicates from set modules.
2022-04-13 19:53:47 +10:00
set_tree234.m
Delete obsolete predicates from set modules.
2022-04-13 19:53:47 +10:00
set_unordlist.m
Delete obsolete predicates from set modules.
2022-04-13 19:53:47 +10:00
set.m
Delete obsolete predicates from set modules.
2022-04-13 19:53:47 +10:00
solutions.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
sparse_bitset.m
Delete old_list_to_set.
2023-02-03 19:30:53 +11:00
stack.m
…
std_util.m
Do not allow std_util.pow/3 with negative values.
2023-01-11 17:10:00 +11:00
stm_builtin.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
store.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
stream.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
stream.string_writer.m
Give each op class (infix, prefix etc) its own slot.
2022-11-14 13:46:22 +11:00
string.builder.m
…
string.format.m
Delete unused string formatting predicates.
2023-02-09 10:39:58 +11:00
string.m
Mark string.*codepoint* as obsolete ...
2023-02-08 19:51:49 +11:00
string.parse_runtime.m
Stop ancestor imports "shadowing" unused local imports.
2022-03-30 13:06:37 +11:00
string.parse_util.m
Stop ancestor imports "shadowing" unused local imports.
2022-03-30 13:06:37 +11:00
string.to_string.m
Give each op class (infix, prefix etc) its own slot.
2022-11-14 13:46:22 +11:00
table_builtin.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
table_statistics.m
Delete quotes from `VarNames' in stdlib comments.
2022-03-07 11:49:00 +11:00
term_context.m
Carve term_context.m out of term.m.
2022-08-23 12:56:37 +10:00
term_conversion.m
Carve term_context.m out of term.m.
2022-08-23 12:56:37 +10:00
term_int.m
Carve four modules out of term.m.
2022-08-21 01:01:21 +10:00
term_io.m
Fix spelling.
2022-11-14 21:12:18 +11:00
term_size_prof_builtin.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
term_subst.m
Move a module import declaration.
2022-08-26 12:03:53 +10:00
term_to_xml.m
Add more functionality to ra_list.m.
2022-06-12 19:42:47 +10:00
term_unify.m
Move an unused interface import.
2022-08-30 21:03:14 +10:00
term_vars.m
Carve four modules out of term.m.
2022-08-21 01:01:21 +10:00
term.m
Make sparse_bitset.m operate on uints.
2022-12-05 09:45:11 +11:00
test_bitset.m
Add library/fatter_sparse_bitset.m.
2023-01-31 18:36:16 +11:00
thread.barrier.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
thread.channel.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
thread.closeable_channel.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
thread.future.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
thread.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
thread.mvar.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
thread.semaphore.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
time.m
Fix indentation.
2023-02-21 00:40:12 +11:00
tree234.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
tree_bitset.m
Add library/fatter_sparse_bitset.m.
2023-01-31 18:36:16 +11:00
type_desc.m
Fix indentation.
2022-10-11 16:01:46 +11:00
uint8.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
uint16.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
uint32.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
uint64.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
uint.m
Move X_to_doc functions to pretty_printer.m.
2022-12-27 18:27:52 +11:00
unit.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
univ.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
varset.m
Carve four modules out of term.m.
2022-08-21 01:01:21 +10:00
version_array2d.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
version_array.m
Delete redundant module qualifications.
2022-12-28 03:52:42 +11:00
version_bitmap.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00
version_hash_table.m
Add hash table lookup predicates.
2022-12-01 16:44:11 +11:00
version_store.m
Update copyright notices in stdlib.
2022-06-07 21:51:03 +10:00