diff options
| author | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
| commit | 94e5802f594a73245fce0fbd885103b8bf210d57 (patch) | |
| tree | 65e5799c0be40f5f015b39bfa6c87c9c27fd9424 /licentia | |
| parent | b491dfff00219d5206075ea65468e00ab657075d (diff) | |
Added some simple time-series handling machinery.
Diffstat (limited to 'licentia')
| -rw-r--r-- | licentia/source/program/licentia.lux | 10 | ||||
| -rw-r--r-- | licentia/source/test/licentia.lux | 4 |
2 files changed, 7 insertions, 7 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux index e721e69b1..da5c37b82 100644 --- a/licentia/source/program/licentia.lux +++ b/licentia/source/program/licentia.lux @@ -66,16 +66,16 @@ (do io.monad [?done (is (IO (Try Any)) (do (try.with io.monad) - [blob (at file.default read input) + [blob (of file.default read input) document (io#wrap (do [! try.monad] - [raw_json (at utf8.codec decoded blob) + [raw_json (of utf8.codec decoded blob) json (|> raw_json java/lang/String::trim - (at json.codec decoded))] + (of json.codec decoded))] (|> json (<json>.result /input.license) - (at ! each /output.license))))] - (at file.default write (at utf8.codec encoded document) output)))] + (of ! each /output.license))))] + (of file.default write (of utf8.codec encoded document) output)))] (wrap (debug.log! (when ?done {try.#Success _} (success_message output) diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index 4183dc564..22eb676f8 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -51,7 +51,7 @@ [start (random.filter (|>> (n.= n#top) not) random.nat) #let [wiggle_room (n.- start n#top)] - end (at ! each + end (of ! each (|>> (n.% wiggle_room) (n.max 1)) random.nat)] (wrap [time.#start start @@ -110,7 +110,7 @@ (def (variable_list max_size gen_element) (All (_ a) (-> Nat (Random a) (Random (List a)))) (do [! random.monad] - [amount (at ! each (n.% (n.max 1 max_size)) + [amount (of ! each (n.% (n.max 1 max_size)) random.nat)] (random.list amount gen_element))) |