aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/ffi.old.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/ffi.old.lux')
-rw-r--r--stdlib/source/library/lux/ffi.old.lux256
1 files changed, 128 insertions, 128 deletions
diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux
index 1758cb5bc..e79861b38 100644
--- a/stdlib/source/library/lux/ffi.old.lux
+++ b/stdlib/source/library/lux/ffi.old.lux
@@ -458,7 +458,7 @@
(do <>.monad
[.let [dotted_name (format "::" field_name)]
[_ _ value] (.is (Parser [Any Any Code])
- (<code>.form ($_ <>.and (<code>.this (' :=)) (<code>.this (code.symbol ["" dotted_name])) <code>.any)))]
+ (<code>.form (all <>.and (<code>.this (' :=)) (<code>.this (code.symbol ["" dotted_name])) <code>.any)))]
(in (`' ((~ (code.text (format "jvm putfield" ":" class_name ":" field_name))) _jvm_this (~ value))))))
(def: (pre_walk_replace f input)
@@ -554,19 +554,19 @@
(def: privacy_modifier^
(Parser Privacy)
(let [(open "[0]") <>.monad]
- ($_ <>.or
- (<code>.this (' "public"))
- (<code>.this (' "private"))
- (<code>.this (' "protected"))
- (in []))))
+ (all <>.or
+ (<code>.this (' "public"))
+ (<code>.this (' "private"))
+ (<code>.this (' "protected"))
+ (in []))))
(def: inheritance_modifier^
(Parser Inheritance)
(let [(open "[0]") <>.monad]
- ($_ <>.or
- (<code>.this (' "final"))
- (<code>.this (' "abstract"))
- (in []))))
+ (all <>.or
+ (<code>.this (' "final"))
+ (<code>.this (' "abstract"))
+ (in []))))
(def: bound_kind^
(Parser BoundKind)
@@ -582,46 +582,46 @@
(-> (List Type_Parameter) (Parser GenericType))
(<>.rec
(function (_ again^)
- ($_ <>.either
- (do <>.monad
- [_ (<code>.this (' ?))]
- (in {#GenericWildcard {.#None}}))
- (<code>.tuple (do <>.monad
- [_ (<code>.this (' ?))
- bound_kind bound_kind^
- bound again^]
- (in {#GenericWildcard {.#Some [bound_kind bound]}})))
- (do <>.monad
- [name <code>.local
- _ (no_periods_assertion name)]
- (if (list.member? text.equivalence (list#each product.left type_vars) name)
- (in {#GenericTypeVar name})
- (in {#GenericClass name (list)})))
- (<code>.tuple (do <>.monad
- [component again^]
- (case component
- (^.template [<class> <name>]
- [{#GenericClass <name> {.#End}}
- (in {#GenericClass <class> (list)})])
- (["[Z" "boolean"]
- ["[B" "byte"]
- ["[S" "short"]
- ["[I" "int"]
- ["[J" "long"]
- ["[F" "float"]
- ["[D" "double"]
- ["[C" "char"])
-
- _
- (in {#GenericArray component}))))
- (<code>.form (do <>.monad
- [name <code>.local
- _ (no_periods_assertion name)
- params (<>.some again^)
- _ (<>.assertion (format name " cannot be a type-parameter!")
- (not (list.member? text.equivalence (list#each product.left type_vars) name)))]
- (in {#GenericClass name params})))
- ))))
+ (all <>.either
+ (do <>.monad
+ [_ (<code>.this (' ?))]
+ (in {#GenericWildcard {.#None}}))
+ (<code>.tuple (do <>.monad
+ [_ (<code>.this (' ?))
+ bound_kind bound_kind^
+ bound again^]
+ (in {#GenericWildcard {.#Some [bound_kind bound]}})))
+ (do <>.monad
+ [name <code>.local
+ _ (no_periods_assertion name)]
+ (if (list.member? text.equivalence (list#each product.left type_vars) name)
+ (in {#GenericTypeVar name})
+ (in {#GenericClass name (list)})))
+ (<code>.tuple (do <>.monad
+ [component again^]
+ (case component
+ (^.template [<class> <name>]
+ [{#GenericClass <name> {.#End}}
+ (in {#GenericClass <class> (list)})])
+ (["[Z" "boolean"]
+ ["[B" "byte"]
+ ["[S" "short"]
+ ["[I" "int"]
+ ["[J" "long"]
+ ["[F" "float"]
+ ["[D" "double"]
+ ["[C" "char"])
+
+ _
+ (in {#GenericArray component}))))
+ (<code>.form (do <>.monad
+ [name <code>.local
+ _ (no_periods_assertion name)
+ params (<>.some again^)
+ _ (<>.assertion (format name " cannot be a type-parameter!")
+ (not (list.member? text.equivalence (list#each product.left type_vars) name)))]
+ (in {#GenericClass name params})))
+ ))))
(def: type_param^
(Parser Type_Parameter)
@@ -718,10 +718,10 @@
(def: state_modifier^
(Parser State)
- ($_ <>.or
- (<code>.this (' "volatile"))
- (<code>.this (' "final"))
- (# <>.monad in [])))
+ (all <>.or
+ (<code>.this (' "volatile"))
+ (<code>.this (' "final"))
+ (# <>.monad in [])))
(def: (field_decl^ type_vars)
(-> (List Type_Parameter) (Parser [Member_Declaration FieldDecl]))
@@ -783,10 +783,10 @@
final? (<>.parses? (<code>.this (' "final")))
method_vars ..type_params^
.let [total_vars (list#composite class_vars method_vars)]
- [name this_name arg_decls] (<code>.form ($_ <>.and
- <code>.local
- <code>.local
- (..arg_decls^ total_vars)))
+ [name this_name arg_decls] (<code>.form (all <>.and
+ <code>.local
+ <code>.local
+ (..arg_decls^ total_vars)))
return_type (..generic_type^ total_vars)
exs (..throws_decl^ total_vars)
annotations ..annotations^
@@ -806,10 +806,10 @@
owner_class ..class_decl^
method_vars ..type_params^
.let [total_vars (list#composite (product.right owner_class) method_vars)]
- [name this_name arg_decls] (<code>.form ($_ <>.and
- <code>.local
- <code>.local
- (..arg_decls^ total_vars)))
+ [name this_name arg_decls] (<code>.form (all <>.and
+ <code>.local
+ <code>.local
+ (..arg_decls^ total_vars)))
return_type (..generic_type^ total_vars)
exs (..throws_decl^ total_vars)
annotations ..annotations^
@@ -877,13 +877,13 @@
(def: (method_def^ class_vars)
(-> (List Type_Parameter) (Parser [Member_Declaration Method_Definition]))
- ($_ <>.either
- (..constructor_method^ class_vars)
- (..virtual_method_def^ class_vars)
- ..overriden_method_def^
- ..static_method_def^
- ..abstract_method_def^
- ..native_method_def^))
+ (all <>.either
+ (..constructor_method^ class_vars)
+ (..virtual_method_def^ class_vars)
+ ..overriden_method_def^
+ ..static_method_def^
+ ..abstract_method_def^
+ ..native_method_def^))
(def: partial_call^
(Parser Partial_Call)
@@ -901,7 +901,7 @@
(def: import_member_return_flags^
(Parser [Bit Bit Bit])
- ($_ <>.and (<>.parses? (<code>.this (' "io"))) (<>.parses? (<code>.this (' "try"))) (<>.parses? (<code>.this (' "?")))))
+ (all <>.and (<>.parses? (<code>.this (' "io"))) (<>.parses? (<code>.this (' "try"))) (<>.parses? (<code>.this (' "?")))))
(def: primitive_mode^
(Parser Primitive_Mode)
@@ -910,64 +910,64 @@
(def: (import_member_decl^ owner_vars)
(-> (List Type_Parameter) (Parser Import_Member_Declaration))
- ($_ <>.either
- (<code>.form (do <>.monad
- [_ (<code>.this (' "enum"))
- enum_members (<>.some <code>.local)]
- (in {#EnumDecl enum_members})))
- (<code>.form (do <>.monad
- [tvars ..type_params^
- _ (<code>.this (' new))
- ?alias import_member_alias^
- .let [total_vars (list#composite owner_vars tvars)]
- ?prim_mode (<>.maybe primitive_mode^)
- args (..import_member_args^ total_vars)
- [io? try? maybe?] import_member_return_flags^]
- (in {#ConstructorDecl [[#import_member_mode (maybe.else {#AutoPrM} ?prim_mode)
- #import_member_alias (maybe.else "new" ?alias)
- #import_member_kind {#VirtualIMK}
- #import_member_tvars tvars
- #import_member_args args
- #import_member_maybe? maybe?
- #import_member_try? try?
- #import_member_io? io?]
- []]})))
- (<code>.form (do <>.monad
- [kind (.is (Parser ImportMethodKind)
- (<>.or (<code>.this (' "static"))
- (in [])))
- tvars ..type_params^
- name <code>.local
- ?alias import_member_alias^
- .let [total_vars (list#composite owner_vars tvars)]
- ?prim_mode (<>.maybe primitive_mode^)
- args (..import_member_args^ total_vars)
- [io? try? maybe?] import_member_return_flags^
- return (..generic_type^ total_vars)]
- (in {#MethodDecl [[#import_member_mode (maybe.else {#AutoPrM} ?prim_mode)
- #import_member_alias (maybe.else name ?alias)
- #import_member_kind kind
- #import_member_tvars tvars
- #import_member_args args
- #import_member_maybe? maybe?
- #import_member_try? try?
- #import_member_io? io?]
- [#import_method_name name
- #import_method_return return]]})))
- (<code>.form (do <>.monad
- [static? (<>.parses? (<code>.this (' "static")))
- name <code>.local
- ?prim_mode (<>.maybe primitive_mode^)
- gtype (..generic_type^ owner_vars)
- maybe? (<>.parses? (<code>.this (' "?")))
- setter? (<>.parses? (<code>.this (' "!")))]
- (in {#FieldAccessDecl [#import_field_mode (maybe.else {#AutoPrM} ?prim_mode)
- #import_field_name name
- #import_field_static? static?
- #import_field_maybe? maybe?
- #import_field_setter? setter?
- #import_field_type gtype]})))
- ))
+ (all <>.either
+ (<code>.form (do <>.monad
+ [_ (<code>.this (' "enum"))
+ enum_members (<>.some <code>.local)]
+ (in {#EnumDecl enum_members})))
+ (<code>.form (do <>.monad
+ [tvars ..type_params^
+ _ (<code>.this (' new))
+ ?alias import_member_alias^
+ .let [total_vars (list#composite owner_vars tvars)]
+ ?prim_mode (<>.maybe primitive_mode^)
+ args (..import_member_args^ total_vars)
+ [io? try? maybe?] import_member_return_flags^]
+ (in {#ConstructorDecl [[#import_member_mode (maybe.else {#AutoPrM} ?prim_mode)
+ #import_member_alias (maybe.else "new" ?alias)
+ #import_member_kind {#VirtualIMK}
+ #import_member_tvars tvars
+ #import_member_args args
+ #import_member_maybe? maybe?
+ #import_member_try? try?
+ #import_member_io? io?]
+ []]})))
+ (<code>.form (do <>.monad
+ [kind (.is (Parser ImportMethodKind)
+ (<>.or (<code>.this (' "static"))
+ (in [])))
+ tvars ..type_params^
+ name <code>.local
+ ?alias import_member_alias^
+ .let [total_vars (list#composite owner_vars tvars)]
+ ?prim_mode (<>.maybe primitive_mode^)
+ args (..import_member_args^ total_vars)
+ [io? try? maybe?] import_member_return_flags^
+ return (..generic_type^ total_vars)]
+ (in {#MethodDecl [[#import_member_mode (maybe.else {#AutoPrM} ?prim_mode)
+ #import_member_alias (maybe.else name ?alias)
+ #import_member_kind kind
+ #import_member_tvars tvars
+ #import_member_args args
+ #import_member_maybe? maybe?
+ #import_member_try? try?
+ #import_member_io? io?]
+ [#import_method_name name
+ #import_method_return return]]})))
+ (<code>.form (do <>.monad
+ [static? (<>.parses? (<code>.this (' "static")))
+ name <code>.local
+ ?prim_mode (<>.maybe primitive_mode^)
+ gtype (..generic_type^ owner_vars)
+ maybe? (<>.parses? (<code>.this (' "?")))
+ setter? (<>.parses? (<code>.this (' "!")))]
+ (in {#FieldAccessDecl [#import_field_mode (maybe.else {#AutoPrM} ?prim_mode)
+ #import_field_name name
+ #import_field_static? static?
+ #import_field_maybe? maybe?
+ #import_field_setter? setter?
+ #import_field_type gtype]})))
+ ))
... Generators
(def: with_parens
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 04:01:42 +0000