From 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 3 Jun 2022 20:02:46 -0400
Subject: Extensible import syntax [Part 4]

---
 stdlib/source/poly/lux/abstract/equivalence.lux | 4 ++--
 stdlib/source/poly/lux/abstract/functor.lux     | 6 +++---
 stdlib/source/poly/lux/data/format/json.lux     | 6 +++---
 3 files changed, 8 insertions(+), 8 deletions(-)

(limited to 'stdlib/source/poly')

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
-- 
cgit v1.2.3