diff options
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]]] |