From 94e5802f594a73245fce0fbd885103b8bf210d57 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 2 Dec 2022 19:33:00 -0400 Subject: Added some simple time-series handling machinery. --- licentia/source/program/licentia.lux | 10 +++++----- licentia/source/test/licentia.lux | 4 ++-- 2 files changed, 7 insertions(+), 7 deletions(-) (limited to 'licentia/source') 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 (.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))) -- cgit v1.2.3