diff options
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/reflection.lux')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/reflection.lux | 68 |
1 files changed, 34 insertions, 34 deletions
diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux index 59a3d72d6..6c4467ae7 100644 --- a/stdlib/source/library/lux/target/jvm/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/reflection.lux @@ -128,10 +128,10 @@ (def: .public (load class_loader name) (-> java/lang/ClassLoader External (Try (java/lang/Class java/lang/Object))) (case (java/lang/Class::forName name false class_loader) - {#try.Success class} - {#try.Success class} + {try.#Success class} + {try.#Success class} - {#try.Failure _} + {try.#Failure _} (exception.except ..unknown_class [name]))) (def: .public (sub? class_loader super sub) @@ -146,7 +146,7 @@ java/lang/reflect/Type (Try (/.Type Class))) (<| (case (ffi.check java/lang/Class reflection) - {#.Some class} + {.#Some class} (let [class_name (|> class (:as (java/lang/Class java/lang/Object)) java/lang/Class::getName)] @@ -164,17 +164,17 @@ [/reflection.char])) (text.starts_with? /descriptor.array_prefix class_name)) (exception.except ..not_a_class reflection) - {#try.Success (/.class class_name (list))}))) + {try.#Success (/.class class_name (list))}))) _) (case (ffi.check java/lang/reflect/ParameterizedType reflection) - {#.Some reflection} + {.#Some reflection} (let [raw (java/lang/reflect/ParameterizedType::getRawType reflection)] (case (ffi.check java/lang/Class raw) - {#.Some raw} + {.#Some raw} (do [! try.monad] [paramsT (|> reflection java/lang/reflect/ParameterizedType::getActualTypeArguments - (array.list #.None) + (array.list {.#None}) (monad.each ! parameter))] (in (/.class (|> raw (:as (java/lang/Class java/lang/Object)) @@ -190,11 +190,11 @@ (def: .public (parameter reflection) (-> java/lang/reflect/Type (Try (/.Type Parameter))) (<| (case (ffi.check java/lang/reflect/TypeVariable reflection) - {#.Some reflection} - {#try.Success (/.var (java/lang/reflect/TypeVariable::getName reflection))} + {.#Some reflection} + {try.#Success (/.var (java/lang/reflect/TypeVariable::getName reflection))} _) (case (ffi.check java/lang/reflect/WildcardType reflection) - {#.Some reflection} + {.#Some reflection} ... TODO: Instead of having single lower/upper bounds, should ... allow for multiple ones. (case [(array.read! 0 (java/lang/reflect/WildcardType::getLowerBounds reflection)) @@ -202,18 +202,18 @@ (^template [<pattern> <kind>] [<pattern> (case (ffi.check java/lang/reflect/GenericArrayType bound) - {#.Some _} + {.#Some _} ... TODO: Array bounds should not be "erased" as they ... are right now. - {#try.Success /.wildcard} + {try.#Success /.wildcard} _ (\ try.monad each <kind> (..class' parameter bound)))]) - ([[_ {#.Some bound}] /.upper] - [[{#.Some bound} _] /.lower]) + ([[_ {.#Some bound}] /.upper] + [[{.#Some bound} _] /.lower]) _ - {#try.Success /.wildcard}) + {try.#Success /.wildcard}) _) (..class' parameter reflection))) @@ -225,14 +225,14 @@ (def: .public (type reflection) (-> java/lang/reflect/Type (Try (/.Type Value))) (<| (case (ffi.check java/lang/Class reflection) - {#.Some reflection} + {.#Some reflection} (let [class_name (|> reflection (:as (java/lang/Class java/lang/Object)) java/lang/Class::getName)] (`` (cond (~~ (template [<reflection> <type>] [(text\= (/reflection.reflection <reflection>) class_name) - {#try.Success <type>}] + {try.#Success <type>}] [/reflection.boolean /.boolean] [/reflection.byte /.byte] @@ -244,10 +244,10 @@ [/reflection.char /.char])) (if (text.starts_with? /descriptor.array_prefix class_name) (<t>.result /parser.value (|> class_name //name.internal //name.read)) - {#try.Success (/.class class_name (list))})))) + {try.#Success (/.class class_name (list))})))) _) (case (ffi.check java/lang/reflect/GenericArrayType reflection) - {#.Some reflection} + {.#Some reflection} (|> reflection java/lang/reflect/GenericArrayType::getGenericComponentType type @@ -260,16 +260,16 @@ (-> java/lang/reflect/Type (Try (/.Type Return))) (with_expansions [<else> (as_is (..type reflection))] (case (ffi.check java/lang/Class reflection) - {#.Some class} + {.#Some class} (let [class_name (|> reflection (:as (java/lang/Class java/lang/Object)) java/lang/Class::getName)] (if (text\= (/reflection.reflection /reflection.void) class_name) - {#try.Success /.void} + {try.#Success /.void} <else>)) - #.None + {.#None} <else>))) (exception: .public (cannot_correspond [class (java/lang/Class java/lang/Object) @@ -295,9 +295,9 @@ (def: .public (correspond class type) (-> (java/lang/Class java/lang/Object) Type (Try Mapping)) (case type - {#.Primitive name params} + {.#Primitive name params} (let [class_name (java/lang/Class::getName class) - class_params (array.list #.None (java/lang/Class::getTypeParameters class)) + class_params (array.list {.#None} (java/lang/Class::getTypeParameters class)) num_class_params (list.size class_params) num_type_params (list.size params)] (if (text\= class_name name) @@ -308,19 +308,19 @@ (list\mix (function (_ [name paramT] mapping) (dictionary.has name paramT mapping)) /lux.fresh) - #try.Success) + {try.#Success}) (exception.except ..type_parameter_mismatch [num_class_params num_type_params class type])) (exception.except ..cannot_correspond [class type]))) - {#.Named name anonymousT} + {.#Named name anonymousT} (correspond class anonymousT) - {#.Apply inputT abstractionT} + {.#Apply inputT abstractionT} (case (type.applied (list inputT) abstractionT) - {#.Some outputT} + {.#Some outputT} (correspond class outputT) - #.None + {.#None} (exception.except ..non_jvm_type [type])) _ @@ -349,18 +349,18 @@ (def: .public (field field target) (-> Text (java/lang/Class java/lang/Object) (Try java/lang/reflect/Field)) (case (java/lang/Class::getDeclaredField field target) - {#try.Success field} + {try.#Success field} (let [owner (java/lang/reflect/Field::getDeclaringClass field)] (if (same? owner target) - {#try.Success field} + {try.#Success field} (exception.except ..mistaken_field_owner [field owner target]))) - {#try.Failure _} + {try.#Failure _} (exception.except ..unknown_field [field target]))) (def: .public deprecated? (-> (array.Array java/lang/annotation/Annotation) Bit) - (|>> (array.list #.None) + (|>> (array.list {.#None}) (list.all (|>> (ffi.check java/lang/Deprecated))) list.empty? not)) |