aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux8
-rw-r--r--stdlib/source/specification/lux/world/file.lux16
-rw-r--r--stdlib/source/specification/lux/world/shell.lux4
3 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 1ef9f780b..c13cd9eae 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -52,8 +52,8 @@
["lux i64 and" i64.and param]
["lux i64 or" i64.or param]
["lux i64 xor" i64.xor param]
- ["lux i64 left-shift" i64.left_shift (n.% 64 param)]
- ["lux i64 logical-right-shift" i64.logic_right_shift (n.% 64 param)]
+ ["lux i64 left-shift" i64.left_shifted (n.% 64 param)]
+ ["lux i64 logical-right-shift" i64.logic_right_shifted (n.% 64 param)]
)]
($_ _.and
<binary>
@@ -64,7 +64,7 @@
(run (..safe "lux i64 arithmetic-right-shift"))
(case> (#try.Success valueT)
("lux i64 ="
- (i64.arithmetic_right_shift param subject)
+ (i64.arithmetic_right_shifted param subject)
(:as I64 valueT))
(#try.Failure _)
@@ -92,7 +92,7 @@
["lux i64 f64" Frac i.frac f.= subject]
["lux i64 char" Text (|>> (:as Nat) text.from_code) text\= (|> subject
(:as Nat)
- (n.% (i64.left_shift 8 1))
+ (n.% (i64.left_shifted 8 1))
(:as Int))]
))
(~~ (template [<extension> <reference> <outputT> <comp>]
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index 910dfde68..79eb871fe 100644
--- a/stdlib/source/specification/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
@@ -67,7 +67,7 @@
(|> (/.nest fs parent child)
(/.parent fs)
(maybe\map (text\= parent))
- (maybe.default false)))
+ (maybe.else false)))
(_.cover' [/.name]
(|> (/.nest fs parent child)
(/.name fs)
@@ -106,7 +106,7 @@
appended? (\ fs append appendix path)
post_file_size (\ fs file_size path)
post_content (\ fs read path)]
- (in (<| (try.default false)
+ (in (<| (try.else false)
(do {! try.monad}
[pre_file_size!
(\ ! map (n.= expected_file_size) pre_file_size)
@@ -131,7 +131,7 @@
(do async.monad
[modified? (\ fs modify expected_time path)
last_modified (\ fs last_modified path)]
- (in (<| (try.default false)
+ (in (<| (try.else false)
(do {! try.monad}
[_ modified?]
(\ ! map (instant\= expected_time) last_modified))))))
@@ -145,15 +145,15 @@
directory_files (\ fs directory_files parent)
sub_directories (\ fs sub_directories parent)
#let [(^open "list\.") (list.equivalence text.equivalence)]]
- (in (<| (try.default false)
+ (in (<| (try.else false)
(do try.monad
[_ made_sub?]
(in (and (|> directory_files
(try\map (list\= (list child)))
- (try.default false))
+ (try.else false))
(|> sub_directories
(try\map (list\= (list sub_dir)))
- (try.default false))))))))))
+ (try.else false))))))))))
(def: (move&delete fs parent child alternate_child)
(-> (/.System Async) /.Path Text Text (Async Bit))
@@ -166,7 +166,7 @@
(\ ! map not))
found? (\ fs file? destination)
deleted? (\ fs delete destination)]
- (in (<| (try.default false)
+ (in (<| (try.else false)
(do try.monad
[_ moved?
_ deleted?]
@@ -208,7 +208,7 @@
can_execute?
(|> path
(\ fs can_execute?)
- (\ ! map (|>> (try.default true) not)))
+ (\ ! map (|>> (try.else true) not)))
directory_files&sub_directories
(..directory_files&sub_directories fs parent sub_dir child)
diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index f7d8f28e7..16e0b6db8 100644
--- a/stdlib/source/specification/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux
@@ -37,7 +37,7 @@
(-> (/.Process Async) _.Assertion)
(|> (\ process await [])
(async\map (|>> (try\map (i.= /.normal))
- (try.default false)
+ (try.else false)
(_.cover' [/.Exit /.normal])))
async\join))
@@ -45,7 +45,7 @@
(-> Text (/.Process Async) (Async Bit))
(|> (\ process read [])
(async\map (|>> (try\map (text\= expected))
- (try.default false)))))
+ (try.else false)))))
(def: (can_destroy! process)
(-> (/.Process Async) (Async Bit))