diff options
| author | Eduardo Julian | 2020-10-09 23:11:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-10-09 23:11:38 -0400 |
| commit | befa21cea76282f8cd3509e0a7da1bdffd353101 (patch) | |
| tree | 9f671c8a86ca43bcccb8105a668a271e72ef06ea /stdlib/source/test/aedifex | |
| parent | bae39f32cddb816a6123697269c20dbf4a65ac19 (diff) | |
Mandatory long names for JVM imports, instead of having "long" be optional and short be default.
Diffstat (limited to 'stdlib/source/test/aedifex')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact.lux | 30 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/profile.lux | 14 |
2 files changed, 34 insertions, 10 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux new file mode 100644 index 000000000..1ba27d0b6 --- /dev/null +++ b/stdlib/source/test/aedifex/artifact.lux @@ -0,0 +1,30 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [hash (#+ Hash)] + {[0 #spec] + [/ + ["$." equivalence]]}] + [math + ["." random (#+ Random)]]] + {#program + ["." /]}) + +(def: #export random + (Random /.Artifact) + ($_ random.and + (random.ascii/alpha 1) + (random.ascii/alpha 1) + (random.ascii/alpha 1))) + +(def: #export test + Test + (<| (_.covering /._) + (_.with-cover [/.Group /.Name /.Version + /.Artifact] + ($_ _.and + (_.with-cover [/.equivalence] + ($equivalence.spec /.equivalence ..random)) + )))) diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 3f1e08cc7..94f695a9b 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -22,10 +22,11 @@ ["." dictionary (#+ Dictionary)]]] [math ["." random (#+ Random) ("#@." monad)]]] + [// + ["@." artifact]] {#program ["." / ["/#" // #_ - ["#." artifact (#+ Artifact)] ["#." dependency (#+ Repository Dependency)] ["#." format]]]}) @@ -100,13 +101,6 @@ (Random /.Name) (random.ascii/alpha 1)) -(def: artifact - (Random Artifact) - ($_ random.and - (random.ascii/alpha 1) - (random.ascii/alpha 1) - (random.ascii/alpha 1))) - (def: repository (Random Repository) (random.ascii/alpha 1)) @@ -114,7 +108,7 @@ (def: dependency (Random Dependency) ($_ random.and - ..artifact + @artifact.random (random.ascii/alpha 1))) (def: source @@ -129,7 +123,7 @@ (Random /.Profile) ($_ random.and (..list-of ..name) - (random.maybe ..artifact) + (random.maybe @artifact.random) (random.maybe ..info) (..set-of text.hash ..repository) (..set-of //dependency.hash ..dependency) |