QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Implement Set stdlib #826

Merged
ghallak merged 7 commits from github/fork/ghallak/ghallak/set-stdlib into master 2021-08-07 17:08:46 +09:00
Conversation 19 Commits 7 Files Changed 3 +1 -1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit a94abab8eb - Show all commits

2
priv/stdlib/Set.aes
View File

@ -29,7 +29,7 @@ namespace Set =
function filter(p : 'a => bool, s : set('a)) : set('a) = function filter(p : 'a => bool, s : set('a)) : set('a) =
from_list(List.filter(p, to_list(s))) from_list(List.filter(p, to_list(s)))
function fold(f : ('a, 'b) => 'b, acc : 'b, l : set('a)) : 'b = function fold(f : ('a, 'b) => 'b, acc : 'b, s : set('a)) : 'b =
List.foldr(f, acc, to_list(l)) List.foldr(f, acc, to_list(l))
function subtract(s1 : set('a), s2 : set('a)) : set('a) = function subtract(s1 : set('a), s2 : set('a)) : set('a) =