diff options
| author | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
| commit | 132ffdae1add622c8a3c6065d7730a8fe8ea5e78 (patch) | |
| tree | 540310f190007d192b892db2d0a520d17b73ad48 /stdlib/source/poly | |
| parent | 09e2747bf8c6dcdc1d7318f2490f0de37d77b39f (diff) | |
Changed the syntax of do/be's (co)monad bindings.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 2 | ||||
| -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, 4 insertions, 4 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 6273ef67f..73249fe27 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -42,7 +42,7 @@ ["." /]]) (poly: .public equivalence - (`` (do {! <>.monad} + (`` (do [! <>.monad] [.let [g!_ (code.local_identifier "_____________")] *env* <type>.env inputT <type>.next diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index b6f841560..151ea600c 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -25,7 +25,7 @@ ["." /]]) (poly: .public functor - (do {! p.monad} + (do [! p.monad] [.let [g!_ (code.local_identifier "____________") type_funcC (code.local_identifier "____________type_funcC") funcC (code.local_identifier "____________funcC") diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 2412f65e4..a1c82c509 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -123,7 +123,7 @@ [date.Date date.codec] [day.Day day.codec] [month.Month month.codec])] - (do {! <>.monad} + (do [! <>.monad] [*env* <type>.env .let [g!_ (code.local_identifier "_______") @JSON\encoded (: (-> Type Code) @@ -247,7 +247,7 @@ [date.Date date.codec] [day.Day day.codec] [month.Month month.codec])] - (do {! <>.monad} + (do [! <>.monad] [*env* <type>.env .let [g!_ (code.local_identifier "_______") @JSON\decoded (: (-> Type Code) |