diff options
author | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
commit | 376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch) | |
tree | bc76d7aeff4f2b889ae262a64dc8d26b0476068d /stdlib/source/poly | |
parent | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff) |
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to 'stdlib/source/poly')
-rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 10 | ||||
-rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 10 | ||||
-rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 12 |
3 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 1159d4ff4..71441f13b 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -2,7 +2,7 @@ [library [lux "*" [abstract - [monad {"+" [Monad do]}]] + [monad {"+" Monad do}]] [control ["[0]" maybe] ["<>" parser @@ -11,17 +11,17 @@ ["[0]" product] ["[0]" bit] ["[0]" text ("[1]#[0]" monoid) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" monad)] ["[0]" row] ["[0]" array] ["[0]" queue] ["[0]" set] - ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" dictionary {"+" Dictionary}] ["[0]" tree]]] [macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code]] [math [number @@ -36,7 +36,7 @@ ["[0]" day] ["[0]" month]] ["[0]" type - ["[0]" poly {"+" [poly:]}] + ["[0]" poly {"+" poly:}] ["[0]" unit]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 2c9ba91f1..895d509be 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -2,25 +2,25 @@ [library [lux "*" [abstract - [monad {"+" [Monad do]}]] + [monad {"+" Monad do}]] [control ["p" parser ["<[0]>" type] - ["s" code {"+" [Parser]}]]] + ["s" code {"+" Parser}]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" monad monoid)]]] [macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code]] [math [number ["n" nat]]] ["[0]" type - ["[0]" poly {"+" [poly:]}]]]] + ["[0]" poly {"+" poly:}]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index f6ab79e6a..df9c9cc5b 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -3,7 +3,7 @@ [lux "*" ["[0]" debug] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" codec]] [control ["[0]" try] @@ -13,13 +13,13 @@ ["<[0]>" code]]] [data ["[0]" text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" monad)] - ["[0]" row {"+" [row]}] + ["[0]" row {"+" row}] ["[0]" dictionary]]] [macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code]] [math [number @@ -35,9 +35,9 @@ ["[0]" month]] ["[0]" type ["[0]" unit] - ["[0]" poly {"+" [poly:]}]]]] + ["[0]" poly {"+" poly:}]]]] [\\library - ["[0]" / {"+" [JSON]}]]) + ["[0]" / {"+" JSON}]]) (def: tag (-> Nat Frac) |