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.lux3
-rw-r--r--stdlib/source/polytypic/lux/abstract/functor.lux3
-rw-r--r--stdlib/source/polytypic/lux/data/format/json.lux6
3 files changed, 5 insertions, 7 deletions
diff --git a/stdlib/source/polytypic/lux/abstract/equivalence.lux b/stdlib/source/polytypic/lux/abstract/equivalence.lux
index 983beea4d..0c83b9ab5 100644
--- a/stdlib/source/polytypic/lux/abstract/equivalence.lux
+++ b/stdlib/source/polytypic/lux/abstract/equivalence.lux
@@ -19,8 +19,6 @@
["[0]" set]
["[0]" dictionary (.only Dictionary)]
["[0]" tree]]]
- [macro
- ["[0]" code]]
[math
[number
["[0]" nat (.use "[1]#[0]" decimal)]
@@ -34,6 +32,7 @@
["[0]" day]
["[0]" month]]
[meta
+ ["[0]" code]
["[0]" type (.only)
["<[1]>" \\parser]
["[0]" poly (.only polytypic)]
diff --git a/stdlib/source/polytypic/lux/abstract/functor.lux b/stdlib/source/polytypic/lux/abstract/functor.lux
index e10853519..db17e49ac 100644
--- a/stdlib/source/polytypic/lux/abstract/functor.lux
+++ b/stdlib/source/polytypic/lux/abstract/functor.lux
@@ -11,12 +11,11 @@
["%" \\format (.only format)]]
[collection
["[0]" list (.use "[1]#[0]" monad monoid)]]]
- [macro
- ["[0]" code]]
[math
[number
["n" nat]]]
[meta
+ ["[0]" code]
["[0]" type (.only)
["<[1]>" \\parser]
["[0]" poly (.only polytypic)]]]]]
diff --git a/stdlib/source/polytypic/lux/data/format/json.lux b/stdlib/source/polytypic/lux/data/format/json.lux
index 229abb9c9..a8eee64d0 100644
--- a/stdlib/source/polytypic/lux/data/format/json.lux
+++ b/stdlib/source/polytypic/lux/data/format/json.lux
@@ -18,9 +18,7 @@
["[0]" sequence (.only sequence)]
["[0]" dictionary]]]
[macro
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number
["n" nat (.use "[1]#[0]" decimal)]
@@ -34,6 +32,8 @@
["[0]" day]
["[0]" month]]
[meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]
["[0]" type (.only)
["<[1]>" \\parser]
["[0]" unit]