Merge pull request #65 from jfmengels/list-all-replacement

Add replacement for List.all
This commit is contained in:
Matthew Griffith 2022-02-06 10:43:33 -05:00 committed by GitHub
commit 30b83c11d1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -0,0 +1,15 @@
var $elm$core$List$all = F2(function (isOkay, list) {
all: while (true) {
if (!list.b) {
return true;
}
else {
var x = list.a;
if (!isOkay(x)) {
return false;
}
list = list.b;
continue all;
}
}
});