diff options
Diffstat (limited to 'lux-php/source/program.lux')
| -rw-r--r-- | lux-php/source/program.lux | 54 |
1 files changed, 27 insertions, 27 deletions
diff --git a/lux-php/source/program.lux b/lux-php/source/program.lux index 1e117c033..a1c6db4b7 100644 --- a/lux-php/source/program.lux +++ b/lux-php/source/program.lux @@ -185,7 +185,7 @@ "Class" (java/lang/Object::toString (java/lang/Object::getClass object)) "Object" (java/lang/Object::toString object))) -(def: (value_wrapper lux_structure value) +(def (value_wrapper lux_structure value) (-> (-> (Array java/lang/Object) php/runtime/Memory) java/lang/Object php/runtime/Memory) (<| (if (ffi.null? value) (php/runtime/memory/NullMemory::INSTANCE)) @@ -224,10 +224,10 @@ (undefined) )) -(def: unit +(def unit (php/runtime/memory/StringMemory::new "")) -(def: (lux_structure value) +(def (lux_structure value) (-> (Array java/lang/Object) php/runtime/Memory) (`` (ffi.object [] php/runtime/Memory [program/StructureValue] @@ -307,7 +307,7 @@ (undefined))) ))) -(def: (read_tuple read host_object) +(def (read_tuple read host_object) (-> Reader php/runtime/memory/ArrayMemory (Try Any)) (let [size (|> host_object php/runtime/memory/ArrayMemory::size @@ -334,16 +334,16 @@ error))) {try.#Success output})))) -(def: variant_tag_field +(def variant_tag_field (php/runtime/memory/StringMemory::new runtime.variant_tag_field)) -(def: variant_value_field +(def variant_value_field (php/runtime/memory/StringMemory::new runtime.variant_value_field)) -(def: variant_flag_field +(def variant_flag_field (php/runtime/memory/StringMemory::new runtime.variant_flag_field)) -(def: (read_variant read host_object) +(def (read_variant read host_object) (-> Reader php/runtime/memory/ArrayMemory (Try Any)) (case [(|> host_object (php/runtime/memory/ArrayMemory::get ..variant_tag_field) @@ -374,10 +374,10 @@ (exception: .public nulll_has_no_lux_representation) -(def: tuple_size_field +(def tuple_size_field (php/runtime/memory/StringMemory::new runtime.tuple_size_field)) -(def: (read host_object) +(def (read host_object) Reader (`` (<| (~~ (with_template [<class> <constant>] [(case (ffi.as <class> host_object) @@ -428,16 +428,16 @@ "[1]::[0]" (new [])) -(def: (ensure_macro macro) +(def (ensure_macro macro) (-> Macro (Maybe php/runtime/memory/ObjectMemory)) (|> macro (as java/lang/Object) (ffi.as php/runtime/memory/ObjectMemory))) -(def: interpreter +(def interpreter (org/develnext/jphp/scripting/JPHPScriptEngine::new)) -(def: default_environment +(def default_environment php/runtime/env/Environment (|> ..interpreter java/lang/Object::getClass @@ -446,7 +446,7 @@ (java/lang/reflect/Field::get ..interpreter) (as php/runtime/env/Environment))) -(def: (call_macro inputs lux macro) +(def (call_macro inputs lux macro) (-> (List Code) Lux php/runtime/memory/ObjectMemory (Try (Try [Lux (List Code)]))) (<| as_expected (do try.monad @@ -459,7 +459,7 @@ (php/runtime/memory/ObjectMemory::value macro)))] (..read (as java/lang/Object output))))) -(def: (expander macro inputs lux) +(def (expander macro inputs lux) Expander (case (ensure_macro macro) {.#Some macro} @@ -468,7 +468,7 @@ {.#None} (exception.throw ..cannot_apply_a_non_function (as java/lang/Object macro)))) -(def: host +(def host (IO (Host _.Expression _.Statement)) (io (let [run! (is (-> (_.Code Any) (Try Any)) (function (_ code) @@ -477,12 +477,12 @@ (..read output))))] (is (Host _.Expression _.Statement) (structure - (def: (evaluate! context code) + (def (evaluate! context code) (run! (_.return code))) - (def: execute! run!) + (def execute! run!) - (def: (define! context input) + (def (define! context input) (let [global (reference.artifact context) @global (_.global global)] (do try.monad @@ -491,18 +491,18 @@ value (run! (_.return @global))] (wrap [global value definition])))) - (def: (ingest context content) + (def (ingest context content) (|> content (at utf8.codec decoded) try.trusted (as _.Statement))) - (def: (re_learn context content) + (def (re_learn context content) (run! content)) - (def: (re_load context content) + (def (re_load context content) (do try.monad [_ (run! content)] (run! (_.return (_.var (reference.artifact context))))))))))) -(def: platform +(def platform (IO (Platform [Nat _.Label] _.Expression _.Statement)) (do io.monad [host ..host] @@ -512,14 +512,14 @@ platform.#runtime runtime.generate platform.#write (|>> _.code (at utf8.codec encoded))]))) -(def: (program context program) +(def (program context program) (Program _.Expression _.Statement) (_.; (_.apply/2 program [(runtime.lux//program_args _.command_line_arguments) _.null]))) (for @.old - (def: extender + (def extender Extender ... TODO: Stop relying on coercions ASAP. (<| (as Extender) @@ -550,11 +550,11 @@ (..read output)))) @.php - (def: (extender handler) + (def (extender handler) Extender (as_expected handler))) -(def: (declare_success! _) +(def (declare_success! _) (-> Any (Promise Any)) (promise.future (at world/program.default exit +0))) |