aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEduardo Julian2022-04-06 16:07:22 -0400
committerEduardo Julian2022-04-06 16:07:22 -0400
commita0ed5fd377daf5754697636504de8e180abf9ec0 (patch)
tree8cc47f78ac6557c4ba233e6debd7b836adfb65b1
parent0494295b95c5c44ef389f1259e408f9445cfe0a1 (diff)
More efficient binary parsing.
-rw-r--r--.github/workflows/test.yml16
-rw-r--r--lux-python/project.lux5
-rw-r--r--lux-ruby/commands.md6
-rw-r--r--lux-ruby/project.lux3
-rw-r--r--lux-ruby/source/program.lux26
-rw-r--r--stdlib/project.lux2
-rw-r--r--stdlib/source/documentation/lux/data/binary.lux6
-rw-r--r--stdlib/source/library/lux/control/concurrency/thread.lux2
-rw-r--r--stdlib/source/library/lux/control/parser/binary.lux71
-rw-r--r--stdlib/source/library/lux/data/binary.lux2
-rw-r--r--stdlib/source/library/lux/data/format/tar.lux10
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux40
-rw-r--r--stdlib/source/program/aedifex/hash.lux14
-rw-r--r--stdlib/source/test/lux/data/binary.lux12
-rw-r--r--stdlib/source/test/lux/target/ruby.lux4
15 files changed, 130 insertions, 89 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index d4e4cd09f..6dd130899 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -28,6 +28,16 @@ jobs:
python-version: '3.9'
architecture: 'x64'
- run: cd ./stdlib/ && ../lux.sh with python with bibliotheca test
+ test_stdlib_on_ruby:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v2
+ - uses: ./.github/workflows/setup_aedifex
+ # https://github.com/actions/setup-ruby
+ - uses: actions/setup-ruby@v1
+ with:
+ ruby-version: '2.6'
+ - run: cd ./stdlib/ ../lux.sh with ruby with bibliotheca test
# test_stdlib:
# runs-on: ubuntu-latest
# steps:
@@ -35,10 +45,4 @@ jobs:
# # https://github.com/marketplace/actions/setup-lua-luajit
# - uses: xpol/setup-lua@v0.3
# - run: cd ./stdlib/ && ../lux.sh clean && ../lux.sh with lua with bibliotheca test && cd ..
-# # Test on Ruby
-# # https://github.com/actions/setup-ruby
-# - uses: actions/setup-ruby@v1
-# with:
-# ruby-version: '2.6'
-# - run: cd ./stdlib/ && ../lux.sh clean && ../lux.sh with ruby with bibliotheca test && cd ..
diff --git a/lux-python/project.lux b/lux-python/project.lux
index f69567703..b9b95ff62 100644
--- a/lux-python/project.lux
+++ b/lux-python/project.lux
@@ -17,7 +17,8 @@
"lux" ["com.github.luxlang" "lux-jvm" "0.7.0-SNAPSHOT" "jar"]
"dependencies" [... ["com.github.luxlang" "stdlib" "0.6.5" "tar"]
- ["org.python" "jython-standalone" "2.7.2" "jar"]
- ["com.github.luxlang" "lux-jvm-function" "0.6.5" "jar"]]
+ ["com.github.luxlang" "lux-jvm-function" "0.6.5" "jar"]
+
+ ["org.python" "jython-standalone" "2.7.2" "jar"]]
"program" "program"]]
diff --git a/lux-ruby/commands.md b/lux-ruby/commands.md
index d998b0f84..0546f063f 100644
--- a/lux-ruby/commands.md
+++ b/lux-ruby/commands.md
@@ -28,14 +28,14 @@ cd ~/lux/stdlib/ \
```
cd ~/lux/lux-ruby/ \
-&& mvn install:install-file -Dfile=target/program.jar -DgroupId=com.github.luxlang -DartifactId=lux-ruby -Dversion=0.6.6-SNAPSHOT -Dpackaging=jar
+&& mvn install:install-file -Dfile=target/program.jar -DgroupId=com.github.luxlang -DartifactId=lux-ruby -Dversion=0.7.0-SNAPSHOT -Dpackaging=jar
cd ~/lux/lux-ruby/ && mvn deploy:deploy-file \
--Durl=https://USERNAME:PASSWORD@oss.sonatype.org/content/repositories/snapshots/ \
+-Durl=https://$NEXUS_USERNAME:$NEXUS_PASSWORD@oss.sonatype.org/content/repositories/snapshots/ \
-Dfile=target/program.jar \
-DgroupId=com.github.luxlang \
-DartifactId=lux-ruby \
--Dversion=0.6.5-SNAPSHOT \
+-Dversion=0.7.0-SNAPSHOT \
-Dpackaging=jar
```
diff --git a/lux-ruby/project.lux b/lux-ruby/project.lux
index de1979660..e23b606b2 100644
--- a/lux-ruby/project.lux
+++ b/lux-ruby/project.lux
@@ -15,8 +15,9 @@
"repositories" ["https://oss.sonatype.org/content/repositories/snapshots/"
"https://oss.sonatype.org/service/local/staging/deploy/maven2/"]
- "lux" ["com.github.luxlang" "lux-jvm" "0.6.6-SNAPSHOT" "jar"]
+ "lux" ["com.github.luxlang" "lux-jvm" "0.7.0-SNAPSHOT" "jar"]
"dependencies" [... ["com.github.luxlang" "stdlib" "0.6.6-SNAPSHOT" "tar"]
+ ["com.github.luxlang" "lux-jvm-function" "0.6.5" "jar"]
["org.jruby" "jruby-complete" "9.2.15.0" "jar"]]
diff --git a/lux-ruby/source/program.lux b/lux-ruby/source/program.lux
index 5b4da0caa..1e06e6664 100644
--- a/lux-ruby/source/program.lux
+++ b/lux-ruby/source/program.lux
@@ -114,10 +114,10 @@
(import: org/jruby/RubyClass
"[1]::[0]")
-(import: org/jruby/RubyArray
+(import: (org/jruby/RubyArray a)
"[1]::[0]"
(getLength [] int)
- (get [int] "?" Object))
+ (get [int] "?" java/lang/Object))
(import: org/jruby/RubyHash
"[1]::[0]"
@@ -233,7 +233,7 @@
(-> java/lang/Object (Try Any)))
(def: (read_tuple read host_object)
- (-> Translator org/jruby/RubyArray (Try Any))
+ (-> Translator (org/jruby/RubyArray org/jruby/runtime/builtin/IRubyObject) (Try Any))
(let [size (.nat (ffi.of_int (org/jruby/RubyArray::getLength host_object)))]
(loop (again [idx 0
output (is (Array Any)
@@ -245,11 +245,11 @@
{.#Some value}
(case (read value)
- {try.#Failure error}
- {try.#Failure error}
-
{try.#Success lux_value}
- (again (++ idx) (array.write! idx lux_value output))))
+ (again (++ idx) (array.has! idx lux_value output))
+
+ failure
+ failure))
{try.#Success output}))))
(exception: (unknown_kind_of_object [object java/lang/Object])
@@ -301,7 +301,7 @@
[org/jruby/RubyFixnum [org/jruby/RubyFixnum::getLongValue {try.#Success}]]
[org/jruby/RubyString [org/jruby/RubyString::asJavaString {try.#Success}]]
[[java/lang/Object] [{try.#Success}]]
- [org/jruby/RubyArray [(read_tuple read)]]
+ [org/jruby/RubyArray [(as (org/jruby/RubyArray org/jruby/runtime/builtin/IRubyObject)) (read_tuple read)]]
[org/jruby/RubyHash [(read_variant read)]]
[org/jruby/RubySymbol [{try.#Success}]]
[org/jruby/RubyProc [{try.#Success}]]
@@ -465,7 +465,7 @@
(let [member (ffi.read! 0 args)]
(<| (case (ffi.as org/jruby/RubyFixnum member)
{.#Some member}
- (case (array.read! (.nat (ffi.of_long (org/jruby/RubyFixnum::getLongValue member))) value)
+ (case (array.item (.nat (ffi.of_long (org/jruby/RubyFixnum::getLongValue member))) value)
{.#Some value}
(wrapped_lux_value (as_expected useful_object_class) lux_structure value)
@@ -478,7 +478,7 @@
(case (ffi.of_string (org/jruby/RubyString::asJavaString member))
(pattern (static runtime.variant_tag_field))
(|> value
- (array.read! 0)
+ (array.item 0)
maybe.trusted
(as java/lang/Integer)
java/lang/Integer::longValue
@@ -486,7 +486,7 @@
(ffi.is org/jruby/runtime/builtin/IRubyObject))
(pattern (static runtime.variant_flag_field))
- (case (array.read! 1 value)
+ (case (array.item 1 value)
{.#None}
..ruby_nil
@@ -494,7 +494,7 @@
..lux_unit)
(pattern (static runtime.variant_value_field))
- (case (array.read! 2 value)
+ (case (array.item 2 value)
{.#Some value}
(wrapped_lux_value (as_expected useful_object_class) lux_structure value)
@@ -691,7 +691,7 @@
(<| (ffi.is org/jruby/runtime/builtin/IRubyObject)
(org/jruby/java/proxies/JavaProxy::new ..initial_ruby_runtime
(useful_object_class lux_structure value)
- (ffi.is java/lang/Object value))))
+ (as java/lang/Object value))))
(exception: (cannot_apply_a_non_function [object java/lang/Object])
(exception.report
diff --git a/stdlib/project.lux b/stdlib/project.lux
index 248a90a18..6de4fa930 100644
--- a/stdlib/project.lux
+++ b/stdlib/project.lux
@@ -75,7 +75,7 @@
]
"ruby"
- ["lux" ["com.github.luxlang" "lux-ruby" "0.6.6-SNAPSHOT" "jar"]
+ ["lux" ["com.github.luxlang" "lux-ruby" "0.7.0-SNAPSHOT" "jar"]
... The OS command to use when running Ruby tests. The default is described below.
... "ruby" ["ruby"]
]
diff --git a/stdlib/source/documentation/lux/data/binary.lux b/stdlib/source/documentation/lux/data/binary.lux
index abfdc044d..ecf9bba44 100644
--- a/stdlib/source/documentation/lux/data/binary.lux
+++ b/stdlib/source/documentation/lux/data/binary.lux
@@ -17,9 +17,9 @@
"A fresh/empty binary BLOB of the specified size."
[(empty size)])
-(documentation: /.aggregate
+(documentation: /.mix
""
- [(aggregate f init binary)])
+ [(mix f init binary)])
(documentation: /.bits_8
"Read 1 byte (8 bits) at the given index."
@@ -71,7 +71,7 @@
""
[..Binary
..empty
- ..aggregate
+ ..mix
..bits_8
..bits_16
..bits_32
diff --git a/stdlib/source/library/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux
index f8d92bc77..619b9733d 100644
--- a/stdlib/source/library/lux/control/concurrency/thread.lux
+++ b/stdlib/source/library/lux/control/concurrency/thread.lux
@@ -170,7 +170,7 @@
(if started?
(in [])
(do !
- [_ (atom.has! true ..started?)]
+ [_ (atom.write! true ..started?)]
(loop (again [_ []])
(do !
[threads (atom.read! ..runner)]
diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux
index a1c565360..1e360a194 100644
--- a/stdlib/source/library/lux/control/parser/binary.lux
+++ b/stdlib/source/library/lux/control/parser/binary.lux
@@ -1,6 +1,7 @@
(.using
[library
[lux {"-" and or nat int rev list type symbol}
+ [ffi {"+"}]
[type {"+" sharing}]
[abstract
[hash {"+" Hash}]
@@ -9,7 +10,8 @@
["[0]" try {"+" Try}]
["[0]" exception {"+" exception:}]]
[data
- ["/" binary {"+" Binary}]
+ ["/" binary "_"
+ ["[1]" \\unsafe {"+" Binary}]]
[text
["%" format {"+" format}]
[encoding
@@ -17,7 +19,9 @@
[collection
["[0]" list]
["[0]" sequence {"+" Sequence}]
- ["[0]" set {"+" Set}]]]
+ ["[0]" set {"+" Set}]
+ [array
+ [\\unsafe {"+"}]]]]
[macro
["^" pattern]
["[0]" template]]
@@ -39,22 +43,31 @@
"Binary length" (%.nat binary_length)
"Bytes read" (%.nat bytes_read)))
+(template [<name> <extension>]
+ [(template: (<name> <parameter> <subject>)
+ [(<extension> <parameter> <subject>)])]
+
+ [n#= "lux i64 ="]
+ [n#+ "lux i64 +"]
+ [n#- "lux i64 -"]
+ )
+
(def: .public (result parser input)
(All (_ a) (-> (Parser a) Binary (Try a)))
(case (parser [0 input])
- {try.#Failure msg}
- {try.#Failure msg}
-
{try.#Success [[end _] output]}
(let [length (/.size input)]
- (if (n.= end length)
+ (if (n#= end length)
{try.#Success output}
- (exception.except ..binary_was_not_fully_read [length end])))))
+ (exception.except ..binary_was_not_fully_read [length end])))
+
+ failure
+ (as_expected failure)))
(def: .public end?
(Parser Bit)
(function (_ (^.let input [offset data]))
- {try.#Success [input (n.= offset (/.size data))]}))
+ {try.#Success [input (n#= offset (/.size data))]}))
(def: .public offset
(Parser Offset)
@@ -64,7 +77,7 @@
(def: .public remaining
(Parser Nat)
(function (_ (^.let input [offset data]))
- {try.#Success [input (n.- offset (/.size data))]}))
+ {try.#Success [input (n#- offset (/.size data))]}))
(type: .public Size
Nat)
@@ -74,16 +87,24 @@
(def: .public size_32 Size (n.* 2 size_16))
(def: .public size_64 Size (n.* 2 size_32))
+(exception: .public (range_out_of_bounds [length Nat
+ start Nat
+ end Nat])
+ (exception.report
+ "Length" (%.nat length)
+ "Range start" (%.nat start)
+ "Range end" (%.nat end)))
+
(template [<name> <size> <read>]
[(def: .public <name>
(Parser I64)
- (function (_ [offset binary])
- (case (<read> offset binary)
- {try.#Success data}
- {try.#Success [(n.+ <size> offset) binary] data}
-
- {try.#Failure error}
- {try.#Failure error})))]
+ (function (_ [start binary])
+ (let [end (n#+ <size> start)]
+ (if (n.< end (/.size binary))
+ (exception.except ..range_out_of_bounds [(/.size binary) start end])
+ (|> (<read> start binary)
+ [[end binary]]
+ {try.#Success})))))]
[bits_8 ..size_8 /.bits_8]
[bits_16 ..size_16 /.bits_16]
@@ -153,12 +174,16 @@
(def: .public (segment size)
(-> Nat (Parser Binary))
- (function (_ [offset binary])
- (case size
- 0 {try.#Success [[offset binary] (/.empty 0)]}
- _ (|> binary
- (/.slice offset size)
- (# try.monad each (|>> [[(n.+ size offset) binary]]))))))
+ (case size
+ 0 (//#in (/.empty 0))
+ _ (function (_ [start binary])
+ (let [end (n#+ size start)]
+ (if (n.< end (/.size binary))
+ (exception.except ..range_out_of_bounds [(/.size binary) start end])
+ (|> binary
+ (/.slice start size)
+ [[end binary]]
+ {try.#Success}))))))
(template [<size> <name> <bits>]
[(`` (def: .public <name>
@@ -232,7 +257,7 @@
[raw (..list value)
.let [output (set.of_list hash raw)]
_ (//.assertion (exception.error ..set_elements_are_not_unique [])
- (n.= (list.size raw)
+ (n#= (list.size raw)
(set.size output)))]
(in output)))
diff --git a/stdlib/source/library/lux/data/binary.lux b/stdlib/source/library/lux/data/binary.lux
index 6615131c5..6ccbb0442 100644
--- a/stdlib/source/library/lux/data/binary.lux
+++ b/stdlib/source/library/lux/data/binary.lux
@@ -31,7 +31,7 @@
(-> Nat Binary)
(|>> /.empty))
-(def: .public (aggregate $ init it)
+(def: .public (mix $ init it)
(All (_ a) (-> (-> I64 a a) a Binary a))
(let [size (/.size it)]
(loop (again [index 0
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux
index afea5a3dd..4fb3522a6 100644
--- a/stdlib/source/library/lux/data/format/tar.lux
+++ b/stdlib/source/library/lux/data/format/tar.lux
@@ -172,7 +172,7 @@
(def: checksum
(-> Binary Nat)
- (binary.aggregate n.+ 0))
+ (binary.mix n.+ 0))
(def: checksum_checksum
(|> ..dummy_checksum
@@ -217,10 +217,10 @@
(def: ascii?
(-> Text Bit)
(|>> (# utf8.codec encoded)
- (binary.aggregate (function (_ char verdict)
- (.and verdict
- (n.<= ..last_ascii char)))
- true)))
+ (binary.mix (function (_ char verdict)
+ (.and verdict
+ (n.<= ..last_ascii char)))
+ true)))
(exception: .public (not_ascii [text Text])
(exception.report
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
index 32c57de4e..ab9ed4837 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
@@ -9,7 +9,7 @@
["<[0]>" code {"+" Parser}]]]
[data
[collection
- ["[0]" array {"+" Array}]
+ ["[0]" array]
["[0]" dictionary]
["[0]" list]]]
["[0]" type
@@ -32,11 +32,13 @@
[<code>.any
(function (_ extension phase archive lengthC)
(<| analysis/type.with_var
- (function (_ [@var :var:]))
+ (function (_ [@read :read:]))
+ analysis/type.with_var
+ (function (_ [@write :write:]))
(do phase.monad
[lengthA (<| (analysis/type.expecting Nat)
(phase archive lengthC))
- _ (analysis/type.inference (type (Array :var:)))]
+ _ (analysis/type.inference (type (array.Array' :read: :write:)))]
(in {analysis.#Extension extension (list lengthA)}))))]))
(def: array::length
@@ -45,9 +47,11 @@
[<code>.any
(function (_ extension phase archive arrayC)
(<| analysis/type.with_var
- (function (_ [@var :var:]))
+ (function (_ [@read :read:]))
+ analysis/type.with_var
+ (function (_ [@write :write:]))
(do phase.monad
- [arrayA (<| (analysis/type.expecting (type (Array :var:)))
+ [arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:)))
(phase archive arrayC))
_ (analysis/type.inference Nat)]
(in {analysis.#Extension extension (list arrayA)}))))]))
@@ -58,13 +62,15 @@
[(<>.and <code>.any <code>.any)
(function (_ extension phase archive [indexC arrayC])
(<| analysis/type.with_var
- (function (_ [@var :var:]))
+ (function (_ [@read :read:]))
+ analysis/type.with_var
+ (function (_ [@write :write:]))
(do phase.monad
[indexA (<| (analysis/type.expecting Nat)
(phase archive indexC))
- arrayA (<| (analysis/type.expecting (type (Array :var:)))
+ arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:)))
(phase archive arrayC))
- _ (analysis/type.inference :var:)]
+ _ (analysis/type.inference :read:)]
(in {analysis.#Extension extension (list indexA arrayA)}))))]))
(def: array::write
@@ -73,15 +79,17 @@
[($_ <>.and <code>.any <code>.any <code>.any)
(function (_ extension phase archive [indexC valueC arrayC])
(<| analysis/type.with_var
- (function (_ [@var :var:]))
+ (function (_ [@read :read:]))
+ analysis/type.with_var
+ (function (_ [@write :write:]))
(do phase.monad
[indexA (<| (analysis/type.expecting Nat)
(phase archive indexC))
- valueA (<| (analysis/type.expecting :var:)
+ valueA (<| (analysis/type.expecting :write:)
(phase archive valueC))
- arrayA (<| (analysis/type.expecting (type (Array :var:)))
+ arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:)))
(phase archive arrayC))
- _ (analysis/type.inference (type (Array :var:)))]
+ _ (analysis/type.inference (type (array.Array' :read: :write:)))]
(in {analysis.#Extension extension (list indexA valueA arrayA)}))))]))
(def: array::delete
@@ -90,13 +98,15 @@
[($_ <>.and <code>.any <code>.any)
(function (_ extension phase archive [indexC arrayC])
(<| analysis/type.with_var
- (function (_ [@var :var:]))
+ (function (_ [@read :read:]))
+ analysis/type.with_var
+ (function (_ [@write :write:]))
(do phase.monad
[indexA (<| (analysis/type.expecting Nat)
(phase archive indexC))
- arrayA (<| (analysis/type.expecting (type (Array :var:)))
+ arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:)))
(phase archive arrayC))
- _ (analysis/type.inference (type (Array :var:)))]
+ _ (analysis/type.inference (type (array.Array' :read: :write:)))]
(in {analysis.#Extension extension (list indexA arrayA)}))))]))
(def: bundle::array
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index 1455fd65f..6b3f973ce 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -57,13 +57,13 @@
(def: encoded
(Format Binary)
- (binary.aggregate (function (_ byte representation)
- (let [hex (# n.hex encoded byte)
- hex (case (text.size hex)
- 1 (format "0" hex)
- _ hex)]
- (format representation hex)))
- ""))
+ (binary.mix (function (_ byte representation)
+ (let [hex (# n.hex encoded byte)
+ hex (case (text.size hex)
+ 1 (format "0" hex)
+ _ hex)]
+ (format representation hex)))
+ ""))
(template [<factor> <name>]
[(def: <name>
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index 656dbf9bf..badf40980 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -75,9 +75,9 @@
(def: as_list
(-> /.Binary (List Nat))
- (/.aggregate (function (_ head tail)
- {.#Item head tail})
- (list)))
+ (/.mix (function (_ head tail)
+ {.#Item head tail})
+ (list)))
(def: test|unsafe
Test
@@ -160,9 +160,9 @@
($equivalence.spec /.equivalence (..random size)))
(_.for [/.monoid]
($monoid.spec /.equivalence /.monoid (..random size)))
- (_.cover [/.aggregate]
+ (_.cover [/.mix]
(n.= (# list.mix mix n.+ 0 (..as_list sample))
- (/.aggregate n.+ 0 sample)))
+ (/.mix n.+ 0 sample)))
(_.cover [/.empty]
(# /.equivalence =
@@ -212,7 +212,7 @@
{.#Item head tail}
(n.= (list.mix n.+ 0 tail)
- (/.aggregate n.+ 0 (/.after 1 sample))))))
+ (/.mix n.+ 0 (/.after 1 sample))))))
(_.cover [/.copy!]
(and (case (/.copy! size 0 sample 0 (/.empty size))
{try.#Success output}
diff --git a/stdlib/source/test/lux/target/ruby.lux b/stdlib/source/test/lux/target/ruby.lux
index 968d3c7bd..22dee2512 100644
--- a/stdlib/source/test/lux/target/ruby.lux
+++ b/stdlib/source/test/lux/target/ruby.lux
@@ -20,7 +20,7 @@
[collection
["[0]" list ("[1]#[0]" functor)]
["[0]" set]]]
- ["[0]" math
+ [math
["[0]" random {"+" Random} ("[1]#[0]" monad)]
[number {"+" hex}
["n" nat]
@@ -122,7 +122,7 @@
[/.* f.* |>]
[/./ f./ |>]
[/.% f.mod |>]
- [/.pow math.pow f.abs]
+ [/.pow f.pow f.abs]
))
(~~ (template [</> <lux>]
[(_.cover [</>]