aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/meta.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/meta.lux')
-rw-r--r--stdlib/source/library/lux/meta.lux52
1 files changed, 26 insertions, 26 deletions
diff --git a/stdlib/source/library/lux/meta.lux b/stdlib/source/library/lux/meta.lux
index 7ceec5bcd..093f352e0 100644
--- a/stdlib/source/library/lux/meta.lux
+++ b/stdlib/source/library/lux/meta.lux
@@ -160,7 +160,7 @@
(in [module_name name]))
_
- (# ..monad in name)))
+ (at ..monad in name)))
(def: .public (macro full_name)
(-> Symbol (Meta (Maybe Macro)))
@@ -251,7 +251,7 @@
{try.#Success [lux type']}))
_
- (# ..monad in type)))
+ (at ..monad in type)))
(def: .public (var_type name)
(-> Text (Meta Type))
@@ -437,9 +437,9 @@
{.#Definition [exported? def_type def_value]}
(let [type_code (`` ("lux in-module" (~~ (static .prelude_module)) .type_code))]
(if (or (same? .Type def_type)
- (# code.equivalence =
- (type_code .Type)
- (type_code def_type)))
+ (at code.equivalence =
+ (type_code .Type)
+ (type_code def_type)))
(in (as Type def_value))
(..failure (all text#composite "Definition is not a type: " (symbol#encoded name)))))
@@ -464,24 +464,24 @@
(def: .public (definitions module)
(-> Text (Meta (List [Text Definition])))
- (# ..monad each
- (list.all (function (_ [name global])
- (case global
- {.#Alias de_aliased}
- {.#None}
-
- {.#Definition definition}
- {.#Some [name definition]}
+ (at ..monad each
+ (list.all (function (_ [name global])
+ (case global
+ {.#Alias de_aliased}
+ {.#None}
+
+ {.#Definition definition}
+ {.#Some [name definition]}
- {.#Type [exported? type labels]}
- {.#Some [name [exported? .Type type]]}
+ {.#Type [exported? type labels]}
+ {.#Some [name [exported? .Type type]]}
- {.#Tag _}
- {.#None}
+ {.#Tag _}
+ {.#None}
- {.#Slot _}
- {.#None})))
- (..globals module)))
+ {.#Slot _}
+ {.#None})))
+ (..globals module)))
(def: .public (exports module_name)
(-> Text (Meta (List [Text Definition])))
@@ -546,9 +546,9 @@
(def: .public (imported? import)
(-> Text (Meta Bit))
- (# ..functor each
- (|>> (the .#imports) (list.any? (text#= import)))
- ..current_module))
+ (at ..functor each
+ (|>> (the .#imports) (list.any? (text#= import)))
+ ..current_module))
(template [<name> <tag> <description>]
[(def: .public (<name> label_name)
@@ -644,7 +644,7 @@
(All (_ a) (-> (Try a) (Meta a)))
(case result
{try.#Success output}
- (# ..monad in output)
+ (at ..monad in output)
{try.#Failure error}
(..failure error)))
@@ -652,8 +652,8 @@
(def: .public (eval type code)
(-> Type Code (Meta Any))
(do [! ..monad]
- [eval (# ! each (the .#eval)
- ..compiler_state)]
+ [eval (at ! each (the .#eval)
+ ..compiler_state)]
(eval type code)))
(def: .public (try computation)