diff options
Diffstat (limited to 'stdlib/source/library/lux/meta')
144 files changed, 398 insertions, 398 deletions
diff --git a/stdlib/source/library/lux/meta/code.lux b/stdlib/source/library/lux/meta/code.lux index 0bec080e7..d9e753b19 100644 --- a/stdlib/source/library/lux/meta/code.lux +++ b/stdlib/source/library/lux/meta/code.lux @@ -65,7 +65,7 @@ (when [x y] (,, (with_template [<tag> <eq>] [[[_ {<tag> x'}] [_ {<tag> y'}]] - (at <eq> = x' y')] + (of <eq> = x' y')] [.#Bit bit.equivalence] [.#Nat nat.equivalence] @@ -77,7 +77,7 @@ (,, (with_template [<tag>] [[[_ {<tag> xs'}] [_ {<tag> ys'}]] - (at (list.equivalence =) = xs' ys')] + (of (list.equivalence =) = xs' ys')] [.#Form] [.#Variant] @@ -91,7 +91,7 @@ (when ast (,, (with_template [<tag> <struct>] [[_ {<tag> value}] - (at <struct> encoded value)] + (of <struct> encoded value)] [.#Bit bit.codec] [.#Nat nat.decimal] @@ -123,7 +123,7 @@ (`` (def .public (replaced original substitute ast) (-> Code Code Code Code) - (if (at ..equivalence = original ast) + (if (of ..equivalence = original ast) substitute (when ast (,, (with_template [<tag>] diff --git a/stdlib/source/library/lux/meta/compiler/default/platform.lux b/stdlib/source/library/lux/meta/compiler/default/platform.lux index c245fbc26..14d737c9f 100644 --- a/stdlib/source/library/lux/meta/compiler/default/platform.lux +++ b/stdlib/source/library/lux/meta/compiler/default/platform.lux @@ -130,7 +130,7 @@ sequence.list (monad.each ..monad write_artifact!) (is (Action (List Any))))) - document (at async.monad in + document (of async.monad in (document.marked? key (the [archive.#module module.#document] entry)))] (is (Async (Try Any)) (|> [(|> entry @@ -551,7 +551,7 @@ (if (set.empty? duplicates) (when new_dependencies {.#End} - (at ..monad in [archive (list) (list)]) + (of ..monad in [archive (list) (list)]) {.#Item _} (do [! async.monad] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux.lux b/stdlib/source/library/lux/meta/compiler/language/lux.lux index 58b2833b9..0c52f6613 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux.lux @@ -68,7 +68,7 @@ ... #imports (<binary>.list <binary>.text) ... #module_state - (at <>.monad in {.#Cached})))) + (of <>.monad in {.#Cached})))) (def .public key (Key .Module) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/meta/compiler/language/lux/analysis.lux index 0c827a334..4adaf01c2 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/analysis.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/analysis.lux @@ -84,8 +84,8 @@ (Equivalence Branch)) (implementation (def (= [reference_pattern reference_body] [sample_pattern sample_body]) - (and (at /pattern.equivalence = reference_pattern sample_pattern) - (at equivalence = reference_body sample_body))))) + (and (of /pattern.equivalence = reference_pattern sample_pattern) + (of equivalence = reference_body sample_body))))) (def .public equivalence (Equivalence Analysis) @@ -93,23 +93,23 @@ (def (= [_ reference] [_ sample]) (.when [reference sample] [{#Simple reference} {#Simple sample}] - (at /simple.equivalence = reference sample) + (of /simple.equivalence = reference sample) [{#Structure reference} {#Structure sample}] - (at (/complex.equivalence =) = reference sample) + (of (/complex.equivalence =) = reference sample) [{#Reference reference} {#Reference sample}] - (at reference.equivalence = reference sample) + (of reference.equivalence = reference sample) [{#When [reference_analysis reference_match]} {#When [sample_analysis sample_match]}] (and (= reference_analysis sample_analysis) - (at (list.equivalence (branch_equivalence =)) = {.#Item reference_match} {.#Item sample_match})) + (of (list.equivalence (branch_equivalence =)) = {.#Item reference_match} {.#Item sample_match})) [{#Function [reference_environment reference_analysis]} {#Function [sample_environment sample_analysis]}] (and (= reference_analysis sample_analysis) - (at (list.equivalence =) = reference_environment sample_environment)) + (of (list.equivalence =) = reference_environment sample_environment)) [{#Apply [reference_input reference_abstraction]} {#Apply [sample_input sample_abstraction]}] @@ -117,7 +117,7 @@ (= reference_abstraction sample_abstraction)) [{#Extension reference} {#Extension sample}] - (at (extension.equivalence =) = reference sample) + (of (extension.equivalence =) = reference sample) _ false)))) @@ -332,7 +332,7 @@ (def .public (assertion exception parameters condition) (All (_ e) (-> (Exception e) e Bit (Operation Any))) (if condition - (at phase.monad in []) + (of phase.monad in []) (..except exception parameters))) (def .public (with_exception exception message action) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/complex.lux b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/complex.lux index 7d3f9f1cf..f38318f09 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/complex.lux @@ -61,7 +61,7 @@ (/#= reference_value sample_value)) [{#Tuple reference} {#Tuple sample}] - (at (list.equivalence /#=) = reference sample) + (of (list.equivalence /#=) = reference sample) _ false)))) @@ -70,19 +70,19 @@ (All (_ a) (-> (Hash a) (Hash (Complex a)))) (implementation (def equivalence - (..equivalence (at super equivalence))) + (..equivalence (of super equivalence))) (def (hash value) (when value {#Variant [lefts right? value]} (all n.* 2 - (at n.hash hash lefts) - (at bit.hash hash right?) - (at super hash value)) + (of n.hash hash lefts) + (of bit.hash hash right?) + (of super hash value)) {#Tuple members} (all n.* 3 - (at (list.hash super) hash members)) + (of (list.hash super) hash members)) )))) (def .public (format %it it) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/coverage.lux b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/coverage.lux index c4c6da56d..853b83c3d 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/coverage.lux @@ -101,8 +101,8 @@ [#Text]) [{#Variant allR casesR} {#Variant allS casesS}] - (and (at (maybe.equivalence n.equivalence) = allR allS) - (at (dictionary.equivalence =) = casesR casesS)) + (and (of (maybe.equivalence n.equivalence) = allR allS) + (of (dictionary.equivalence =) = casesR casesS)) [{#Seq leftR rightR} {#Seq leftS rightS}] (and (= leftR leftS) @@ -301,7 +301,7 @@ (n.> so_far_cases (..minimum addition'))))) (exception.except ..variant_mismatch [so_far_cases addition_cases]) - (at (dictionary.equivalence ..equivalence) = casesSF casesA) + (of (dictionary.equivalence ..equivalence) = casesSF casesA) <redundancy> ... else diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/inference.lux b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/inference.lux index db6182d7e..c3f14a075 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/inference.lux @@ -182,7 +182,7 @@ ... (in (++ level)))))) ... 0 ... vars) - ... :inference:' (at ! each (type.univ_q quantifications) (check.clean vars :inference:)) + ... :inference:' (of ! each (type.univ_q quantifications) (check.clean vars :inference:)) ... _ (check.with just_before)] ... (in :inference:'))) ... _ (/type.inference :inference:)] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/pattern.lux b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/pattern.lux index 836c7c30d..c21213def 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/pattern.lux @@ -29,10 +29,10 @@ (def (= reference sample) (when [reference sample] [{#Simple reference} {#Simple sample}] - (at //simple.equivalence = reference sample) + (of //simple.equivalence = reference sample) [{#Complex reference} {#Complex sample}] - (at (//complex.equivalence =) = reference sample) + (of (//complex.equivalence =) = reference sample) [{#Bind reference} {#Bind sample}] (n.= reference sample) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/complex.lux index 9c39f43a1..10f276346 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/complex.lux @@ -123,7 +123,7 @@ (when expectedT {.#Sum _} (|> (analyse archive valueC) - (at ! each (|>> [lefts right?] (/.variant @))) + (of ! each (|>> [lefts right?] (/.variant @))) (/type.expecting (|> expectedT type.flat_variant (list.item tag) @@ -211,23 +211,23 @@ (-> Phase Type Archive (List Code) (Operation Analysis)) (<| (do [! ///.monad] [@ meta.location]) - (at ! each (|>> (/.tuple @))) + (of ! each (|>> (/.tuple @))) (is (Operation (List Analysis))) (loop (again [membersT+ (type.flat_tuple expectedT) membersC+ members]) (when [membersT+ membersC+] [{.#Item memberT {.#End}} {.#Item memberC {.#End}}] - (<| (at ! each (|>> list)) + (<| (of ! each (|>> list)) (/type.expecting memberT) (analyse archive memberC)) [{.#Item memberT {.#End}} _] (<| (/type.expecting memberT) - (at ! each (|>> list) (analyse archive (code.tuple membersC+)))) + (of ! each (|>> list) (analyse archive (code.tuple membersC+)))) [_ {.#Item memberC {.#End}}] (<| (/type.expecting (type.tuple membersT+)) - (at ! each (|>> list) (analyse archive memberC))) + (of ! each (|>> list) (analyse archive memberC))) [{.#Item memberT membersT+'} {.#Item memberC membersC+'}] (do ! @@ -337,7 +337,7 @@ (def (local_binding? name) (-> Text (Meta Bit)) - (at meta.monad each + (of meta.monad each (list.any? (list.any? (|>> product.left (text#= name)))) meta.locals)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/function.lux index 73c26493d..06aef00dd 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/function.lux @@ -59,7 +59,7 @@ {.#Function :input: :output:} (<| (do ! [@ meta.location]) - (at ! each (.function (_ [scope bodyA]) + (of ! each (.function (_ [scope bodyA]) [@ {/.#Function (list#each (|>> (/.variable @)) (/scope.environment scope)) bodyA}])) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/when.lux index eed015604..ef35059ba 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/when.lux @@ -144,10 +144,10 @@ (list#each (..quantified envs)) type.tuple [(list)] - (at check.monad in)) + (of check.monad in)) _ - (at check.monad in [(list) (..quantified envs :it:)])))) + (of check.monad in [(list) (..quantified envs :it:)])))) (def (simple_pattern_analysis type :input: location output next) (All (_ a) (-> Type Type Location Pattern (Operation a) (Operation [Pattern a]))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux index 7646655c1..a47dc0e1d 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux @@ -124,7 +124,7 @@ (when expansion (list.partial <lux_def_module> referrals) (|> (again archive <lux_def_module>) - (at ! each (revised /.#referrals (list#composite referrals)))) + (of ! each (revised /.#referrals (list#composite referrals)))) _ (..requiring again archive expansion)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux index a9f5b9726..657ad6024 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux @@ -612,7 +612,7 @@ (text.starts_with? descriptor.array_prefix name) (let [[_ unprefixed] (maybe.trusted (text.split_by descriptor.array_prefix name))] - (at phase.monad each jvm.array + (of phase.monad each jvm.array (check_jvm {.#Nominal unprefixed (list)}))) ... else @@ -1404,7 +1404,7 @@ aliasing (dictionary.composite (..aliasing expected_class_tvars actual_class_tvars) (..aliasing expected_method_tvars actual_method_tvars))] passes? (check_method aliasing class method_name method_style inputsJT method)] - (at ! each (if passes? + (of ! each (if passes? (|>> {#Pass}) (|>> {#Hint})) (method_signature method_style method)))))))] @@ -1437,7 +1437,7 @@ aliasing (dictionary.composite (..aliasing expected_class_tvars actual_class_tvars) (..aliasing expected_method_tvars actual_method_tvars))] passes? (check_constructor aliasing class inputsJT constructor)] - (at ! each + (of ! each (if passes? (|>> {#Pass}) (|>> {#Hint})) @@ -2275,7 +2275,7 @@ phase.of_try)] (|> super_parameters (monad.each ! (..reflection_type mapping)) - (at ! each (|>> (list.zipped_2 parent_parameters))))) + (of ! each (|>> (list.zipped_2 parent_parameters))))) (phase.of_try (exception.except ..mismatched_super_parameters [parent_name expected_count actual_count])))) {.#None} @@ -2345,7 +2345,7 @@ (def (matched? [sub sub_method subJT] [super super_method superJT]) (-> [(Type Class) Text (Type Method)] [(Type Class) Text (Type Method)] Bit) - (and (at descriptor.equivalence = (jvm.descriptor super) (jvm.descriptor sub)) + (and (of descriptor.equivalence = (jvm.descriptor super) (jvm.descriptor sub)) (text#= super_method sub_method) (jvm#= superJT subJT))) @@ -2524,13 +2524,13 @@ _.aconst_null {.#Right primitiveT} - (cond (at jvm.equivalence = jvm.long primitiveT) + (cond (of jvm.equivalence = jvm.long primitiveT) _.lconst_0 - (at jvm.equivalence = jvm.float primitiveT) + (of jvm.equivalence = jvm.float primitiveT) _.fconst_0 - (at jvm.equivalence = jvm.double primitiveT) + (of jvm.equivalence = jvm.double primitiveT) _.dconst_0 ... jvm.boolean jvm.byte jvm.short jvm.int jvm.char @@ -2550,13 +2550,13 @@ _.areturn {.#Right primitiveT} - (cond (at jvm.equivalence = jvm.long primitiveT) + (cond (of jvm.equivalence = jvm.long primitiveT) _.lreturn - (at jvm.equivalence = jvm.float primitiveT) + (of jvm.equivalence = jvm.float primitiveT) _.freturn - (at jvm.equivalence = jvm.double primitiveT) + (of jvm.equivalence = jvm.double primitiveT) _.dreturn ... jvm.boolean jvm.byte jvm.short jvm.int jvm.char @@ -2681,7 +2681,7 @@ (list) (list#each (|>> {#Overriden_Method}) methods))) ... Necessary for reflection to work properly during analysis. - _ (phase.of_try (at host execute mock)) + _ (phase.of_try (of host execute mock)) mapping (typeA.check (..class_mapping parameters)) super_classT (typeA.check (luxT.check (luxT.class mapping) (..signature super_class))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux index d79128c56..3014365da 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux @@ -185,7 +185,7 @@ (|> opC (analyse archive) (typeA.expecting (type_literal (-> .Any :var:))) - (at ! each (|>> list + (of ! each (|>> list {analysis.#Extension (..translation extension_name)} [@]))))))])) @@ -203,7 +203,7 @@ [(<>.and <code>.any <code>.any) (function (_ extension_name analyse archive [typeC valueC]) (do [! phase.monad] - [actualT (at ! each (|>> (as Type)) + [actualT (of ! each (|>> (as Type)) (eval archive Type typeC)) _ (typeA.inference actualT)] (<| (typeA.expecting actualT) @@ -215,7 +215,7 @@ [(<>.and <code>.any <code>.any) (function (_ extension_name analyse archive [typeC valueC]) (do [! phase.monad] - [actualT (at ! each (|>> (as Type)) + [actualT (of ! each (|>> (as Type)) (eval archive Type typeC)) _ (typeA.inference actualT) [valueT valueA] (typeA.inferring diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/jvm.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/jvm.lux index edb4a9d3d..57a55392d 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/jvm.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/jvm.lux @@ -430,7 +430,7 @@ (value.wrap <type>) (_.astore lux_register))]]] (`` (cond (,, (with_template [<shift> <load> <type>] - [(at type.equivalence = <type> argumentT) + [(of type.equivalence = <type> argumentT) (wrap_primitive <shift> <load> <type>)] [1 _.iload type.boolean] @@ -441,7 +441,7 @@ [1 _.fload type.float] [2 _.lload type.long])) - ... (at type.equivalence = type.double argumentT) + ... (of type.equivalence = type.double argumentT) (wrap_primitive 2 _.dload type.double)))))) (def .public (method_arguments offset types) @@ -514,7 +514,7 @@ (value.unwrap <type>) <return>)]] (`` (cond (,, (with_template [<return> <type>] - [(at type.equivalence = <type> returnT) + [(of type.equivalence = <type> returnT) (unwrap_primitive <return> <type>)] [_.ireturn type.boolean] @@ -525,7 +525,7 @@ [_.freturn type.float] [_.lreturn type.long])) - ... (at type.equivalence = type.double returnT) + ... (of type.equivalence = type.double returnT) (unwrap_primitive _.dreturn type.double))))))) (def (overriden_method_translation translate archive method) @@ -632,7 +632,7 @@ (..static_method_translation translate archive method) {#Abstract_Method method} - (at phase.monad in (..abstract_method_translation method)))) + (of phase.monad in (..abstract_method_translation method)))) (def (method_definition archive super interfaces [mapping selfT] [analyse synthesize translate]) (-> Archive @@ -705,13 +705,13 @@ _.aconst_null {.#Right primitiveT} - (cond (at type.equivalence = type.long primitiveT) + (cond (of type.equivalence = type.long primitiveT) _.lconst_0 - (at type.equivalence = type.float primitiveT) + (of type.equivalence = type.float primitiveT) _.fconst_0 - (at type.equivalence = type.double primitiveT) + (of type.equivalence = type.double primitiveT) _.dconst_0 ... type.boolean type.byte type.short type.int type.char @@ -731,13 +731,13 @@ _.areturn {.#Right primitiveT} - (cond (at type.equivalence = type.long primitiveT) + (cond (of type.equivalence = type.long primitiveT) _.lreturn - (at type.equivalence = type.float primitiveT) + (of type.equivalence = type.float primitiveT) _.freturn - (at type.equivalence = type.double primitiveT) + (of type.equivalence = type.double primitiveT) _.dreturn ... type.boolean type.byte type.short type.int type.char @@ -902,7 +902,7 @@ ((the [declaration.#translation declaration.#phase] state) analysis_state)])) methods) .let [all_dependencies (cache.all (list#each product.left methods))] - bytecode (<| (at ! each (\\format.result class.format)) + bytecode (<| (of ! each (\\format.result class.format)) phase.of_try (class.class version.v6_0 (all modifier#composite @@ -941,7 +941,7 @@ (function (_ phase archive [[name parameters] supers annotations method_declarations]) (declaration.of_translation (do [! phase.monad] - [bytecode (<| (at ! each (\\format.result class.format)) + [bytecode (<| (of ! each (\\format.result class.format)) phase.of_try (class.class version.v6_0 (all modifier#composite diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/common_lisp/common.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/common_lisp/common.lux index 4a0f897c3..b48fbe8bd 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/common_lisp/common.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/common_lisp/common.lux @@ -53,7 +53,7 @@ ... <s>.any)))) ... (function (_ extension_name phase archive [input else conditionals]) ... (do [! /////.monad] -... [@input (at ! each _.var (translation.symbol "input")) +... [@input (of ! each _.var (translation.symbol "input")) ... inputG (phase archive input) ... elseG (phase archive else) ... conditionalsG (is (Operation (List [Expression Expression])) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/js/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/js/host.lux index 0f8fab9bc..6be0522c3 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/js/host.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/js/host.lux @@ -113,7 +113,7 @@ (custom [<s>.text (function (_ phase archive name) - (at phase.monad in (_.var name)))])) + (of phase.monad in (_.var name)))])) (def js::apply (custom @@ -132,7 +132,7 @@ [abstractionG (phase archive abstractionS) .let [variable (is (-> Text (Operation Var)) (|>> translation.symbol - (at ! each _.var)))] + (of ! each _.var)))] g!inputs (monad.each ! (function (_ _) (variable "input")) (list.repeated (.nat arity) [])) g!abstraction (variable "abstraction")] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux index 1f019a985..ded9a8bb4 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux @@ -641,7 +641,7 @@ (..custom [(all <>.and <synthesis>.text <synthesis>.text ..value) (function (_ translate archive [class field :unboxed:]) - (at //////.monad in (_.getstatic (type.class class (list)) field :unboxed:)))])) + (of //////.monad in (_.getstatic (type.class class (list)) field :unboxed:)))])) (def put::static Handler @@ -1164,7 +1164,7 @@ (///value.unwrap <type>) <return>)]] (`` (cond (,, (with_template [<return> <type>] - [(at type.equivalence = <type> returnT) + [(of type.equivalence = <type> returnT) (unwrap_primitive <return> <type>)] [_.ireturn type.boolean] @@ -1175,7 +1175,7 @@ [_.freturn type.float] [_.lreturn type.long])) - ... (at type.equivalence = type.double returnT) + ... (of type.equivalence = type.double returnT) (unwrap_primitive _.dreturn type.double))))))) (def (method_dependencies archive method) @@ -1219,7 +1219,7 @@ (///value.wrap <type>) (_.astore lux_register))]]] (`` (cond (,, (with_template [<shift> <load> <type>] - [(at type.equivalence = <type> argumentT) + [(of type.equivalence = <type> argumentT) (wrap_primitive <shift> <load> <type>)] [1 _.iload type.boolean] @@ -1230,7 +1230,7 @@ [1 _.fload type.float] [2 _.lload type.long])) - ... (at type.equivalence = type.double argumentT) + ... (of type.equivalence = type.double argumentT) (wrap_primitive 2 _.dload type.double)))))) (def .public (prepare_arguments offset types) @@ -1332,7 +1332,7 @@ methods! (|> overriden_methods (list#each (normalized_method global_mapping)) (monad.each ! (method_definition translate archive artifact_id))) - bytecode (<| (at ! each (\\format.result class.format)) + bytecode (<| (of ! each (\\format.result class.format)) //////.of_try (class.class version.v6_0 (all modifier#composite class.public class.final) (name.internal anonymous_class_name) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/common.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/common.lux index e278cd290..31f782b48 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/common.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/common.lux @@ -142,7 +142,7 @@ {synthesis.#Then else}) [input] (//when.when! statement phase archive) - (at phase.monad each (|>> (as Expression)))))])) + (of phase.monad each (|>> (as Expression)))))])) (def with_basic_extensions (-> Bundle Bundle) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/host.lux index 6e3bf9a0f..b69079a05 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/host.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/host.lux @@ -131,7 +131,7 @@ (custom [<s>.text (function (_ phase archive name) - (at ////////phase.monad in (_.var name)))])) + (of ////////phase.monad in (_.var name)))])) (def lua::apply (custom @@ -155,7 +155,7 @@ (custom [<s>.text (function (_ phase archive module) - (at ////////phase.monad in + (of ////////phase.monad in (_.require/1 (_.string module))))])) (def lua::function @@ -166,7 +166,7 @@ [abstractionG (phase archive abstractionS) .let [variable (is (-> Text (Operation Var)) (|>> translation.symbol - (at ! each _.var)))] + (of ! each _.var)))] g!inputs (monad.each ! (function (_ _) (variable "input")) (list.repeated (.nat arity) []))] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/php/common.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/php/common.lux index b6625995e..badafbb08 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/php/common.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/php/common.lux @@ -56,7 +56,7 @@ [inputG (phase archive input) [[context_module context_artifact] elseG] (translation.with_new_context archive (phase archive else)) - @input (at ! each _.var (translation.symbol "input")) + @input (of ! each _.var (translation.symbol "input")) conditionalsG (is (Operation (List [Expression Expression])) (monad.each ! (function (_ [chars branch]) (do ! diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/php/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/php/host.lux index 16a55823f..5aa011fc7 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/php/host.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/php/host.lux @@ -111,7 +111,7 @@ (custom [<s>.text (function (_ extension phase archive name) - (at ////////phase.monad in (_.constant name)))])) + (of ////////phase.monad in (_.constant name)))])) (def php::apply (custom diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/python/common.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/python/common.lux index 53ddeaa57..7b4153a5c 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/python/common.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/python/common.lux @@ -116,7 +116,7 @@ (do [! phase.monad] [inputG (phase archive input) else! (..statement phase archive else) - @input (at ! each _.var (translation.symbol "input")) + @input (of ! each _.var (translation.symbol "input")) conditionals! (is (Operation (List [(Expression Any) (Statement Any)])) (monad.each ! (function (_ [chars branch]) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/python/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/python/host.lux index adb650f17..2c0eb4818 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/python/host.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/python/host.lux @@ -130,7 +130,7 @@ [abstractionG (phase archive abstractionS) .let [variable (is (-> Text (Operation SVar)) (|>> translation.symbol - (at ! each _.var)))] + (of ! each _.var)))] g!inputs (monad.each ! (function (_ _) (variable "input")) (list.repeated (.nat arity) []))] (in (_.lambda g!inputs diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/r/common.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/r/common.lux index ad16cb2da..b4d6b4a5c 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/r/common.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/r/common.lux @@ -53,7 +53,7 @@ ... ... <s>.any)))) ... ... (function (_ extension_name phase archive [input else conditionals]) ... ... (do [! /////.monad] -... ... [@input (at ! each _.var (translation.symbol "input")) +... ... [@input (of ! each _.var (translation.symbol "input")) ... ... inputG (phase archive input) ... ... elseG (phase archive else) ... ... conditionalsG (is (Operation (List [Expression Expression])) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/ruby/common.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/ruby/common.lux index 6e34a490a..151cf3c74 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/ruby/common.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/ruby/common.lux @@ -118,7 +118,7 @@ (do [! phase.monad] [inputG (phase archive input) else! (statement phase archive else) - @input (at ! each _.local (translation.symbol "input")) + @input (of ! each _.local (translation.symbol "input")) conditionals! (is (Operation (List [Expression Statement])) (monad.each ! (function (_ [chars branch]) (do ! diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/ruby/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/ruby/host.lux index aedb08fb0..982c33f38 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/ruby/host.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/ruby/host.lux @@ -99,7 +99,7 @@ (custom [?synthesis.text (function (_ phase archive name) - (at phase.monad in (is _.CVar (_.manual name))))])) + (of phase.monad in (is _.CVar (_.manual name))))])) (def ruby::apply (custom @@ -114,7 +114,7 @@ (custom [?synthesis.text (function (_ phase archive module) - (at phase.monad in + (of phase.monad in (_.require/1 (_.string module))))])) (def .public bundle diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/scheme/common.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/scheme/common.lux index 7719f82cf..1ae11f0b0 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/scheme/common.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/scheme/common.lux @@ -53,7 +53,7 @@ <s>.any)))) (function (_ extension_name phase archive [input else conditionals]) (do [! /////.monad] - [@input (at ! each _.var (translation.symbol "input")) + [@input (of ! each _.var (translation.symbol "input")) inputG (phase archive input) elseG (phase archive else) conditionalsG (is (Operation (List [Expression Expression])) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/function.lux index f985b86ba..76cc4c74e 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/function.lux @@ -105,7 +105,7 @@ [then (grow_path grow then) else (when else {.#Some else} - (at ! each (|>> {.#Some}) (grow_path grow else)) + (of ! each (|>> {.#Some}) (grow_path grow else)) {.#None} (in {.#None}))] @@ -258,7 +258,7 @@ (/.function/abstraction @ [env' down_arity' bodyS']) (|> bodyS' (grow env') - (at ! each (function (_ body) + (of ! each (function (_ body) [/.#environment environment /.#arity (++ down_arity') /.#body body]))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/loop.lux index 60619b13b..c9dd922ef 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/loop.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/loop.lux @@ -50,7 +50,7 @@ [then (again then) else (when else {.#Some else} - (at ! each (|>> {.#Some}) (again else)) + (of ! each (|>> {.#Some}) (again else)) {.#None} (in {.#None}))] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux index 22cafb4ae..fe443f9c1 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux @@ -267,7 +267,7 @@ [[redundancy then] (again [redundancy then]) [redundancy else] (when else {.#Some else} - (at ! each + (of ! each (function (_ [redundancy else]) [redundancy {.#Some else}]) (again [redundancy else])) @@ -455,4 +455,4 @@ (-> Synthesis (Try Synthesis)) (|>> [..initial] optimization' - (at try.monad each product.right))) + (of try.monad each product.right))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/when.lux index 2a9141d88..cd7de82f5 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/when.lux @@ -67,7 +67,7 @@ [///simple.#Text /.#Text_Fork |>])) {///pattern.#Bind register} - (<| (at ///.monad each (|>> {/.#Seq {/.#Bind register}})) + (<| (of ///.monad each (|>> {/.#Seq {/.#Bind register}})) /.with_new_local thenC) @@ -111,7 +111,7 @@ (All (_ a) (-> (-> Path Path Path) (Equivalence a) [a Path] (/.Fork a Path) (/.Fork a Path))) - (if (at equivalence = new_test old_test) + (if (of equivalence = new_test old_test) [[old_test (weave new_then old_then)] old_tail] [[old_test old_then] (when old_tail diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/function.lux index 608a865d9..973dce91d 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/function.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/function.lux @@ -45,11 +45,11 @@ (-> (List (Expression Any)) (Expression Any) (Operation (Expression Any))) (when inits {.#End} - (at ///////phase.monad in function_definition) + (of ///////phase.monad in function_definition) _ (do [! ///////phase.monad] - [@closure (at ! each _.var (/////translation.symbol "closure"))] + [@closure (of ! each _.var (/////translation.symbol "closure"))] (in (_.labels (list [@closure [(|> (list.enumeration inits) (list#each (|>> product.left ..capture)) _.args) @@ -62,8 +62,8 @@ (def .public (function expression archive [environment arity bodyS]) (Translator (Abstraction Synthesis)) (do [! ///////phase.monad] - [@scope (at ! each (|>> %.nat (format "function_scope") _.tag) /////translation.next) - @output (at ! each (|>> %.nat (format "loop_output") _.var) /////translation.next) + [@scope (of ! each (|>> %.nat (format "function_scope") _.tag) /////translation.next) + @output (of ! each (|>> %.nat (format "loop_output") _.var) /////translation.next) [function_name bodyG] (/////translation.with_new_context archive (/////translation.with_anchor [@scope 1] (expression archive bodyS))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/loop.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/loop.lux index 299f7611d..91ebf3c28 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/loop.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/loop.lux @@ -43,8 +43,8 @@ ... true loop _ (do [! ///////phase.monad] - [@scope (at ! each (|>> %.nat (format "loop_scope") _.tag) /////translation.next) - @output (at ! each (|>> %.nat (format "loop_output") _.var) /////translation.next) + [@scope (of ! each (|>> %.nat (format "loop_scope") _.tag) /////translation.next) + @output (of ! each (|>> %.nat (format "loop_output") _.var) /////translation.next) initsG+ (monad.each ! (expression archive) initsS+) bodyG (/////translation.with_anchor [@scope start] (expression archive bodyS))] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/runtime.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/runtime.lux index 12fb47c17..1c82dbe73 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/runtime.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/runtime.lux @@ -302,4 +302,4 @@ (sequence.sequence [(%.nat ..module_id) (|> ..runtime _.code - (at encoding.utf8 encoded))])]))) + (of encoding.utf8 encoded))])]))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/when.lux index 268508d6d..9c69027de 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/common_lisp/when.lux @@ -142,7 +142,7 @@ (function (again [$output @done @fail pathP]) (.when pathP (/////synthesis.path/then bodyS) - (at ///////phase.monad each + (of ///////phase.monad each (function (_ outputV) (_.progn (list (_.setq $output outputV) (_.go @done)))) @@ -196,7 +196,7 @@ (<simple> idx nextP) (|> nextP [$output @done @fail] again - (at ///////phase.monad each (|>> {.#Some} (<choice> @fail true idx))))]) + (of ///////phase.monad each (|>> {.#Some} (<choice> @fail true idx))))]) ([/////synthesis.side/left /////synthesis.simple_left_side ..left_choice] [/////synthesis.side/right /////synthesis.simple_right_side ..right_choice]) @@ -218,7 +218,7 @@ (/////synthesis.path/alt preP postP) (do [! ///////phase.monad] - [@otherwise (at ! each (|>> %.nat (format "lux_when_otherwise") _.tag) /////translation.next) + [@otherwise (of ! each (|>> %.nat (format "lux_when_otherwise") _.tag) /////translation.next) pre! (again [$output @done @otherwise preP]) post! (again [$output @done @fail postP])] (in (..alternation @otherwise pre! post!))) @@ -232,8 +232,8 @@ (def (pattern_matching $output expression archive pathP) (-> Var/1 (Translator Path)) (do [! ///////phase.monad] - [@done (at ! each (|>> %.nat (format "lux_when_done") _.tag) /////translation.next) - @fail (at ! each (|>> %.nat (format "lux_when_fail") _.tag) /////translation.next) + [@done (of ! each (|>> %.nat (format "lux_when_done") _.tag) /////translation.next) + @fail (of ! each (|>> %.nat (format "lux_when_fail") _.tag) /////translation.next) pattern_matching! (pattern_matching' expression archive [$output @done @fail pathP])] (in (_.tagbody (list pattern_matching! @@ -245,7 +245,7 @@ (Translator [Synthesis Path]) (do [! ///////phase.monad] [initG (expression archive valueS) - $output (at ! each (|>> %.nat (format "lux_when_output") _.var) /////translation.next) + $output (of ! each (|>> %.nat (format "lux_when_output") _.var) /////translation.next) pattern_matching! (pattern_matching $output expression archive pathP) .let [storage (|> pathP ////synthesis/when.storage diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/extension.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/extension.lux index 410675ec4..38a52d429 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/extension.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/extension.lux @@ -82,4 +82,4 @@ (let [! ///.monad] (|> inputsS (monad.each ! (phase archive)) - (at ! each extension))))) + (of ! each extension))))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/function.lux index cc88108bb..7d1d3434b 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/function.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/function.lux @@ -78,7 +78,7 @@ [dependencies (cache.dependencies archive bodyS) [function_name body!] (/////translation.with_new_context archive dependencies (do ! - [scope (at ! each ..@scope + [scope (of ! each ..@scope (/////translation.context archive))] (/////translation.with_anchor [1 scope] (statement expression archive bodyS)))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/loop.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/loop.lux index 6c3fd4772..6bb799c5e 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/loop.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/loop.lux @@ -71,11 +71,11 @@ ... true loop _ (do [! ///////phase.monad] - [@scope (at ! each ..@scope /////translation.next) + [@scope (of ! each ..@scope /////translation.next) initsO+ (monad.each ! (expression archive) initsS+) body! (/////translation.with_anchor [start @scope] (statement expression archive bodyS)) - $iteration (at ! each ..$iteration /////translation.next)] + $iteration (of ! each ..$iteration /////translation.next)] (in (..setup $iteration true start initsO+ @@ -104,7 +104,7 @@ (do [! ///////phase.monad] [[offset @scope] /////translation.anchor argsO+ (monad.each ! (expression archive) argsS+) - $iteration (at ! each ..$iteration /////translation.next)] + $iteration (of ! each ..$iteration /////translation.next)] (in (all _.then (_.define @temp (_.array argsO+)) (..setup $iteration diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/runtime.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/runtime.lux index d729f96fb..30ce82b9d 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/runtime.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/runtime.lux @@ -835,4 +835,4 @@ {.#None} (|> ..full _.code - (at utf8.codec encoded))])]))) + (of utf8.codec encoded))])]))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/when.lux index e7205b9ff..ff635a3de 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/when.lux @@ -186,7 +186,7 @@ [(<simple> idx nextP) (|> nextP again - (at ///////phase.monad each (|>> (_.then (<choice> true idx)) {.#Some})))]) + (of ///////phase.monad each (|>> (_.then (<choice> true idx)) {.#Some})))]) ([/////synthesis.simple_left_side ..left_choice] [/////synthesis.simple_right_side ..right_choice]) @@ -290,7 +290,7 @@ [{<tag> item} (do [! ///////phase.monad] [cases (monad.each ! (function (_ [match then]) - (at ! each (|>> [(list (<format> match))]) (again then))) + (of ! each (|>> [(list (<format> match))]) (again then))) {.#Item item})] (in (_.switch ..peek_cursor cases diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/debug.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/debug.lux index 51ae831e0..1d6adf5f6 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/debug.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/debug.lux @@ -22,7 +22,7 @@ [outcome (do (try.with @) [file (is (IO (Try (File IO))) (file.get_file io.monad file.default file_path))] - (at file over_write bytecode))] + (of file over_write bytecode))] (in (when outcome {try.#Success definition} file_path diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/host.lux index ea6b16da0..efca8fc3e 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/host.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/host.lux @@ -131,11 +131,11 @@ _.return)})) (list))] (io.run! (do [! (try.with io.monad)] - [bytecode (at ! each (\\format.result class.format) + [bytecode (of ! each (\\format.result class.format) (io.io bytecode)) _ (loader.store eval_class bytecode library) class (loader.load eval_class loader) - value (at io.monad in (class_value eval_class class))] + value (of io.monad in (class_value eval_class class))] (in [value [eval_class bytecode]]))))) @@ -143,7 +143,7 @@ (-> Library java/lang/ClassLoader Definition (Try Any)) (io.run! (do (try.with io.monad) [existing_class? (|> (atom.read! library) - (at io.monad each (function (_ library) + (of io.monad each (function (_ library) (dictionary.key? library class_name))) (try.lifted io.monad) (is (IO (Try Bit)))) @@ -168,7 +168,7 @@ (is //runtime.Host (implementation (def (evaluate context @it,valueG) - (at try.monad each product.left + (of try.monad each product.left (..evaluate! library loader (format "E" (//runtime.class_name context)) @it,valueG))) (def execute @@ -190,5 +190,5 @@ custom)] _ (loader.store class_name bytecode library) class (loader.load class_name loader)] - (at io.monad in (..class_value class_name class))))) + (of io.monad in (..class_value class_name class))))) ))]))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/reference.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/reference.lux index 872083d50..beb60ebc4 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/reference.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/reference.lux @@ -43,7 +43,7 @@ (def (foreign archive variable) (-> Archive Register (Operation (Bytecode Any))) (do [! ////.monad] - [bytecode_name (at ! each //runtime.class_name + [bytecode_name (of ! each //runtime.class_name (translation.context archive))] (in (all _.composite ..this diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/runtime.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/runtime.lux index efd4999c2..6e2414d50 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/runtime.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/runtime.lux @@ -677,4 +677,4 @@ ... This shift is done to avoid the possibility of forged labels ... to be in the range of the labels that are generated automatically ... during the evaluation of Bytecode expressions. - (at ////.monad each (|>> ++ (i64.left_shifted shift)) translation.next))) + (of ////.monad each (|>> ++ (i64.left_shifted shift)) translation.next))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/structure.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/structure.lux index 8f1f7696d..502fcdd3c 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/structure.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/structure.lux @@ -33,7 +33,7 @@ (Translator (Tuple Synthesis)) (when membersS {.#End} - (at phase.monad in //runtime.unit) + (of phase.monad in //runtime.unit) {.#Item singletonS {.#End}} (phase archive singletonS) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/when.lux index 04f4efff7..9601f8751 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/when.lux @@ -155,7 +155,7 @@ [path|i64_fork (I64 Any) (//value.unwrap type.long) _.dup2 _.pop2 ..long _.lcmp _.ifne] [path|f64_fork Frac (//value.unwrap type.double) _.dup2 _.pop2 _.double _.dcmpl _.ifne] - [path|text_fork Text (at _.monad in []) _.dup _.pop _.string ..equals@Object _.ifeq] + [path|text_fork Text (of _.monad in []) _.dup _.pop _.string ..equals@Object _.ifeq] ) (def (path' stack_depth @else @end phase archive) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/function.lux index 7e5de1fd3..66e19f510 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/function.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/function.lux @@ -74,7 +74,7 @@ [dependencies (cache.dependencies archive bodyS) [function_name body!] (/////translation.with_new_context archive dependencies (do ! - [@scope (at ! each ..@scope + [@scope (of ! each ..@scope (/////translation.context archive))] (/////translation.with_anchor [1 @scope] (statement expression archive bodyS)))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/loop.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/loop.lux index 38fab4758..e5c201528 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/loop.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/loop.lux @@ -60,12 +60,12 @@ {.#End} (|> bodyS (statement expression archive) - (at ///////phase.monad each (|>> [(list)]))) + (of ///////phase.monad each (|>> [(list)]))) ... true loop _ (do [! ///////phase.monad] - [@scope (at ! each ..@scope /////translation.next) + [@scope (of ! each ..@scope /////translation.next) initsO+ (monad.each ! (expression archive) initsS+) body! (/////translation.with_anchor [start @scope] (statement expression archive bodyS))] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/runtime.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/runtime.lux index 354619c27..f3089d34f 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/runtime.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/runtime.lux @@ -458,4 +458,4 @@ {.#None} (|> ..full _.code - (at utf8.codec encoded))])]))) + (of utf8.codec encoded))])]))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/when.lux index 9545bee65..5d8f9546d 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/when.lux @@ -56,7 +56,7 @@ (do [! ///////phase.monad] [this (expression archive this) that (statement expression archive that) - $dummy (at ! each _.var (/////translation.symbol "_exec"))] + $dummy (of ! each _.var (/////translation.symbol "_exec"))] (in (all _.then (_.set (list $dummy) this) that)))) @@ -299,6 +299,6 @@ (-> Phase! (Translator [Synthesis Path])) (|> [valueS pathP] (..when! statement expression archive) - (at ///////phase.monad each + (of ///////phase.monad each (|>> (_.closure (list)) (_.apply (list)))))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/function.lux index abbe8d677..c1f6bcc55 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/function.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/function.lux @@ -73,7 +73,7 @@ (do [! ///////phase.monad] [[function_name body!] (/////translation.with_new_context archive (do ! - [@scope (at ! each ..@scope + [@scope (of ! each ..@scope (/////translation.context archive))] (/////translation.with_anchor [1 @scope] (statement expression archive bodyS)))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/loop.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/loop.lux index 3c8d784ab..27eba00aa 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/loop.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/loop.lux @@ -59,7 +59,7 @@ ... true loop _ (do [! ///////phase.monad] - [@scope (at ! each ..@scope /////translation.next) + [@scope (of ! each ..@scope /////translation.next) initsO+ (monad.each ! (expression archive) initsS+) body! (/////translation.with_anchor [start @scope] (statement expression archive bodyS))] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/runtime.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/runtime.lux index e40c8110c..81a0b25be 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/runtime.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/runtime.lux @@ -632,4 +632,4 @@ (sequence.sequence [..module_id (|> ..runtime _.code - (at utf8.codec encoded))])]))) + (of utf8.codec encoded))])]))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/when.lux index 098cd0d48..de91f0c3b 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/php/when.lux @@ -214,7 +214,7 @@ (<simple> idx nextP) (|> nextP again - (at ///////phase.monad each (_.then (<choice> true idx))))]) + (of ///////phase.monad each (_.then (<choice> true idx))))]) ([/////synthesis.side/left /////synthesis.simple_left_side ..left_choice] [/////synthesis.side/right /////synthesis.simple_right_side ..right_choice]) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/runtime.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/runtime.lux index 85d90795c..d6fd0eb18 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/runtime.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/runtime.lux @@ -492,4 +492,4 @@ {.#None} (|> ..full_runtime _.code - (at utf8.codec encoded))])]))) + (of utf8.codec encoded))])]))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/when.lux index b1fbb6fec..e70766b1c 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/when.lux @@ -223,7 +223,7 @@ [{<tag> item} (do [! ///////phase.monad] [clauses (monad.each ! (function (_ [match then]) - (at ! each + (of ! each (|>> [(_.= (|> match <format>) ..peek)]) (again then))) @@ -237,7 +237,7 @@ [/////synthesis.#Text_Fork (<| //primitive.text)]) _ - (at ///////phase.monad in {.#None}))) + (of ///////phase.monad in {.#None}))) (def (pattern_matching' in_closure? statement expression archive) (-> Bit Phase! Phase Archive Path (Operation (Statement Any))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/function.lux index 5ad9140aa..5d76f47a3 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/function.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/function.lux @@ -77,7 +77,7 @@ (do [! ///////phase.monad] [[[function_module function_artifact] bodyO] (/////translation.with_new_context archive (do ! - [$self (at ! each (|>> ///reference.artifact _.var) + [$self (of ! each (|>> ///reference.artifact _.var) (/////translation.context archive))] (/////translation.with_anchor $self (expression archive bodyS)))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/loop.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/loop.lux index 184aa6516..4f98499f5 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/loop.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/loop.lux @@ -44,7 +44,7 @@ ... true loop _ (do [! ///////phase.monad] - [$scope (at ! each _.var (/////translation.symbol "loop_scope")) + [$scope (of ! each _.var (/////translation.symbol "loop_scope")) initsO+ (monad.each ! (expression archive) initsS+) bodyO (/////translation.with_anchor $scope (expression archive bodyS))] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/runtime.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/runtime.lux index ca464073b..dff290ced 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/runtime.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/runtime.lux @@ -879,4 +879,4 @@ (sequence.sequence [(%.nat ..module_id) (|> ..full_runtime _.code - (at utf8.codec encoded))])]))) + (of utf8.codec encoded))])]))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/when.lux index 1f0b1b16a..9b8667d7e 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/r/when.lux @@ -235,7 +235,7 @@ (Translator [Synthesis Path]) (do [! ///////phase.monad] [valueO (expression archive valueS)] - (<| (at ! each (|>> (all _.then + (<| (of ! each (|>> (all _.then (_.set! $cursor (_.list (list valueO))) (_.set! $savepoint (_.list (list)))) _.block)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/reference.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/reference.lux index 3760acc35..e9669b5fe 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/reference.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/reference.lux @@ -66,7 +66,7 @@ (All (_ anchor expression declaration) (-> (System expression) Archive Symbol (////translation.Operation anchor expression declaration expression))) - (phase#each (|>> ..artifact (at system constant')) + (phase#each (|>> ..artifact (of system constant')) (////translation.remember archive name))) (with_template [<sigil> <name>] @@ -74,7 +74,7 @@ (All (_ expression) (-> (System expression) (-> Register expression))) - (|>> %.nat (format <sigil>) (at system variable')))] + (|>> %.nat (format <sigil>) (of system variable')))] ["f" foreign] ["l" local] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/runtime.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/runtime.lux index 286e897da..3bf36726d 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/runtime.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/runtime.lux @@ -635,4 +635,4 @@ {.#None} (|> ..full _.code - (at utf8.codec encoded))])]))) + (of utf8.codec encoded))])]))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/when.lux index dfb8254f6..ea2520b18 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/when.lux @@ -230,7 +230,7 @@ [{<tag> item} (do [! ///////phase.monad] [clauses (monad.each ! (function (_ [match then]) - (at ! each + (of ! each (|>> [(_.= (|> match <format>) ..peek)]) (again then))) @@ -244,7 +244,7 @@ [/////synthesis.#Text_Fork (<| //primitive.text)]) _ - (at ///////phase.monad in {.#None}))) + (of ///////phase.monad in {.#None}))) (def (pattern_matching' in_closure? statement expression archive) (-> Bit (Translator! Path)) @@ -287,7 +287,7 @@ [{<tag> item} (do [! ///////phase.monad] [clauses (monad.each ! (function (_ [match then]) - (at ! each + (of ! each (|>> [(_.= (|> match <format>) ..peek)]) (again then))) @@ -377,6 +377,6 @@ (-> Phase! (Translator [Synthesis Path])) (|> when (when! true statement expression archive) - (at ///////phase.monad each + (of ///////phase.monad each (|>> [(list)] (_.lambda {.#None}) (_.apply_lambda (list)))))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/function.lux index e8def4c7b..bf3adab17 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/function.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/function.lux @@ -66,7 +66,7 @@ (do [! ///////phase.monad] [[function_name bodyO] (/////translation.with_new_context archive (do ! - [@self (at ! each (|>> ///reference.artifact _.var) + [@self (of ! each (|>> ///reference.artifact _.var) (/////translation.context archive))] (/////translation.with_anchor @self (expression archive bodyS)))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/runtime.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/runtime.lux index 1c4494fc5..0f22ea302 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/runtime.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/runtime.lux @@ -386,4 +386,4 @@ (sequence.sequence [(%.nat ..module_id) (|> ..runtime _.code - (at utf8.codec encoded))])]))) + (of utf8.codec encoded))])]))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/when.lux index ad7e4ca51..62dbc57d6 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/scheme/when.lux @@ -212,7 +212,7 @@ (def (pattern_matching expression archive pathP) (Translator Path) - (at ///////phase.monad each + (of ///////phase.monad each (try_pm (_.raise/1 (_.string "Invalid expression for pattern-matching."))) (pattern_matching' expression archive pathP))) @@ -220,6 +220,6 @@ (Translator [Synthesis Path]) (do [! ///////phase.monad] [valueO (expression archive valueS)] - (<| (at ! each (_.let (list [@cursor (_.list/* (list valueO))] + (<| (of ! each (_.let (list [@cursor (_.list/* (list valueO))] [@savepoint (_.list/* (list))]))) (pattern_matching expression archive pathP)))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/meta/compiler/language/lux/syntax.lux index 1793cf9a5..85a28c8f7 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/syntax.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/syntax.lux @@ -351,7 +351,7 @@ [(when (|> <source_code> (!clip <start> <end>) (text.replaced ..digit_separator "") - (at <codec> decoded)) + (of <codec> decoded)) {.#Right output} {.#Right [[(let [[where::file where::line where::column] where] [where::file where::line (!n/+ (!n/- <start> <end>) where::column)]) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/meta/compiler/language/lux/synthesis.lux index 35e6db28c..2ceef9fd2 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/synthesis.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/synthesis.lux @@ -446,12 +446,12 @@ {#Bit_Fork sample_when sample_then sample_else}] (and (bit#= reference_when sample_when) (= reference_then sample_then) - (at (maybe.equivalence =) = reference_else sample_else)) + (of (maybe.equivalence =) = reference_else sample_else)) (^.with_template [<tag> <equivalence>] [[{<tag> reference_item} {<tag> sample_item}] - (at (list.equivalence (product.equivalence <equivalence> =)) = + (of (list.equivalence (product.equivalence <equivalence> =)) = {.#Item reference_item} {.#Item sample_item})]) ([#I64_Fork (is (Equivalence I64) i64.equivalence)] @@ -460,7 +460,7 @@ (^.with_template [<tag> <equivalence>] [[{<tag> reference'} {<tag> sample'}] - (at <equivalence> = reference' sample')]) + (of <equivalence> = reference' sample')]) ([#Access /access.equivalence] [#Then equivalence]) @@ -481,7 +481,7 @@ (All (_ a) (-> (Hash a) (Hash (Path' a)))) (implementation (def equivalence - (..path'_equivalence (at super equivalence))) + (..path'_equivalence (of super equivalence))) (def (hash value) (when value @@ -489,23 +489,23 @@ 2 {#Access access} - (n.* 3 (at /access.hash hash access)) + (n.* 3 (of /access.hash hash access)) {#Bind register} - (n.* 5 (at n.hash hash register)) + (n.* 5 (of n.hash hash register)) {#Bit_Fork when then else} (all n.* 7 - (at bit.hash hash when) + (of bit.hash hash when) (hash then) - (at (maybe.hash (path'_hash super)) hash else)) + (of (maybe.hash (path'_hash super)) hash else)) (^.with_template [<factor> <tag> <hash>] [{<tag> item} (let [when_hash (product.hash <hash> (path'_hash super)) item_hash (product.hash when_hash (list.hash when_hash))] - (n.* <factor> (at item_hash hash item)))]) + (n.* <factor> (of item_hash hash item)))]) ([11 #I64_Fork i64.hash] [13 #F64_Fork f.hash] [17 #Text_Fork text.hash]) @@ -514,12 +514,12 @@ [{<tag> fork} (let [again_hash (path'_hash super) fork_hash (product.hash again_hash again_hash)] - (n.* <factor> (at fork_hash hash fork)))]) + (n.* <factor> (of fork_hash hash fork)))]) ([19 #Alt] [23 #Seq]) {#Then body} - (n.* 29 (at super hash body)) + (n.* 29 (of super hash body)) )))) (def (branch_equivalence (open "#[0]")) @@ -541,13 +541,13 @@ [{#Get [reference_path reference_record]} {#Get [sample_path sample_record]}] - (and (at (list.equivalence /member.equivalence) = reference_path sample_path) + (and (of (list.equivalence /member.equivalence) = reference_path sample_path) (#= reference_record sample_record)) [{#When [reference_input reference_path]} {#When [sample_input sample_path]}] (and (#= reference_input sample_input) - (at (path'_equivalence #=) = reference_path sample_path)) + (of (path'_equivalence #=) = reference_path sample_path)) _ false)))) @@ -556,36 +556,36 @@ (All (_ a) (-> (Hash a) (Hash (Branch a)))) (implementation (def equivalence - (..branch_equivalence (at super equivalence))) + (..branch_equivalence (of super equivalence))) (def (hash value) (when value {#Exec this that} (all n.* 2 - (at super hash this) - (at super hash that)) + (of super hash this) + (of super hash that)) {#Let [input register body]} (all n.* 3 - (at super hash input) - (at n.hash hash register) - (at super hash body)) + (of super hash input) + (of n.hash hash register) + (of super hash body)) {#If [test then else]} (all n.* 5 - (at super hash test) - (at super hash then) - (at super hash else)) + (of super hash test) + (of super hash then) + (of super hash else)) {#Get [path record]} (all n.* 7 - (at (list.hash /member.hash) hash path) - (at super hash record)) + (of (list.hash /member.hash) hash path) + (of super hash record)) {#When [input path]} (all n.* 11 - (at super hash input) - (at (..path'_hash super) hash path)) + (of super hash input) + (of (..path'_hash super) hash path)) )))) (def (loop_equivalence (open "/#[0]")) @@ -596,11 +596,11 @@ [{#Scope [reference_start reference_inits reference_iteration]} {#Scope [sample_start sample_inits sample_iteration]}] (and (n.= reference_start sample_start) - (at (list.equivalence /#=) = reference_inits sample_inits) + (of (list.equivalence /#=) = reference_inits sample_inits) (/#= reference_iteration sample_iteration)) [{#Again reference} {#Again sample}] - (at (list.equivalence /#=) = reference sample) + (of (list.equivalence /#=) = reference sample) _ false)))) @@ -609,19 +609,19 @@ (All (_ a) (-> (Hash a) (Hash (Loop a)))) (implementation (def equivalence - (..loop_equivalence (at super equivalence))) + (..loop_equivalence (of super equivalence))) (def (hash value) (when value {#Scope [start inits iteration]} (all n.* 2 - (at n.hash hash start) - (at (list.hash super) hash inits) - (at super hash iteration)) + (of n.hash hash start) + (of (list.hash super) hash inits) + (of super hash iteration)) {#Again resets} (all n.* 3 - (at (list.hash super) hash resets)) + (of (list.hash super) hash resets)) )))) (def (function_equivalence (open "#[0]")) @@ -631,14 +631,14 @@ (when [reference sample] [{#Abstraction [reference_environment reference_arity reference_body]} {#Abstraction [sample_environment sample_arity sample_body]}] - (and (at (list.equivalence #=) = reference_environment sample_environment) + (and (of (list.equivalence #=) = reference_environment sample_environment) (n.= reference_arity sample_arity) (#= reference_body sample_body)) [{#Apply [reference_abstraction reference_arguments]} {#Apply [sample_abstraction sample_arguments]}] (and (#= reference_abstraction sample_abstraction) - (at (list.equivalence #=) = reference_arguments sample_arguments)) + (of (list.equivalence #=) = reference_arguments sample_arguments)) _ false)))) @@ -647,20 +647,20 @@ (All (_ a) (-> (Hash a) (Hash (Function a)))) (implementation (def equivalence - (..function_equivalence (at super equivalence))) + (..function_equivalence (of super equivalence))) (def (hash value) (when value {#Abstraction [environment arity body]} (all n.* 2 - (at (list.hash super) hash environment) - (at n.hash hash arity) - (at super hash body)) + (of (list.hash super) hash environment) + (of n.hash hash arity) + (of super hash body)) {#Apply [abstraction arguments]} (all n.* 3 - (at super hash abstraction) - (at (list.hash super) hash arguments)) + (of super hash abstraction) + (of (list.hash super) hash arguments)) )))) (def (control_equivalence (open "#[0]")) @@ -670,7 +670,7 @@ (when [reference sample] (^.with_template [<tag> <equivalence>] [[{<tag> reference} {<tag> sample}] - (at (<equivalence> #=) = reference sample)]) + (of (<equivalence> #=) = reference sample)]) ([#Branch ..branch_equivalence] [#Loop ..loop_equivalence] [#Function ..function_equivalence]) @@ -682,13 +682,13 @@ (All (_ a) (-> (Hash a) (Hash (Control a)))) (implementation (def equivalence - (..control_equivalence (at super equivalence))) + (..control_equivalence (of super equivalence))) (def (hash value) (when value (^.with_template [<factor> <tag> <hash>] [{<tag> value} - (n.* <factor> (at (<hash> super) hash value))]) + (n.* <factor> (of (<hash> super) hash value))]) ([2 #Branch ..branch_hash] [3 #Loop ..loop_hash] [5 #Function ..function_hash]) @@ -701,7 +701,7 @@ (when [reference sample] (^.with_template [<tag> <equivalence>] [[{<tag> reference'} {<tag> sample'}] - (at <equivalence> = reference' sample')]) + (of <equivalence> = reference' sample')]) ([#Simple /simple.equivalence] [#Structure (analysis/complex.equivalence =)] [#Reference reference.equivalence] @@ -725,7 +725,7 @@ (when value (^.with_template [<factor> <tag> <hash>] [[_ {<tag> value}] - (n.* <factor> (at <hash> hash value))]) + (n.* <factor> (of <hash> hash value))]) ([02 #Simple /simple.hash] [03 #Structure (analysis/complex.hash again_hash)] [05 #Reference reference.hash] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access.lux b/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access.lux index fc1d14e8f..3366fc9fc 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access.lux @@ -35,4 +35,4 @@ (def .public equivalence (Equivalence Access) - (at ..hash equivalence)) + (of ..hash equivalence)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access/member.lux index 667775b7d..3e4bfa554 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access/member.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access/member.lux @@ -31,4 +31,4 @@ (def .public equivalence (Equivalence Member) - (at ..hash equivalence)) + (of ..hash equivalence)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access/side.lux index 0f8ef1625..43250aca1 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access/side.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/access/side.lux @@ -31,4 +31,4 @@ (def .public equivalence (Equivalence Side) - (at ..hash equivalence)) + (of ..hash equivalence)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/simple.lux b/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/simple.lux index 80d6447b9..c107af515 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/synthesis/simple.lux @@ -67,7 +67,7 @@ (|>> (pipe.when (^.with_template [<factor> <tag> <hash>] [{<tag> value'} - (n.* <factor> (at <hash> hash value'))]) + (n.* <factor> (of <hash> hash value'))]) ([2 #Bit bit.hash] [3 #F64 f.hash] [5 #Text text.hash] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/translation.lux b/stdlib/source/library/lux/meta/compiler/language/lux/translation.lux index c69086b06..521cbf541 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/translation.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/translation.lux @@ -195,7 +195,7 @@ (def .public (symbol prefix) (All (_ anchor expression declaration) (-> Text (Operation anchor expression declaration Text))) - (at phase.monad each (|>> %.nat (format prefix)) ..next)) + (of phase.monad each (|>> %.nat (format prefix)) ..next)) (def .public (enter_module module) (All (_ anchor expression declaration) @@ -211,7 +211,7 @@ (All (_ anchor expression declaration) (-> unit.ID [(Maybe unit.ID) expression] (Operation anchor expression declaration Any))) (function (_ state) - (when (at (the #host state) evaluate label code) + (when (of (the #host state) evaluate label code) {try.#Success output} {try.#Success [state output]} @@ -222,7 +222,7 @@ (All (_ anchor expression declaration) (-> declaration (Operation anchor expression declaration Any))) (function (_ state) - (when (at (the #host state) execute code) + (when (of (the #host state) execute code) {try.#Success output} {try.#Success [state output]} @@ -233,7 +233,7 @@ (All (_ anchor expression declaration) (-> unit.ID (Maybe Text) [(Maybe unit.ID) expression] (Operation anchor expression declaration [Text Any declaration]))) (function (_ state) - (when (at (the #host state) define context custom code) + (when (of (the #host state) define context custom code) {try.#Success output} {try.#Success [state output]} diff --git a/stdlib/source/library/lux/meta/compiler/meta/archive.lux b/stdlib/source/library/lux/meta/compiler/meta/archive.lux index 04187cdb3..238795b08 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/archive.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/archive.lux @@ -153,7 +153,7 @@ (the #resolver) dictionary.entries (list.all (function (_ [module [module_id entry]]) - (at maybe.monad each (|>> [module_id] [module]) entry))))) + (of maybe.monad each (|>> [module_id] [module]) entry))))) (def .public (find module archive) (-> descriptor.Module Archive (Try (Entry Any))) @@ -282,7 +282,7 @@ _ (exception.assertion ..version_mismatch [expected_version actual_version] (n#= expected_version actual_version)) _ (exception.assertion ..configuration_mismatch [expected_configuration actual_configuration] - (at configuration.equivalence = + (of configuration.equivalence = expected_configuration actual_configuration))] (in (abstraction diff --git a/stdlib/source/library/lux/meta/compiler/meta/archive/artifact/category.lux b/stdlib/source/library/lux/meta/compiler/meta/archive/artifact/category.lux index 0b3758826..bfb130129 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/archive/artifact/category.lux @@ -46,7 +46,7 @@ true [{#Definition left} {#Definition right}] - (at definition_equivalence = left right) + (of definition_equivalence = left right) [{#Custom left} {#Custom right}] (text#= left right) diff --git a/stdlib/source/library/lux/meta/compiler/meta/archive/module/descriptor.lux b/stdlib/source/library/lux/meta/compiler/meta/archive/module/descriptor.lux index f9cfae82a..e31fe990b 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/archive/module/descriptor.lux @@ -78,6 +78,6 @@ <binary>.text <binary>.text <binary>.nat - (at <>.monad in {.#Cached}) + (of <>.monad in {.#Cached}) (<binary>.set text.hash <binary>.text) )) diff --git a/stdlib/source/library/lux/meta/compiler/meta/archive/module/document.lux b/stdlib/source/library/lux/meta/compiler/meta/archive/module/document.lux index 31e1ea00d..e49f63a82 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/archive/module/document.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/archive/module/document.lux @@ -34,7 +34,7 @@ (def .public (content key document) (All (_ d) (-> (Key d) (Document Any) (Try d))) (let [[document//signature document//content] (representation document)] - (if (at signature.equivalence = + (if (of signature.equivalence = (key.signature key) document//signature) {try.#Success (sharing [e] diff --git a/stdlib/source/library/lux/meta/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/meta/compiler/meta/archive/registry.lux index 93e18387a..0560665c7 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/archive/registry.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/archive/registry.lux @@ -160,7 +160,7 @@ (when tag (^.with_template [<nat> <tag> <parser>] [<nat> - (at ! each (|>> {<tag>}) <parser>)]) + (of ! each (|>> {<tag>}) <parser>)]) ([0 //category.#Anonymous <binary>.any] [1 //category.#Definition definition] [2 //category.#Custom <binary>.text]) @@ -172,7 +172,7 @@ dependencies (is (Parser (Set unit.ID)) (<binary>.set unit.hash dependency))] (|> (<binary>.sequence_64 (all <>.and category mandatory? dependencies)) - (at <>.monad each (sequence#mix (function (_ [category mandatory? dependencies] registry) + (of <>.monad each (sequence#mix (function (_ [category mandatory? dependencies] registry) (product.right (when category {//category.#Anonymous} diff --git a/stdlib/source/library/lux/meta/compiler/meta/archive/unit.lux b/stdlib/source/library/lux/meta/compiler/meta/archive/unit.lux index 5f7b20e00..6d473997b 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/archive/unit.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/archive/unit.lux @@ -30,7 +30,7 @@ (def .public equivalence (Equivalence ID) - (at ..hash equivalence)) + (of ..hash equivalence)) (def .public none (Set ID) diff --git a/stdlib/source/library/lux/meta/compiler/meta/cache.lux b/stdlib/source/library/lux/meta/compiler/meta/cache.lux index fb4085f0e..e4825872c 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/cache.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/cache.lux @@ -17,14 +17,14 @@ (def .public (path fs context) (All (_ !) (-> (file.System !) Context file.Path)) - (let [/ (at fs separator)] + (let [/ (of fs separator)] (format (the context.#target context) / (the context.#host context) / (version.format //.version)))) (def .public (enabled? fs context) (All (_ !) (-> (file.System !) Context (! Bit))) - (at fs directory? (..path fs context))) + (of fs directory? (..path fs context))) (def .public (enable! ! fs context) (All (_ !) (-> (Monad !) (file.System !) Context (! (Try Any)))) diff --git a/stdlib/source/library/lux/meta/compiler/meta/cache/archive.lux b/stdlib/source/library/lux/meta/compiler/meta/cache/archive.lux index 214aeffd6..8c6790ef1 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/cache/archive.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/cache/archive.lux @@ -18,9 +18,9 @@ (def .public (descriptor fs context) (All (_ !) (-> (file.System !) Context file.Path)) (%.format (//.path fs context) - (at fs separator) + (of fs separator) "descriptor")) (def .public (cache! fs configuration context it) (All (_ !) (-> (file.System !) Configuration Context Archive (! (Try Any)))) - (at fs write (..descriptor fs context) (archive.export ///.version configuration it))) + (of fs write (..descriptor fs context) (archive.export ///.version configuration it))) diff --git a/stdlib/source/library/lux/meta/compiler/meta/cache/artifact.lux b/stdlib/source/library/lux/meta/compiler/meta/cache/artifact.lux index 7afeba197..e404e3e4d 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/cache/artifact.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/cache/artifact.lux @@ -25,16 +25,16 @@ (All (_ !) (-> (file.System !) Context module.ID artifact.ID file.Path)) (format (//module.path fs context @module) - (at fs separator) + (of fs separator) (%.nat @artifact) (the context.#artifact_extension context))) (def .public (cache fs context @module @artifact) (All (_ !) (-> (file.System !) Context module.ID artifact.ID (! (Try Binary)))) - (at fs read (..path fs context @module @artifact))) + (of fs read (..path fs context @module @artifact))) (def .public (cache! fs context @module @artifact content) (All (_ !) (-> (file.System !) Context module.ID artifact.ID Binary (! (Try Any)))) - (at fs write (..path fs context @module @artifact) content)) + (of fs write (..path fs context @module @artifact) content)) diff --git a/stdlib/source/library/lux/meta/compiler/meta/cache/dependency/artifact.lux b/stdlib/source/library/lux/meta/compiler/meta/cache/dependency/artifact.lux index 512efe54f..3b8021224 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/cache/dependency/artifact.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/cache/dependency/artifact.lux @@ -170,7 +170,7 @@ (set.of_list symbol.hash) set.list (monad.each ! (translation.remember archive)) - (at ! each (set.of_list unit.hash))))) + (of ! each (set.of_list unit.hash))))) (def .public (path_dependencies archive value) (All (_ anchor expression declaration) @@ -181,7 +181,7 @@ (set.of_list symbol.hash) set.list (monad.each ! (translation.remember archive)) - (at ! each (set.of_list unit.hash))))) + (of ! each (set.of_list unit.hash))))) (def .public all (-> (List (Set unit.ID)) diff --git a/stdlib/source/library/lux/meta/compiler/meta/cache/module.lux b/stdlib/source/library/lux/meta/compiler/meta/cache/module.lux index a78ddc424..7b3a122bb 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/cache/module.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/cache/module.lux @@ -35,18 +35,18 @@ (def .public (path fs context @module) (All (_ !) (-> (file.System !) Context module.ID file.Path)) (format (//.path fs context) - (at fs separator) + (of fs separator) (%.nat @module))) (def .public (enabled? fs context @module) (All (_ !) (-> (file.System !) Context module.ID (! Bit))) - (at fs directory? (..path fs context @module))) + (of fs directory? (..path fs context @module))) (def .public (enable! ! fs context @module) (All (_ !) (-> (Monad !) (file.System !) Context module.ID (! (Try Any)))) (do ! [.let [path (..path fs context @module)] - module_exists? (at fs directory? path)] + module_exists? (of fs directory? path)] (if module_exists? (in {try.#Success []}) (with_expansions [<failure> (exception.except ..cannot_enable [(//.path fs context) @@ -60,8 +60,8 @@ success (|> path - (at fs make_directory) - (at ! each (|>> (pipe.when + (of fs make_directory) + (of ! each (|>> (pipe.when {try.#Failure error} <failure> @@ -75,28 +75,28 @@ (def .public (descriptor fs context @module) (All (_ !) (-> (file.System !) Context module.ID file.Path)) (format (..path fs context @module) - (at fs separator) + (of fs separator) ..file)) (def .public (cache! fs context @module content) (All (_ !) (-> (file.System !) Context module.ID Binary (! (Try Any)))) - (at fs write (..descriptor fs context @module) content)) + (of fs write (..descriptor fs context @module) content)) (def .public (cache fs context @module) (All (_ !) (-> (file.System !) Context module.ID (! (Try Binary)))) - (at fs read (..descriptor fs context @module))) + (of fs read (..descriptor fs context @module))) (def .public (artifacts ! fs context @module) (All (_ !) (-> (Monad !) (file.System !) Context module.ID (! (Try (Dictionary Text Binary))))) (do [! (try.with !)] - [files (at fs directory_files (..path fs context @module)) + [files (of fs directory_files (..path fs context @module)) pairs (|> files (list#each (function (_ file) [(file.name fs file) file])) (list.only (|>> product.left (text#= ..file) not)) (monad.each ! (function (_ [name path]) (|> path - (at fs read) - (at ! each (|>> [name]))))))] + (of fs read) + (of ! each (|>> [name]))))))] (in (dictionary.of_list text.hash (for @.old (as (List [Text Binary]) pairs) pairs))))) diff --git a/stdlib/source/library/lux/meta/compiler/meta/cache/purge.lux b/stdlib/source/library/lux/meta/compiler/meta/cache/purge.lux index 801be1619..bc5fab109 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/cache/purge.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/cache/purge.lux @@ -44,10 +44,10 @@ (do [! (try.with async.monad)] [.let [cache (//module.path fs context @module)] _ (|> cache - (at fs directory_files) - (at ! each (monad.each ! (at fs delete))) - (at ! conjoint))] - (at fs delete cache))) + (of fs directory_files) + (of ! each (monad.each ! (of fs delete))) + (of ! conjoint))] + (of fs delete cache))) (def .public (valid? expected actual) (-> Descriptor Input Bit) diff --git a/stdlib/source/library/lux/meta/compiler/meta/export.lux b/stdlib/source/library/lux/meta/compiler/meta/export.lux index a32656ffa..dc5671ddf 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/export.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/export.lux @@ -54,7 +54,7 @@ (function (_ [path source_code]) (do try.monad [path (|> path - (text.replaced (at fs separator) .module_separator) + (text.replaced (of fs separator) .module_separator) tar.path)] (try#each (|>> [path (instant.of_millis +0) @@ -70,6 +70,6 @@ (do [! (try.with async.monad)] [tar (|> sources (..library fs) - (at ! each (binary.result tar.format))) - .let [/ (at fs separator)]] - (at fs write (format target / ..file) tar))) + (of ! each (binary.result tar.format))) + .let [/ (of fs separator)]] + (of fs write (format target / ..file) tar))) diff --git a/stdlib/source/library/lux/meta/compiler/meta/import.lux b/stdlib/source/library/lux/meta/compiler/meta/import.lux index 334c2aa13..af4b61658 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/import.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/import.lux @@ -44,11 +44,11 @@ (-> (file.System Async) Library Import (Action Import)) (let [! async.monad] (|> library - (at system read) - (at ! each (let [! try.monad] - (|>> (at ! each (<binary>.result tar.parser)) - (at ! conjoint) - (at ! each (|>> sequence.list + (of system read) + (of ! each (let [! try.monad] + (|>> (of ! each (<binary>.result tar.parser)) + (of ! conjoint) + (of ! each (|>> sequence.list (monad.mix ! (function (_ entry import) (when entry {tar.#Normal [path instant mode ownership content]} @@ -63,7 +63,7 @@ _ (exception.except ..useless_tar_entry []))) import))) - (at ! conjoint))))))) + (of ! conjoint))))))) (def .public (import system libraries) (-> (file.System Async) (List Library) (Action Import)) diff --git a/stdlib/source/library/lux/meta/compiler/meta/io.lux b/stdlib/source/library/lux/meta/compiler/meta/io.lux index a7eb7545b..15184122b 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/io.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/io.lux @@ -14,7 +14,7 @@ (def .public (safe system) (All (_ m) (-> (System m) Text Text)) - (text.replaced "/" (at system separator))) + (text.replaced "/" (of system separator))) (def .public lux_context Context diff --git a/stdlib/source/library/lux/meta/compiler/meta/io/archive.lux b/stdlib/source/library/lux/meta/compiler/meta/io/archive.lux index 37f0435ab..b62fa4307 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/io/archive.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/io/archive.lux @@ -107,12 +107,12 @@ (when (do ! [data (try.of_maybe (dictionary.value (format (%.nat @artifact) extension) actual)) .let [context [@module @artifact] - declaration (at host ingest context data)]] + declaration (of host ingest context data)]] (when artifact_category {category.#Anonymous} (do ! [.let [output (sequence.suffix [@artifact {.#None} data] output)] - _ (at host re_learn context {.#None} declaration)] + _ (of host re_learn context {.#None} declaration)] (in [definitions output])) @@ -122,14 +122,14 @@ (in [definitions output]) (do ! - [value (at host re_load context {.#None} declaration)] + [value (of host re_load context {.#None} declaration)] (in [(dictionary.has name value definitions) output])))) {category.#Custom name} (do ! [.let [output (sequence.suffix [@artifact {.#Some name} data] output)] - _ (at host re_learn context {.#Some name} declaration)] + _ (of host re_learn context {.#Some name} declaration)] (in [definitions output])))) {try.#Success [definitions' output']} @@ -150,7 +150,7 @@ (|> definitions (dictionary.value def_name) try.of_maybe - (at ! each (|>> [type] + (of ! each (|>> [type] {.#Definition} [exported?] [def_name] @@ -233,8 +233,8 @@ archive.#registry registry] archive)) archive) - (at try.monad each (dependency.load_order $.key)) - (at try.monad conjoint))) + (of try.monad each (dependency.load_order $.key)) + (of try.monad conjoint))) (def (loaded_caches host_environment fs context purge load_order) (All (_ expression declaration) @@ -284,7 +284,7 @@ (-> (List Custom) Configuration (translation.Host expression declaration) (file.System Async) Context Import (List //.Context) (Async (Try [Archive .Lux])))) (do async.monad - [binary (at fs read (cache/archive.descriptor fs context))] + [binary (of fs read (cache/archive.descriptor fs context))] (when binary {try.#Success binary} (do (try.with async.monad) diff --git a/stdlib/source/library/lux/meta/compiler/meta/io/context.lux b/stdlib/source/library/lux/meta/compiler/meta/io/context.lux index ae87b57af..ab6322718 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/io/context.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/io/context.lux @@ -54,7 +54,7 @@ (All (_ m) (-> (file.System m) Context Module file.Path)) (|> module (//.safe fs) - (format context (at fs separator)))) + (format context (of fs separator)))) (def (find_source_file fs importer contexts module extension) (-> (file.System Async) Module (List Context) Module Extension @@ -66,7 +66,7 @@ {.#Item context contexts'} (let [path (format (..path fs context module) extension)] (do async.monad - [? (at fs file? path)] + [? (of fs file? path)] (if ? (in {try.#Success path}) (find_source_file fs importer contexts' module extension)))))) @@ -85,15 +85,15 @@ (when outcome {try.#Success path} (|> path - (at fs read) - (at (try.with !) each (|>> [path]))) + (of fs read) + (of (try.with !) each (|>> [path]))) {try.#Failure _} (do [! (try.with !)] [path (..find_source_file fs importer contexts module ..lux_extension)] (|> path - (at fs read) - (at ! each (|>> [path]))))))) + (of fs read) + (of ! each (|>> [path]))))))) (def (find_library_source_file importer import partial_host_extension module) (-> Module Import Extension Module (Try [file.Path Binary])) @@ -130,7 +130,7 @@ (Async (Try Input))) (do (try.with async.monad) [[path binary] (..find_any_source_file fs importer import contexts partial_host_extension module)] - (when (at utf8.codec decoded binary) + (when (of utf8.codec decoded binary) {try.#Success code} (in [////.#module module ////.#file path @@ -147,19 +147,19 @@ (-> (file.System Async) Context file.Path Enumeration (Async (Try Enumeration))) (do [! (try.with async.monad)] [enumeration (|> directory - (at fs directory_files) - (at ! each (monad.mix ! (function (_ file enumeration) + (of fs directory_files) + (of ! each (monad.mix ! (function (_ file enumeration) (if (text.ends_with? ..lux_extension file) (do ! - [source_code (at fs read file)] + [source_code (of fs read file)] (async#in (dictionary.has' (text.replaced_once context "" file) source_code enumeration))) (in enumeration))) enumeration)) - (at ! conjoint))] + (of ! conjoint))] (|> directory - (at fs sub_directories) - (at ! each (monad.mix ! (context_listing fs context) enumeration)) - (at ! conjoint)))) + (of fs sub_directories) + (of ! each (monad.mix ! (context_listing fs context) enumeration)) + (of ! conjoint)))) (def Action (type_literal (All (_ a) (Async (Try a))))) @@ -167,7 +167,7 @@ (def (canonical fs context) (-> (file.System Async) Context (Action Context)) (do (try.with async.monad) - [subs (at fs sub_directories context)] + [subs (of fs sub_directories context)] (in (|> subs list.head (maybe.else context) @@ -183,7 +183,7 @@ (do ! [context (..canonical fs context)] (..context_listing fs - (format context (at fs separator)) + (format context (of fs separator)) context enumeration))) (is Enumeration diff --git a/stdlib/source/library/lux/meta/compiler/meta/packager/jvm.lux b/stdlib/source/library/lux/meta/compiler/meta/packager/jvm.lux index 845fcbb83..18577f342 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/packager/jvm.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/packager/jvm.lux @@ -178,7 +178,7 @@ (function (_ [artifact custom content] sink) (if (set.member? necessary_dependencies [module artifact]) (..write_class static module artifact custom content sink) - (at ! in sink))) + (of ! in sink))) sink (sequence.list output)))) diff --git a/stdlib/source/library/lux/meta/compiler/meta/packager/ruby.lux b/stdlib/source/library/lux/meta/compiler/meta/packager/ruby.lux index 80be5feaf..04e3ef0a3 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/packager/ruby.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/packager/ruby.lux @@ -61,8 +61,8 @@ [bundle (monad.mix ! (function (_ [artifact custom_name content] so_far) (|> content - (at utf8.codec decoded) - (at ! each + (of utf8.codec decoded) + (of ! each (|>> as_expected (is declaration) (sharing [declaration] @@ -95,7 +95,7 @@ (list#mix _.then bundle) (is _.Statement) _.code - (at utf8.codec encoded))] + (of utf8.codec encoded))] (in (list.partial [module_id [(..module_file module_id) entry_content]] sink)))))) @@ -133,7 +133,7 @@ (_.statement (_.string "")))) (is _.Statement) _.code - (at utf8.codec encoded))]] + (of utf8.codec encoded))]] (in (|> entries (list#each product.right) {.#Item [..main_file imports]} diff --git a/stdlib/source/library/lux/meta/compiler/meta/packager/scheme.lux b/stdlib/source/library/lux/meta/compiler/meta/packager/scheme.lux index e23dfd312..e36749bb3 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/packager/scheme.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/packager/scheme.lux @@ -62,8 +62,8 @@ (monad.mix try.monad (function (_ content so_far) (|> content - (at encoding.utf8 decoded) - (at try.monad each + (of encoding.utf8 decoded) + (of try.monad each (|>> as_expected (is declaration) (sharing [declaration] @@ -111,7 +111,7 @@ (list#mix ..then bundle) (is _.Expression) _.code - (at encoding.utf8 encoded) + (of encoding.utf8 encoded) tar.content)) module_file (tar.path (..module_file module_id))] (in {tar.#Normal [module_file now ..mode ..ownership entry_content]}))) diff --git a/stdlib/source/library/lux/meta/compiler/meta/packager/script.lux b/stdlib/source/library/lux/meta/compiler/meta/packager/script.lux index 84f1d9a42..f9392173a 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/packager/script.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/packager/script.lux @@ -48,8 +48,8 @@ (monad.mix try.monad (function (_ content so_far) (|> content - (at utf8.codec decoded) - (at try.monad each + (of utf8.codec decoded) + (of try.monad each (|>> as_expected (is declaration) (sharing [declaration] @@ -73,7 +73,7 @@ (list#each (function (_ [module [module_id entry]]) [module_id (the archive.#output entry)])) (monad.mix ! (..write_module necessary_dependencies sequence) header) - (at ! each (|>> scope + (of ! each (|>> scope code - (at utf8.codec encoded) + (of utf8.codec encoded) {.#Left})))))) diff --git a/stdlib/source/library/lux/meta/compiler/phase.lux b/stdlib/source/library/lux/meta/compiler/phase.lux index ee0f650f0..ddd18c7b6 100644 --- a/stdlib/source/library/lux/meta/compiler/phase.lux +++ b/stdlib/source/library/lux/meta/compiler/phase.lux @@ -70,7 +70,7 @@ (-> s (Operation s o) (Try o))) (|> state operation - (at try.monad each product.right))) + (of try.monad each product.right))) (def .public state (All (_ s o) @@ -112,7 +112,7 @@ (def .public assertion (template (_ exception message test) [(if test - (at ..monad in []) + (of ..monad in []) (..except exception message))])) (def .public (try it) diff --git a/stdlib/source/library/lux/meta/compiler/reference.lux b/stdlib/source/library/lux/meta/compiler/reference.lux index b7eb370de..c12f6a535 100644 --- a/stdlib/source/library/lux/meta/compiler/reference.lux +++ b/stdlib/source/library/lux/meta/compiler/reference.lux @@ -34,7 +34,7 @@ (when [reference sample] (^.with_template [<tag> <equivalence>] [[{<tag> reference} {<tag> sample}] - (at <equivalence> = reference sample)]) + (of <equivalence> = reference sample)]) ([#Variable /variable.equivalence] [#Constant symbol.equivalence]) @@ -52,7 +52,7 @@ (^.with_template [<factor> <tag> <hash>] [{<tag> value} (|> value - (at <hash> hash) + (of <hash> hash) (n.* <factor>))]) ([2 #Variable /variable.hash] [3 #Constant symbol.hash]) diff --git a/stdlib/source/library/lux/meta/compiler/reference/variable.lux b/stdlib/source/library/lux/meta/compiler/reference/variable.lux index 7de1dee16..adea64c48 100644 --- a/stdlib/source/library/lux/meta/compiler/reference/variable.lux +++ b/stdlib/source/library/lux/meta/compiler/reference/variable.lux @@ -49,7 +49,7 @@ (^.with_template [<factor> <tag>] [{<tag> register} (|> register - (at n.hash hash) + (of n.hash hash) (n.* <factor>))]) ([2 #Local] [3 #Foreign])))))) diff --git a/stdlib/source/library/lux/meta/extension.lux b/stdlib/source/library/lux/meta/extension.lux index 1f1569c5b..7365e2442 100644 --- a/stdlib/source/library/lux/meta/extension.lux +++ b/stdlib/source/library/lux/meta/extension.lux @@ -72,7 +72,7 @@ (monad.do <>.monad [(,* inputs) (, g!_) <end>] - (.at <>.monad (,' in) (, body))) + (.of <>.monad (,' in) (, body))) (, g!inputs)) {.#Right (, g!_)} (, g!_) diff --git a/stdlib/source/library/lux/meta/macro.lux b/stdlib/source/library/lux/meta/macro.lux index 298bde13d..4ab065278 100644 --- a/stdlib/source/library/lux/meta/macro.lux +++ b/stdlib/source/library/lux/meta/macro.lux @@ -21,7 +21,7 @@ (do //.monad [id //.seed] (in (|> id - (at nat.decimal encoded) + (of nat.decimal encoded) (all text#composite "__gensym__" prefix) [""] code.symbol)))) @@ -29,7 +29,7 @@ (-> Code (Meta Text)) (when ast [_ {.#Symbol ["" name]}] - (at //.monad in name) + (of //.monad in name) _ (//.failure (text#composite "Code is not a local symbol: " (code.format ast))))) @@ -64,13 +64,13 @@ before terms]) (when times 0 - (at //.monad in before) + (of //.monad in before) _ (do [! //.monad] [after (|> before (monad.each ! /expansion.single) - (at ! each list#conjoint))] + (of ! each list#conjoint))] (again (-- times) after)))) _ @@ -81,7 +81,7 @@ (let [! //.monad] (|> it (monad.each ! /expansion.complete) - (at ! each list#conjoint))))) + (of ! each list#conjoint))))) (def .public function (-> Macro Macro') diff --git a/stdlib/source/library/lux/meta/macro/context.lux b/stdlib/source/library/lux/meta/macro/context.lux index 4ec34b5df..09b295b11 100644 --- a/stdlib/source/library/lux/meta/macro/context.lux +++ b/stdlib/source/library/lux/meta/macro/context.lux @@ -75,7 +75,7 @@ (meta.failure (exception.error ..no_active_context []))))) (.def .public peek - (syntax (_ [g!it (at ?.monad each code.symbol ?code.global)]) + (syntax (_ [g!it (of ?.monad each code.symbol ?code.global)]) (in (list (` (..peek' [(, g!it) (.symbol (, g!it))])))))) (.def .public (search' ? [_ context]) @@ -93,7 +93,7 @@ (.def .public search (syntax (_ [g!? ?code.any - g!context (at ?.monad each code.symbol ?code.global)]) + g!context (of ?.monad each code.symbol ?code.global)]) (in (list (` (..search' (, g!?) [(, g!context) (.symbol (, g!context))])))))) (.def (alter on_definition [_ definition]) @@ -156,7 +156,7 @@ (.def .public push (syntax (_ [g!it ?code.any - g!context (at ?.monad each code.symbol ?code.global)]) + g!context (of ?.monad each code.symbol ?code.global)]) (in (list (` (..push' (, g!it) [(, g!context) (.symbol (, g!context))])))))) (.def .public (revised' ? !) @@ -200,7 +200,7 @@ (.def .public revised (syntax (_ [g!predicate ?code.any g!revision ?code.any - g!context (at ?.monad each code.symbol ?code.global)]) + g!context (of ?.monad each code.symbol ?code.global)]) (in (list (` (..revised' (, g!predicate) (, g!revision) [(, g!context) (.symbol (, g!context))])))))) @@ -223,12 +223,12 @@ (list)))))) (.def .public pop - (syntax (_ [g!context (at ?.monad each code.symbol ?code.global)]) + (syntax (_ [g!context (of ?.monad each code.symbol ?code.global)]) (in (list (` (..pop'' [(, g!context) (.symbol (, g!context))])))))) (.def .public def (syntax (_ [.let [! ?.monad - ?local (at ! each code.local ?code.local)] + ?local (of ! each code.local ?code.local)] [export_$? $] (?code.tuple (export.with ?code.local)) [export_expression? g!expression] (?code.tuple (export.with ?local)) diff --git a/stdlib/source/library/lux/meta/macro/expansion.lux b/stdlib/source/library/lux/meta/macro/expansion.lux index 83e34afe2..b1f5cc371 100644 --- a/stdlib/source/library/lux/meta/macro/expansion.lux +++ b/stdlib/source/library/lux/meta/macro/expansion.lux @@ -29,10 +29,10 @@ ((as Macro' macro) args) {.#None} - (at ///.monad in (list syntax)))) + (of ///.monad in (list syntax)))) _ - (at ///.monad in (list syntax)))) + (of ///.monad in (list syntax)))) (def .public (complete syntax) (-> Code (Meta (List Code))) @@ -46,13 +46,13 @@ [top_level_complete ((as Macro' macro) args)] (|> top_level_complete (monad.each ///.monad complete) - (at ! each list#conjoint))) + (of ! each list#conjoint))) {.#None} - (at ///.monad in (list syntax)))) + (of ///.monad in (list syntax)))) _ - (at ///.monad in (list syntax)))) + (of ///.monad in (list syntax)))) (def .public (total syntax) (-> Code (Meta (List Code))) @@ -89,7 +89,7 @@ (in (list (code.tuple (list#conjoint members'))))) _ - (at ///.monad in (list syntax)))) + (of ///.monad in (list syntax)))) (def .public (one token) (-> Code (Meta Code)) diff --git a/stdlib/source/library/lux/meta/macro/local.lux b/stdlib/source/library/lux/meta/macro/local.lux index b2367fee8..9e2ada587 100644 --- a/stdlib/source/library/lux/meta/macro/local.lux +++ b/stdlib/source/library/lux/meta/macro/local.lux @@ -131,7 +131,7 @@ locals (monad.each ! (function (_ [name value]) (|> value (meta.eval .Macro) - (at ! each (|>> (as .Macro) + (of ! each (|>> (as .Macro) [[here_name name]])))) locals) expression? (is (Meta Bit) diff --git a/stdlib/source/library/lux/meta/macro/pattern.lux b/stdlib/source/library/lux/meta/macro/pattern.lux index 6ab386dd1..79cf2e519 100644 --- a/stdlib/source/library/lux/meta/macro/pattern.lux +++ b/stdlib/source/library/lux/meta/macro/pattern.lux @@ -266,7 +266,7 @@ (..spliced_unquote (macro (_ tokens) ({{.#Item it {.#End}} - (at ///.monad in (list it)) + (of ///.monad in (list it)) _ (///.failure (..wrong_syntax_error (symbol ..,*)))} @@ -335,7 +335,7 @@ (..unquote (macro (_ tokens) ({{.#Item it {.#End}} - (at ///.monad in (list it)) + (of ///.monad in (list it)) _ (///.failure (..wrong_syntax_error (symbol ..,)))} diff --git a/stdlib/source/library/lux/meta/macro/syntax.lux b/stdlib/source/library/lux/meta/macro/syntax.lux index ec96b9e42..86ee0ff5c 100644 --- a/stdlib/source/library/lux/meta/macro/syntax.lux +++ b/stdlib/source/library/lux/meta/macro/syntax.lux @@ -85,7 +85,7 @@ (is (</>.Parser (Meta (List Code))) (do <>.monad [(,* (..un_paired vars+parsers))] - (.at <>.monad (,' in) + (.of <>.monad (,' in) (is (Meta (List Code)) (, body))))) (, g!tokens)) diff --git a/stdlib/source/library/lux/meta/macro/template.lux b/stdlib/source/library/lux/meta/macro/template.lux index 77c26cfd4..7f848ea46 100644 --- a/stdlib/source/library/lux/meta/macro/template.lux +++ b/stdlib/source/library/lux/meta/macro/template.lux @@ -130,8 +130,8 @@ (exception.def .public (irregular_arguments [expected actual]) (Exception [Nat Nat]) (exception.report - (list ["Expected" (at nat.decimal encoded expected)] - ["Actual" (at nat.decimal encoded actual)]))) + (list ["Expected" (of nat.decimal encoded expected)] + ["Actual" (of nat.decimal encoded actual)]))) (def (macro (open "_[0]")) (-> Local Macro) diff --git a/stdlib/source/library/lux/meta/macro/vocabulary.lux b/stdlib/source/library/lux/meta/macro/vocabulary.lux index 0b2216617..b73716768 100644 --- a/stdlib/source/library/lux/meta/macro/vocabulary.lux +++ b/stdlib/source/library/lux/meta/macro/vocabulary.lux @@ -48,6 +48,6 @@ (-> Symbol (Meta Macro)) (do ///.monad [[(, g!type) (, g!value)] (///.export (, g!_))] - (if (at type.equivalence (,' =) (, type) (, g!type)) + (if (of type.equivalence (,' =) (, type) (, g!type)) ((,' in) ((, macro) (as (, type) (, g!value)))) (///.failure (exception.error ..invalid_type [(, type) (, g!type)]))))))))))) diff --git a/stdlib/source/library/lux/meta/static.lux b/stdlib/source/library/lux/meta/static.lux index 3b2fd8065..47cc6b7f4 100644 --- a/stdlib/source/library/lux/meta/static.lux +++ b/stdlib/source/library/lux/meta/static.lux @@ -20,7 +20,7 @@ (with_template [<name> <type> <format>] [(def .public <name> (syntax (_ [expression <code>.any]) - (at meta.monad each + (of meta.monad each (|>> (as <type>) <format> list) (meta.eval <type> expression))))] diff --git a/stdlib/source/library/lux/meta/symbol.lux b/stdlib/source/library/lux/meta/symbol.lux index edbf2acd3..36d4b4256 100644 --- a/stdlib/source/library/lux/meta/symbol.lux +++ b/stdlib/source/library/lux/meta/symbol.lux @@ -28,7 +28,7 @@ (def .public equivalence (Equivalence Symbol) - (at ..hash equivalence)) + (of ..hash equivalence)) (def .public order (Order Symbol) @@ -36,8 +36,8 @@ (def equivalence ..equivalence) (def (< [moduleP shortP] [moduleS shortS]) (if (text#= moduleP moduleS) - (at text.order < shortP shortS) - (at text.order < moduleP moduleS))))) + (of text.order < shortP shortS) + (of text.order < moduleP moduleS))))) (def .public separator ".") diff --git a/stdlib/source/library/lux/meta/target/js.lux b/stdlib/source/library/lux/meta/target/js.lux index b2e34c32b..c158d9651 100644 --- a/stdlib/source/library/lux/meta/target/js.lux +++ b/stdlib/source/library/lux/meta/target/js.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except Location Code Label or and function if undefined for comment not int try ++ -- the type_of at , when) + [lux (.except Location Code Label or and function if undefined for comment not int try ++ -- the type_of , when) [control ["[0]" pipe]] [data diff --git a/stdlib/source/library/lux/meta/target/jvm/bytecode.lux b/stdlib/source/library/lux/meta/target/jvm/bytecode.lux index cb236893f..dc51330fa 100644 --- a/stdlib/source/library/lux/meta/target/jvm/bytecode.lux +++ b/stdlib/source/library/lux/meta/target/jvm/bytecode.lux @@ -113,7 +113,7 @@ (function (_ resolver) (<| (try|do [left_exceptions left_instruction] (left resolver)) (try|do [right_exceptions right_instruction] (right resolver)) - (try|in [(at sequence.monoid composite left_exceptions right_exceptions) + (try|in [(of sequence.monoid composite left_exceptions right_exceptions) (_#composite left_instruction right_instruction)]))))) (def relative_monoid @@ -698,7 +698,7 @@ (-> Nat (Bytecode Register)) (when (//unsigned.u1 id) {try.#Success register} - (at ..monad in register) + (of ..monad in register) {try.#Failure error} (..except ..invalid_register [id]))) @@ -867,7 +867,7 @@ [(function (_ resolver) (<| (try|do [expected @to] (..resolve_label label resolver)) (try|do _ (exception.assertion ..mismatched_environments [(symbol <instruction>) label @here expected actual] - (at /stack.equivalence = expected actual))) + (of /stack.equivalence = expected actual))) (try|do jump (..jump @from @to)) (when jump {.#Left jump} @@ -916,7 +916,7 @@ (when (dictionary.value label resolver) {.#Some [expected {.#Some @to}]} (<| (try|do _ (exception.assertion ..mismatched_environments [(symbol <instruction>) label @here expected actual] - (at /stack.equivalence = expected actual))) + (of /stack.equivalence = expected actual))) (try|do jump (..jump @from @to)) (when jump {.#Left jump} @@ -975,7 +975,7 @@ (|> afterwards (monad.each ! get) (monad.then ! (monad.each ! product.right)) - (at ! each (|>> [@default @at_minimum])))) + (of ! each (|>> [@default @at_minimum])))) {.#Some [@default @at_minimum @afterwards]} (<| (try|do >default (try#each ..big_jump (..jump @from @default))) (try|do >at_minimum (try#each ..big_jump (..jump @from @at_minimum))) @@ -1016,7 +1016,7 @@ (|> cases (monad.each ! (|>> product.right get)) (monad.then ! (monad.each ! product.right)) - (at ! each (|>> [@default])))) + (of ! each (|>> [@default])))) {.#Some [@default @cases]} (<| (try|do >default (try#each ..big_jump (..jump @from @default))) (try|do >cases (|> @cases diff --git a/stdlib/source/library/lux/meta/target/jvm/bytecode/address.lux b/stdlib/source/library/lux/meta/target/jvm/bytecode/address.lux index 3e6d4f4c2..6bcb3655a 100644 --- a/stdlib/source/library/lux/meta/target/jvm/bytecode/address.lux +++ b/stdlib/source/library/lux/meta/target/jvm/bytecode/address.lux @@ -39,7 +39,7 @@ (-> U2 (-> Address (Try Address))) (|>> representation (///unsigned.+/2 distance) - (at try.functor each (|>> abstraction)))) + (of try.functor each (|>> abstraction)))) (def with_sign (-> Address (Try S4)) @@ -61,7 +61,7 @@ (Equivalence Address) (implementation (def (= reference subject) - (at ///unsigned.equivalence = + (of ///unsigned.equivalence = (representation reference) (representation subject))))) diff --git a/stdlib/source/library/lux/meta/target/jvm/bytecode/environment.lux b/stdlib/source/library/lux/meta/target/jvm/bytecode/environment.lux index a7e687751..9fd4d7250 100644 --- a/stdlib/source/library/lux/meta/target/jvm/bytecode/environment.lux +++ b/stdlib/source/library/lux/meta/target/jvm/bytecode/environment.lux @@ -74,7 +74,7 @@ (-> Stack Environment (Try [Stack Environment])) (when (the ..#stack environment) {.#Some actual} - (if (at /stack.equivalence = expected actual) + (if (of /stack.equivalence = expected actual) {try.#Success [actual environment]} (exception.except ..mismatched_stacks [expected actual])) diff --git a/stdlib/source/library/lux/meta/target/jvm/bytecode/environment/limit/registry.lux b/stdlib/source/library/lux/meta/target/jvm/bytecode/environment/limit/registry.lux index 28c09c0d2..9737de12c 100644 --- a/stdlib/source/library/lux/meta/target/jvm/bytecode/environment/limit/registry.lux +++ b/stdlib/source/library/lux/meta/target/jvm/bytecode/environment/limit/registry.lux @@ -61,7 +61,7 @@ (def .public equivalence (Equivalence Registry) - (at equivalence.functor each + (of equivalence.functor each (|>> representation) /////unsigned.equivalence)) diff --git a/stdlib/source/library/lux/meta/target/jvm/bytecode/environment/limit/stack.lux b/stdlib/source/library/lux/meta/target/jvm/bytecode/environment/limit/stack.lux index eaf7673f7..7517c2b60 100644 --- a/stdlib/source/library/lux/meta/target/jvm/bytecode/environment/limit/stack.lux +++ b/stdlib/source/library/lux/meta/target/jvm/bytecode/environment/limit/stack.lux @@ -32,7 +32,7 @@ (def .public equivalence (Equivalence Stack) - (at equivalence.functor each + (of equivalence.functor each (|>> representation) /////unsigned.equivalence)) @@ -49,7 +49,7 @@ (-> U2 (-> Stack (Try Stack))) (|>> representation (<op> amount) - (at try.functor each ..stack)))] + (of try.functor each ..stack)))] [/////unsigned.+/2 push] [/////unsigned.-/2 pop] diff --git a/stdlib/source/library/lux/meta/target/jvm/bytecode/instruction.lux b/stdlib/source/library/lux/meta/target/jvm/bytecode/instruction.lux index d6abb8141..d8a6963ae 100644 --- a/stdlib/source/library/lux/meta/target/jvm/bytecode/instruction.lux +++ b/stdlib/source/library/lux/meta/target/jvm/bytecode/instruction.lux @@ -597,7 +597,7 @@ tableswitch_size (try.trusted (do [! try.monad] [size (///unsigned.u2 size)] - (at ! each (|>> estimator ///unsigned.value) + (of ! each (|>> estimator ///unsigned.value) (//address.move size //address.start)))) tableswitch_mutation (is Mutation (function (_ [offset binary]) @@ -661,7 +661,7 @@ lookupswitch_size (try.trusted (do [! try.monad] [size (///unsigned.u2 size)] - (at ! each (|>> estimator ///unsigned.value) + (of ! each (|>> estimator ///unsigned.value) (//address.move size //address.start)))) lookupswitch_mutation (is Mutation (function (_ [offset binary]) diff --git a/stdlib/source/library/lux/meta/target/jvm/class.lux b/stdlib/source/library/lux/meta/target/jvm/class.lux index ba01154b6..5ffb48007 100644 --- a/stdlib/source/library/lux/meta/target/jvm/class.lux +++ b/stdlib/source/library/lux/meta/target/jvm/class.lux @@ -106,7 +106,7 @@ attributes (monad.all ! attributes) @signature (when signature {.#Some signature} - (at ! each (|>> {.#Some}) (//attribute.signature signature)) + (of ! each (|>> {.#Some}) (//attribute.signature signature)) {.#None} (in {.#None}))] diff --git a/stdlib/source/library/lux/meta/target/jvm/constant.lux b/stdlib/source/library/lux/meta/target/jvm/constant.lux index 936e73230..8039a7b47 100644 --- a/stdlib/source/library/lux/meta/target/jvm/constant.lux +++ b/stdlib/source/library/lux/meta/target/jvm/constant.lux @@ -54,7 +54,7 @@ (def .public class_equivalence (Equivalence Class) - (at equivalence.functor each + (of equivalence.functor each ..index //index.equivalence)) @@ -93,7 +93,7 @@ (All (_ kind) (-> (Equivalence kind) (Equivalence (Value kind)))) - (at equivalence.functor each + (of equivalence.functor each (|>> representation) Equivalence<kind>)) @@ -186,7 +186,7 @@ (when [reference sample] (^.with_template [<tag> <equivalence>] [[{<tag> reference} {<tag> sample}] - (at <equivalence> = reference sample)]) + (of <equivalence> = reference sample)]) ([#UTF8 text.equivalence] [#Integer (..value_equivalence i32.equivalence)] [#Long (..value_equivalence int.equivalence)] diff --git a/stdlib/source/library/lux/meta/target/jvm/constant/pool.lux b/stdlib/source/library/lux/meta/target/jvm/constant/pool.lux index bb57608a0..46adfd870 100644 --- a/stdlib/source/library/lux/meta/target/jvm/constant/pool.lux +++ b/stdlib/source/library/lux/meta/target/jvm/constant/pool.lux @@ -100,7 +100,7 @@ {try.#Success entry} (when entry [index {<tag> reference}] - (if (at <equivalence> = reference <value>') + (if (of <equivalence> = reference <value>') {try.#Success [[current pool] index]} <try_again>) @@ -115,7 +115,7 @@ (|> current //index.value (//unsigned.+/2 @new) - (at try.monad each //index.index)))) + (of try.monad each //index.index)))) (try|in [[next (sequence.suffix [current new] pool)] current]))))))])) diff --git a/stdlib/source/library/lux/meta/target/jvm/field.lux b/stdlib/source/library/lux/meta/target/jvm/field.lux index 49c60849e..443d34f16 100644 --- a/stdlib/source/library/lux/meta/target/jvm/field.lux +++ b/stdlib/source/library/lux/meta/target/jvm/field.lux @@ -68,7 +68,7 @@ [@name (//constant/pool.utf8 name) @descriptor (//constant/pool.descriptor (//type.descriptor type)) @signature (if with_signature? - (at ! each (|>> {.#Some}) (//attribute.signature (//type.signature type))) + (of ! each (|>> {.#Some}) (//attribute.signature (//type.signature type))) (in {.#None}))] (in [#modifier modifier #name @name diff --git a/stdlib/source/library/lux/meta/target/jvm/index.lux b/stdlib/source/library/lux/meta/target/jvm/index.lux index 7f93bb0ff..522684c1c 100644 --- a/stdlib/source/library/lux/meta/target/jvm/index.lux +++ b/stdlib/source/library/lux/meta/target/jvm/index.lux @@ -29,7 +29,7 @@ (def .public equivalence (All (_ kind) (Equivalence (Index kind))) - (at equivalence.functor each + (of equivalence.functor each ..value //unsigned.equivalence)) diff --git a/stdlib/source/library/lux/meta/target/jvm/method.lux b/stdlib/source/library/lux/meta/target/jvm/method.lux index 629aaae94..a4689017a 100644 --- a/stdlib/source/library/lux/meta/target/jvm/method.lux +++ b/stdlib/source/library/lux/meta/target/jvm/method.lux @@ -62,7 +62,7 @@ (list.partial (//attribute.signature (//type.signature type)) attributes) attributes) (monad.all !) - (at ! each sequence.of_list)) + (of ! each sequence.of_list)) attributes (when code {.#Some code} (do ! diff --git a/stdlib/source/library/lux/meta/target/jvm/modifier.lux b/stdlib/source/library/lux/meta/target/jvm/modifier.lux index 9b1b0843e..59359f103 100644 --- a/stdlib/source/library/lux/meta/target/jvm/modifier.lux +++ b/stdlib/source/library/lux/meta/target/jvm/modifier.lux @@ -35,7 +35,7 @@ (All (_ of) (Equivalence (Modifier of))) (implementation (def (= reference sample) - (at //unsigned.equivalence = + (of //unsigned.equivalence = (representation reference) (representation sample))))) @@ -57,7 +57,7 @@ (let [sub (!representation sub)] (|> (!representation super) (i64.and sub) - (at i64.equivalence = sub)))) + (of i64.equivalence = sub)))) (def .public monoid (All (_ of) (Monoid (Modifier of))) @@ -71,7 +71,7 @@ (def .public empty Modifier - (at ..monoid identity)) + (of ..monoid identity)) (def .public format (All (_ of) (Format (Modifier of))) diff --git a/stdlib/source/library/lux/meta/target/jvm/reflection.lux b/stdlib/source/library/lux/meta/target/jvm/reflection.lux index 2e977d594..d62ce7c3f 100644 --- a/stdlib/source/library/lux/meta/target/jvm/reflection.lux +++ b/stdlib/source/library/lux/meta/target/jvm/reflection.lux @@ -163,7 +163,7 @@ java/lang/reflect/ParameterizedType::getActualTypeArguments (array.list {.#None}) (monad.each ! parameter) - (at ! each (/.class (|> raw' + (of ! each (/.class (|> raw' (as (java/lang/Class java/lang/Object)) java/lang/Class::getName))) (exception.with ..cannot_convert_to_a_lux_type [reflection]))) @@ -196,7 +196,7 @@ {try.#Success /.wildcard} _ - (at try.monad each <kind> (parameter type bound)))]) + (of try.monad each <kind> (parameter type bound)))]) ([[_ {.#Some bound}] /.upper] [[{.#Some bound} _] /.lower]) @@ -208,7 +208,7 @@ (|> reflection java/lang/reflect/GenericArrayType::getGenericComponentType type - (at try.monad each /.array)) + (of try.monad each /.array)) _) (when (ffi.as java/lang/Class reflection) {.#Some class} @@ -376,7 +376,7 @@ <then?> (|> fieldJ java/lang/reflect/Field::getGenericType ..type - (at ! each (|>> [(java/lang/reflect/Modifier::isFinal modifiers) + (of ! each (|>> [(java/lang/reflect/Modifier::isFinal modifiers) (..deprecated? (java/lang/reflect/Field::getDeclaredAnnotations fieldJ))]))) <else?> (exception.except <exception> [field class]))))] diff --git a/stdlib/source/library/lux/meta/target/jvm/type.lux b/stdlib/source/library/lux/meta/target/jvm/type.lux index 9253258f5..0eff5b048 100644 --- a/stdlib/source/library/lux/meta/target/jvm/type.lux +++ b/stdlib/source/library/lux/meta/target/jvm/type.lux @@ -154,7 +154,7 @@ (All (_ category) (Equivalence (Type category))) (implementation (def (= parameter subject) - (at /signature.equivalence = + (of /signature.equivalence = (..signature parameter) (..signature subject))))) @@ -162,13 +162,13 @@ (All (_ category) (Hash (Type category))) (implementation (def equivalence ..equivalence) - (def hash (|>> ..signature (at /signature.hash hash))))) + (def hash (|>> ..signature (of /signature.hash hash))))) (def .public (primitive? type) (-> (Type Value) (Either (Type Object) (Type Primitive))) (if (`` (or (,, (with_template [<type>] - [(at ..equivalence = (is (Type Value) <type>) type)] + [(of ..equivalence = (is (Type Value) <type>) type)] [..boolean] [..byte] @@ -185,7 +185,7 @@ (-> (Type Return) (Either (Type Value) (Type Void))) (if (`` (or (,, (with_template [<type>] - [(at ..equivalence = (is (Type Return) <type>) type)] + [(of ..equivalence = (is (Type Return) <type>) type)] [..void])))) (|> type (as (Type Void)) {.#Right}) @@ -204,7 +204,7 @@ (n.- suffix_size))] (|> repr (text.clip prefix_size name_size) - (at maybe.monad each (|>> //name.internal //name.external)))) + (of maybe.monad each (|>> //name.internal //name.external)))) {.#None}))) (def .public format diff --git a/stdlib/source/library/lux/meta/target/jvm/type/alias.lux b/stdlib/source/library/lux/meta/target/jvm/type/alias.lux index 99d623d5e..8bc4f29e8 100644 --- a/stdlib/source/library/lux/meta/target/jvm/type/alias.lux +++ b/stdlib/source/library/lux/meta/target/jvm/type/alias.lux @@ -52,7 +52,7 @@ [(def <name> (-> (Parser (Type Class)) (Parser (Type Parameter))) (|>> (<>.after (<text>.this <prefix>)) - (at <>.monad each <bound>)))] + (of <>.monad each <bound>)))] [lower //signature.lower_prefix //.lower ..Lower] [upper //signature.upper_prefix //.upper ..Upper] @@ -108,7 +108,7 @@ (def (bound_type_var aliasing) (-> Aliasing (Parser (Type Var))) (|> //parser.var_name - (at <>.monad each //.var) + (of <>.monad each //.var) (<>.before (<>.many (..bound aliasing))))) (def .public (method aliasing) diff --git a/stdlib/source/library/lux/meta/target/jvm/type/descriptor.lux b/stdlib/source/library/lux/meta/target/jvm/type/descriptor.lux index 46e360bae..2327f07b2 100644 --- a/stdlib/source/library/lux/meta/target/jvm/type/descriptor.lux +++ b/stdlib/source/library/lux/meta/target/jvm/type/descriptor.lux @@ -120,6 +120,6 @@ (|> (text.size repr) (n.- prefix_size) (n.- suffix_size))) - (at maybe.monad each ///name.internal) + (of maybe.monad each ///name.internal) maybe.trusted)))))) ) diff --git a/stdlib/source/library/lux/meta/target/jvm/type/parser.lux b/stdlib/source/library/lux/meta/target/jvm/type/parser.lux index 61c80017c..2ad5b09a2 100644 --- a/stdlib/source/library/lux/meta/target/jvm/type/parser.lux +++ b/stdlib/source/library/lux/meta/target/jvm/type/parser.lux @@ -68,7 +68,7 @@ (with_template [<type> <name> <head> <tail> <adapter>] [(def .public <name> (Parser <type>) - (at <>.functor each <adapter> + (of <>.functor each <adapter> (<text>.slice (<text>.and! (<text>.one_of! <head>) (<text>.some! (<text>.one_of! <tail>))))))] @@ -125,7 +125,7 @@ (def class' (-> (Parser (Type Parameter)) (Parser (Type Class))) (|>> ..class'' - (at <>.monad each (product.uncurried //.class)))) + (of <>.monad each (product.uncurried //.class)))) (def .public array' (-> (Parser (Type Value)) (Parser (Type Array))) diff --git a/stdlib/source/library/lux/meta/target/jvm/type/reflection.lux b/stdlib/source/library/lux/meta/target/jvm/type/reflection.lux index 003030a9b..1478a0494 100644 --- a/stdlib/source/library/lux/meta/target/jvm/type/reflection.lux +++ b/stdlib/source/library/lux/meta/target/jvm/type/reflection.lux @@ -64,7 +64,7 @@ element' (,, (with_template [<primitive> <descriptor>] - [(at ..equivalence = <primitive> element) + [(of ..equivalence = <primitive> element) (//descriptor.descriptor <descriptor>)] [..boolean //descriptor.boolean] diff --git a/stdlib/source/library/lux/meta/target/lua.lux b/stdlib/source/library/lux/meta/target/lua.lux index 0bafbd9ca..84a566839 100644 --- a/stdlib/source/library/lux/meta/target/lua.lux +++ b/stdlib/source/library/lux/meta/target/lua.lux @@ -47,13 +47,13 @@ (All (_ brand) (Equivalence (Code brand))) (implementation (def (= reference subject) - (at text.equivalence = (representation reference) (representation subject))))) + (of text.equivalence = (representation reference) (representation subject))))) (def .public hash (All (_ brand) (Hash (Code brand))) (implementation (def equivalence ..equivalence) - (def hash (|>> representation (at text.hash hash))))) + (def hash (|>> representation (of text.hash hash))))) (def .public manual (-> Text Code) @@ -100,7 +100,7 @@ (-> Int Literal) ... Integers must be turned into hexadecimal to avoid quirks in how Lua parses integers. ... In particular, the number -9223372036854775808 will be incorrectly parsed as a float by Lua. - (.let [to_hex (at n.hex encoded)] + (.let [to_hex (of n.hex encoded)] (|>> .nat to_hex (format "0x") diff --git a/stdlib/source/library/lux/meta/target/php.lux b/stdlib/source/library/lux/meta/target/php.lux index 44e663934..cb4d0a622 100644 --- a/stdlib/source/library/lux/meta/target/php.lux +++ b/stdlib/source/library/lux/meta/target/php.lux @@ -55,13 +55,13 @@ (All (_ brand) (Equivalence (Code brand))) (implementation (def (= reference subject) - (at text.equivalence = (representation reference) (representation subject))))) + (of text.equivalence = (representation reference) (representation subject))))) (def .public hash (All (_ brand) (Hash (Code brand))) (implementation (def equivalence ..equivalence) - (def hash (|>> representation (at text.hash hash))))) + (def hash (|>> representation (of text.hash hash))))) (def .public manual (-> Text Code) @@ -141,7 +141,7 @@ (def .public int (-> Int Literal) - (.let [to_hex (at n.hex encoded)] + (.let [to_hex (of n.hex encoded)] (|>> .nat to_hex (format "0x") diff --git a/stdlib/source/library/lux/meta/target/python.lux b/stdlib/source/library/lux/meta/target/python.lux index 9d426d1ed..a6d0968c5 100644 --- a/stdlib/source/library/lux/meta/target/python.lux +++ b/stdlib/source/library/lux/meta/target/python.lux @@ -64,13 +64,13 @@ (All (_ brand) (Equivalence (Code brand))) (implementation (.def (= reference subject) - (at text.equivalence = (representation reference) (representation subject))))) + (of text.equivalence = (representation reference) (representation subject))))) (.def .public hash (All (_ brand) (Hash (Code brand))) (implementation (.def equivalence ..equivalence) - (.def hash (|>> representation (at text.hash hash))))) + (.def hash (|>> representation (of text.hash hash))))) (.def .public manual (-> Text Code) diff --git a/stdlib/source/library/lux/meta/target/ruby.lux b/stdlib/source/library/lux/meta/target/ruby.lux index 17892b773..82fbaa9b4 100644 --- a/stdlib/source/library/lux/meta/target/ruby.lux +++ b/stdlib/source/library/lux/meta/target/ruby.lux @@ -47,7 +47,7 @@ (All (_ brand) (Equivalence (Code brand))) (implementation (def (= reference subject) - (at text.equivalence = (representation reference) (representation subject))))) + (of text.equivalence = (representation reference) (representation subject))))) (def .public manual (-> Text Code) diff --git a/stdlib/source/library/lux/meta/target/scheme.lux b/stdlib/source/library/lux/meta/target/scheme.lux index f9a3a71df..4c8049fce 100644 --- a/stdlib/source/library/lux/meta/target/scheme.lux +++ b/stdlib/source/library/lux/meta/target/scheme.lux @@ -39,13 +39,13 @@ (All (_ brand) (Equivalence (Code brand))) (implementation (def (= reference subject) - (at text.equivalence = (representation reference) (representation subject))))) + (of text.equivalence = (representation reference) (representation subject))))) (def .public hash (All (_ brand) (Hash (Code brand))) (implementation (def equivalence ..equivalence) - (def hash (|>> representation (at text.hash hash))))) + (def hash (|>> representation (of text.hash hash))))) (with_template [<type> <brand> <super>+] [(nominal.def .public (<brand> brand) Any) diff --git a/stdlib/source/library/lux/meta/type.lux b/stdlib/source/library/lux/meta/type.lux index 90ad79d1e..8413debc3 100644 --- a/stdlib/source/library/lux/meta/type.lux +++ b/stdlib/source/library/lux/meta/type.lux @@ -370,7 +370,7 @@ {.#Apply A F} (|> (..applied (list A) F) - (at maybe.monad each quantified?) + (of maybe.monad each quantified?) (maybe.else false)) (,, (with_template [<pattern>] @@ -508,7 +508,7 @@ (`` (def .public (replaced before after) (-> Type Type Type Type) (.function (again it) - (if (at ..equivalence = before it) + (if (of ..equivalence = before it) after (when it {.#Nominal name co_variant} diff --git a/stdlib/source/library/lux/meta/type/check.lux b/stdlib/source/library/lux/meta/type/check.lux index fc4794124..f5e596bd2 100644 --- a/stdlib/source/library/lux/meta/type/check.lux +++ b/stdlib/source/library/lux/meta/type/check.lux @@ -520,7 +520,7 @@ (do ! [ringE (..ring idE) ringA (..ring idA)] - (if (at set.equivalence = ringE ringA) + (if (of set.equivalence = ringE ringA) (in assumptions) ... Fuse 2 rings (do ! diff --git a/stdlib/source/library/lux/meta/type/dynamic.lux b/stdlib/source/library/lux/meta/type/dynamic.lux index 24a08e645..e326cb21d 100644 --- a/stdlib/source/library/lux/meta/type/dynamic.lux +++ b/stdlib/source/library/lux/meta/type/dynamic.lux @@ -40,7 +40,7 @@ (is Dynamic) (as <representation>))] (.is (try.Try (, type)) - (.if (.at //.equivalence (,' =) + (.if (.of //.equivalence (,' =) (.type_literal (, type)) (, g!type)) {try.#Success (.as (, type) (, g!value))} (exception.except ..wrong_type [(.type_literal (, type)) (, g!type)])))))))))) diff --git a/stdlib/source/library/lux/meta/type/implicit.lux b/stdlib/source/library/lux/meta/type/implicit.lux index 1e1a93c0d..68e64358a 100644 --- a/stdlib/source/library/lux/meta/type/implicit.lux +++ b/stdlib/source/library/lux/meta/type/implicit.lux @@ -37,7 +37,7 @@ (type_var id' env) _ - (at ///.monad in type)) + (of ///.monad in type)) {.#Some [_ {.#None}]} (///.failure (format "Unbound type-var " (%.nat id))) @@ -74,12 +74,12 @@ {.#Product left right} (if (n.= 0 idx) - (at check.monad in left) + (of check.monad in left) (member_type (-- idx) right)) _ (if (n.= 0 idx) - (at check.monad in sig_type) + (of check.monad in sig_type) (check.failure (format "Cannot find member type " (%.nat idx) " for " (%.type sig_type)))))) (def (member_name member) @@ -108,7 +108,7 @@ (///.failure (format "Too many candidate slots: " (%.list %.symbol candidates)))))) _ - (at ///.monad in member))) + (of ///.monad in member))) (def (implicit_member member) (-> Symbol (Meta [Nat Type])) @@ -220,7 +220,7 @@ final_output])) _ - (at check.monad in [(list) type]))) + (of check.monad in [(list) type]))) (def (ensure_function_application! member_type input_types expected_output) (-> Type (List Type) Type (Check [])) @@ -278,7 +278,7 @@ (check.failure (format "No candidates for provisioning: " (%.type dep))) {.#Item winner {.#End}} - (at check.monad in winner) + (of check.monad in winner) _ (check.failure (format "Too many candidates for provisioning: " (%.type dep) " --- " (%.list (|>> product.left %.symbol) candidates)))) @@ -359,7 +359,7 @@ (///.failure (format "No implementation could be found for member: " (%.symbol member))) {.#Item chosen {.#End}} - (in (list (` (.at (, (instance$ chosen)) + (in (list (` (.of (, (instance$ chosen)) (, (code.local (product.right member))) (,* (list#each code.symbol args)))))) 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)] diff --git a/stdlib/source/library/lux/meta/type/nominal.lux b/stdlib/source/library/lux/meta/type/nominal.lux index 1d5ce2602..6b3c2643c 100644 --- a/stdlib/source/library/lux/meta/type/nominal.lux +++ b/stdlib/source/library/lux/meta/type/nominal.lux @@ -66,7 +66,7 @@ (.def declarationP (Parser [Text (List Text)]) (<>.either (<code>.form (<>.and <code>.local (<>.some <code>.local))) - (<>.and <code>.local (at <>.monad in (list))))) + (<>.and <code>.local (of <>.monad in (list))))) (.def abstract (Parser [Code [Text (List Text)] Code (List Code)]) diff --git a/stdlib/source/library/lux/meta/type/poly.lux b/stdlib/source/library/lux/meta/type/poly.lux index 54736333f..ab2c9db8d 100644 --- a/stdlib/source/library/lux/meta/type/poly.lux +++ b/stdlib/source/library/lux/meta/type/poly.lux @@ -39,7 +39,7 @@ (, body))) (.as .Type (, g!type)))) {.#Right (, g!output)} - (at ///.monad (,' in) (.list (, g!output))) + (of ///.monad (,' in) (.list (, g!output))) {.#Left (, g!output)} (///.failure (, g!output)))))))))))) diff --git a/stdlib/source/library/lux/meta/type/quotient.lux b/stdlib/source/library/lux/meta/type/quotient.lux index 57b3ec811..6da8566c8 100644 --- a/stdlib/source/library/lux/meta/type/quotient.lux +++ b/stdlib/source/library/lux/meta/type/quotient.lux @@ -75,6 +75,6 @@ (Equivalence (..Quotient super sub %)))) (implementation (def (= reference sample) - (at super = + (of super = (..label reference) (..label sample))))) diff --git a/stdlib/source/library/lux/meta/type/row.lux b/stdlib/source/library/lux/meta/type/row.lux index b33924a27..9965c79e8 100644 --- a/stdlib/source/library/lux/meta/type/row.lux +++ b/stdlib/source/library/lux/meta/type/row.lux @@ -142,7 +142,7 @@ (` (def (, export_policy) (, (code.local row_slot)) (..slot (syntax ((, g!_) []) - (at meta.monad (,' in) + (of meta.monad (,' in) (list (,* (list.repeated (|> :super: (maybe#each nesting) (maybe.else 0)) diff --git a/stdlib/source/library/lux/meta/type/unit/scale.lux b/stdlib/source/library/lux/meta/type/unit/scale.lux index 9f4f7e1f9..81ca77b4a 100644 --- a/stdlib/source/library/lux/meta/type/unit/scale.lux +++ b/stdlib/source/library/lux/meta/type/unit/scale.lux @@ -41,8 +41,8 @@ (def .public (re_scaled from to measure) (All (_ si so u) (-> (Scale si) (Scale so) (//.Measure si u) (//.Measure so u))) - (let [(open "/[0]") (ratio./ (at from ratio) - (at to ratio))] + (let [(open "/[0]") (ratio./ (of from ratio) + (of to ratio))] (|> measure //.number (i.* (.int /#numerator)) |