aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/aedifex/repository.lux50
-rw-r--r--stdlib/source/specification/compositor.lux60
-rw-r--r--stdlib/source/specification/compositor/common.lux44
3 files changed, 77 insertions, 77 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index 3c9dd8f2c..9e22c1ac4 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -1,27 +1,27 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" try {"+" Try}]
- [concurrency
- ["[0]" async {"+" Async}]]]
- [data
- ["[0]" binary
- ["_[1]" \\test]]]
- [math
- ["[0]" random]]]]
- [\\program
- ["[0]" /
- ["[1][0]" remote]
- ["/[1]" // "_"
- ["[1][0]" artifact {"+" Artifact}
- ["[1]/[0]" extension]]]]]
- [\\test
- ["_[0]" // "_"
- ["[1][0]" artifact]]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" try {"+" Try}]
+ [concurrency
+ ["[0]" async {"+" Async}]]]
+ [data
+ ["[0]" binary
+ ["_[1]" \\test]]]
+ [math
+ ["[0]" random]]]]
+ [\\program
+ ["[0]" /
+ ["[1][0]" remote]
+ ["/[1]" // "_"
+ ["[1][0]" artifact {"+" Artifact}
+ ["[1]/[0]" extension]]]]]
+ [\\test
+ ["_[0]" // "_"
+ ["[1][0]" artifact]]])
(def: .public (spec valid_artifact invalid_artifact subject)
(-> Artifact Artifact (/.Repository Async) Test)
@@ -29,11 +29,11 @@
[expected (_binary.random 100)]
(in ($_ _.and'
(do async.monad
- [.let [good_uri (/remote.uri (value@ //artifact.#version valid_artifact) valid_artifact //artifact/extension.lux_library)]
+ [.let [good_uri (/remote.uri (the //artifact.#version valid_artifact) valid_artifact //artifact/extension.lux_library)]
good_upload! (# subject upload good_uri expected)
good_download! (# subject download good_uri)
- .let [bad_uri (/remote.uri (value@ //artifact.#version invalid_artifact) invalid_artifact //artifact/extension.lux_library)]
+ .let [bad_uri (/remote.uri (the //artifact.#version invalid_artifact) invalid_artifact //artifact/extension.lux_library)]
bad_upload! (# subject upload bad_uri expected)
bad_download! (# subject download bad_uri)]
(_.cover' [/.Repository]
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index aa2239cf7..f2af26161 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -1,33 +1,33 @@
(.using
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" io {"+" IO}]
- ["[0]" try]]
- [math
- ["r" random]]
- [tool
- [compiler
- ["[0]" analysis]
- ["[0]" directive]
- [phase
- [macro {"+" Expander}]
- [generation {"+" Bundle}]]
- [default
- [platform {"+" Platform}]]]]]
- ["[0]" / "_"
- ["[1][0]" common {"+" Runner Definer}]
- ["[1]./" analysis "_"
- ["[1][0]" type]]
- ["[1]./" generation "_"
- ["[1][0]" primitive]
- ["[1][0]" structure]
- ["[1][0]" reference]
- ["[1][0]" case]
- ["[1][0]" function]
- ["[1][0]" common]]])
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" io {"+" IO}]
+ ["[0]" try]]
+ [math
+ ["r" random]]
+ [tool
+ [compiler
+ ["[0]" analysis]
+ ["[0]" directive]
+ [phase
+ [macro {"+" Expander}]
+ [generation {"+" Bundle}]]
+ [default
+ [platform {"+" Platform}]]]]]
+ ["[0]" / "_"
+ ["[1][0]" common {"+" Runner Definer}]
+ ["[1]./" analysis "_"
+ ["[1][0]" type]]
+ ["[1]./" generation "_"
+ ["[1][0]" primitive]
+ ["[1][0]" structure]
+ ["[1][0]" reference]
+ ["[1][0]" case]
+ ["[1][0]" function]
+ ["[1][0]" common]]])
(def: (test runner definer state expander)
(-> Runner Definer analysis.State+ Expander Test)
@@ -60,7 +60,7 @@
(case ?state,runner,definer
{try.#Success [[directive_bundle directive_state] runner definer]}
(..test runner definer
- (value@ [directive.#analysis directive.#state] directive_state)
+ (the [directive.#analysis directive.#state] directive_state)
expander)
{try.#Failure error}
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index d9a7e1e24..f97ca894e 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -1,23 +1,23 @@
(.using
- [lux "*"
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" io {"+" IO}]
- ["[0]" try {"+" Try}]]
- [tool
- [compiler
- ["[0]" reference]
- ["[0]" analysis]
- ["[0]" synthesis {"+" Synthesis}]
- ["[0]" directive]
- ["[0]" phase
- ["[0]" macro {"+" Expander}]
- ["[0]" generation {"+" Operation}]
- [extension {"+" Extender}
- ["[0]" bundle]]]
- [default
- ["[0]" platform {"+" Platform}]]]]])
+ [lux "*"
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" io {"+" IO}]
+ ["[0]" try {"+" Try}]]
+ [tool
+ [compiler
+ ["[0]" reference]
+ ["[0]" analysis]
+ ["[0]" synthesis {"+" Synthesis}]
+ ["[0]" directive]
+ ["[0]" phase
+ ["[0]" macro {"+" Expander}]
+ ["[0]" generation {"+" Operation}]
+ [extension {"+" Extender}
+ ["[0]" bundle]]]
+ [default
+ ["[0]" platform {"+" Platform}]]]]])
(type: .public Runner
(-> Text Synthesis (Try Any)))
@@ -72,9 +72,9 @@
[?state (platform.initialize target expander analysis_bundle platform generation_bundle directive_bundle program extender)]
(in (do try.monad
[[directive_bundle directive_state] ?state
- .let [generation_state (value@ [directive.#generation
- directive.#state]
- directive_state)]]
+ .let [generation_state (the [directive.#generation
+ directive.#state]
+ directive_state)]]
(in [[directive_bundle directive_state]
(..runner platform generation_state)
(..definer platform generation_state)])))))