diff options
| author | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
| commit | 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (patch) | |
| tree | 9dde4f6cb8f16829b2fa43fbccffaa1b3e2659bd /stdlib/source/poly | |
| parent | 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff) | |
Extensible import syntax [Part 4]
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 6 |
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 |