aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/command
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/command')
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux16
-rw-r--r--stdlib/source/test/aedifex/command/build.lux112
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux12
-rw-r--r--stdlib/source/test/aedifex/command/install.lux8
-rw-r--r--stdlib/source/test/aedifex/command/test.lux40
5 files changed, 94 insertions, 94 deletions
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index bfdbb789e..001bfcab3 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -48,8 +48,8 @@
(-> Nat Text (file.System Async) file.Path
[(Atom Nat)
(-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Any]))])
- (let [@runs (: (Atom Nat)
- (atom.atom 0))]
+ (let [@runs (is (Atom Nat)
+ (atom.atom 0))]
[@runs
(function (_ console program fs shell resolution profile)
(do [! async.monad]
@@ -74,12 +74,12 @@
program (random.ascii/alpha 5)
target (random.ascii/alpha 5)
source (random.ascii/alpha 5)
- .let [empty_profile (: Profile
- (# ///.monoid identity))
- with_target (: (-> Profile Profile)
- (has ///.#target target))
- with_program (: (-> Profile Profile)
- (has ///.#program {.#Some program}))
+ .let [empty_profile (is Profile
+ (# ///.monoid identity))
+ with_target (is (-> Profile Profile)
+ (has ///.#target target))
+ with_program (is (-> Profile Profile)
+ (has ///.#program {.#Some program}))
profile (|> empty_profile
with_program
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index f8d2d46ec..987d35506 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -42,68 +42,68 @@
(shell.mock
(function (_ [actual_environment actual_working_directory actual_command actual_arguments])
{try.#Success
- (: (shell.Mock [])
- (implementation
- (def: (on_read state)
- (exception.except shell.no_more_output []))
- (def: (on_fail state)
- (exception.except shell.no_more_output []))
- (def: (on_write input state)
- {try.#Failure "on_write"})
- (def: (on_destroy state)
- {try.#Failure "on_destroy"})
- (def: (on_await state)
- {try.#Success [state shell.normal]})))})))
+ (is (shell.Mock [])
+ (implementation
+ (def: (on_read state)
+ (exception.except shell.no_more_output []))
+ (def: (on_fail state)
+ (exception.except shell.no_more_output []))
+ (def: (on_write input state)
+ {try.#Failure "on_write"})
+ (def: (on_destroy state)
+ {try.#Failure "on_destroy"})
+ (def: (on_await state)
+ {try.#Success [state shell.normal]})))})))
(def: .public bad_shell
(-> Any (Shell IO))
(shell.mock
(function (_ [actual_environment actual_working_directory actual_command actual_arguments])
{try.#Success
- (: (shell.Mock [])
- (implementation
- (def: (on_read state)
- (exception.except shell.no_more_output []))
- (def: (on_fail state)
- (exception.except shell.no_more_output []))
- (def: (on_write input state)
- {try.#Failure "on_write"})
- (def: (on_destroy state)
- {try.#Failure "on_destroy"})
- (def: (on_await state)
- {try.#Success [state shell.error]})))})))
+ (is (shell.Mock [])
+ (implementation
+ (def: (on_read state)
+ (exception.except shell.no_more_output []))
+ (def: (on_fail state)
+ (exception.except shell.no_more_output []))
+ (def: (on_write input state)
+ {try.#Failure "on_write"})
+ (def: (on_destroy state)
+ {try.#Failure "on_destroy"})
+ (def: (on_await state)
+ {try.#Success [state shell.error]})))})))
(def: .public (reader_shell error?)
(-> Bit (-> (List Text) (Shell IO)))
(shell.mock
(function (_ [actual_environment actual_working_directory actual_command actual_arguments])
{try.#Success
- (: (shell.Mock (List Text))
- (implementation
- (def: (on_read state)
- (if error?
- (exception.except shell.no_more_output [])
- (case state
- {.#Item head tail}
- {try.#Success [tail head]}
-
- {.#End}
- (exception.except shell.no_more_output []))))
- (def: (on_error state)
- (if error?
- (case state
- {.#Item head tail}
- {try.#Success [tail head]}
-
- {.#End}
- (exception.except shell.no_more_output []))
- (exception.except shell.no_more_output [])))
- (def: (on_write input state)
- {try.#Failure "on_write"})
- (def: (on_destroy state)
- {try.#Failure "on_destroy"})
- (def: (on_await state)
- {try.#Success [state shell.error]})))})))
+ (is (shell.Mock (List Text))
+ (implementation
+ (def: (on_read state)
+ (if error?
+ (exception.except shell.no_more_output [])
+ (case state
+ {.#Item head tail}
+ {try.#Success [tail head]}
+
+ {.#End}
+ (exception.except shell.no_more_output []))))
+ (def: (on_error state)
+ (if error?
+ (case state
+ {.#Item head tail}
+ {try.#Success [tail head]}
+
+ {.#End}
+ (exception.except shell.no_more_output []))
+ (exception.except shell.no_more_output [])))
+ (def: (on_write input state)
+ {try.#Failure "on_write"})
+ (def: (on_destroy state)
+ {try.#Failure "on_destroy"})
+ (def: (on_await state)
+ {try.#Success [state shell.error]})))})))
(def: compiler
(Random Dependency)
@@ -148,12 +148,12 @@
target (random.ascii/alpha 5)
home (random.ascii/alpha 5)
working_directory (random.ascii/alpha 5)
- .let [empty_profile (: Profile
- (# ///.monoid identity))
- with_target (: (-> Profile Profile)
- (has ///.#target target))
- with_program (: (-> Profile Profile)
- (has ///.#program {.#Some program}))
+ .let [empty_profile (is Profile
+ (# ///.monoid identity))
+ with_target (is (-> Profile Profile)
+ (has ///.#target target))
+ with_program (is (-> Profile Profile)
+ (has ///.#program {.#Some program}))
profile (|> empty_profile
with_program
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 6a2210f1b..21372ef80 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -56,8 +56,8 @@
(def: (create_directory! fs path files)
(-> (file.System Async) Path (List [Path Binary]) (Async (Try Any)))
(do [! (try.with async.monad)]
- [_ (: (Async (Try Any))
- (file.make_directories async.monad fs path))
+ [_ (is (Async (Try Any))
+ (file.make_directories async.monad fs path))
_ (monad.each ! (..create_file! fs) files)]
(in [])))
@@ -73,10 +73,10 @@
(-> (file.System Async) Path (List [Path Binary]) (Async (Try Bit)))
(do [! (try.with async.monad)]
[directory_exists? (..directory_exists? fs directory_path)
- files_exist? (: (Action (List Bit))
- (|> files
- (list#each product.left)
- (monad.each ///action.monad (..file_exists? fs))))]
+ files_exist? (is (Action (List Bit))
+ (|> files
+ (list#each product.left)
+ (monad.each ///action.monad (..file_exists? fs))))]
(in (and directory_exists?
(list.every? (|>>) files_exist?)))))
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index fd4780195..414d104d8 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -47,10 +47,10 @@
set.list
(monad.each ! (function (_ head)
(do !
- [_ (: (Async (Try Any))
- (file.make_directories async.monad fs head))]
- (: (Async (Try Any))
- (file.make_file async.monad fs (binary.empty 0) (format head / head ".lux")))))))))
+ [_ (is (Async (Try Any))
+ (file.make_directories async.monad fs head))]
+ (is (Async (Try Any))
+ (file.make_file async.monad fs (binary.empty 0) (format head / head ".lux")))))))))
(def: (execute! program fs sample)
(-> (Program Async) (file.System Async) ///.Profile (Async (Try Text)))
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index e992f87bc..4f6cfcdc4 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -47,12 +47,12 @@
target (random.ascii/alpha 5)
home (random.ascii/alpha 5)
working_directory (random.ascii/alpha 5)
- .let [empty_profile (: Profile
- (# ///.monoid identity))
- with_target (: (-> Profile Profile)
- (has ///.#target target))
- with_test (: (-> Profile Profile)
- (has ///.#test {.#Some test}))
+ .let [empty_profile (is Profile
+ (# ///.monoid identity))
+ with_target (is (-> Profile Profile)
+ (has ///.#target target))
+ with_test (is (-> Profile Profile)
+ (has ///.#test {.#Some test}))
profile (|> empty_profile
with_test
@@ -84,20 +84,20 @@
[.let [bad_shell (shell.mock
(function (_ [actual_environment actual_working_directory actual_command actual_arguments])
{try.#Success
- (: (shell.Mock [])
- (implementation
- (def: (on_read state)
- (exception.except shell.no_more_output []))
- (def: (on_error state)
- (exception.except shell.no_more_output []))
- (def: (on_write input state)
- {try.#Failure "on_write"})
- (def: (on_destroy state)
- {try.#Failure "on_destroy"})
- (def: (on_await state)
- {try.#Success [state (if (list.any? (text#= "build") actual_arguments)
- shell.normal
- shell.error)]})))})
+ (is (shell.Mock [])
+ (implementation
+ (def: (on_read state)
+ (exception.except shell.no_more_output []))
+ (def: (on_error state)
+ (exception.except shell.no_more_output []))
+ (def: (on_write input state)
+ {try.#Failure "on_write"})
+ (def: (on_destroy state)
+ {try.#Failure "on_destroy"})
+ (def: (on_await state)
+ {try.#Success [state (if (list.any? (text#= "build") actual_arguments)
+ shell.normal
+ shell.error)]})))})
[])]
_ (/.do! console (program.async (program.mock environment.empty home working_directory))
fs (shell.async bad_shell) resolution
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 15:58:21 +0000