aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex
diff options
context:
space:
mode:
authorEduardo Julian2021-09-12 15:39:55 -0400
committerEduardo Julian2021-09-12 15:39:55 -0400
commit2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch)
tree14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/test/aedifex
parentdda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff)
Re-named \ => # && \\ => ##
Diffstat (limited to 'stdlib/source/test/aedifex')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux12
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux6
-rw-r--r--stdlib/source/test/aedifex/cache.lux20
-rw-r--r--stdlib/source/test/aedifex/cli.lux24
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux22
-rw-r--r--stdlib/source/test/aedifex/command/build.lux38
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux24
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux40
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux16
-rw-r--r--stdlib/source/test/aedifex/command/install.lux24
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux24
-rw-r--r--stdlib/source/test/aedifex/command/test.lux42
-rw-r--r--stdlib/source/test/aedifex/command/version.lux6
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux30
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux68
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux4
-rw-r--r--stdlib/source/test/aedifex/hash.lux12
-rw-r--r--stdlib/source/test/aedifex/input.lux10
-rw-r--r--stdlib/source/test/aedifex/metadata.lux16
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux24
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux28
-rw-r--r--stdlib/source/test/aedifex/package.lux24
-rw-r--r--stdlib/source/test/aedifex/parser.lux12
-rw-r--r--stdlib/source/test/aedifex/pom.lux8
-rw-r--r--stdlib/source/test/aedifex/profile.lux30
-rw-r--r--stdlib/source/test/aedifex/project.lux32
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux14
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux32
-rw-r--r--stdlib/source/test/aedifex/runtime.lux24
40 files changed, 367 insertions, 367 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 51281e4a8..8057a46bc 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -10,7 +10,7 @@
["$[0]" order]
["$[0]" hash]]]
[data
- ["[0]" text ("[1]\[0]" equivalence)]]
+ ["[0]" text ("[1]#[0]" equivalence)]]
[math
["[0]" random {"+" [Random]}]]
[world
@@ -51,7 +51,7 @@
(_.cover [/.format /.identity]
(and (text.ends_with? (/.identity sample) (/.format sample))
- (not (text\= (/.identity sample) (/.format sample)))))
+ (not (text#= (/.identity sample) (/.format sample)))))
/extension.test
/snapshot.test
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index e9ecafe17..f346a6c77 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -5,7 +5,7 @@
[abstract
[monad {"+" [do]}]]
[data
- ["[0]" text ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)]
[collection
["[0]" set]
["[0]" list]]]
@@ -31,9 +31,9 @@
(set.size uniques))))
(_.cover [/.extension /.type]
(`` (and (~~ (template [<type> <extension>]
- [(and (text\= <extension>
+ [(and (text#= <extension>
(/.extension <type>))
- (text\= <type>
+ (text#= <type>
(/.type (/.extension <type>))))]
[//.lux_library /.lux_library]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index b411f425c..c89a0cede 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -7,11 +7,11 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
- ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
+ ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]]
["$[0]" / "_"
["[1][0]" build]
["[1][0]" stamp]
@@ -22,7 +22,7 @@
(def: .public random
(Random /.Snapshot)
- (random.or (random\in [])
+ (random.or (random#in [])
$/stamp.random))
(def: .public test
@@ -40,7 +40,7 @@
/.format
list
(<xml>.result /.parser)
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false))))
$/build.test
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 24f6ee539..9bceb6737 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
@@ -34,6 +34,6 @@
/.format
list
(<xml>.result /.parser)
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false))))
))))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index 0ece8e264..8c403ec24 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
@@ -41,6 +41,6 @@
(|> expected
/.format
(<xml>.result /.parser)
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false))))
)))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index 50fbbbf49..e74d3d370 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[math
@@ -36,7 +36,7 @@
(|> expected
/.format
(<text>.result /.parser)
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false)))
))
)))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 238a0d2a3..367ddfe93 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
@@ -43,7 +43,7 @@
/.format
list
(<xml>.result /.parser)
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false))))
/value.test
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index a6532c250..156c403d7 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -7,14 +7,14 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[data
- ["[0]" text ("[1]\[0]" equivalence)
+ ["[0]" text ("[1]#[0]" equivalence)
["%" format {"+" [format]}]]]
[math
- ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
+ ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
[number
["n" nat]
["i" int]]]
@@ -32,7 +32,7 @@
(Random /.Value)
($_ random.and
(random.ascii/alpha 5)
- (random.or (random\in [])
+ (random.or (random#in [])
$///stamp.random)
))
@@ -50,7 +50,7 @@
(let [version (value@ /.#version sample)
local!
- (text\= version
+ (text#= version
(/.format (with@ /.#snapshot {///.#Local} sample)))
remote_format (/.format [/.#version (format version /.snapshot)
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 9cfefe6f6..af64231ab 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -7,11 +7,11 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[time
- ["[0]" instant ("[1]\[0]" equivalence)]]
+ ["[0]" instant ("[1]#[0]" equivalence)]]
[math
["[0]" random {"+" [Random]}]
[number
@@ -43,7 +43,7 @@
(|> expected
/.format
(<text>.result /.parser)
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false))))
(do random.monad
[expected ..random]
@@ -51,10 +51,10 @@
(|> expected
/.instant
/.of_instant
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false))))
(_.cover [/.epoch]
- (instant\= instant.epoch (/.instant /.epoch)))
+ (instant#= instant.epoch (/.instant /.epoch)))
/date.test
/time.test
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index b32787d49..85f6b69f5 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
["[0]" exception]
[parser
["<[0]>" text]]]
@@ -17,7 +17,7 @@
["n" nat]
["i" int]]]
[time
- ["[0]" date ("[1]\[0]" equivalence)]
+ ["[0]" date ("[1]#[0]" equivalence)]
["[0]" year]]]]
[\\program
["[0]" /]])
@@ -49,13 +49,13 @@
(|> expected
/.format
(<text>.result /.parser)
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false)))
(_.cover [/.value /.date]
(|> expected
/.value
/.date
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false)))
(_.cover [/.year_is_out_of_range]
(case (/.date candidate)
@@ -65,5 +65,5 @@
{try.#Failure error}
(exception.match? /.year_is_out_of_range error)))
(_.cover [/.epoch]
- (date\= date.epoch (/.value /.epoch)))
+ (date#= date.epoch (/.value /.epoch)))
))))
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index c908eb69b..983e81210 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -6,7 +6,7 @@
[abstract
[monad {"+" [do]}]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[math
@@ -35,6 +35,6 @@
(|> expected
/.format
(<text>.result /.parser)
- (try\each (\ time.equivalence = expected))
+ (try#each (# time.equivalence = expected))
(try.else false))))
)))
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index 00b483a75..7b19d6c57 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -10,7 +10,7 @@
["[0]" set]
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
+ ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\program
@@ -20,12 +20,12 @@
(Random /.Type)
($_ random.either
($_ random.either
- (random\in /.lux_library)
- (random\in /.jvm_library))
+ (random#in /.lux_library)
+ (random#in /.jvm_library))
($_ random.either
- (random\in /.pom)
- (random\in /.md5)
- (random\in /.sha-1))
+ (random#in /.pom)
+ (random#in /.md5)
+ (random#in /.sha-1))
))
(def: .public test
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index 3d489eb38..963424469 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
@@ -42,13 +42,13 @@
/.format
list
(<xml>.result /.parser)
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false))))
(_.cover [/.init]
(|> /.init
/.format
list
(<xml>.result /.parser)
- (try\each (\ /.equivalence = /.init))
+ (try#each (# /.equivalence = /.init))
(try.else false)))
)))
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 84b8aaa02..989b205a3 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -19,7 +19,7 @@
["[0]" set]
["[0]" dictionary]]]
[math
- ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
+ ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
[number
["n" nat]]]
[world
@@ -48,8 +48,8 @@
(def: type
(Random Type)
($_ random.either
- (random\in //artifact/type.lux_library)
- (random\in //artifact/type.jvm_library)))
+ (random#in //artifact/type.lux_library)
+ (random#in //artifact/type.jvm_library)))
(def: profile
(Random [Artifact Profile XML])
@@ -64,7 +64,7 @@
(def: content
(Random Binary)
(do [! random.monad]
- [content_size (\ ! each (n.% 100) random.nat)]
+ [content_size (# ! each (n.% 100) random.nat)]
(_binary.random content_size)))
(def: package
@@ -82,7 +82,7 @@
(do [! random.monad]
[[main_dependency main_package] ..package
dependencies (|> (//package.dependencies main_package)
- (\ try.monad each set.list)
+ (# try.monad each set.list)
(try.else (list))
(monad.each ! (function (_ dependency)
(do !
@@ -105,7 +105,7 @@
home (random.ascii/alpha 5)
working_directory (random.ascii/alpha 5)
.let [fs (: (file.System Async)
- (file.mock (\ file.default separator)))
+ (file.mock (# file.default separator)))
program (program.async (program.mock environment.empty home working_directory))]]
(in (do async.monad
[wrote! (/.write_one program fs dependency expected_package)
@@ -115,7 +115,7 @@
(do try.monad
[_ wrote!
actual_package read!]
- (in (\ //package.equivalence =
+ (in (# //package.equivalence =
(with@ //package.#origin {//repository/origin.#Local ""} expected_package)
actual_package)))))))))
@@ -126,7 +126,7 @@
home (random.ascii/alpha 5)
working_directory (random.ascii/alpha 5)
.let [fs (: (file.System Async)
- (file.mock (\ file.default separator)))
+ (file.mock (# file.default separator)))
program (program.async (program.mock environment.empty home working_directory))]]
(in (do async.monad
[wrote! (/.write_all program fs expected)
@@ -136,8 +136,8 @@
(do try.monad
[_ wrote!
actual read!]
- (in (\ //dependency/resolution.equivalence =
- (\ dictionary.functor each
+ (in (# //dependency/resolution.equivalence =
+ (# dictionary.functor each
(with@ //package.#origin {//repository/origin.#Local ""})
expected)
actual)))))))))
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index d08d5f1a1..16ae29ab4 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -16,7 +16,7 @@
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
+ ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]]
[\\program
["[0]" /
["/[1]" // "_"
@@ -24,22 +24,22 @@
(def: compilation
(Random /.Compilation)
- (random.or (random\in [])
- (random\in [])))
+ (random.or (random#in [])
+ (random#in [])))
(def: command
(Random /.Command)
($_ random.or
... #Version
- (random\in [])
+ (random#in [])
... #Clean
- (random\in [])
+ (random#in [])
... #POM
- (random\in [])
+ (random#in [])
... #Dependencies
- (random\in [])
+ (random#in [])
... #Install
- (random\in [])
+ (random#in [])
... #Deploy
($_ random.and
(random.ascii/alpha 1)
@@ -77,8 +77,8 @@
..format
(cli.result /.command)
(case> {try.#Success [names actual]}
- (and (\ (list.equivalence text.equivalence) = (list //.default) names)
- (\ /.equivalence = expected actual))
+ (and (# (list.equivalence text.equivalence) = (list //.default) names)
+ (# /.equivalence = expected actual))
{try.#Failure error}
false)))))
@@ -94,8 +94,8 @@
(list& "with" expected_profile)
(cli.result /.command)
(case> {try.#Success [actual_profile actual_command]}
- (and (\ (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile)
- (\ /.equivalence = expected_command actual_command))
+ (and (# (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile)
+ (# /.equivalence = expected_command actual_command))
{try.#Failure error}
false)))))
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 307946212..eab61d51f 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -57,8 +57,8 @@
(if (n.= expected_runs actual_runs)
(in {try.#Failure end_signal})
(do (try.with !)
- [_ (\ fs write (\ utf8.codec encoded (%.nat actual_runs)) dummy_file)
- _ (\ fs modify
+ [_ (# fs write (# utf8.codec encoded (%.nat actual_runs)) dummy_file)
+ _ (# fs modify
(|> actual_runs .int instant.of_millis)
dummy_file)]
(in [shell.normal []])))))]))
@@ -68,14 +68,14 @@
(<| (_.covering /._)
(do [! random.monad]
[end_signal (random.ascii/alpha 5)
- .let [/ (\ file.default separator)
+ .let [/ (# file.default separator)
[fs watcher] (watch.mock /)]
program (random.ascii/alpha 5)
target (random.ascii/alpha 5)
source (random.ascii/alpha 5)
.let [empty_profile (: Profile
- (\ ///.monoid identity))
+ (# ///.monoid identity))
with_target (: (-> Profile Profile)
(with@ ///.#target target))
with_program (: (-> Profile Profile)
@@ -89,18 +89,18 @@
home (random.ascii/alpha 5)
working_directory (random.ascii/alpha 5)
- expected_runs (\ ! each (|>> (n.% 10) (n.max 2)) random.nat)
- dummy_path (\ ! each (|>> (format source /)) (random.ascii/alpha 5))
+ expected_runs (# ! each (|>> (n.% 10) (n.max 2)) random.nat)
+ dummy_path (# ! each (|>> (format source /)) (random.ascii/alpha 5))
[compiler resolution] $build.resolution]
($_ _.and
(_.cover [/.delay]
(n.> 0 /.delay))
(in (do async.monad
[verdict (do ///action.monad
- [_ (\ fs make_directory source)
- _ (\ fs write (binary.empty 0) dummy_path)
+ [_ (# fs make_directory source)
+ _ (# fs write (binary.empty 0) dummy_path)
.let [[@runs command] (..command expected_runs end_signal fs dummy_path)]
- _ (\ watcher poll [])]
+ _ (# watcher poll [])]
(do [! async.monad]
[no_dangling_process! (|> profile
(with@ ///.#compiler compiler)
@@ -110,7 +110,7 @@
fs
(shell.async ($build.good_shell []))
resolution)
- (\ ! each (|>> (case> {try.#Failure error}
+ (# ! each (|>> (case> {try.#Failure error}
(same? end_signal error)
{try.#Success _}
@@ -118,7 +118,7 @@
correct_number_of_runs! (|> @runs
atom.read!
async.future
- (\ ! each (n.= expected_runs)))]
+ (# ! each (n.= expected_runs)))]
(in {try.#Success (and correct_number_of_runs!
no_dangling_process!)})))]
(_.cover' [/.do!]
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index ee69f1010..722478571 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -14,7 +14,7 @@
[parser
["[0]" environment]]]
[data
- ["[0]" text ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)]
[collection
["[0]" dictionary]]]
[math
@@ -142,14 +142,14 @@
(do [! random.monad]
[last_read (random.ascii/alpha 5)
last_error (random.ascii/alpha 5)
- .let [fs (file.mock (\ file.default separator))
+ .let [fs (file.mock (# file.default separator))
shell (shell.async (..good_shell []))]
program (random.ascii/alpha 5)
target (random.ascii/alpha 5)
home (random.ascii/alpha 5)
working_directory (random.ascii/alpha 5)
.let [empty_profile (: Profile
- (\ ///.monoid identity))
+ (# ///.monoid identity))
with_target (: (-> Profile Profile)
(with@ ///.#target target))
with_program (: (-> Profile Profile)
@@ -186,10 +186,10 @@
[_ (/.do! console (program.async (program.mock environment.empty home working_directory))
fs shell resolution
(with@ ///.#compiler compiler profile))
- start (\ console read_line [])
- end (\ console read_line [])]
- (in (and (text\= /.start start)
- (text\= /.success end))))]
+ start (# console read_line [])
+ end (# console read_line [])]
+ (in (and (text#= /.start start)
+ (text#= /.success end))))]
(_.cover' [/.do!
/.lux_group
/.jvm_compiler_name
@@ -208,10 +208,10 @@
[_ (/.do! console (program.async (program.mock environment.empty home working_directory))
fs (shell.async (..bad_shell [])) resolution
(with@ ///.#compiler compiler profile))
- start (\ console read_line [])
- end (\ console read_line [])]
- (in (and (text\= /.start start)
- (text\= /.failure end))))]
+ start (# console read_line [])
+ end (# console read_line [])]
+ (in (and (text#= /.start start)
+ (text#= /.failure end))))]
(_.cover' [/.failure]
(try.else false verdict)))))
(do !
@@ -228,19 +228,19 @@
[verdict (do ///action.monad
[process (shell [environment.empty working_directory "" (list "")])
_ (<log!> console process)
- actual/0 (\ console read_line [])
- actual/1 (\ console read_line [])
- actual/2 (\ console read_line [])
- end! (|> (\ console read_line [])
- (\ ! each (|>> (case> {try.#Failure error}
+ actual/0 (# console read_line [])
+ actual/1 (# console read_line [])
+ actual/2 (# console read_line [])
+ end! (|> (# console read_line [])
+ (# ! each (|>> (case> {try.#Failure error}
true
{try.#Success _}
false)
{try.#Success})))]
- (in (and (text\= expected/0 actual/0)
- (text\= expected/1 actual/1)
- (text\= expected/2 actual/2)
+ (in (and (text#= expected/0 actual/0)
+ (text#= expected/1 actual/1)
+ (text#= expected/2 actual/2)
end!)))]
(_.cover' [<log!>]
(try.else false verdict)))))]
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 7d3e57392..8a9a69e7c 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -11,10 +11,10 @@
[data
[binary {"+" [Binary]}]
["[0]" product]
- ["[0]" text ("[1]\[0]" equivalence)
+ ["[0]" text ("[1]#[0]" equivalence)
["%" format {"+" [format]}]]
[collection
- ["[0]" list ("[1]\[0]" functor)]
+ ["[0]" list ("[1]#[0]" functor)]
["[0]" set]]]
[math
["[0]" random {"+" [Random]}]
@@ -43,15 +43,15 @@
(def: (files prefix)
(-> Path (Random (List [Path Binary])))
(do [! random.monad]
- [count (\ ! each (n.% 10) random.nat)
+ [count (# ! each (n.% 10) random.nat)
names (random.set text.hash count ..node_name)
contents (random.list count ($binary.random 100))]
- (in (list.zipped/2 (list\each (|>> (format prefix)) (set.list names))
+ (in (list.zipped/2 (list#each (|>> (format prefix)) (set.list names))
contents))))
(def: (create_file! fs [path content])
(-> (file.System Async) [Path Binary] (Async (Try Any)))
- (\ fs write content path))
+ (# fs write content path))
(def: (create_directory! fs path files)
(-> (file.System Async) Path (List [Path Binary]) (Async (Try Any)))
@@ -63,11 +63,11 @@
(def: (directory_exists? fs)
(-> (file.System Async) Path (Async (Try Bit)))
- (|>> (\ fs directory?) (try.lifted async.monad)))
+ (|>> (# fs directory?) (try.lifted async.monad)))
(def: (file_exists? fs)
(-> (file.System Async) Path (Async (Try Bit)))
- (|>> (\ fs file?) (try.lifted async.monad)))
+ (|>> (# fs file?) (try.lifted async.monad)))
(def: (assets_exist? fs directory_path files)
(-> (file.System Async) Path (List [Path Binary]) (Async (Try Bit)))
@@ -75,7 +75,7 @@
[directory_exists? (..directory_exists? fs directory_path)
files_exist? (: (Action (List Bit))
(|> files
- (list\each product.left)
+ (list#each product.left)
(monad.each ///action.monad (..file_exists? fs))))]
(in (and directory_exists?
(list.every? (|>>) files_exist?)))))
@@ -87,8 +87,8 @@
[context ..node_name
target ..node_name
sub ..node_name
- .let [fs (file.mock (\ file.default separator))
- / (\ fs separator)
+ .let [fs (file.mock (# file.default separator))
+ / (# fs separator)
target_path (format context / target)
sub_path (format target_path / sub)]
direct_files (..files (format target_path /))
@@ -107,13 +107,13 @@
context_exists!/post (..directory_exists? fs context)
target_exists!/post (..assets_exist? fs target_path direct_files)
sub_exists!/post (..assets_exist? fs sub_path sub_files)
- logging (\ console read_line [])]
+ logging (# console read_line [])]
(in (and (and context_exists!/pre
context_exists!/post)
(and target_exists!/pre
(not target_exists!/post))
(and sub_exists!/pre
(not sub_exists!/post))
- (text\= (/.success target_path) logging))))]
+ (text#= (/.success target_path) logging))))]
(_.cover' [/.do! /.success]
(try.else false verdict)))))))
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index 0b0f8558b..68e4de22c 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -12,8 +12,8 @@
[parser
["[0]" environment]]]
[data
- ["[0]" binary ("[1]\[0]" equivalence)]
- ["[0]" text ("[1]\[0]" equivalence)
+ ["[0]" binary ("[1]#[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)
["%" format {"+" [format]}]
[encoding
["[0]" utf8]]]
@@ -57,7 +57,7 @@
[.let [console ($version.echo "")]
_ ($install.make_sources! fs (value@ ///.#sources profile))
_ (/.do! console repository fs artifact profile)]
- (\ console read_line [])))
+ (# console read_line [])))
(def: .public test
Test
@@ -75,7 +75,7 @@
working_directory (random.ascii/alpha 5)
.let [repository (///repository.mock $repository.mock
$repository.empty)
- fs (file.mock (\ file.default separator))
+ fs (file.mock (# file.default separator))
program (program.async (program.mock environment.empty home working_directory))]]
(in (do [! async.monad]
[verdict (do [! ///action.monad]
@@ -84,39 +84,39 @@
(value@ ///.#sources)
set.list
(export.library fs)
- (\ ! each (format.result tar.writer)))
+ (# ! each (format.result tar.writer)))
- actual_pom (\ repository download (///repository/remote.uri (value@ ///artifact.#version artifact) artifact ///artifact/extension.pom))
- actual_library (\ repository download (///repository/remote.uri (value@ ///artifact.#version artifact) artifact ///artifact/extension.lux_library))
- actual_sha-1 (\ repository download (///repository/remote.uri (value@ ///artifact.#version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.sha-1)))
- actual_sha-1 (\ async.monad in
+ actual_pom (# repository download (///repository/remote.uri (value@ ///artifact.#version artifact) artifact ///artifact/extension.pom))
+ actual_library (# repository download (///repository/remote.uri (value@ ///artifact.#version artifact) artifact ///artifact/extension.lux_library))
+ actual_sha-1 (# repository download (///repository/remote.uri (value@ ///artifact.#version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.sha-1)))
+ actual_sha-1 (# async.monad in
(do try.monad
- [actual_sha-1 (\ utf8.codec decoded actual_sha-1)]
- (\ ///hash.sha-1_codec decoded actual_sha-1)))
- actual_md5 (\ repository download (///repository/remote.uri (value@ ///artifact.#version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.md5)))
- actual_md5 (\ async.monad in
+ [actual_sha-1 (# utf8.codec decoded actual_sha-1)]
+ (# ///hash.sha-1_codec decoded actual_sha-1)))
+ actual_md5 (# repository download (///repository/remote.uri (value@ ///artifact.#version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.md5)))
+ actual_md5 (# async.monad in
(do try.monad
- [actual_md5 (\ utf8.codec decoded actual_md5)]
- (\ ///hash.md5_codec decoded actual_md5)))
+ [actual_md5 (# utf8.codec decoded actual_md5)]
+ (# ///hash.md5_codec decoded actual_md5)))
.let [succeeded!
- (text\= /.success logging)
+ (text#= /.success logging)
deployed_library!
- (binary\= expected_library
+ (binary#= expected_library
actual_library)
deployed_pom!
- (binary\= (|> expected_pom (\ xml.codec encoded) (\ utf8.codec encoded))
+ (binary#= (|> expected_pom (# xml.codec encoded) (# utf8.codec encoded))
actual_pom)
deployed_sha-1!
- (\ ///hash.equivalence =
+ (# ///hash.equivalence =
(///hash.sha-1 expected_library)
actual_sha-1)
deployed_md5!
- (\ ///hash.equivalence =
+ (# ///hash.equivalence =
(///hash.md5 expected_library)
actual_md5)]]
(in (and succeeded!
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 037a8e119..812f4b745 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -12,7 +12,7 @@
[parser
["[0]" environment]]]
[data
- ["[0]" text ("[1]\[0]" equivalence)
+ ["[0]" text ("[1]#[0]" equivalence)
["%" format {"+" [format]}]
[encoding
["[0]" utf8]]]
@@ -61,7 +61,7 @@
dependee_artifact $///artifact.random
depender_artifact (random.only (predicate.complement
- (\ ///artifact.equivalence = dependee_artifact))
+ (# ///artifact.equivalence = dependee_artifact))
$///artifact.random)
[_ dependee_package] $///package.random
@@ -72,11 +72,11 @@
depender [///dependency.#artifact depender_artifact
///dependency.#type ///artifact/type.lux_library]
- dependee_pom (|> (\ ///.monoid identity)
+ dependee_pom (|> (# ///.monoid identity)
(with@ ///.#identity {.#Some dependee_artifact})
///pom.write
try.trusted)
- depender_pom (|> (\ ///.monoid identity)
+ depender_pom (|> (# ///.monoid identity)
(with@ ///.#identity {.#Some depender_artifact})
(with@ ///.#dependencies (set.of_list ///dependency.hash (list dependee)))
///pom.write
@@ -85,15 +85,15 @@
dependee_package (|> dependee_package
(with@ ///package.#origin {///repository/origin.#Remote ""})
(with@ ///package.#pom [dependee_pom
- (|> dependee_pom (\ xml.codec encoded) (\ utf8.codec encoded))
+ (|> dependee_pom (# xml.codec encoded) (# utf8.codec encoded))
{///dependency/status.#Unverified}]))
depender_package (|> depender_package
(with@ ///package.#origin {///repository/origin.#Remote ""})
(with@ ///package.#pom [depender_pom
- (|> depender_pom (\ xml.codec encoded) (\ utf8.codec encoded))
+ (|> depender_pom (# xml.codec encoded) (# utf8.codec encoded))
{///dependency/status.#Unverified}]))
- fs (file.mock (\ file.default separator))
+ fs (file.mock (# file.default separator))
program (program.async (program.mock environment.empty home working_directory))]]
(in (do async.monad
[verdict (do ///action.monad
@@ -102,7 +102,7 @@
pre (|> ///dependency/resolution.empty
(dictionary.has dependee dependee_package)
(///dependency/deployment.all local))
- post (|> (\ ///.monoid identity)
+ post (|> (# ///.monoid identity)
(with@ ///.#dependencies (set.of_list ///dependency.hash (list dependee depender)))
(/.do! console local
(list (///repository.mock ($///dependency/resolution.single depender_artifact depender_package)
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index 0461029fc..ba6f599fb 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -5,7 +5,7 @@
[abstract
["[0]" monad {"+" [do]}]]
[control
- ["[0]" try {"+" [Try]} ("[1]\[0]" functor)]
+ ["[0]" try {"+" [Try]} ("[1]#[0]" functor)]
["[0]" exception]
[concurrency
["[0]" async {"+" [Async]}]]
@@ -13,7 +13,7 @@
["[0]" environment]]]
[data
["[0]" binary]
- ["[0]" text ("[1]\[0]" equivalence)
+ ["[0]" text ("[1]#[0]" equivalence)
["%" format {"+" [format]}]]
[collection
["[0]" set {"+" [Set]}]]]
@@ -41,7 +41,7 @@
(def: .public (make_sources! fs sources)
(-> (file.System Async) (Set file.Path) (Action (List Any)))
- (let [/ (\ fs separator)
+ (let [/ (# fs separator)
! ///action.monad]
(|> sources
set.list
@@ -58,18 +58,18 @@
[.let [console ($version.echo "")]
_ (..make_sources! fs (value@ ///.#sources sample))
_ (/.do! console fs (///repository/local.repository program fs) sample)]
- (\ console read_line [])))
+ (# console read_line [])))
(def: .public test
Test
(<| (_.covering /._)
(do [! random.monad]
[identity $artifact.random
- sample (\ ! each (with@ ///.#identity {.#Some identity})
+ sample (# ! each (with@ ///.#identity {.#Some identity})
$profile.random)
home (random.ascii/alpha 5)
working_directory (random.ascii/alpha 5)
- .let [/ (\ file.default separator)]]
+ .let [/ (# file.default separator)]]
($_ _.and
(in (do [! async.monad]
[.let [fs (file.mock /)
@@ -79,16 +79,16 @@
library_path (format artifact_path ///artifact/extension.lux_library)
pom_path (format artifact_path ///artifact/extension.pom)]
verdict (do [! ///action.monad]
- [succeeded! (\ ! each (text\= /.success)
+ [succeeded! (# ! each (text#= /.success)
(..execute! program fs sample))
library_exists! (|> library_path
(format home /)
- (\ fs file?)
- (\ async.monad each (|>> {try.#Success})))
+ (# fs file?)
+ (# async.monad each (|>> {try.#Success})))
pom_exists! (|> pom_path
(format home /)
- (\ fs file?)
- (\ async.monad each (|>> {try.#Success})))]
+ (# fs file?)
+ (# async.monad each (|>> {try.#Success})))]
(in (and succeeded!
library_exists!
pom_exists!)))]
@@ -100,6 +100,6 @@
logging (..execute! program fs (with@ ///.#identity {.#None} sample))]
(_.cover' [/.failure]
(|> logging
- (try\each (text\= /.failure))
+ (try#each (text#= /.failure))
(try.else false)))))
))))
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 76cdf8b02..47456bdba 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -5,12 +5,12 @@
[abstract
[monad {"+" [do]}]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[concurrency
["[0]" async]]]
[data
- ["[0]" binary ("[1]\[0]" equivalence)]
- ["[0]" text ("[1]\[0]" equivalence)
+ ["[0]" binary ("[1]#[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)
[encoding
["[0]" utf8]]]
[format
@@ -35,7 +35,7 @@
(<| (_.covering /._)
(do random.monad
[sample @profile.random
- .let [fs (file.mock (\ file.default separator))]]
+ .let [fs (file.mock (# file.default separator))]]
(in (do [! async.monad]
[.let [console (@version.echo "")]
outcome (/.do! console fs sample)]
@@ -44,17 +44,17 @@
(do !
[verdict (do ///action.monad
[expected (|> (///pom.write sample)
- (try\each (|>> (\ xml.codec encoded)
- (\ utf8.codec encoded)))
- (\ ! in))
- actual (\ fs read ///pom.file)
+ (try#each (|>> (# xml.codec encoded)
+ (# utf8.codec encoded)))
+ (# ! in))
+ actual (# fs read ///pom.file)
- logging! (\ ///action.monad each
- (text\= /.success)
- (\ console read_line []))
+ logging! (# ///action.monad each
+ (text#= /.success)
+ (# console read_line []))
.let [expected_content!
- (binary\= expected actual)]]
+ (binary#= expected actual)]]
(in (and logging!
expected_content!)))]
(_.cover' [/.do! /.success]
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index cee27dd27..20a59f405 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -12,7 +12,7 @@
[parser
["[0]" environment]]]
[data
- ["[0]" text ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)]
[collection
["[0]" dictionary]
["[0]" list]]]
@@ -48,7 +48,7 @@
home (random.ascii/alpha 5)
working_directory (random.ascii/alpha 5)
.let [empty_profile (: Profile
- (\ ///.monoid identity))
+ (# ///.monoid identity))
with_target (: (-> Profile Profile)
(with@ ///.#target target))
with_test (: (-> Profile Profile)
@@ -59,25 +59,25 @@
with_target)]
[compiler resolution] @build.resolution]
($_ _.and
- (let [fs (file.mock (\ file.default separator))
+ (let [fs (file.mock (# file.default separator))
console (@version.echo "")]
(in (do async.monad
[verdict (do ///action.monad
[_ (/.do! console (program.async (program.mock environment.empty home working_directory))
fs (shell.async (@build.good_shell [])) resolution
(with@ ///.#compiler compiler profile))
- build_start (\ console read_line [])
- build_end (\ console read_line [])
- test_start (\ console read_line [])
- test_end (\ console read_line [])]
- (in (and (and (text\= //build.start build_start)
- (text\= //build.success build_end))
- (and (text\= /.start test_start)
- (text\= /.success test_end)))))]
+ build_start (# console read_line [])
+ build_end (# console read_line [])
+ test_start (# console read_line [])
+ test_end (# console read_line [])]
+ (in (and (and (text#= //build.start build_start)
+ (text#= //build.success build_end))
+ (and (text#= /.start test_start)
+ (text#= /.success test_end)))))]
(_.cover' [/.do!
/.start /.success]
(try.else false verdict)))))
- (let [fs (file.mock (\ file.default separator))
+ (let [fs (file.mock (# file.default separator))
console (@version.echo "")]
(in (do async.monad
[verdict (do ///action.monad
@@ -95,21 +95,21 @@
(def: (on_destroy state)
{try.#Failure "on_destroy"})
(def: (on_await state)
- {try.#Success [state (if (list.any? (text\= "build") actual_arguments)
+ {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
(with@ ///.#compiler compiler profile))
- build_start (\ console read_line [])
- build_end (\ console read_line [])
- test_start (\ console read_line [])
- test_end (\ console read_line [])]
- (in (and (and (text\= //build.start build_start)
- (text\= //build.success build_end))
- (and (text\= /.start test_start)
- (text\= /.failure test_end)))))]
+ build_start (# console read_line [])
+ build_end (# console read_line [])
+ test_start (# console read_line [])
+ test_end (# console read_line [])]
+ (in (and (and (text#= //build.start build_start)
+ (text#= //build.success build_end))
+ (and (text#= /.start test_start)
+ (text#= /.failure test_end)))))]
(_.cover' [/.failure]
(try.else false verdict)))))
))))
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index 583e21fcd..423c88718 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -11,7 +11,7 @@
[concurrency
["[0]" async {"+" [Async]}]]]
[data
- ["[0]" text ("[1]\[0]" equivalence)
+ ["[0]" text ("[1]#[0]" equivalence)
["%" format {"+" [format]}]]]
[math
["[0]" random]]
@@ -72,8 +72,8 @@
[.let [console (..echo "")]
verdict (do (try.with async.monad)
[_ (/.do! console profile)
- logging (\ console read_line [])]
- (in (text\= (version.format language/lux.version)
+ logging (# console read_line [])]
+ (in (text#= (version.format language/lux.version)
logging)))]
(_.cover' [/.do!]
(try.else false verdict)))))))
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 625c7c9f5..f3bb6b4a3 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -7,20 +7,20 @@
["[0]" hash {"+" [Hash]}]]
[control
["[0]" io {"+" [IO]}]
- ["[0]" maybe ("[1]\[0]" functor)]
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" maybe ("[1]#[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[concurrency
["[0]" atom {"+" [Atom]}]
["[0]" async]]]
[data
["[0]" product]
- ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence)]
+ ["[0]" binary {"+" [Binary]} ("[1]#[0]" equivalence)]
["[0]" text
["%" format {"+" [format]}]]
[collection
["[0]" dictionary {"+" [Dictionary]}]
["[0]" set]
- ["[0]" list ("[1]\[0]" mix)]]]
+ ["[0]" list ("[1]#[0]" mix)]]]
[math
["[0]" random {"+" [Random]}]
[number
@@ -43,7 +43,7 @@
["[0]" profile]
["[0]" metadata]
["[0]" package {"+" [Package]}]
- ["[0]" artifact {"+" [Artifact]} ("[1]\[0]" equivalence)
+ ["[0]" artifact {"+" [Artifact]} ("[1]#[0]" equivalence)
["[1]/[0]" type]
["[1]/[0]" extension]]
["[0]" repository
@@ -97,7 +97,7 @@
product.left)
correct_artifact!
- (artifact\= expected_artifact actual_artifact)
+ (artifact#= expected_artifact actual_artifact)
expected_number_of_uploads!
(n.= (n.* expected_deployments 8)
@@ -106,7 +106,7 @@
correct_library_upload!
(and (|> cache
(dictionary.value library_url)
- (maybe\each (binary\= expected_library))
+ (maybe#each (binary#= expected_library))
(maybe.else false))
(dictionary.key? cache (format library_url artifact/extension.sha-1))
(dictionary.key? cache (format library_url artifact/extension.md5)))
@@ -114,7 +114,7 @@
correct_pom_upload!
(and (|> cache
(dictionary.value pom_url)
- (maybe\each (binary\= expected_pom))
+ (maybe#each (binary#= expected_pom))
(maybe.else false))
(dictionary.key? cache (format pom_url artifact/extension.sha-1))
(dictionary.key? cache (format pom_url artifact/extension.md5)))
@@ -147,7 +147,7 @@
Test
(<| (_.covering /._)
(do [! random.monad]
- [address (\ ! each (text.suffix uri.separator)
+ [address (# ! each (text.suffix uri.separator)
(random.ascii/upper 10))]
($_ _.and
(do [! random.monad]
@@ -161,17 +161,17 @@
cache (async.future (atom.read! cache))]
(_.cover' [/.one]
(|> ?outcome
- (try\each (verify_one 1 address package cache expected_artifact))
+ (try#each (verify_one 1 address package cache expected_artifact))
(try.else false))))))
(do [! random.monad]
[.let [hash (: (Hash [Dependency Artifact Package])
- (\ hash.functor each (|>> product.right product.left product.left)
+ (# hash.functor each (|>> product.right product.left product.left)
text.hash))]
- num_bundles (\ ! each (n.% 10) random.nat)
+ num_bundles (# ! each (n.% 10) random.nat)
bundles (|> ..bundle
(random.set hash num_bundles)
- (\ ! each set.list))
- .let [resolution (list\mix (function (_ [dependency expected_artifact package] resolution)
+ (# ! each set.list))
+ .let [resolution (list#mix (function (_ [dependency expected_artifact package] resolution)
(dictionary.has dependency package resolution))
resolution.empty
bundles)
@@ -184,7 +184,7 @@
cache (async.future (atom.read! cache))]
(_.cover' [/.all]
(|> ?outcome
- (try\each (function (_ actual_artifacts)
+ (try#each (function (_ actual_artifacts)
(let [expected_deployments!
(n.= num_bundles (set.size actual_artifacts))
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index b8b50f23d..01d516480 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -39,7 +39,7 @@
["[1]" profile]
["[1][0]" package {"+" [Package]}]
["[1][0]" hash]
- ["[1][0]" dependency {"+" [Dependency]} ("[1]\[0]" equivalence)
+ ["[1][0]" dependency {"+" [Dependency]} ("[1]#[0]" equivalence)
["[1]/[0]" status]]
["[1][0]" pom]
["[1][0]" artifact {"+" [Artifact]}
@@ -77,14 +77,14 @@
(def: sha-1
(-> Binary Binary)
(|>> ///hash.sha-1
- (\ ///hash.sha-1_codec encoded)
- (\ utf8.codec encoded)))
+ (# ///hash.sha-1_codec encoded)
+ (# utf8.codec encoded)))
(def: md5
(-> Binary Binary)
(|>> ///hash.md5
- (\ ///hash.md5_codec encoded)
- (\ utf8.codec encoded)))
+ (# ///hash.md5_codec encoded)
+ (# utf8.codec encoded)))
(def: .public nope
(Mock Any)
@@ -112,8 +112,8 @@
(|> package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded)))]
+ (# xml.codec encoded)
+ (# utf8.codec encoded)))]
(cond (text.ends_with? ///artifact/extension.lux_library uri)
{try.#Success [state library]}
@@ -166,23 +166,23 @@
{try.#Success [state (|> expected_package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded))]}
+ (# xml.codec encoded)
+ (# utf8.codec encoded))]}
(text.ends_with? ..pom_sha-1 uri)
{try.#Success [state (|> dummy_package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded)
+ (# xml.codec encoded)
+ (# utf8.codec encoded)
..sha-1)]}
(text.ends_with? ..pom_md5 uri)
{try.#Success [state (|> expected_package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded)
+ (# xml.codec encoded)
+ (# utf8.codec encoded)
..md5)]}
... else
@@ -219,23 +219,23 @@
{try.#Success [state (|> expected_package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded))]}
+ (# xml.codec encoded)
+ (# utf8.codec encoded))]}
(text.ends_with? ..pom_sha-1 uri)
{try.#Success [state (|> expected_package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded)
+ (# xml.codec encoded)
+ (# utf8.codec encoded)
..sha-1)]}
(text.ends_with? ..pom_md5 uri)
{try.#Success [state (|> dummy_package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded)
+ (# xml.codec encoded)
+ (# utf8.codec encoded)
..md5)]}
... else
@@ -251,7 +251,7 @@
[_ expected_package] $///package.random
[_ dummy_package] (random.only (|>> product.right
(with@ ///package.#pom (value@ ///package.#pom expected_package))
- (\ ///package.equivalence = expected_package)
+ (# ///package.equivalence = expected_package)
not)
$///package.random)
.let [good (..single expected_artifact expected_package)
@@ -265,7 +265,7 @@
(_.cover' [/.one]
(case actual_package
{try.#Success actual_package}
- (\ ///package.equivalence =
+ (# ///package.equivalence =
(with@ ///package.#origin {///repository/origin.#Remote ""} expected_package)
actual_package)
@@ -296,7 +296,7 @@
[_ expected_package] $///package.random
[_ dummy_package] (random.only (|>> product.right
(with@ ///package.#pom (value@ ///package.#pom expected_package))
- (\ ///package.equivalence = expected_package)
+ (# ///package.equivalence = expected_package)
not)
$///package.random)
.let [good (..single expected_artifact expected_package)
@@ -314,7 +314,7 @@
(_.cover' [/.any]
(case actual_package
{try.#Success actual_package}
- (\ ///package.equivalence =
+ (# ///package.equivalence =
(with@ ///package.#origin {///repository/origin.#Remote ""} expected_package)
actual_package)
@@ -341,11 +341,11 @@
(do random.monad
[dependee_artifact $///artifact.random
depender_artifact (random.only (predicate.complement
- (\ ///artifact.equivalence = dependee_artifact))
+ (# ///artifact.equivalence = dependee_artifact))
$///artifact.random)
ignored_artifact (random.only (predicate.complement
- (predicate.and (\ ///artifact.equivalence = dependee_artifact)
- (\ ///artifact.equivalence = depender_artifact)))
+ (predicate.and (# ///artifact.equivalence = dependee_artifact)
+ (# ///artifact.equivalence = depender_artifact)))
$///artifact.random)]
(in [dependee_artifact depender_artifact ignored_artifact])))
@@ -365,33 +365,33 @@
ignored [///dependency.#artifact ignored_artifact
///dependency.#type ///artifact/type.lux_library]
- dependee_pom (|> (\ ///.monoid identity)
+ dependee_pom (|> (# ///.monoid identity)
(with@ ///.#identity {.#Some dependee_artifact})
///pom.write
try.trusted)
- depender_pom (|> (\ ///.monoid identity)
+ depender_pom (|> (# ///.monoid identity)
(with@ ///.#identity {.#Some depender_artifact})
(with@ ///.#dependencies (set.of_list ///dependency.hash (list dependee)))
///pom.write
try.trusted)
- ignored_pom (|> (\ ///.monoid identity)
+ ignored_pom (|> (# ///.monoid identity)
(with@ ///.#identity {.#Some ignored_artifact})
///pom.write
try.trusted)
dependee_package (with@ ///package.#pom
[dependee_pom
- (|> dependee_pom (\ xml.codec encoded) (\ utf8.codec encoded))
+ (|> dependee_pom (# xml.codec encoded) (# utf8.codec encoded))
{///dependency/status.#Unverified}]
dependee_package)
depender_package (with@ ///package.#pom
[depender_pom
- (|> depender_pom (\ xml.codec encoded) (\ utf8.codec encoded))
+ (|> depender_pom (# xml.codec encoded) (# utf8.codec encoded))
{///dependency/status.#Unverified}]
depender_package)
ignored_package (with@ ///package.#pom
[ignored_pom
- (|> ignored_pom (\ xml.codec encoded) (\ utf8.codec encoded))
+ (|> ignored_pom (# xml.codec encoded) (# utf8.codec encoded))
{///dependency/status.#Unverified}]
ignored_package)]]
(in [[dependee depender ignored]
@@ -418,10 +418,10 @@
/.empty)]
(_.cover' [/.all]
(and (dictionary.key? resolution depender)
- (list.any? (///dependency\= depender) successes)
+ (list.any? (///dependency#= depender) successes)
(dictionary.key? resolution dependee)
- (list.any? (///dependency\= dependee) successes)
+ (list.any? (///dependency#= dependee) successes)
(list.empty? failures)
(not (dictionary.key? resolution ignored))))))
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index ea39e0cf5..0b487873f 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -10,7 +10,7 @@
["[0]" binary "_"
["[1]T" \\test]]]
[math
- ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
+ ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]]
["$[0]" /// "_"
["[1][0]" hash]]
[\\program
@@ -21,7 +21,7 @@
(def: .public random
(Random /.Status)
($_ random.or
- (random\in [])
+ (random#in [])
(random.or ($///hash.random ///hash.sha-1)
($///hash.random ///hash.md5))
(random.and ($///hash.random ///hash.sha-1)
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index eb3886755..67dfa6b01 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -30,8 +30,8 @@
(-> (-> Binary (/.Hash h))
(Random (/.Hash h))))
(do [! random.monad]
- [size (\ ! each (n.% 100) random.nat)]
- (\ ! each hash (_binary.random size))))
+ [size (# ! each (n.% 100) random.nat)]
+ (# ! each hash (_binary.random size))))
(def: .public test
Test
@@ -51,11 +51,11 @@
(_.cover [<hash> <constructor> <exception>]
(and (case (<constructor> (/.data expected))
{try.#Success actual}
- (\ /.equivalence = expected actual)
+ (# /.equivalence = expected actual)
{try.#Failure error}
false)
- (case (<constructor> (\ binary.monoid composite
+ (case (<constructor> (# binary.monoid composite
(/.data expected)
(/.data expected)))
{try.#Success actual}
@@ -80,8 +80,8 @@
[(do random.monad
[expected (..random <hash>)]
(_.cover [<codec>]
- (case (\ <codec> decoded
- (format (\ <codec> encoded expected)
+ (case (# <codec> decoded
+ (format (# <codec> encoded expected)
"AABBCC"))
{try.#Success actual}
false
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index cec84de94..a2f7d77a7 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -45,20 +45,20 @@
Test
(<| (_.covering /._)
(do [! random.monad]
- [expected (\ ! each (with@ //.#parents (list)) $profile.random)
+ [expected (# ! each (with@ //.#parents (list)) $profile.random)
.let [fs (: (file.System Async)
- (file.mock (\ file.default separator)))]]
+ (file.mock (# file.default separator)))]]
(in (do async.monad
[verdict (do //action.monad
[.let [profile (|> expected
(//project.project //.default)
//format.project
%.code
- (\ utf8.codec encoded))]
- _ (\ fs write profile //project.file)
+ (# utf8.codec encoded))]
+ _ (# fs write profile //project.file)
actual (: (Async (Try Profile))
(/.read async.monad fs (list //.default)))]
- (in (\ //.equivalence =
+ (in (# //.equivalence =
(|> expected
(revised@ //.#sources ..with_default_source)
(revised@ //.#repositories ..with_default_repository))
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index 79ced5b8f..093cf7937 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -5,7 +5,7 @@
[abstract
[monad {"+" [do]}]]
[data
- ["[0]" text ("[1]\[0]" equivalence)]]
+ ["[0]" text ("[1]#[0]" equivalence)]]
[math
["[0]" random]]]]
["[0]" / "_"
@@ -24,26 +24,26 @@
[sample $artifact.random]
($_ _.and
(_.cover [/.remote_artifact_uri /.remote_project_uri]
- (not (text\= (/.remote_artifact_uri sample)
+ (not (text#= (/.remote_artifact_uri sample)
(/.remote_project_uri sample))))
(_.cover [/.local_uri]
(let [remote_artifact_uri (/.remote_artifact_uri sample)
remote_project_uri (/.remote_project_uri sample)]
- (and (not (text\= remote_artifact_uri (/.local_uri remote_artifact_uri)))
- (not (text\= remote_project_uri (/.local_uri remote_project_uri))))))
+ (and (not (text#= remote_artifact_uri (/.local_uri remote_artifact_uri)))
+ (not (text#= remote_project_uri (/.local_uri remote_project_uri))))))
(_.cover [/.remote_uri]
(let [remote_artifact_uri (/.remote_artifact_uri sample)
remote_project_uri (/.remote_project_uri sample)]
- (and (text\= remote_artifact_uri (/.remote_uri remote_artifact_uri))
- (text\= remote_project_uri (/.remote_uri remote_project_uri))
+ (and (text#= remote_artifact_uri (/.remote_uri remote_artifact_uri))
+ (text#= remote_project_uri (/.remote_uri remote_project_uri))
(|> remote_artifact_uri
/.local_uri
/.remote_uri
- (text\= remote_artifact_uri))
+ (text#= remote_artifact_uri))
(|> remote_project_uri
/.local_uri
/.remote_uri
- (text\= remote_project_uri)))))
+ (text#= remote_project_uri)))))
))
/artifact.test
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 5708eb39b..29f074af9 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -8,14 +8,14 @@
["$[0]" equivalence]]]
[control
["[0]" maybe]
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["[0]" environment]
["<[0]>" xml]]
[concurrency
["[0]" async]]]
[data
- ["[0]" text ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[macro
@@ -48,12 +48,12 @@
(random.ascii/alpha 5)
(random.list 5 (random.ascii/alpha 5))
(do [! random.monad]
- [year (\ ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat)
- month (\ ! each (|>> (n.% 12) (n.+ 1)) random.nat)
- day_of_month (\ ! each (|>> (n.% 28) (n.+ 1)) random.nat)
- hour (\ ! each (n.% 24) random.nat)
- minute (\ ! each (n.% 60) random.nat)
- second (\ ! each (n.% 60) random.nat)]
+ [year (# ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat)
+ month (# ! each (|>> (n.% 12) (n.+ 1)) random.nat)
+ day_of_month (# ! each (|>> (n.% 28) (n.+ 1)) random.nat)
+ hour (# ! each (n.% 24) random.nat)
+ minute (# ! each (n.% 60) random.nat)
+ second (# ! each (n.% 60) random.nat)]
(in (try.trusted
(do try.monad
[year (year.year year)
@@ -89,16 +89,16 @@
/.format
list
(<xml>.result /.parser)
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false))))
(_.cover [/.uri]
- (text\= (//.remote_project_uri artifact)
+ (text#= (//.remote_project_uri artifact)
(/.uri artifact)))
(do random.monad
[home (random.ascii/lower 5)
working_directory (random.ascii/lower 5)
.let [program (program.async (program.mock environment.empty home working_directory))
- fs (file.mock (\ file.default separator))
+ fs (file.mock (# file.default separator))
repository (///repository/local.repository program fs)]]
(in (do async.monad
[wrote? (/.write repository artifact expected)
@@ -109,7 +109,7 @@
{try.#Failure _} false)
(case actual
{try.#Success actual}
- (\ /.equivalence = expected actual)
+ (# /.equivalence = expected actual)
{try.#Failure _}
false))))))
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 069cefcd2..8f90a45cf 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -8,20 +8,20 @@
["$[0]" equivalence]]]
[control
["[0]" maybe]
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["[0]" environment]
["<[0]>" xml]]
[concurrency
["[0]" async]]]
[data
- ["[0]" text ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[macro
["[0]" code]]
[math
- ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
+ ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
[number
["n" nat]]]
["[0]" time
@@ -52,12 +52,12 @@
(def: random_instant
(Random Instant)
(do [! random.monad]
- [year (\ ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat)
- month (\ ! each (|>> (n.% 12) (n.+ 1)) random.nat)
- day_of_month (\ ! each (|>> (n.% 28) (n.+ 1)) random.nat)
- hour (\ ! each (n.% 24) random.nat)
- minute (\ ! each (n.% 60) random.nat)
- second (\ ! each (n.% 60) random.nat)]
+ [year (# ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat)
+ month (# ! each (|>> (n.% 12) (n.+ 1)) random.nat)
+ day_of_month (# ! each (|>> (n.% 28) (n.+ 1)) random.nat)
+ hour (# ! each (n.% 24) random.nat)
+ minute (# ! each (n.% 60) random.nat)
+ second (# ! each (n.% 60) random.nat)]
(in (try.trusted
(do try.monad
[year (year.year year)
@@ -73,7 +73,7 @@
(def: random_versioning
(Random Versioning)
($_ random.and
- (random\in {///snapshot.#Local})
+ (random#in {///snapshot.#Local})
$///artifact/time.random
(random.list 5 $///artifact/snapshot/version.random)
))
@@ -101,16 +101,16 @@
/.format
list
(<xml>.result /.parser)
- (try\each (\ /.equivalence = expected))
+ (try#each (# /.equivalence = expected))
(try.else false)))
(_.cover [/.uri]
- (text\= (//.remote_artifact_uri artifact)
+ (text#= (//.remote_artifact_uri artifact)
(/.uri artifact)))
(do random.monad
[home (random.ascii/lower 5)
working_directory (random.ascii/lower 5)
.let [program (program.async (program.mock environment.empty home working_directory))
- fs (file.mock (\ file.default separator))
+ fs (file.mock (# file.default separator))
repository (///repository/local.repository program fs)]]
(in (do async.monad
[wrote? (/.write repository artifact expected)
@@ -121,7 +121,7 @@
{try.#Failure _} false)
(case actual
{try.#Success actual}
- (\ /.equivalence = expected actual)
+ (# /.equivalence = expected actual)
{try.#Failure _}
false))))))
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 8f8285c49..4d0f994d0 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -33,7 +33,7 @@
["[0]" /
["/[1]" // "_"
["[1]" profile]
- ["[1][0]" hash ("[1]\[0]" equivalence)]
+ ["[1][0]" hash ("[1]#[0]" equivalence)]
["[1][0]" pom]
[dependency
["[1][0]" status]]
@@ -43,7 +43,7 @@
(def: .public random
(Random [//.Profile /.Package])
(do [! random.monad]
- [content_size (\ ! each (n.% 100) random.nat)
+ [content_size (# ! each (n.% 100) random.nat)
content ($binary.random content_size)
[profile pom] (random.one (function (_ profile)
(try.maybe
@@ -61,7 +61,7 @@
[[profile package] ..random]
($_ _.and
(_.for [/.equivalence]
- ($equivalence.spec /.equivalence (\ ! each product.right ..random)))
+ ($equivalence.spec /.equivalence (# ! each product.right ..random)))
(_.cover [/.local?]
(/.local? (with@ /.#origin {//origin.#Local "~/yolo"} package)))
@@ -83,8 +83,8 @@
(and (same? expected_library actual_library)
(case library_status
{//status.#Verified actual_sha1 expected_md5}
- (and (//hash\= expected_sha1 actual_sha1)
- (//hash\= expected_md5 expected_md5))
+ (and (//hash#= expected_sha1 actual_sha1)
+ (//hash#= expected_md5 expected_md5))
_
false)))
@@ -92,14 +92,14 @@
expected_md5 (//hash.md5 binary_pom)]
(and (same? expected_pom actual_pom)
(|> (do try.monad
- [xml_pom (\ utf8.codec decoded binary_pom)
- decoded_pom (\ xml.codec decoded xml_pom)]
- (in (\ xml.equivalence = actual_pom decoded_pom)))
+ [xml_pom (# utf8.codec decoded binary_pom)
+ decoded_pom (# xml.codec decoded xml_pom)]
+ (in (# xml.equivalence = actual_pom decoded_pom)))
(try.else false))
(case pom_status
{//status.#Verified actual_sha1 expected_md5}
- (and (//hash\= expected_sha1 actual_sha1)
- (//hash\= expected_md5 expected_md5))
+ (and (//hash#= expected_sha1 actual_sha1)
+ (//hash#= expected_md5 expected_md5))
_
false))))))
@@ -107,7 +107,7 @@
(let [expected (value@ //.#dependencies profile)]
(case (/.dependencies package)
{try.#Success actual}
- (\ set.equivalence = expected actual)
+ (# set.equivalence = expected actual)
{try.#Failure error}
false)))
@@ -115,7 +115,7 @@
(let [expected (value@ //.#repositories profile)]
(case (/.repositories package)
{try.#Success actual}
- (\ set.equivalence = expected actual)
+ (# set.equivalence = expected actual)
{try.#Failure error}
false)))
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index fea31184f..183f04b27 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -15,7 +15,7 @@
[collection
["[0]" set {"+" [Set]}]
["[0]" dictionary {"+" [Dictionary]}]
- ["[0]" list ("[1]\[0]" functor)]]]
+ ["[0]" list ("[1]#[0]" functor)]]]
[math
["[0]" random {"+" [Random]}]
[number
@@ -40,12 +40,12 @@
(def: (list_of random)
(All (_ a) (-> (Random a) (Random (List a))))
(do [! random.monad]
- [size (\ ! each (n.% 5) random.nat)]
+ [size (# ! each (n.% 5) random.nat)]
(random.list size random)))
(def: (dictionary_of key_hash key_random value_random)
(All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
- (\ random.functor each
+ (# random.functor each
(dictionary.of_list key_hash)
(..list_of (random.and key_random value_random))))
@@ -69,7 +69,7 @@
(def: (with_empty_profile project)
(-> Project Project)
(if (dictionary.empty? project)
- (//project.project //.default (\ //.monoid identity))
+ (//project.project //.default (# //.monoid identity))
project))
(def: .public test
@@ -88,12 +88,12 @@
(|> expected
..with_empty_profile
dictionary.entries
- (list\each (function (_ [name profile])
+ (list#each (function (_ [name profile])
[name (|> profile
..with_default_sources
..with_default_repository)]))
(dictionary.of_list text.hash)
- (\ //project.equivalence = actual))
+ (# //project.equivalence = actual))
{try.#Failure error}
false))))))
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index dff414e66..fc9d47e00 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -10,7 +10,7 @@
["<>" parser
["<[0]>" xml]]]
[data
- ["[0]" text ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)]
[format
["[0]" xml]]]
[math
@@ -28,7 +28,7 @@
($_ _.and
(_.cover [/.file]
(|> /.file
- (text\= "")
+ (text#= "")
not))
(do random.monad
[expected @profile.random]
@@ -39,8 +39,8 @@
{.#Some _}]
(case (<xml>.result /.parser (list pom))
{try.#Success actual}
- (\ //.equivalence =
- (|> (\ //.monoid identity)
+ (# //.equivalence =
+ (|> (# //.monoid identity)
(with@ //.#dependencies (value@ //.#dependencies expected))
(with@ //.#repositories (value@ //.#repositories expected)))
actual)
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index cd5491c33..284151725 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -14,12 +14,12 @@
[parser
["[0]" cli]]]
[data
- ["[0]" text ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)]
[collection
["[0]" set {"+" [Set]}]
["[0]" dictionary {"+" [Dictionary]}]]]
[math
- ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
+ ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
[number
["n" nat]]]]]
[//
@@ -36,8 +36,8 @@
(def: distribution
(Random /.Distribution)
- (random.or (random\in [])
- (random\in [])))
+ (random.or (random#in [])
+ (random#in [])))
(def: license
(Random /.License)
@@ -74,18 +74,18 @@
(def: (list_of random)
(All (_ a) (-> (Random a) (Random (List a))))
(do [! random.monad]
- [size (\ ! each (n.% 5) random.nat)]
+ [size (# ! each (n.% 5) random.nat)]
(random.list size random)))
(def: (set_of hash random)
(All (_ a) (-> (Hash a) (Random a) (Random (Set a))))
- (\ random.functor each
+ (# random.functor each
(set.of_list hash)
(..list_of random)))
(def: (dictionary_of key_hash key_random value_random)
(All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
- (\ random.functor each
+ (# random.functor each
(dictionary.of_list key_hash)
(..list_of (random.and key_random value_random))))
@@ -131,11 +131,11 @@
(random.maybe (random.ascii/alpha 1))
(random.maybe (random.ascii/alpha 1))
(..dictionary_of text.hash (random.ascii/alpha 1) ..repository)
- (random\in //runtime.default_java)
- (random\in //runtime.default_js)
- (random\in //runtime.default_python)
- (random\in //runtime.default_lua)
- (random\in //runtime.default_ruby)
+ (random#in //runtime.default_java)
+ (random#in //runtime.default_js)
+ (random#in //runtime.default_python)
+ (random#in //runtime.default_lua)
+ (random#in //runtime.default_ruby)
))
(def: .public test
@@ -151,13 +151,13 @@
($monoid.spec /.equivalence /.monoid ..random))
(_.cover [/.default]
- (text\= "" /.default))
+ (text#= "" /.default))
(_.cover [/.default_compiler]
- (|> (\ /.monoid identity)
+ (|> (# /.monoid identity)
(value@ /.#compiler)
(same? /.default_compiler)))
(_.cover [/.default_target]
- (|> (\ /.monoid identity)
+ (|> (# /.monoid identity)
(value@ /.#target)
(same? /.default_target)))
)))))
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index aa3d726c3..90686e28e 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -8,13 +8,13 @@
["$[0]" equivalence]
["$[0]" monoid]]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
["[0]" exception]]
[data
["[0]" product]
- ["[0]" text ("[1]\[0]" equivalence)]]
+ ["[0]" text ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
+ ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
[number
["n" nat]]]]]
[//
@@ -27,7 +27,7 @@
(def: profile
(Random [//.Name //.Profile])
(|> @profile.random
- (random\each (with@ //.#parents (list)))
+ (random#each (with@ //.#parents (list)))
(random.and (random.ascii/alpha 1))))
(def: .public random
@@ -48,39 +48,39 @@
(_.cover [/.file]
(|> /.file
- (text\= "")
+ (text#= "")
not))
(do random.monad
[[super_name super_profile] ..profile
- [dummy_name dummy_profile] (random.only (|>> product.left (text\= super_name) not)
+ [dummy_name dummy_profile] (random.only (|>> product.left (text#= super_name) not)
..profile)
[sub_name sub_profile] (random.only (function (_ [name profile])
- (and (not (text\= super_name name))
- (not (text\= dummy_name name))))
+ (and (not (text#= super_name name))
+ (not (text#= dummy_name name))))
..profile)
fake_name (random.only (function (_ name)
- (and (not (text\= super_name name))
- (not (text\= dummy_name name))
- (not (text\= sub_name name))))
+ (and (not (text#= super_name name))
+ (not (text#= dummy_name name))
+ (not (text#= sub_name name))))
(random.ascii/alpha 1))
- .let [project ($_ (\ /.monoid composite)
+ .let [project ($_ (# /.monoid composite)
(/.project super_name super_profile)
(/.project dummy_name dummy_profile)
(/.project sub_name (with@ //.#parents (list super_name) sub_profile)))
- circular ($_ (\ /.monoid composite)
+ circular ($_ (# /.monoid composite)
(/.project super_name (with@ //.#parents (list sub_name) super_profile))
(/.project dummy_name dummy_profile)
(/.project sub_name (with@ //.#parents (list super_name) sub_profile)))]]
($_ _.and
(_.cover [/.profile]
(and (|> (/.profile project super_name)
- (try\each (\ //.equivalence = super_profile))
+ (try#each (# //.equivalence = super_profile))
(try.else false))
(|> (/.profile project dummy_name)
- (try\each (\ //.equivalence = dummy_profile))
+ (try#each (# //.equivalence = dummy_profile))
(try.else false))
(|> (/.profile project sub_name)
- (try\each (\ //.equivalence = (\ //.monoid composite sub_profile super_profile)))
+ (try#each (# //.equivalence = (# //.monoid composite sub_profile super_profile)))
(try.else false))))
(_.cover [/.unknown_profile]
(case (/.profile project fake_name)
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 5d3c94565..deb381511 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -5,13 +5,13 @@
[abstract
[monad {"+" [do]}]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["[0]" environment]]
[concurrency
["[0]" async]]]
[data
- ["[0]" binary ("[1]\[0]" equivalence)]
+ ["[0]" binary ("[1]#[0]" equivalence)]
[text
[encoding
["[0]" utf8]]]]
@@ -35,18 +35,18 @@
repo (/.repository program fs)]
uri (random.ascii/lower 10)
- expected (\ ! each (\ utf8.codec encoded)
+ expected (# ! each (# utf8.codec encoded)
(random.ascii/lower 10))]
($_ _.and
(in (do async.monad
- [before_upload (\ repo download uri)
- _ (\ repo upload uri expected)
- actual (\ repo download uri)]
+ [before_upload (# repo download uri)
+ _ (# repo upload uri expected)
+ actual (# repo download uri)]
(_.cover' [/.repository]
(and (case before_upload
{try.#Success _} false
{try.#Failure _} true)
(|> actual
- (try\each (binary\= expected))
+ (try#each (binary#= expected))
(try.else false))))))
))))
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 9cea986a8..6d8811ffe 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -6,13 +6,13 @@
[monad {"+" [do]}]]
[control
["[0]" io {"+" [IO]}]
- ["[0]" maybe ("[1]\[0]" functor)]
- ["[0]" try ("[1]\[0]" monad)]
+ ["[0]" maybe ("[1]#[0]" functor)]
+ ["[0]" try ("[1]#[0]" monad)]
["[0]" exception]
["[0]" function]]
[data
- ["[0]" binary ("[1]\[0]" equivalence)]
- ["[0]" text ("[1]\[0]" equivalence)
+ ["[0]" binary ("[1]#[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)
["%" format {"+" [format]}]
[encoding
["[0]" utf8]]]
@@ -33,7 +33,7 @@
(def: (url_body url)
(-> URL (@http.Body IO))
- (let [url (\ utf8.codec encoded url)]
+ (let [url (# utf8.codec encoded url)]
(function (_ _)
(io.io {try.#Success [(binary.size url) url]}))))
@@ -48,7 +48,7 @@
{try.#Success}
(if (|> headers
(dictionary.value "User-Agent")
- (maybe\each (same? /.user_agent))
+ (maybe#each (same? /.user_agent))
(maybe.else false))
(case [method input]
[#@http.Get {.#None}]
@@ -59,7 +59,7 @@
[#@http.Put {.#Some input}]
(if (|> headers
(dictionary.value "Authorization")
- (maybe\each (text\= (//identity.basic_auth user password)))
+ (maybe#each (text#= (//identity.basic_auth user password)))
(maybe.else false))
[http/status.created
[#@http.headers (http.headers (list))
@@ -90,7 +90,7 @@
user (random.ascii/lower 10)
password (random.ascii/lower 10)
- content (\ ! each (\ utf8.codec encoded)
+ content (# ! each (# utf8.codec encoded)
(random.ascii/lower 10))]
($_ _.and
(_.cover [/.repository /.user_agent /.Address]
@@ -98,21 +98,21 @@
{.#Some [//identity.#user user
//identity.#password password]}
address)]
- (and (|> (\ repo download uri)
+ (and (|> (# repo download uri)
io.run!
- (try\each (\ utf8.codec decoded))
- try\conjoint
- (try\each (text\= (format address uri)))
+ (try#each (# utf8.codec decoded))
+ try#conjoint
+ (try#each (text#= (format address uri)))
(try.else false))
- (|> (\ repo upload uri content)
+ (|> (# repo upload uri content)
io.run!
- (try\each (function.constant true))
+ (try#each (function.constant true))
(try.else false)))))
(_.cover [/.upload_failure]
(let [repo (/.repository (..good_http user password)
{.#None}
address)]
- (case (io.run! (\ repo upload uri content))
+ (case (io.run! (# repo upload uri content))
{try.#Failure error}
(exception.match? /.upload_failure error)
@@ -122,7 +122,7 @@
(let [repo (/.repository ..bad_http
{.#None}
address)]
- (case (io.run! (\ repo download uri))
+ (case (io.run! (# repo download uri))
{try.#Failure error}
(exception.match? /.download_failure error)
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index 77f7bcbed..fb94da435 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -7,14 +7,14 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" maybe ("[1]\[0]" functor)]]
+ ["[0]" maybe ("[1]#[0]" functor)]]
[data
- ["[0]" text ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)]
[collection
- ["[0]" list ("[1]\[0]" functor)]
+ ["[0]" list ("[1]#[0]" functor)]
["[0]" set]]]
[math
- ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
+ ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\program
@@ -23,11 +23,11 @@
(def: .public random
(Random /.Runtime)
($_ random.either
- (random\in /.default_java)
- (random\in /.default_js)
- (random\in /.default_python)
- (random\in /.default_lua)
- (random\in /.default_ruby)
+ (random#in /.default_java)
+ (random#in /.default_js)
+ (random#in /.default_python)
+ (random#in /.default_lua)
+ (random#in /.default_ruby)
))
(def: .public test
@@ -44,7 +44,7 @@
(~~ (template [<command>]
[(_.cover [/.default_java /.default_js /.default_python /.default_lua /.default_ruby]
(let [listing (|> (list /.default_java /.default_js /.default_python /.default_lua /.default_ruby)
- (list\each (value@ /.#program)))
+ (list#each (value@ /.#program)))
unique (set.of_list text.hash listing)]
(n.= (list.size listing)
(set.size unique))))]
@@ -57,11 +57,11 @@
))
(_.cover [/.for]
(let [runtime' (/.for runtime path)]
- (and (text\= (value@ /.#program runtime)
+ (and (text#= (value@ /.#program runtime)
(value@ /.#program runtime'))
(|> runtime'
(value@ /.#parameters)
list.last
- (maybe\each (text\= path))
+ (maybe#each (text#= path))
(maybe.else false)))))
)))))