aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target/jvm/type/reflection.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/target/jvm/type/reflection.lux140
1 files changed, 70 insertions, 70 deletions
diff --git a/stdlib/source/library/lux/target/jvm/type/reflection.lux b/stdlib/source/library/lux/target/jvm/type/reflection.lux
index ce31cbbcc..a3a101f12 100644
--- a/stdlib/source/library/lux/target/jvm/type/reflection.lux
+++ b/stdlib/source/library/lux/target/jvm/type/reflection.lux
@@ -18,87 +18,87 @@
(abstract: .public (Reflection category)
Text
- [(def: .public reflection
- (-> (Reflection Any) Text)
- (|>> :representation))
+ (def: .public reflection
+ (-> (Reflection Any) Text)
+ (|>> :representation))
- (implementation: .public equivalence
- (All (_ category) (Equivalence (Reflection category)))
-
- (def: (= parameter subject)
- (text\= (:representation parameter) (:representation subject))))
+ (implementation: .public equivalence
+ (All (_ category) (Equivalence (Reflection category)))
+
+ (def: (= parameter subject)
+ (text\= (:representation parameter) (:representation subject))))
- (template [<category> <name> <reflection>]
- [(def: .public <name>
- (Reflection <category>)
- (:abstraction <reflection>))]
+ (template [<category> <name> <reflection>]
+ [(def: .public <name>
+ (Reflection <category>)
+ (:abstraction <reflection>))]
- [Void void "void"]
- [Primitive boolean "boolean"]
- [Primitive byte "byte"]
- [Primitive short "short"]
- [Primitive int "int"]
- [Primitive long "long"]
- [Primitive float "float"]
- [Primitive double "double"]
- [Primitive char "char"]
- )
+ [Void void "void"]
+ [Primitive boolean "boolean"]
+ [Primitive byte "byte"]
+ [Primitive short "short"]
+ [Primitive int "int"]
+ [Primitive long "long"]
+ [Primitive float "float"]
+ [Primitive double "double"]
+ [Primitive char "char"]
+ )
- (def: .public class
- (-> External (Reflection Class))
- (|>> :abstraction))
+ (def: .public class
+ (-> External (Reflection Class))
+ (|>> :abstraction))
- (def: .public (declaration name)
- (-> External (Reflection Declaration))
- (:transmutation (..class name)))
+ (def: .public (declaration name)
+ (-> External (Reflection Declaration))
+ (:transmutation (..class name)))
- (def: .public as_class
- (-> (Reflection Declaration) (Reflection Class))
- (|>> :transmutation))
+ (def: .public as_class
+ (-> (Reflection Declaration) (Reflection Class))
+ (|>> :transmutation))
- (def: .public (array element)
- (-> (Reflection Value) (Reflection Array))
- (let [element' (:representation element)
- elementR (`` (cond (text.starts_with? //descriptor.array_prefix element')
- element'
-
- (~~ (template [<primitive> <descriptor>]
- [(\ ..equivalence = <primitive> element)
- (//descriptor.descriptor <descriptor>)]
+ (def: .public (array element)
+ (-> (Reflection Value) (Reflection Array))
+ (let [element' (:representation element)
+ elementR (`` (cond (text.starts_with? //descriptor.array_prefix element')
+ element'
+
+ (~~ (template [<primitive> <descriptor>]
+ [(\ ..equivalence = <primitive> element)
+ (//descriptor.descriptor <descriptor>)]
- [..boolean //descriptor.boolean]
- [..byte //descriptor.byte]
- [..short //descriptor.short]
- [..int //descriptor.int]
- [..long //descriptor.long]
- [..float //descriptor.float]
- [..double //descriptor.double]
- [..char //descriptor.char]))
+ [..boolean //descriptor.boolean]
+ [..byte //descriptor.byte]
+ [..short //descriptor.short]
+ [..int //descriptor.int]
+ [..long //descriptor.long]
+ [..float //descriptor.float]
+ [..double //descriptor.double]
+ [..char //descriptor.char]))
- (|> element'
- //descriptor.class
- //descriptor.descriptor
- (text.replaced //name.internal_separator
- //name.external_separator))))]
- (|> elementR
- (format //descriptor.array_prefix)
- :abstraction)))
+ (|> element'
+ //descriptor.class
+ //descriptor.descriptor
+ (text.replaced //name.internal_separator
+ //name.external_separator))))]
+ (|> elementR
+ (format //descriptor.array_prefix)
+ :abstraction)))
- (template [<name> <category>]
- [(def: .public <name>
- (Reflection <category>)
- (:transmutation
- (..class "java.lang.Object")))]
+ (template [<name> <category>]
+ [(def: .public <name>
+ (Reflection <category>)
+ (:transmutation
+ (..class "java.lang.Object")))]
- [var Var]
- [wildcard Parameter]
- )
+ [var Var]
+ [wildcard Parameter]
+ )
- (def: .public (lower reflection)
- (-> (Reflection Class) (Reflection Parameter))
- ..wildcard)
+ (def: .public (lower reflection)
+ (-> (Reflection Class) (Reflection Parameter))
+ ..wildcard)
- (def: .public upper
- (-> (Reflection Class) (Reflection Parameter))
- (|>> :transmutation))]
+ (def: .public upper
+ (-> (Reflection Class) (Reflection Parameter))
+ (|>> :transmutation))
)