diff options
author | Eduardo Julian | 2018-07-05 00:34:35 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-05 00:34:35 -0400 |
commit | b8e44ec6ee38d3f67b7e3c3989de51b03e7a1352 (patch) | |
tree | c126f9a239da03a57a8fe1c3e131314f97be37ce /stdlib/source/lux/data/format/json.lux | |
parent | 023874d8cb82f59bf73a7663d7e8e3a1062ae15f (diff) |
- Re-named "equality" to "equivalence".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/data/format/json.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux index a5c81ad6b..984fbb1aa 100644 --- a/stdlib/source/lux/data/format/json.lux +++ b/stdlib/source/lux/data/format/json.lux @@ -3,11 +3,11 @@ For more information, please see: http://www.json.org/"} [lux #- Array] (lux (control [monad #+ do Monad] - [equality #+ Eq] + [equivalence #+ Equivalence] codec ["p" parser "parser/" Monad<Parser>]) (data [bool] - [text "text/" Eq<Text> Monoid<Text>] + [text "text/" Equivalence<Text> Monoid<Text>] (text ["l" lexer]) [number "frac/" Codec<Text,Frac> "nat/" Codec<Text,Nat>] [maybe] @@ -147,7 +147,7 @@ [get-object #Object Object "objects"] ) -(struct: #export _ (Eq JSON) +(struct: #export _ (Equivalence JSON) (def: (= x y) (case [x y] [#Null #Null] @@ -156,9 +156,9 @@ (^template [<tag> <struct>] [(<tag> x') (<tag> y')] (:: <struct> = x' y')) - ([#Boolean bool.Eq<Bool>] - [#Number number.Eq<Frac>] - [#String text.Eq<Text>]) + ([#Boolean bool.Equivalence<Bool>] + [#Number number.Equivalence<Frac>] + [#String text.Equivalence<Text>]) [(#Array xs) (#Array ys)] (and (n/= (row.size xs) (row.size ys)) @@ -268,9 +268,9 @@ _ (fail ($_ text/compose "JSON value is not a " <desc> ".")))))] - [boolean? boolean! Bool bool.Eq<Bool> (:: bool.Codec<Text,Bool> encode) #Boolean "boolean" id] - [number? number! Frac number.Eq<Frac> (:: number.Codec<Text,Frac> encode) #Number "number" id] - [string? string! Text text.Eq<Text> text.encode #String "string" id] + [boolean? boolean! Bool bool.Equivalence<Bool> (:: bool.Codec<Text,Bool> encode) #Boolean "boolean" id] + [number? number! Frac number.Equivalence<Frac> (:: number.Codec<Text,Frac> encode) #Number "number" id] + [string? string! Text text.Equivalence<Text> text.encode #String "string" id] ) (def: #export (nullable parser) |