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

Added contains functions in List and Option. Fixed one type error #769

Merged
zxq9 merged 3 commits from contains-fun into lima 2020-08-27 18:25:39 +09:00
Conversation 6 Commits 3 Files Changed 4 +1 -3
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 89b3ec3d17 - Show all commits

4
priv/stdlib/Option.aes
View File

@ -26,9 +26,7 @@ namespace Option =
None => abort("Forced None value") None => abort("Forced None value")
Some(x) => x Some(x) => x
function contains(e : 'a, o : option('a)) = switch(o) function contains(e : 'a, o : option('a)) = o == Some(e)
None => false
Some(x) => x == e
function on_elem(o : option('a), f : 'a => unit) : unit = match((), f, o) function on_elem(o : option('a), f : 'a => unit) : unit = match((), f, o)