diff options
Diffstat (limited to 'stdlib/source/library/lux/meta.lux')
-rw-r--r-- | stdlib/source/library/lux/meta.lux | 52 |
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) |