diff options
Diffstat (limited to 'stdlib/source/library/lux/control/function')
7 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/control/function/inline.lux b/stdlib/source/library/lux/control/function/inline.lux index a75f7688e..975b36f19 100644 --- a/stdlib/source/library/lux/control/function/inline.lux +++ b/stdlib/source/library/lux/control/function/inline.lux @@ -50,4 +50,4 @@ (list parameter (` <code>.any)))) list#conjoint)]] (in (list (` (syntax ((, g!_) [(,* g!parameters)]) - (.at meta.monad (,' in) (.list (.`' (, inlined)))))))))))) + (.of meta.monad (,' in) (.list (.`' (, inlined)))))))))))) diff --git a/stdlib/source/library/lux/control/function/mutual.lux b/stdlib/source/library/lux/control/function/mutual.lux index f834b94e6..75a0b7ef4 100644 --- a/stdlib/source/library/lux/control/function/mutual.lux +++ b/stdlib/source/library/lux/control/function/mutual.lux @@ -47,7 +47,7 @@ (<| (as Macro) (is Macro') (function (_ parameters) - (at meta.monad in (list (` (((, g!self) (, g!context)) (,* parameters)))))))) + (of meta.monad in (list (` (((, g!self) (, g!context)) (,* parameters)))))))) (.def .public let (syntax (_ [functions (<code>.tuple (<>.some ..mutual)) diff --git a/stdlib/source/library/lux/control/function/named.lux b/stdlib/source/library/lux/control/function/named.lux index 39e0fba22..91eeb4c6c 100644 --- a/stdlib/source/library/lux/control/function/named.lux +++ b/stdlib/source/library/lux/control/function/named.lux @@ -65,7 +65,7 @@ (dictionary.value (, g!it) (, g!parameters))) (list (,* (list#each code.text parameters)))) {.#Some (, g!parameters)} - (at meta.monad (,' in) + (of meta.monad (,' in) (list (` ((, g!function) ((,' .,*) (, g!parameters)))))) {.#None} diff --git a/stdlib/source/library/lux/control/function/polymorphism/context.lux b/stdlib/source/library/lux/control/function/polymorphism/context.lux index 576d44cf1..14ed33b80 100644 --- a/stdlib/source/library/lux/control/function/polymorphism/context.lux +++ b/stdlib/source/library/lux/control/function/polymorphism/context.lux @@ -56,7 +56,7 @@ (.def .public empty Context - (set.empty (at hash.functor each (|>> representation) symbol.hash))) + (set.empty (of hash.functor each (|>> representation) symbol.hash))) )) (with_template [<name> <change>] @@ -146,10 +146,10 @@ (do meta.monad [[(, g!_) (, g!_) (, g!_) (, g!_) (, g!_) (, g!_) (, g!_) (, g!scenarios)] (context.search' (|>> product.left - (at text.equivalence (,' =) (, (code.text (the #name signature))))) + (of text.equivalence (,' =) (, (code.text (the #name signature))))) [(.in_module# (, (code.text @)) ..stack) (symbol ..stack)])] - (at meta.monad (,' in) + (of meta.monad (,' in) (list (` (.def (, export_policy) (, name) (, (quoted (` (<| (,* quantifications) (-> (,* inputs) (Reader (, context) (, output))))))) diff --git a/stdlib/source/library/lux/control/function/polymorphism/predicate.lux b/stdlib/source/library/lux/control/function/polymorphism/predicate.lux index 3a145e7eb..760fd8436 100644 --- a/stdlib/source/library/lux/control/function/polymorphism/predicate.lux +++ b/stdlib/source/library/lux/control/function/polymorphism/predicate.lux @@ -86,10 +86,10 @@ (do meta.monad [[(, g!_) (, g!_) (, g!_) (, g!_) (, g!_) (, g!_) (, g!scenarios)] (context.search' (|>> product.left - (at text.equivalence (,' =) (, (code.text (the #name signature))))) + (of text.equivalence (,' =) (, (code.text (the #name signature))))) [(.in_module# (, (code.text @)) ..stack) (symbol ..stack)])] - (at meta.monad (,' in) + (of meta.monad (,' in) (list (` (.def (, export_policy) (, name) (, (quoted (` (<| (,* quantifications) (-> (,* inputs) (, output)))))) diff --git a/stdlib/source/library/lux/control/function/polymorphism/type.lux b/stdlib/source/library/lux/control/function/polymorphism/type.lux index 5aec52b70..475c3053b 100644 --- a/stdlib/source/library/lux/control/function/polymorphism/type.lux +++ b/stdlib/source/library/lux/control/function/polymorphism/type.lux @@ -55,7 +55,7 @@ (, g!method)))) (.def (, export_policy) (, name) (syntax ((, g!_) [(, g!inputs) (?.many ?code.any)]) - (at meta.monad (,' in) + (of meta.monad (,' in) (list (` (a/an (, g!method) ((,' .,*) (, g!inputs)))))))) (,* methods)))))) diff --git a/stdlib/source/library/lux/control/function/variadic.lux b/stdlib/source/library/lux/control/function/variadic.lux index e914dde9e..17b0b059b 100644 --- a/stdlib/source/library/lux/control/function/variadic.lux +++ b/stdlib/source/library/lux/control/function/variadic.lux @@ -58,7 +58,7 @@ (list parameter (` ?code.any)))) list#conjoint)) (, &rest) (?.some ?code.any)]) - (at meta.monad (,' in) + (of meta.monad (,' in) (list (` ((, g!function) (,* (list#each (|>> , ((,' .,)) `) mandatory)) (list ((,' .,*) (, &rest))))))))))))) |