diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/type/linear.lux')
| -rw-r--r-- | stdlib/source/library/lux/meta/type/linear.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/meta/type/linear.lux b/stdlib/source/library/lux/meta/type/linear.lux index 89080dbb4..808649cc6 100644 --- a/stdlib/source/library/lux/meta/type/linear.lux +++ b/stdlib/source/library/lux/meta/type/linear.lux @@ -46,7 +46,7 @@ (implementation (def (in value) (function (_ keys) - (at monad in [keys value]))) + (of monad in [keys value]))) (def (then f input) (function (_ keysI) @@ -89,7 +89,7 @@ [(def .public (<name> monad value) (All (_ ! v) (Ex (_ k) (-> (Monad !) v (Affine ! (Key <mode> k) (Res k v))))) (function (_ keys) - (at monad in [[(<key> []) keys] (abstraction value)])))] + (of monad in [[(<key> []) keys] (abstraction value)])))] [ordered Ordered ..ordered_key] [commutative Commutative ..commutative_key] @@ -99,7 +99,7 @@ (All (_ ! v k m) (-> (Monad !) (Res k v) (Relevant ! (Key m k) v))) (function (_ [key keys]) - (at monad in [keys (representation resource)]))) + (of monad in [keys (representation resource)]))) ) (exception.def .public (index_cannot_be_repeated index) @@ -126,7 +126,7 @@ (def (no_op monad) (All (_ m) (-> (Monad m) (Linear m Any))) (function (_ context) - (at monad in [context []]))) + (of monad in [context []]))) (def .public exchange (syntax (_ [swaps ..indices]) @@ -157,7 +157,7 @@ [(,* g!outputsT+) (, g!context)] .Any))) (function ((, g!_) (, g!!) [(,* g!inputs) (, g!context)]) - (at (, g!!) (,' in) [[(,* g!outputs) (, g!context)] []]))))))))))) + (of (, g!!) (,' in) [[(,* g!outputs) (, g!context)] []]))))))))))) (def amount (Parser Nat) @@ -182,7 +182,7 @@ [<to> (, g!context)] .Any))) (function ((, g!_) (, g!!) [<from> (, g!context)]) - (at (, g!!) (,' in) [[<to> (, g!context)] []]))))))))))] + (of (, g!!) (,' in) [[<to> (, g!context)] []]))))))))))] [group (,* g!keys) [(,* g!keys)]] [un_group [(,* g!keys)] (,* g!keys)] |