diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/meta/type/resource.lux | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/library/lux/meta/type/resource.lux b/stdlib/source/library/lux/meta/type/resource.lux index 44e9cf7a7..f1e099e72 100644 --- a/stdlib/source/library/lux/meta/type/resource.lux +++ b/stdlib/source/library/lux/meta/type/resource.lux @@ -132,7 +132,7 @@ (macro.with_symbols [g!_ g!context g!!] (case swaps {.#End} - (in (list (` (~! no_op)))) + (in (list (` (,! no_op)))) {.#Item head tail} (do [! meta.monad] @@ -147,16 +147,16 @@ swaps) maybe.trusted sequence.list) - g!inputsT+ (list#each (|>> (~) (..Key ..Commutative) (`)) g!inputs) - g!outputsT+ (list#each (|>> (~) (..Key ..Commutative) (`)) g!outputs)]] - (in (list (` (is (All ((~ g!_) (~ g!!) (~+ g!inputs) (~ g!context)) - (-> ((~! monad.Monad) (~ g!!)) - (Procedure (~ g!!) - [(~+ g!inputsT+) (~ g!context)] - [(~+ g!outputsT+) (~ g!context)] + g!inputsT+ (list#each (|>> (,) (..Key ..Commutative) (`)) g!inputs) + g!outputsT+ (list#each (|>> (,) (..Key ..Commutative) (`)) g!outputs)]] + (in (list (` (is (All ((, g!_) (, g!!) (,* g!inputs) (, g!context)) + (-> ((,! monad.Monad) (, g!!)) + (Procedure (, g!!) + [(,* g!inputsT+) (, g!context)] + [(,* g!outputsT+) (, g!context)] .Any))) - (function ((~ g!_) (~ g!!) [(~+ g!inputs) (~ g!context)]) - (at (~ g!!) (~' in) [[(~+ g!outputs) (~ g!context)] []]))))))))))) + (function ((, g!_) (, g!!) [(,* g!inputs) (, g!context)]) + (at (, g!!) (,' in) [[(,* g!outputs) (, g!context)] []]))))))))))) (def amount (Parser Nat) @@ -174,15 +174,15 @@ [g!keys (|> (macro.symbol "keys") (list.repeated amount) (monad.all !))] - (in (list (` (is (All ((~ g!_) (~ g!!) (~+ g!keys) (~ g!context)) - (-> ((~! monad.Monad) (~ g!!)) - (Procedure (~ g!!) - [<from> (~ g!context)] - [<to> (~ g!context)] + (in (list (` (is (All ((, g!_) (, g!!) (,* g!keys) (, g!context)) + (-> ((,! monad.Monad) (, g!!)) + (Procedure (, g!!) + [<from> (, g!context)] + [<to> (, g!context)] .Any))) - (function ((~ g!_) (~ g!!) [<from> (~ g!context)]) - (at (~ g!!) (~' in) [[<to> (~ g!context)] []]))))))))))] + (function ((, g!_) (, g!!) [<from> (, g!context)]) + (at (, g!!) (,' in) [[<to> (, g!context)] []]))))))))))] - [group (~+ g!keys) [(~+ g!keys)]] - [un_group [(~+ g!keys)] (~+ g!keys)] + [group (,* g!keys) [(,* g!keys)]] + [un_group [(,* g!keys)] (,* g!keys)] ) |