From ef437d6584d8fd863c0dab276e5a3d4dc094767b Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 29 Aug 2021 21:59:48 -0400 Subject: De-taggification | part 0 --- stdlib/source/documentation/lux/ffi.jvm.lux | 20 ++++++++++---------- stdlib/source/documentation/lux/ffi.old.lux | 20 ++++++++++---------- stdlib/source/documentation/lux/ffi.rb.lux | 20 ++++++++++---------- stdlib/source/documentation/lux/math/infix.lux | 1 - 4 files changed, 30 insertions(+), 31 deletions(-) (limited to 'stdlib/source/documentation') diff --git a/stdlib/source/documentation/lux/ffi.jvm.lux b/stdlib/source/documentation/lux/ffi.jvm.lux index a781e10ff..c6d2a97ae 100644 --- a/stdlib/source/documentation/lux/ffi.jvm.lux +++ b/stdlib/source/documentation/lux/ffi.jvm.lux @@ -97,7 +97,7 @@ [])) (#public (virtual) java/lang/Object "") - (#public #static (static) java/lang/Object + (#public "static" (static) java/lang/Object "") (Runnable [] (run) void []) @@ -184,17 +184,17 @@ ["#::." (new []) (equals [java/lang/Object] boolean) - (wait [int] #io #try void)])] + (wait [int] "io" "try" void)])] ["Special options can also be given for the return values." - "#? means that the values will be returned inside a Maybe type. That way, null becomes #.None." - "#try means that the computation might throw an exception, and the return value will be wrapped by the Try type." - "#io means the computation has side effects, and will be wrapped by the IO type." - "These options must show up in the following order [#io #try #?] (although, each option can be used independently)." + "'?' means that the values will be returned inside a Maybe type. That way, null becomes #.None." + "'try' means that the computation might throw an exception, and the return value will be wrapped by the Try type." + "'io' means the computation has side effects, and will be wrapped by the IO type." + "These options must show up in the following order ['io' 'try' '?'] (although, each option can be used independently)." (import: java/lang/String ["#::." (new [[byte]]) - (#static valueOf [char] java/lang/String) - (#static valueOf #as int_valueOf [int] java/lang/String)]) + ("static" valueOf [char] java/lang/String) + ("static" valueOf #as int_valueOf [int] java/lang/String)]) (import: (java/util/List e) ["#::." @@ -209,7 +209,7 @@ "All enum options to be imported must be specified." (import: java/lang/Character$UnicodeScript ["#::." - (#enum ARABIC CYRILLIC LATIN)])] + ("enum" ARABIC CYRILLIC LATIN)])] ["It should also be noted, the only types that may show up in method arguments or return values may be Java classes, arrays, primitives, void or type-vars." "Lux types, such as Maybe cannot be named (otherwise, they'd be confused for Java classes)." (import: (lux/concurrency/async/JvmAsync A) @@ -218,7 +218,7 @@ (poll [] A) (wasResolved [] boolean) (waitOn [lux/Function] void) - (#static [A] make [A] (lux/concurrency/async/JvmAsync A))])] + ("static" [A] make [A] (lux/concurrency/async/JvmAsync A))])] ["Also, the names of the imported members will look like Class::member" (java/lang/Object::new []) (java/lang/Object::equals [other_object] my_object) diff --git a/stdlib/source/documentation/lux/ffi.old.lux b/stdlib/source/documentation/lux/ffi.old.lux index ac2dd546c..86e9a23b6 100644 --- a/stdlib/source/documentation/lux/ffi.old.lux +++ b/stdlib/source/documentation/lux/ffi.old.lux @@ -64,7 +64,7 @@ [])) (#public (virtual) java/lang/Object "") - (#public #static (static) java/lang/Object + (#public "static" (static) java/lang/Object "") (Runnable [] (run) void [])) @@ -148,17 +148,17 @@ ["#::." (new []) (equals [java/lang/Object] boolean) - (wait [int] #io #try void)])] + (wait [int] "io" "try" void)])] ["Special options can also be given for the return values." - "#? means that the values will be returned inside a Maybe type. That way, null becomes #.None." - "#try means that the computation might throw an exception, and the return value will be wrapped by the Try type." - "#io means the computation has side effects, and will be wrapped by the IO type." - "These options must show up in the following order [#io #try #?] (although, each option can be used independently)." + "'?' means that the values will be returned inside a Maybe type. That way, null becomes #.None." + "'try' means that the computation might throw an exception, and the return value will be wrapped by the Try type." + "'io' means the computation has side effects, and will be wrapped by the IO type." + "These options must show up in the following order ['io' 'try' '?'] (although, each option can be used independently)." (import: java/lang/String ["#::." (new [[byte]]) - (#static valueOf [char] java/lang/String) - (#static valueOf #as int_valueOf [int] java/lang/String)]) + ("static" valueOf [char] java/lang/String) + ("static" valueOf #as int_valueOf [int] java/lang/String)]) (import: (java/util/List e) ["#::." @@ -173,7 +173,7 @@ "All enum options to be imported must be specified." (import: java/lang/Character$UnicodeScript ["#::." - (#enum ARABIC CYRILLIC LATIN)])] + ("enum" ARABIC CYRILLIC LATIN)])] ["It should also be noted, the only types that may show up in method arguments or return values may be Java classes, arrays, primitives, void or type-parameters." "Lux types, such as Maybe cannot be named (otherwise, they'd be confused for Java classes)." (import: (lux/concurrency/async/JvmAsync A) @@ -182,7 +182,7 @@ (poll [] A) (wasResolved [] boolean) (waitOn [lux/Function] void) - (#static [A] make [A] (lux/concurrency/async/JvmAsync A))])] + ("static" [A] make [A] (lux/concurrency/async/JvmAsync A))])] ["Also, the names of the imported members will look like Class::member" (java/lang/Object::new []) (java/lang/Object::equals [other_object] my_object) diff --git a/stdlib/source/documentation/lux/ffi.rb.lux b/stdlib/source/documentation/lux/ffi.rb.lux index 7d265ec07..a257a7b26 100644 --- a/stdlib/source/documentation/lux/ffi.rb.lux +++ b/stdlib/source/documentation/lux/ffi.rb.lux @@ -19,17 +19,17 @@ (import: File #as RubyFile ["#::." - (#static SEPARATOR ..String) - (#static open [Path ..String] #io #try RubyFile) - (#static stat [Path] #io #try Stat) - (#static delete [Path] #io #try Int) - (#static file? [Path] #io #try Bit) - (#static directory? [Path] #io #try Bit) + ("static" SEPARATOR ..String) + ("static" open [Path ..String] "io" "try" RubyFile) + ("static" stat [Path] "io" "try" Stat) + ("static" delete [Path] "io" "try" Int) + ("static" file? [Path] "io" "try" Bit) + ("static" directory? [Path] "io" "try" Bit) - (read [] #io #try Binary) - (write [Binary] #io #try Int) - (flush [] #io #try #? Any) - (close [] #io #try #? Any)])]) + (read [] "io" "try" Binary) + (write [Binary] "io" "try" Int) + (flush [] "io" "try" "?" Any) + (close [] "io" "try" "?" Any)])]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/math/infix.lux b/stdlib/source/documentation/lux/math/infix.lux index add6876f2..37f4959a3 100644 --- a/stdlib/source/documentation/lux/math/infix.lux +++ b/stdlib/source/documentation/lux/math/infix.lux @@ -20,7 +20,6 @@ [(infix [[x + y] * [x - y]])] [(infix [sin [x + y]])] [(infix [[x < y] and [y < z]])] - [(infix [#and x < y < z])] [(infix [(* 3 9) gcd 450])]) (.def: .public documentation -- cgit v1.2.3