aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/test
diff options
context:
space:
mode:
authorEduardo Julian2022-06-16 00:48:19 -0400
committerEduardo Julian2022-06-16 00:48:19 -0400
commit9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch)
tree115fab5bd8a5f53dc0d13ce5453095324a83496f /licentia/source/test
parentf92c806ee8da63f04bbefbf558f6249bacdb47ea (diff)
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'licentia/source/test')
-rw-r--r--licentia/source/test/licentia.lux48
1 files changed, 24 insertions, 24 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index a76149e42..c063260ae 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -44,7 +44,7 @@
["[0]" black_list]
["[0]" addendum]]])
-(def: period
+(def period
(Random (Period Nat))
(do [! random.monad]
[start (random.filter (|>> (n.= n#top) not)
@@ -56,45 +56,45 @@
(wrap [time.#start start
time.#end end])))
-(def: copyright_holder
+(def copyright_holder
(Random copyright.Holder)
(all random.and
(random.ascii 10)
..period))
-(def: identification
+(def identification
(Random Identification)
(all random.and
(random.ascii 10)
(random.ascii 10)))
-(def: termination
+(def termination
(Random Termination)
(all random.and
random.bit
random.nat
random.nat))
-(def: liability
+(def liability
(Random Liability)
(all random.and
random.bit
random.bit))
-(def: distribution
+(def distribution
(Random Distribution)
(all random.and
random.bit
random.bit))
-(def: commercial
+(def commercial
(Random Commercial)
(all random.and
random.bit
random.bit
random.bit))
-(def: extension
+(def extension
(Random Extension)
(all random.and
random.bit
@@ -102,28 +102,28 @@
(random.maybe ..period)
random.bit))
-(def: entity
+(def entity
(Random Entity)
(random.ascii 10))
-(def: (variable_list max_size gen_element)
+(def (variable_list max_size gen_element)
(All (_ a) (-> Nat (Random a) (Random (List a))))
(do [! random.monad]
[amount (at ! each (n.% (n.max 1 max_size))
random.nat)]
(random.list amount gen_element)))
-(def: black_list
+(def black_list
(Random Black_List)
(all random.and
(random.maybe (random.ascii 10))
(variable_list 10 ..entity)))
-(def: url
+(def url
(Random URL)
(random.ascii 10))
-(def: attribution
+(def attribution
(Random Attribution)
(all random.and
(random.ascii 10)
@@ -131,13 +131,13 @@
..url
(random.maybe ..url)))
-(def: addendum
+(def addendum
(Random Addendum)
(all random.and
random.bit
))
-(def: license
+(def license
(Random License)
(all random.and
(random.list 2 ..copyright_holder)
@@ -155,7 +155,7 @@
(type: (Concern a)
(-> (-> Text Bit) a Test))
-(def: (about_grant present? termination)
+(def (about_grant present? termination)
(Concern Termination)
(all _.and
(_.property "Copyright grant is present."
@@ -175,7 +175,7 @@
(present? grant.no_retroactive_termination))
))
-(def: (about_liability present? liability)
+(def (about_liability present? liability)
(Concern Liability)
(all _.and
(_.property "Warranty liability disclaimer is present."
@@ -192,7 +192,7 @@
(present? liability.disclaim_high_risk)))
))
-(def: (about_distribution present? distribution)
+(def (about_distribution present? distribution)
(Concern Distribution)
(all _.and
(_.property "Conditions for source-code distribution are present."
@@ -203,7 +203,7 @@
(present? (distribution.extension distribution)))
))
-(def: (about_commercial present? commercial)
+(def (about_commercial present? commercial)
(Concern Commercial)
(all _.and
(_.property "Non-commercial clause is present."
@@ -217,7 +217,7 @@
(present? commercial.disallow_contributor_endorsement)))
))
-(def: (about_extension present? extension)
+(def (about_extension present? extension)
(Concern Extension)
(all _.and
(_.property "The license is viral."
@@ -239,7 +239,7 @@
(present? extension.description_requirement)))
))
-(def: (about_attribution present? attribution)
+(def (about_attribution present? attribution)
(Concern Attribution)
(all _.and
(_.property "The attribution copyright notice is present."
@@ -258,7 +258,7 @@
(maybe.default true)))
))
-(def: (about_miscellaneous present?)
+(def (about_miscellaneous present?)
(-> (-> Text Bit) Test)
(all _.and
(_.property "License constitutes the entire agreement."
@@ -275,7 +275,7 @@
(present? miscellaneous.export_restrictions))
))
-(def: (about_addendum present? value)
+(def (about_addendum present? value)
(Concern Addendum)
(all _.and
(_.property "Commons clause"
@@ -283,7 +283,7 @@
(present? addendum.commons_clause)))
))
-(def: test
+(def test
Test
(do random.monad
[license ..license