diff options
Diffstat (limited to 'stdlib/source/specification')
| -rw-r--r-- | stdlib/source/specification/aedifex/repository.lux | 50 | ||||
| -rw-r--r-- | stdlib/source/specification/compositor.lux | 60 | ||||
| -rw-r--r-- | stdlib/source/specification/compositor/common.lux | 44 |
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)]))))) |