diff options
| author | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
| commit | 56d2835d35093e2d92c5e8a4371aa322b55e037b (patch) | |
| tree | 1c7949355baeae92e2f6e02f9104739ddb10ff73 /stdlib/source/poly | |
| parent | f2172051a91bbb2578918dc784a053a321849b63 (diff) | |
Extensible import syntax [Part 6]
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index b13c38453..63a88058e 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -10,10 +10,10 @@ [data ["[0]" product] ["[0]" bit] - ["[0]" text ("[1]#[0]" monoid) + ["[0]" text (.open: "[1]#[0]" monoid) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" monad)] + ["[0]" list (.open: "[1]#[0]" monad)] ["[0]" sequence] ["[0]" array] ["[0]" queue] @@ -25,7 +25,7 @@ ["[0]" code]] [math [number - ["[0]" nat ("[1]#[0]" decimal)] + ["[0]" nat (.open: "[1]#[0]" decimal)] ["[0]" int] ["[0]" rev] ["[0]" frac]]] diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 78a11f2fd..f7a4a6d7d 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -12,7 +12,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" monad monoid)]]] + ["[0]" list (.open: "[1]#[0]" monad monoid)]]] [macro [syntax (.only syntax:)] ["[0]" code]] diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 09b65efea..2bf11cdc7 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -15,7 +15,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" monad)] + ["[0]" list (.open: "[1]#[0]" monad)] ["[0]" sequence (.only sequence)] ["[0]" dictionary]]] [macro @@ -23,7 +23,7 @@ ["[0]" code]] [math [number - ["n" nat ("[1]#[0]" decimal)] + ["n" nat (.open: "[1]#[0]" decimal)] ["[0]" i64] ["[0]" int] ["[0]" frac]]] |