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

Updated some functions, renamed some stuff, added from_to IN STDLIB #627

Merged
zxq9 merged 5 commits from github/fork/radrow/stdlib-extensions into master 2019-09-02 16:56:57 +09:00
Conversation 10 Commits 5 Files Changed 2 +3 -5
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 71a556ce81 - Show all commits

8
priv/stdlib/List.aes
View File

@ -38,16 +38,14 @@ namespace List =
h::t => find_indices_(p, t, n+1, if(p(h)) n::acc else acc) h::t => find_indices_(p, t, n+1, if(p(h)) n::acc else acc)
function nth(n : int, l : list('a)) : option('a) = function nth(n : int, l : list('a)) : option('a) =
if(n < 0) None switch(l)
else switch(l)
[] => None [] => None
h::t => if(n == 0) Some(h) else nth(n-1, t) h::t => if(n == 0) Some(h) else nth(n-1, t)
/* Unsafe version of `nth` */ /* Unsafe version of `nth` */
function get(n : int, l : list('a)) : 'a = function get(n : int, l : list('a)) : 'a =
if(n < 0) abort("Negative index get") switch(l)
else switch(l) [] => abort(if(n < 0) "Negative index get" else "Out of index get")
[] => abort("Out of index get")
h::t => if(n == 0) h else get(n-1, t) h::t => if(n == 0) h else get(n-1, t)