mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Add cord.ulength.

Browse Source
This commit is contained in:
Zoltan Somogyi
2026-03-19 18:31:05 +11:00
parent 9b0f173b22
commit b2049fdc99
2 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
NEWS.md
View File

@@ -251,7 +251,7 @@ Changes to the Mercury standard library
### Changes to the `cord` module ### Changes to the `cord` module
* The following predicates have been added: * The following predicates and functions have been added:
- pred `is_non_empty/1` - pred `is_non_empty/1`
- pred `foldr2/6` - pred `foldr2/6`
@@ -260,6 +260,7 @@ Changes to the Mercury standard library
- pred `is_singleton/2` - pred `is_singleton/2`
- pred `cons_list/2` - pred `cons_list/2`
- pred `snoc_list/2` - pred `snoc_list/2`
- func `ulength/1`
### Changes to the `counter` module ### Changes to the `counter` module

9
library/cord.m
View File

@@ -2,7 +2,7 @@
% vim: ft=mercury ts=4 sw=4 et % vim: ft=mercury ts=4 sw=4 et
%---------------------------------------------------------------------------% %---------------------------------------------------------------------------%
% Copyright (C) 2002-2011 The University of Melbourne. % Copyright (C) 2002-2011 The University of Melbourne.
% Copyright (C) 2013-2018, 2021-2022, 2024-2025 The Mercury team. % Copyright (C) 2013-2018, 2021-2022, 2024-2026 The Mercury team.
% This file is distributed under the terms specified in COPYING.LIB. % This file is distributed under the terms specified in COPYING.LIB.
%---------------------------------------------------------------------------% %---------------------------------------------------------------------------%
% %
@@ -241,10 +241,12 @@
% %
% length(C) = list.length(list(C)) % length(C) = list.length(list(C))
% ulength(C) = list.ulength(list(C))
% %
% This is an O(n) operation. % This is an O(n) operation.
% %
:- func length(cord(T)) = int. :- func length(cord(T)) = int.
:- func ulength(cord(T)) = uint.
% member(X, C) <=> list.member(X, list(C)). % member(X, C) <=> list.member(X, list(C)).
% %
@@ -529,6 +531,7 @@
:- implementation. :- implementation.
:- import_module int. :- import_module int.
:- import_module uint.
% The original implementation of the cord/1 type had four function symbols % The original implementation of the cord/1 type had four function symbols
% in one type: empty, unit, node and branch. However, this representation % in one type: empty, unit, node and branch. However, this representation
@@ -799,7 +802,9 @@ split_list_last(Prev, [H | T], AllButLast, Last) :-
%---------------------------------------------------------------------------% %---------------------------------------------------------------------------%
length(C) = foldl(func(_, N) = N + 1, C, 0). length(C) = cord.foldl(func(_, N) = N + 1, C, 0).
ulength(C) = cord.foldl(func(_, N) = N + 1u, C, 0u).
%---------------------% %---------------------%