aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/poly
diff options
context:
space:
mode:
authorEduardo Julian2022-06-04 02:28:47 -0400
committerEduardo Julian2022-06-04 02:28:47 -0400
commit56d2835d35093e2d92c5e8a4371aa322b55e037b (patch)
tree1c7949355baeae92e2f6e02f9104739ddb10ff73 /stdlib/source/poly
parentf2172051a91bbb2578918dc784a053a321849b63 (diff)
Extensible import syntax [Part 6]
Diffstat (limited to '')
-rw-r--r--stdlib/source/poly/lux/abstract/equivalence.lux6
-rw-r--r--stdlib/source/poly/lux/abstract/functor.lux2
-rw-r--r--stdlib/source/poly/lux/data/format/json.lux4
3 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index b13c38453..63a88058e 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -10,10 +10,10 @@
[data
["[0]" product]
["[0]" bit]
- ["[0]" text ("[1]#[0]" monoid)
+ ["[0]" text (.open: "[1]#[0]" monoid)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" monad)]
+ ["[0]" list (.open: "[1]#[0]" monad)]
["[0]" sequence]
["[0]" array]
["[0]" queue]
@@ -25,7 +25,7 @@
["[0]" code]]
[math
[number
- ["[0]" nat ("[1]#[0]" decimal)]
+ ["[0]" nat (.open: "[1]#[0]" decimal)]
["[0]" int]
["[0]" rev]
["[0]" frac]]]
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index 78a11f2fd..f7a4a6d7d 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -12,7 +12,7 @@
["[0]" text (.only)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" monad monoid)]]]
+ ["[0]" list (.open: "[1]#[0]" monad monoid)]]]
[macro
[syntax (.only syntax:)]
["[0]" code]]
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 09b65efea..2bf11cdc7 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -15,7 +15,7 @@
["[0]" text (.only)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" monad)]
+ ["[0]" list (.open: "[1]#[0]" monad)]
["[0]" sequence (.only sequence)]
["[0]" dictionary]]]
[macro
@@ -23,7 +23,7 @@
["[0]" code]]
[math
[number
- ["n" nat ("[1]#[0]" decimal)]
+ ["n" nat (.open: "[1]#[0]" decimal)]
["[0]" i64]
["[0]" int]
["[0]" frac]]]