diff options
Diffstat (limited to 'stdlib/source/library/lux/control/function/polymorphism')
3 files changed, 6 insertions, 6 deletions
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)))))) |