aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/meta/type
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/meta/type')
-rw-r--r--stdlib/source/library/lux/meta/type/check.lux2
-rw-r--r--stdlib/source/library/lux/meta/type/dynamic.lux2
-rw-r--r--stdlib/source/library/lux/meta/type/implicit.lux14
-rw-r--r--stdlib/source/library/lux/meta/type/linear.lux12
-rw-r--r--stdlib/source/library/lux/meta/type/nominal.lux2
-rw-r--r--stdlib/source/library/lux/meta/type/poly.lux2
-rw-r--r--stdlib/source/library/lux/meta/type/quotient.lux2
-rw-r--r--stdlib/source/library/lux/meta/type/row.lux2
-rw-r--r--stdlib/source/library/lux/meta/type/unit/scale.lux4
9 files changed, 21 insertions, 21 deletions
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))
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 23:36:38 +0000