From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 16 Jun 2022 00:48:19 -0400 Subject: De-sigil-ification: suffix : [Part 13] --- stdlib/source/test/aedifex/cache.lux | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'stdlib/source/test/aedifex/cache.lux') 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 -- cgit v1.2.3