diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/cache.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index 34173ce62..6456cc824 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -46,13 +46,13 @@ ["[1][0]" repository ["[1]/[0]" origin]]]]]) -(def: type +(def type (Random Type) (all random.either (random#in //artifact/type.lux_library) (random#in //artifact/type.jvm_library))) -(def: profile +(def profile (Random [Artifact Profile XML]) (random.one (function (_ profile) (try.maybe @@ -62,13 +62,13 @@ (in [identity profile pom])))) @profile.random)) -(def: content +(def content (Random Binary) (do [! random.monad] [content_size (at ! each (n.% 100) random.nat)] (_binary.random content_size))) -(def: package +(def package (Random [Dependency Package]) (do [! random.monad] [[identity profile pom] ..profile @@ -78,7 +78,7 @@ //dependency.#type type] (has //package.#origin {//repository/origin.#Remote ""} (//package.local pom content))]))) -(def: resolution +(def resolution (Random Resolution) (do [! random.monad] [[main_dependency main_package] ..package @@ -99,7 +99,7 @@ (has //package.#origin {//repository/origin.#Remote ""} (//package.local pom content))])))))] (in (dictionary.of_list //dependency.hash (list.partial [main_dependency main_package] dependencies))))) -(def: singular +(def singular Test (do [! random.monad] [[dependency expected_package] ..package @@ -120,7 +120,7 @@ (has //package.#origin {//repository/origin.#Local ""} expected_package) actual_package))))))))) -(def: plural +(def plural Test (do [! random.monad] [expected ..resolution @@ -143,7 +143,7 @@ expected) actual))))))))) -(def: .public test +(def .public test Test (<| (_.covering /._) (all _.and |