diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/data/coll/list.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/lux/data/coll/list.lux b/stdlib/source/lux/data/coll/list.lux index 4f93bb541..86afacfc6 100644 --- a/stdlib/source/lux/data/coll/list.lux +++ b/stdlib/source/lux/data/coll/list.lux @@ -30,7 +30,7 @@ (def: #export (reverse xs) (All [a] (-> (List a) (List a))) - (fold (lambda [head tail] (#;Cons head tail)) + (fold (function [head tail] (#;Cons head tail)) #;Nil xs)) @@ -198,13 +198,13 @@ (def: #export (size list) (All [a] (-> (List a) Nat)) - (fold (lambda [_ acc] (n.+ +1 acc)) +0 list)) + (fold (function [_ acc] (n.+ +1 acc)) +0 list)) (do-template [<name> <init> <op>] [(def: #export (<name> p xs) (All [a] (-> (-> a Bool) (List a) Bool)) - (fold (lambda [_2 _1] (<op> _1 (p _2))) <init> xs))] + (fold (function [_2 _1] (<op> _1 (p _2))) <init> xs))] [every? true and] [any? false or]) @@ -283,7 +283,7 @@ (list) (#;Cons x xs') - (let [[pre post] (fold (lambda [x' [pre post]] + (let [[pre post] (fold (function [x' [pre post]] (if (< x x') [(#;Cons x' pre) post] [pre (#;Cons x' post)])) @@ -348,21 +348,21 @@ indices (i.range 0 (i.dec num-lists)) type-vars (: (List AST) (map (. symbol$ Int/encode) indices)) zip-type (` (All [(~@ type-vars)] - (-> (~@ (map (: (-> AST AST) (lambda [var] (` (List (~ var))))) + (-> (~@ (map (: (-> AST AST) (function [var] (` (List (~ var))))) type-vars)) (List [(~@ type-vars)])))) vars+lists (|> indices (map i.inc) - (map (lambda [idx] + (map (function [idx] [(symbol$ (Int/encode idx)) (symbol$ (Int/encode (Int/negate idx)))]))) - pattern (` [(~@ (map (lambda [[v vs]] (` (#;Cons (~ v) (~ vs)))) + pattern (` [(~@ (map (function [[v vs]] (` (#;Cons (~ v) (~ vs)))) vars+lists))]) g!step (symbol$ "\tstep\t") g!blank (symbol$ "\t_\t") list-vars (map product;right vars+lists) code (` (: (~ zip-type) - (lambda (~ g!step) [(~@ list-vars)] + (function (~ g!step) [(~@ list-vars)] (case [(~@ list-vars)] (~ pattern) (#;Cons [(~@ (map product;left vars+lists))] @@ -394,21 +394,21 @@ type-vars (: (List AST) (map (. symbol$ Int/encode) indices)) zip-type (` (All [(~@ type-vars) (~ g!return-type)] (-> (-> (~@ type-vars) (~ g!return-type)) - (~@ (map (: (-> AST AST) (lambda [var] (` (List (~ var))))) + (~@ (map (: (-> AST AST) (function [var] (` (List (~ var))))) type-vars)) (List (~ g!return-type))))) vars+lists (|> indices (map i.inc) - (map (lambda [idx] + (map (function [idx] [(symbol$ (Int/encode idx)) (symbol$ (Int/encode (Int/negate idx)))]))) - pattern (` [(~@ (map (lambda [[v vs]] (` (#;Cons (~ v) (~ vs)))) + pattern (` [(~@ (map (function [[v vs]] (` (#;Cons (~ v) (~ vs)))) vars+lists))]) g!step (symbol$ "\tstep\t") g!blank (symbol$ "\t_\t") list-vars (map product;right vars+lists) code (` (: (~ zip-type) - (lambda (~ g!step) [(~ g!func) (~@ list-vars)] + (function (~ g!step) [(~ g!func) (~@ list-vars)] (case [(~@ list-vars)] (~ pattern) (#;Cons ((~ g!func) (~@ (map product;left vars+lists))) |