diff options
Diffstat (limited to 'stdlib/source/library/lux/type/resource.lux')
-rw-r--r-- | stdlib/source/library/lux/type/resource.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux index 23d504446..baad50a5b 100644 --- a/stdlib/source/library/lux/type/resource.lux +++ b/stdlib/source/library/lux/type/resource.lux @@ -16,7 +16,7 @@ [collection ["[0]" set] ["[0]" row {"+" [Row]}] - ["[0]" list ("[1]\[0]" functor mix)]]] + ["[0]" list ("[1]#[0]" functor mix)]]] ["[0]" macro [syntax {"+" [syntax:]}]] [math @@ -45,7 +45,7 @@ (def: (in value) (function (_ keys) - (\ monad in [keys value]))) + (# monad in [keys value]))) (def: (then f input) (function (_ keysI) @@ -88,7 +88,7 @@ [(def: .public (<name> monad value) (All (_ ! v) (Ex (_ k) (-> (Monad !) v (Affine ! (Key <mode> k) (Res k v))))) (function (_ keys) - (\ monad in [[(<key> []) keys] (:abstraction value)])))] + (# monad in [[(<key> []) keys] (:abstraction value)])))] [ordered Ordered ..ordered_key] [commutative Commutative ..commutative_key] @@ -98,7 +98,7 @@ (All (_ ! v k m) (-> (Monad !) (Res k v) (Relevant ! (Key m k) v))) (function (_ [key keys]) - (\ monad in [keys (:representation resource)]))) + (# monad in [keys (:representation resource)]))) ) (exception: .public (index_cannot_be_repeated [index Nat]) @@ -124,7 +124,7 @@ (def: (no_op monad) (All (_ m) (-> (Monad m) (Linear m Any))) (function (_ context) - (\ monad in [context []]))) + (# monad in [context []]))) (syntax: .public (exchange [swaps ..indices]) (macro.with_identifiers [g!_ g!context g!!] @@ -134,7 +134,7 @@ {.#Item head tail} (do [! meta.monad] - [.let [max_idx (list\mix n.max head tail)] + [.let [max_idx (list#mix n.max head tail)] g!inputs (<| (monad.all !) (list.repeated (++ max_idx)) (macro.identifier "input")) .let [g!outputs (|> (monad.mix maybe.monad (function (_ from to) @@ -145,8 +145,8 @@ swaps) maybe.trusted row.list) - g!inputsT+ (list\each (|>> (~) (..Key ..Commutative) (`)) g!inputs) - g!outputsT+ (list\each (|>> (~) (..Key ..Commutative) (`)) g!outputs)]] + g!inputsT+ (list#each (|>> (~) (..Key ..Commutative) (`)) g!inputs) + g!outputsT+ (list#each (|>> (~) (..Key ..Commutative) (`)) g!outputs)]] (in (list (` (: (All ((~ g!_) (~ g!!) (~+ g!inputs) (~ g!context)) (-> ((~! monad.Monad) (~ g!!)) (Procedure (~ g!!) @@ -154,7 +154,7 @@ [(~+ g!outputsT+) (~ g!context)] .Any))) (function ((~ g!_) (~ g!!) [(~+ g!inputs) (~ g!context)]) - (\ (~ g!!) (~' in) [[(~+ g!outputs) (~ g!context)] []])))))))))) + (# (~ g!!) (~' in) [[(~+ g!outputs) (~ g!context)] []])))))))))) (def: amount (Parser Nat) @@ -178,7 +178,7 @@ [<to> (~ g!context)] .Any))) (function ((~ g!_) (~ g!!) [<from> (~ g!context)]) - (\ (~ g!!) (~' in) [[<to> (~ g!context)] []])))))))))] + (# (~ g!!) (~' in) [[<to> (~ g!context)] []])))))))))] [group (~+ g!keys) [(~+ g!keys)]] [un_group [(~+ g!keys)] (~+ g!keys)] |