aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/poly
diff options
context:
space:
mode:
authorEduardo Julian2021-09-13 00:29:57 -0400
committerEduardo Julian2021-09-13 00:29:57 -0400
commit376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch)
treebc76d7aeff4f2b889ae262a64dc8d26b0476068d /stdlib/source/poly
parent2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff)
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to 'stdlib/source/poly')
-rw-r--r--stdlib/source/poly/lux/abstract/equivalence.lux10
-rw-r--r--stdlib/source/poly/lux/abstract/functor.lux10
-rw-r--r--stdlib/source/poly/lux/data/format/json.lux12
3 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index 1159d4ff4..71441f13b 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -2,7 +2,7 @@
[library
[lux "*"
[abstract
- [monad {"+" [Monad do]}]]
+ [monad {"+" Monad do}]]
[control
["[0]" maybe]
["<>" parser
@@ -11,17 +11,17 @@
["[0]" product]
["[0]" bit]
["[0]" text ("[1]#[0]" monoid)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" monad)]
["[0]" row]
["[0]" array]
["[0]" queue]
["[0]" set]
- ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" dictionary {"+" Dictionary}]
["[0]" tree]]]
[macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]]
[math
[number
@@ -36,7 +36,7 @@
["[0]" day]
["[0]" month]]
["[0]" type
- ["[0]" poly {"+" [poly:]}]
+ ["[0]" poly {"+" poly:}]
["[0]" unit]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index 2c9ba91f1..895d509be 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -2,25 +2,25 @@
[library
[lux "*"
[abstract
- [monad {"+" [Monad do]}]]
+ [monad {"+" Monad do}]]
[control
["p" parser
["<[0]>" type]
- ["s" code {"+" [Parser]}]]]
+ ["s" code {"+" Parser}]]]
[data
["[0]" product]
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" monad monoid)]]]
[macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]]
[math
[number
["n" nat]]]
["[0]" type
- ["[0]" poly {"+" [poly:]}]]]]
+ ["[0]" poly {"+" poly:}]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index f6ab79e6a..df9c9cc5b 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -3,7 +3,7 @@
[lux "*"
["[0]" debug]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" codec]]
[control
["[0]" try]
@@ -13,13 +13,13 @@
["<[0]>" code]]]
[data
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" monad)]
- ["[0]" row {"+" [row]}]
+ ["[0]" row {"+" row}]
["[0]" dictionary]]]
[macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]]
[math
[number
@@ -35,9 +35,9 @@
["[0]" month]]
["[0]" type
["[0]" unit]
- ["[0]" poly {"+" [poly:]}]]]]
+ ["[0]" poly {"+" poly:}]]]]
[\\library
- ["[0]" / {"+" [JSON]}]])
+ ["[0]" / {"+" JSON}]])
(def: tag
(-> Nat Frac)