diff options
| author | Eduardo Julian | 2019-07-26 21:23:27 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-07-26 21:23:27 -0400 |
| commit | a0889b2ee76c1ae7a9a5bbe2eec9f051b4f341e4 (patch) | |
| tree | 08df3db7f8fffad6360a476d20db1d40b36c85cb /stdlib/source/lux/data/format/json.lux | |
| parent | 78fd01f7e6688448bbd710336d4d7b1c35ae058a (diff) | |
No more "n/"-prefixed functions.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/format/json.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux index d847d801b..60d57abab 100644 --- a/stdlib/source/lux/data/format/json.lux +++ b/stdlib/source/lux/data/format/json.lux @@ -16,6 +16,7 @@ ["." maybe] ["." product] [number + ["n" nat] ["f" frac ("#@." decimal)]] ["." text ("#@." equivalence monoid)] [collection @@ -161,7 +162,7 @@ [#String text.equivalence]) [(#Array xs) (#Array ys)] - (and (n/= (row.size xs) (row.size ys)) + (and (n.= (row.size xs) (row.size ys)) (list@fold (function (_ idx prev) (and prev (maybe.default #0 @@ -173,7 +174,7 @@ (list.indices (row.size xs)))) [(#Object xs) (#Object ys)] - (and (n/= (dictionary.size xs) (dictionary.size ys)) + (and (n.= (dictionary.size xs) (dictionary.size ys)) (list@fold (function (_ [xk xv] prev) (and prev (case (dictionary.get xk ys) |