diff options
| author | Eduardo Julian | 2022-06-16 21:37:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-16 21:37:38 -0400 |
| commit | 7249707e7c09be68dfb7507ba363efd3300a0141 (patch) | |
| tree | 1fb4764458da16353315ea7e267f997c9be70f49 /stdlib/source/polytypic | |
| parent | e00e0b5f1e5fb509cf8f32424397110f524b8148 (diff) | |
De-sigil-ification: suffix : [Part 14]
Diffstat (limited to 'stdlib/source/polytypic')
| -rw-r--r-- | stdlib/source/polytypic/lux/abstract/equivalence.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/polytypic/lux/abstract/functor.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/polytypic/lux/data/format/json.lux | 6 |
3 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/polytypic/lux/abstract/equivalence.lux b/stdlib/source/polytypic/lux/abstract/equivalence.lux index 48accfa31..fce8d86bd 100644 --- a/stdlib/source/polytypic/lux/abstract/equivalence.lux +++ b/stdlib/source/polytypic/lux/abstract/equivalence.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract @@ -10,10 +10,10 @@ [data ["[0]" product] ["[0]" bit] - ["[0]" text (.open: "[1]#[0]" monoid) + ["[0]" text (.use "[1]#[0]" monoid) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" monad)] + ["[0]" list (.use "[1]#[0]" monad)] ["[0]" sequence] ["[0]" array] ["[0]" queue] @@ -24,7 +24,7 @@ ["[0]" code]] [math [number - ["[0]" nat (.open: "[1]#[0]" decimal)] + ["[0]" nat (.use "[1]#[0]" decimal)] ["[0]" int] ["[0]" rev] ["[0]" frac]]] diff --git a/stdlib/source/polytypic/lux/abstract/functor.lux b/stdlib/source/polytypic/lux/abstract/functor.lux index 07f2492cf..1ff6c0398 100644 --- a/stdlib/source/polytypic/lux/abstract/functor.lux +++ b/stdlib/source/polytypic/lux/abstract/functor.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract @@ -12,7 +12,7 @@ ["[0]" text (.only) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" monad monoid)]]] + ["[0]" list (.use "[1]#[0]" monad monoid)]]] [macro ["[0]" code]] [math diff --git a/stdlib/source/polytypic/lux/data/format/json.lux b/stdlib/source/polytypic/lux/data/format/json.lux index 6c0f18430..8ce7112e3 100644 --- a/stdlib/source/polytypic/lux/data/format/json.lux +++ b/stdlib/source/polytypic/lux/data/format/json.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract @@ -16,7 +16,7 @@ [json ["</>" \\parser]]] [collection - ["[0]" list (.open: "[1]#[0]" monad)] + ["[0]" list (.use "[1]#[0]" monad)] ["[0]" sequence (.only sequence)] ["[0]" dictionary]]] [macro @@ -24,7 +24,7 @@ ["[0]" code]] [math [number - ["n" nat (.open: "[1]#[0]" decimal)] + ["n" nat (.use "[1]#[0]" decimal)] ["[0]" i64] ["[0]" int] ["[0]" frac]]] |