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/parser.lux | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'stdlib/source/test/aedifex/parser.lux') diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index 945576470..f887958b2 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -33,27 +33,27 @@ ["[1][0]" dependency (.only Dependency)] ["[1][0]" format]]]]) -(def: name +(def name (Random //.Name) (random.alphabetic 1)) -(def: (list_of random) +(def (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) (do [! random.monad] [size (at ! each (n.% 5) random.nat)] (random.list size random))) -(def: (dictionary_of key_hash key_random value_random) +(def (dictionary_of key_hash key_random value_random) (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v)))) (at random.functor each (dictionary.of_list key_hash) (..list_of (random.and key_random value_random)))) -(def: random +(def random (Random Project) (..dictionary_of text.hash ..name @profile.random)) -(def: with_default_sources +(def with_default_sources (-> //.Profile //.Profile) (revised //.#sources (is (-> (Set //.Source) (Set //.Source)) @@ -62,17 +62,17 @@ (set.of_list text.hash (list //.default_source)) sources))))) -(def: with_default_repository +(def with_default_repository (-> //.Profile //.Profile) (revised //.#repositories (set.has //.default_repository))) -(def: (with_empty_profile project) +(def (with_empty_profile project) (-> Project Project) (if (dictionary.empty? project) (//project.project //.default (at //.monoid identity)) project)) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.covering //format._) -- cgit v1.2.3