aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--licentia/source/program/licentia.lux10
-rw-r--r--licentia/source/test/licentia.lux4
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)))