aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/ffi.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/ffi.jvm.lux60
1 files changed, 30 insertions, 30 deletions
diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux
index 52fdef075..d7f3c9544 100644
--- a/stdlib/source/library/lux/ffi.jvm.lux
+++ b/stdlib/source/library/lux/ffi.jvm.lux
@@ -1403,15 +1403,15 @@
(-> (List (Type Var)) Import_Member_Declaration (List (Type Var)))
(case member
(#ConstructorDecl [commons _])
- (list\compose class_tvars (get@ #import_member_tvars commons))
+ (list\compose class_tvars (value@ #import_member_tvars commons))
(#MethodDecl [commons _])
- (case (get@ #import_member_kind commons)
+ (case (value@ #import_member_kind commons)
#StaticIMK
- (get@ #import_member_tvars commons)
+ (value@ #import_member_tvars commons)
_
- (list\compose class_tvars (get@ #import_member_tvars commons)))
+ (list\compose class_tvars (value@ #import_member_tvars commons)))
_
class_tvars))
@@ -1431,7 +1431,7 @@
.let [input_jvm_types (list\map product.right import_member_args)
arg_types (list\map (: (-> [Bit (Type Value)] Code)
(function (_ [maybe? arg])
- (let [arg_type (value_type (get@ #import_member_mode commons) arg)]
+ (let [arg_type (value_type (value@ #import_member_mode commons) arg)]
(if maybe?
(` (Maybe (~ arg_type)))
arg_type))))
@@ -1449,7 +1449,7 @@
(dictionary.key? ..boxes unboxed))
return_term
- (get@ #import_member_maybe? commons)
+ (value@ #import_member_maybe? commons)
(` (??? (~ return_term)))
... else
@@ -1468,7 +1468,7 @@
(-> Import_Member_Declaration Code Code)
(case member
(^or (#ConstructorDecl [commons _]) (#MethodDecl [commons _]))
- (if (get@ <tag> commons)
+ (if (value@ <tag> commons)
<term_trans>
return_term)
@@ -1599,16 +1599,16 @@
(#ConstructorDecl [commons _])
(do meta.monad
[.let [classT (type.class full_name (list))
- def_name (code.identifier ["" (..import_name import_format method_prefix (get@ #import_member_alias commons))])
+ def_name (code.identifier ["" (..import_name import_format method_prefix (value@ #import_member_alias commons))])
jvm_interop (|> [classT
(` ("jvm member invoke constructor"
[(~+ (list\map ..var$ class_tvars))]
(~ (code.text full_name))
- [(~+ (list\map ..var$ (get@ #import_member_tvars commons)))]
- (~+ (|> (jvm_invoke_inputs (get@ #import_member_mode commons) input_jvm_types arg_function_inputs)
+ [(~+ (list\map ..var$ (value@ #import_member_tvars commons)))]
+ (~+ (|> (jvm_invoke_inputs (value@ #import_member_mode commons) input_jvm_types arg_function_inputs)
(list.zipped/2 input_jvm_types)
(list\map ..decorate_input)))))]
- (with_automatic_output_conversion (get@ #import_member_mode commons))
+ (with_automatic_output_conversion (value@ #import_member_mode commons))
(with_return_maybe member true classT)
(with_return_try member)
(with_return_io member))]]
@@ -1618,7 +1618,7 @@
(#MethodDecl [commons method])
(with_identifiers [g!obj]
(do meta.monad
- [.let [def_name (code.identifier ["" (..import_name import_format method_prefix (get@ #import_member_alias commons))])
+ [.let [def_name (code.identifier ["" (..import_name import_format method_prefix (value@ #import_member_alias commons))])
(^slots [#import_member_kind]) commons
(^slots [#import_method_name]) method
[jvm_op object_ast] (: [Text (List Code)]
@@ -1637,18 +1637,18 @@
["jvm member invoke interface"
(list g!obj)]
)))
- method_return (get@ #import_method_return method)
+ method_return (value@ #import_method_return method)
callC (: Code
(` ((~ (code.text jvm_op))
[(~+ (list\map ..var$ class_tvars))]
(~ (code.text full_name))
(~ (code.text import_method_name))
- [(~+ (list\map ..var$ (get@ #import_member_tvars commons)))]
+ [(~+ (list\map ..var$ (value@ #import_member_tvars commons)))]
(~+ (|> object_ast
(list\map ..un_quoted)
(list.zipped/2 (list (type.class full_name (list))))
- (list\map (with_automatic_input_conversion (get@ #import_member_mode commons)))))
- (~+ (|> (jvm_invoke_inputs (get@ #import_member_mode commons) input_jvm_types arg_function_inputs)
+ (list\map (with_automatic_input_conversion (value@ #import_member_mode commons)))))
+ (~+ (|> (jvm_invoke_inputs (value@ #import_member_mode commons) input_jvm_types arg_function_inputs)
(list.zipped/2 input_jvm_types)
(list\map ..decorate_input))))))
jvm_interop (: Code
@@ -1656,7 +1656,7 @@
(#.Left method_return)
(|> [method_return
callC]
- (with_automatic_output_conversion (get@ #import_member_mode commons))
+ (with_automatic_output_conversion (value@ #import_member_mode commons))
(with_return_maybe member false method_return)
(with_return_try member)
(with_return_io member))
@@ -1809,7 +1809,7 @@
=members (|> bundles
(list\map (function (_ [import_format members])
(list\map (|>> [import_format]) members)))
- list.joined
+ list.together
(monad.map ! (member_import$ class_type_vars kind declaration)))]
(in (list& (class_import$ declaration) (list\join =members)))))
@@ -1933,9 +1933,9 @@
_
<failure>))))
-(syntax: .public (array_length [array <code>.any])
+(syntax: .public (length [array <code>.any])
{#.doc (example "Gives the length of an array."
- (array_length my_array))}
+ (length my_array))}
(case array
[_ (#.Identifier array_name)]
(do meta.monad
@@ -1967,12 +1967,12 @@
_
(with_identifiers [g!array]
(in (list (` (let [(~ g!array) (~ array)]
- (..array_length (~ g!array)))))))))
+ (..length (~ g!array)))))))))
-(syntax: .public (array_read [idx <code>.any
- array <code>.any])
+(syntax: .public (read! [idx <code>.any
+ array <code>.any])
{#.doc (example "Loads an element from an array."
- (array_read 10 my_array))}
+ (read! 10 my_array))}
(case array
[_ (#.Identifier array_name)]
(do meta.monad
@@ -2006,13 +2006,13 @@
_
(with_identifiers [g!array]
(in (list (` (let [(~ g!array) (~ array)]
- (..array_read (~ idx) (~ g!array)))))))))
+ (..read! (~ idx) (~ g!array)))))))))
-(syntax: .public (array_write [idx <code>.any
- value <code>.any
- array <code>.any])
+(syntax: .public (write! [idx <code>.any
+ value <code>.any
+ array <code>.any])
{#.doc (example "Stores an element into an array."
- (array_write 10 my_object my_array))}
+ (write! 10 my_object my_array))}
(case array
[_ (#.Identifier array_name)]
(do meta.monad
@@ -2047,7 +2047,7 @@
_
(with_identifiers [g!array]
(in (list (` (let [(~ g!array) (~ array)]
- (..array_write (~ idx) (~ value) (~ g!array)))))))))
+ (..write! (~ idx) (~ value) (~ g!array)))))))))
(syntax: .public (class_for [type (..type^ (list))])
{#.doc (example "Loads the class as a java.lang.Class object."
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-27 22:28:47 +0000