diff options
Diffstat (limited to 'stdlib/source/test/aedifex/artifact')
12 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index 7ca90b6a6..80b49fdfb 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -18,7 +18,7 @@ ["/[1]" // ["[1]" type]]]]) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Extension] diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index 628412bee..8888dc848 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -20,12 +20,12 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Snapshot) (random.or (random#in []) $/stamp.random)) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Snapshot] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 71024f4d0..f6224dd0b 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -15,11 +15,11 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Build) random.nat) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Build] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index ae1ffb7a5..c24a06f5a 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -20,14 +20,14 @@ ["[1][0]" time] ["[1][0]" build]]) -(def: .public random +(def .public random (Random /.Stamp) (all random.and $//time.random $//build.random )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Stamp]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index a26532ce1..3b6136ce9 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -18,11 +18,11 @@ ["$[0]" /// ["[1][0]" time]]) -(def: .public random +(def .public random (Random /.Time) $///time.random) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Time]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index c5c8f0e71..d2a3e01e4 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -20,7 +20,7 @@ ["[1][0]" type] ["[1][0]" time]]) -(def: .public random +(def .public random (Random /.Version) (all random.and $///type.random @@ -28,7 +28,7 @@ $///time.random )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Version]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 5fcef9a0c..0c63a2215 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -27,7 +27,7 @@ ["[1][0]" stamp] ["[1][0]" time]]]]) -(def: .public random +(def .public random (Random /.Value) (all random.and (random.alphabetic 5) @@ -35,7 +35,7 @@ $///stamp.random) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Value]) diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index 8ee637360..c6ba0f2c0 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -23,14 +23,14 @@ ["[1][0]" date] ["[1][0]" time]]) -(def: .public random +(def .public random (Random /.Time) (do random.monad [date /date.random time /time.random] (in [date time]))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Time]) diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index b53420e0a..6d2e4296a 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -23,7 +23,7 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Date) (random.one (function (_ raw) (try.maybe @@ -35,7 +35,7 @@ (/.date raw)))) random.date)) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Date]) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index 9a7189e33..33bc56c87 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -18,14 +18,14 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Time) (random.one (|>> time.clock (has time.#milli_second 0) time.time) random.time)) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Time]) diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index a2b5926e5..003123f40 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -16,7 +16,7 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Type) (all random.either (all random.either @@ -28,7 +28,7 @@ (random#in /.sha-1)) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Type] diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index d1efdb17f..451d0b824 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -19,7 +19,7 @@ ["[1][0]" snapshot (.only) ["[1]/[0]" version]]]) -(def: .public random +(def .public random (Random /.Versioning) (all random.and $//snapshot.random @@ -27,7 +27,7 @@ (random.list 5 $//snapshot/version.random) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Versioning]) |