diff options
| author | Eduardo Julian | 2016-12-02 21:39:11 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-12-02 21:39:11 -0400 |
| commit | 60d3952d9550cc4d6fd0f5fc8312104b21024799 (patch) | |
| tree | 9f73d65b332e87214267055bc71e8e1be593688d /stdlib/source/lux/lexer.lux | |
| parent | 55e411f34d81d8deb0b7d0e25c987dbe16035354 (diff) | |
- Changed the names of math op functions to make them more consistent and similar.
Diffstat (limited to 'stdlib/source/lux/lexer.lux')
| -rw-r--r-- | stdlib/source/lux/lexer.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/lexer.lux b/stdlib/source/lux/lexer.lux index 77ce0ce93..ee364d819 100644 --- a/stdlib/source/lux/lexer.lux +++ b/stdlib/source/lux/lexer.lux @@ -177,16 +177,16 @@ (def: #export (exactly n p) (All [a] (-> Nat (Lexer a) (Lexer (List a)))) - (if (>+ +0 n) + (if (n.> +0 n) (do Monad<Lexer> [x p - xs (exactly (dec+ n) p)] + xs (exactly (n.dec n) p)] (wrap (#;Cons x xs))) (:: Monad<Lexer> wrap (list)))) (def: #export (at-most n p) (All [a] (-> Nat (Lexer a) (Lexer (List a)))) - (if (>+ +0 n) + (if (n.> +0 n) (lambda [input] (case (p input) (#;Left msg) @@ -194,7 +194,7 @@ (#;Right [input' x]) (run' (do Monad<Lexer> - [xs (at-most (dec+ n) p)] + [xs (at-most (n.dec n) p)] (wrap (#;Cons x xs))) input') )) @@ -211,7 +211,7 @@ (All [a] (-> Nat Nat (Lexer a) (Lexer (List a)))) (do Monad<Lexer> [min-xs (exactly from p) - max-xs (at-most (-+ from to) p)] + max-xs (at-most (n.- from to) p)] (wrap (list;concat (list min-xs max-xs))))) (def: #export (opt p) |