aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/profile.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/profile.lux')
-rw-r--r--stdlib/source/test/aedifex/profile.lux118
1 files changed, 59 insertions, 59 deletions
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index e674942e0..246492587 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -46,10 +46,10 @@
(def: license
(Random /.License)
- ($_ random.and
- (random.ascii/alpha 1)
- (random.ascii/alpha 1)
- ..distribution))
+ (all random.and
+ (random.ascii/alpha 1)
+ (random.ascii/alpha 1)
+ ..distribution))
(def: scm
(Random /.SCM)
@@ -57,9 +57,9 @@
(def: organization
(Random /.Organization)
- ($_ random.and
- (random.ascii/alpha 1)
- (random.ascii/alpha 1)))
+ (all random.and
+ (random.ascii/alpha 1)
+ (random.ascii/alpha 1)))
(def: email
(Random /.Email)
@@ -67,10 +67,10 @@
(def: developer
(Random /.Developer)
- ($_ random.and
- (random.ascii/alpha 1)
- (random.ascii/alpha 1)
- (random.maybe organization)))
+ (all random.and
+ (random.ascii/alpha 1)
+ (random.ascii/alpha 1)
+ (random.maybe organization)))
(def: contributor
(Random /.Contributor)
@@ -96,16 +96,16 @@
(def: info
(Random /.Info)
- ($_ random.and
- (random.maybe (random.ascii/alpha 1))
- (random.maybe (random.ascii/alpha 2))
- (random.maybe ..scm)
- (random.maybe (random.ascii/alpha 3))
- (..list_of ..license)
- (random.maybe ..organization)
- (..list_of ..developer)
- (..list_of ..contributor)
- ))
+ (all random.and
+ (random.maybe (random.ascii/alpha 1))
+ (random.maybe (random.ascii/alpha 2))
+ (random.maybe ..scm)
+ (random.maybe (random.ascii/alpha 3))
+ (..list_of ..license)
+ (random.maybe ..organization)
+ (..list_of ..developer)
+ (..list_of ..contributor)
+ ))
(def: name
(Random /.Name)
@@ -125,27 +125,27 @@
(def: .public random
(Random /.Profile)
- ($_ random.and
- (..list_of ..name)
- (random.maybe @artifact.random)
- (random.maybe ..info)
- (..set_of text.hash ..repository)
- (..set_of //dependency.hash @dependency.random)
- @dependency.random
- (..list_of $compiler.random)
- (..set_of text.hash ..source)
- ..target
- (random.maybe (random.ascii/alpha 1))
- (random.maybe (random.ascii/alpha 2))
- (..dictionary_of text.hash (random.ascii/alpha 3) ..repository)
- (..list_of (random.and (random.ascii/alpha 4)
- (random.ascii/alpha 5)))
- (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)
- ))
+ (all random.and
+ (..list_of ..name)
+ (random.maybe @artifact.random)
+ (random.maybe ..info)
+ (..set_of text.hash ..repository)
+ (..set_of //dependency.hash @dependency.random)
+ @dependency.random
+ (..list_of $compiler.random)
+ (..set_of text.hash ..source)
+ ..target
+ (random.maybe (random.ascii/alpha 1))
+ (random.maybe (random.ascii/alpha 2))
+ (..dictionary_of text.hash (random.ascii/alpha 3) ..repository)
+ (..list_of (random.and (random.ascii/alpha 4)
+ (random.ascii/alpha 5)))
+ (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
Test
@@ -153,20 +153,20 @@
(_.for [/.Distribution /.License /.SCM /.Organization
/.Email /.Developer /.Contributor /.Info
/.Source /.Target /.Name /.Profile]
- (`` ($_ _.and
- (_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
- (_.for [/.monoid]
- ($monoid.spec /.equivalence /.monoid ..random))
-
- (_.cover [/.default]
- (text#= "" /.default))
- (_.cover [/.default_lux]
- (|> (# /.monoid identity)
- (the /.#lux)
- (same? /.default_lux)))
- (_.cover [/.default_target]
- (|> (# /.monoid identity)
- (the /.#target)
- (same? /.default_target)))
- )))))
+ (`` (all _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
+ (_.for [/.monoid]
+ ($monoid.spec /.equivalence /.monoid ..random))
+
+ (_.cover [/.default]
+ (text#= "" /.default))
+ (_.cover [/.default_lux]
+ (|> (# /.monoid identity)
+ (the /.#lux)
+ (same? /.default_lux)))
+ (_.cover [/.default_target]
+ (|> (# /.monoid identity)
+ (the /.#target)
+ (same? /.default_target)))
+ )))))