aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/poly
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/poly/lux/abstract/equivalence.lux4
-rw-r--r--stdlib/source/poly/lux/abstract/functor.lux6
-rw-r--r--stdlib/source/poly/lux/data/format/json.lux6
3 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index 49fceeecf..9951de318 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -5,7 +5,7 @@
[monad (.only Monad do)]]
[control
["[0]" maybe]
- ["<>" parser
+ ["<>" parser (.only)
["<[0]>" type]]]
[data
["[0]" product]
@@ -35,7 +35,7 @@
["[0]" instant]
["[0]" day]
["[0]" month]]
- ["[0]" type
+ ["[0]" type (.only)
["[0]" poly (.only poly:)]
["[0]" unit]]]]
[\\library
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index 4f31b389b..ccff661c6 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -4,12 +4,12 @@
[abstract
[monad (.only Monad do)]]
[control
- ["p" parser
+ ["p" parser (.only)
["<[0]>" type]
["s" code (.only Parser)]]]
[data
["[0]" product]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]
[collection
["[0]" list ("[1]#[0]" monad monoid)]]]
@@ -19,7 +19,7 @@
[math
[number
["n" nat]]]
- ["[0]" type
+ ["[0]" type (.only)
["[0]" poly (.only poly:)]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index cc6271a34..bb75c1403 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -7,12 +7,12 @@
["[0]" codec]]
[control
["[0]" try]
- ["<>" parser
+ ["<>" parser (.only)
["</>" json]
["<[0]>" type]
["<[0]>" code]]]
[data
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]
[collection
["[0]" list ("[1]#[0]" monad)]
@@ -33,7 +33,7 @@
["[0]" date]
["[0]" day]
["[0]" month]]
- ["[0]" type
+ ["[0]" type (.only)
["[0]" unit]
["[0]" poly (.only poly:)]]]]
[\\library