aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/profile.lux
diff options
context:
space:
mode:
authorEduardo Julian2020-12-25 09:22:38 -0400
committerEduardo Julian2020-12-25 09:22:38 -0400
commit4ca397765805eda5ddee393901ed3a02001a960a (patch)
tree2ab184a1a4e244f3a69e86c8a7bb3ad49c22b4a3 /stdlib/source/test/aedifex/profile.lux
parentd29e091e98dabb8dfcf816899ada480ecbf7e357 (diff)
Replaced kebab-case with snake_case for naming convention.
Diffstat (limited to 'stdlib/source/test/aedifex/profile.lux')
-rw-r--r--stdlib/source/test/aedifex/profile.lux30
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 1743a243a..9316fae66 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -69,23 +69,23 @@
(Random /.Contributor)
..developer)
-(def: (list-of random)
+(def: (list_of random)
(All [a] (-> (Random a) (Random (List a))))
(do {! random.monad}
[size (\ ! map (n.% 5) random.nat)]
(random.list size random)))
-(def: (set-of hash random)
+(def: (set_of hash random)
(All [a] (-> (Hash a) (Random a) (Random (Set a))))
(\ random.functor map
- (set.from-list hash)
- (..list-of random)))
+ (set.from_list hash)
+ (..list_of 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))))
(\ random.functor map
- (dictionary.from-list key-hash)
- (..list-of (random.and key-random value-random))))
+ (dictionary.from_list key_hash)
+ (..list_of (random.and key_random value_random))))
(def: info
(Random /.Info)
@@ -93,10 +93,10 @@
(random.maybe (random.ascii/alpha 1))
(random.maybe ..scm)
(random.maybe (random.ascii/alpha 1))
- (..list-of ..license)
+ (..list_of ..license)
(random.maybe ..organization)
- (..list-of ..developer)
- (..list-of ..contributor)
+ (..list_of ..developer)
+ (..list_of ..contributor)
))
(def: name
@@ -118,16 +118,16 @@
(def: #export random
(Random /.Profile)
($_ random.and
- (..list-of ..name)
+ (..list_of ..name)
(random.maybe @artifact.random)
(random.maybe ..info)
- (..set-of text.hash ..repository)
- (..set-of //dependency.hash @dependency.random)
- (..set-of text.hash ..source)
+ (..set_of text.hash ..repository)
+ (..set_of //dependency.hash @dependency.random)
+ (..set_of text.hash ..source)
(random.maybe ..target)
(random.maybe (random.ascii/alpha 1))
(random.maybe (random.ascii/alpha 1))
- (..dictionary-of text.hash (random.ascii/alpha 1) ..repository)
+ (..dictionary_of text.hash (random.ascii/alpha 1) ..repository)
))
(def: #export test