diff options
Diffstat (limited to 'stdlib/source/poly')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 97a89845e..1e882e32d 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -50,7 +50,7 @@ (` ((~! /.Equivalence) (~ (poly.code *env* type))))))]] (all <>.either ... Basic types - (~~ (template [<matcher> <eq>] + (~~ (with_template [<matcher> <eq>] [(do ! [_ <matcher>] (in (` (is (~ (@Equivalence inputT)) @@ -64,7 +64,7 @@ [(<type>.sub Frac) (~! frac.equivalence)] [(<type>.sub Text) (~! text.equivalence)])) ... Composite types - (~~ (template [<name> <eq>] + (~~ (with_template [<name> <eq>] [(do ! [[_ argC] (<type>.applied (<>.and (<type>.exactly <name>) equivalence))] @@ -87,7 +87,7 @@ (in (` (is (~ (@Equivalence inputT)) ((~! dictionary.equivalence) (~ valC)))))) ... Models - (~~ (template [<type> <eq>] + (~~ (with_template [<type> <eq>] [(do ! [_ (<type>.exactly <type>)] (in (` (is (~ (@Equivalence inputT)) diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 71bd8cea4..391556a50 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -98,7 +98,7 @@ (poly: encoded (with_expansions - [<basic> (template [<matcher> <encoder>] + [<basic> (with_template [<matcher> <encoder>] [(do ! [.let [g!_ (code.local "_______")] _ <matcher>] @@ -111,7 +111,7 @@ [(<type>.sub Int) (at (~! ..int_codec) (~' encoded))] [(<type>.sub Frac) (|>> {/.#Number})] [(<type>.sub Text) (|>> {/.#String})]) - <time> (template [<type> <codec>] + <time> (with_template [<type> <codec>] [(do ! [_ (<type>.exactly <type>)] (in (` (is (~ (@JSON#encoded inputT)) @@ -223,7 +223,7 @@ (poly: decoded (with_expansions - [<basic> (template [<matcher> <decoder>] + [<basic> (with_template [<matcher> <decoder>] [(do ! [_ <matcher>] (in (` (is (~ (@JSON#decoded inputT)) @@ -235,7 +235,7 @@ [(<type>.sub Int) (<>.codec ..int_codec </>.any)] [(<type>.sub Frac) </>.number] [(<type>.sub Text) </>.string]) - <time> (template [<type> <codec>] + <time> (with_template [<type> <codec>] [(do ! [_ (<type>.exactly <type>)] (in (` (is (~ (@JSON#decoded inputT)) |