aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/polytypic
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/polytypic')
-rw-r--r--stdlib/source/polytypic/lux/abstract/equivalence.lux8
-rw-r--r--stdlib/source/polytypic/lux/abstract/functor.lux4
-rw-r--r--stdlib/source/polytypic/lux/data/format/json.lux6
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]]]