diff options
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 |