Adapting to new List type (part 1).

LuxLang · Mar 5, 2024 · eeebece · eeebece
1 parent 233f3bf
commit eeebece
Show file tree

Hide file tree

Showing 188 changed files with 2,760 additions and 2,580 deletions.
diff --git a/lux-cl/source/program.lux b/lux-cl/source/program.lux
@@ -227,8 +227,8 @@
                 ))
           ))))
 
-(every (Reader of)
-  (-> of
+(every (Reader it)
+  (-> it
       (Try Any)))
 
 (the (read_variant read host_object)

diff --git a/stdlib/source/documentation/lux/meta/type.lux b/stdlib/source/documentation/lux/meta/type.lux
@@ -272,8 +272,8 @@
                     ... ($.definition /.literal
                     ...   "Takes a type expression and returns its representation as data-structure."
                     ...   ($.example (' (/.literal
-                    ...                  (for_any (_ of)
-                    ...                    (Maybe (List of)))))))
+                    ...                  (for_any (_ it)
+                    ...                    (Maybe (List it)))))))
 
                     (all list#composite
                          ..\\projection

diff --git a/stdlib/source/injection/lux/data/binary.lux b/stdlib/source/injection/lux/data/binary.lux
@@ -80,13 +80,13 @@
      [(n#+ sizeL sizeR)
       (|>> mutL mutR)])))
 
-(.every .public (Injection of)
-  (-> of
+(.every .public (Injection it)
+  (-> it
       Specification))
 
 (the .public (value as value)
-  (for_any (_ of)
-    (-> (Injection of) of
+  (for_any (_ it)
+    (-> (Injection it) it
         Binary))
   (..instance (as value)))
 
@@ -133,9 +133,9 @@
     (by ..monoid composite (pre preV) (post postV))))
 
 (the .public (rec body)
-  (for_any (_ of)
-    (-> (-> (Injection of) (Injection of))
-        (Injection of)))
+  (for_any (_ it)
+    (-> (-> (Injection it) (Injection it))
+        (Injection it)))
   (function (again value)
     (body again value)))
 
@@ -213,9 +213,9 @@
 
 (template.with [<name> <size> <write>]
   [(the .public (<name> valueW)
-     (for_any (_ of)
-       (-> (Injection of)
-           (Injection (Sequence of))))
+     (for_any (_ it)
+       (-> (Injection it)
+           (Injection (Sequence it))))
      (function (_ value)
        (let [original_count (sequence.size value)
              capped_count (i64.and (..mask <size>)
@@ -250,23 +250,23 @@
   )
 
 (the .public maybe
-  (for_any (_ of)
-    (-> (Injection of)
-        (Injection (Maybe of))))
+  (for_any (_ it)
+    (-> (Injection it)
+        (Injection (Maybe it))))
   (..or ..any))
 
 (the .public (stack value)
-  (for_any (_ of)
-    (-> (Injection of)
-        (Injection (Stack of))))
+  (for_any (_ it)
+    (-> (Injection it)
+        (Injection (Stack it))))
   (..rec
    (|>> (..and value)
         (..or ..any))))
 
 (the .public (set value)
-  (for_any (_ of)
-    (-> (Injection of)
-        (Injection (Set of))))
+  (for_any (_ it)
+    (-> (Injection it)
+        (Injection (Set it))))
   (|>> set.stack
        (..stack value)))
 

diff --git a/stdlib/source/injection/lux/data/text.lux b/stdlib/source/injection/lux/data/text.lux
@@ -99,17 +99,17 @@
   (by (modular.text (modular.modulus modular)) as modular))
 
 (the .public (stack as)
-  (for_any (_ of)
-    (-> (Injection of)
-        (Injection (Stack of))))
+  (for_any (_ it)
+    (-> (Injection it)
+        (Injection (Stack it))))
   (|>> (stack#each (|>> as (.text " ")))
        text.together
        (text.enclosed ["(stack" ")"])))
 
 (the .public (maybe as)
-  (for_any (_ of)
-    (-> (Injection of)
-        (Injection (Maybe of))))
+  (for_any (_ it)
+    (-> (Injection it)
+        (Injection (Maybe it))))
   (function (_ value)
     (when value
       {.#None}