Extracted Licentia out of the standard library.

1 files changed, 56 insertions, 56 deletions

diff --git a/stdlib/source/program/licentia/output.lux b/licentia/source/program/licentia/output.lux
index fdbd9accd..691612b6e 100644
--- a/stdlib/source/program/licentia/output.lux
+++ b/licentia/source/program/licentia/output.lux
@@ -13,7 +13,7 @@
                     Distribution
                     Commercial
                     Extension
-                    Entity Black-List
+                    Entity Black_List
                     URL Attribution
                     License)
     ["." copyright]
@@ -27,7 +27,7 @@
     ["." extension]
     ["." submission]
     ["." miscellaneous]
-    ["." black-list]
+    ["." black_list]
     ["." notice]
     ["_" term]
     ["." addendum]]
@@ -39,7 +39,7 @@
 
 (def: #export (identification value)
   (-> Identification Text)
-  (format (get@ #license.name value) text.new-line
+  (format (get@ #license.name value) text.new_line
           (get@ #license.version value)))
 
 (def: #export (grant termination)
@@ -52,17 +52,17 @@
                      grant.copyright]
                     
                     ["Grant of Patent License"
-                     (grant.patent (get@ #license.patent-retaliation? termination))]
+                     (grant.patent (get@ #license.patent_retaliation? termination))]
                     
                     ["Effective Date for the Grants"
                      grant.date]
 
                     ["Grant Termination"
-                     (grant.termination (get@ #license.termination-period termination)
-                                        (get@ #license.grace-period termination))]
+                     (grant.termination (get@ #license.termination_period termination)
+                                        (get@ #license.grace_period termination))]
 
                     ["No Retroactive Effect of Termination"
-                     grant.no-retroactive-termination])))))
+                     grant.no_retroactive_termination])))))
 
 (def: #export limitation
   Text
@@ -76,8 +76,8 @@
                     ["Limitations on Trademarks"
                      limitation.trademark]
 
-                    [(format "Limitations on " ($.plural _.secondary-license))
-                     limitation.secondary-licenses])))))
+                    [(format "Limitations on " ($.plural _.secondary_license))
+                     limitation.secondary_licenses])))))
 
 (def: #export assurance
   Text
@@ -89,7 +89,7 @@
                      assurance.representation]
                     
                     ["Fair Use"
-                     assurance.fair-use])))))
+                     assurance.fair_use])))))
 
 (def: #export (liability value)
   (-> Liability Text)
@@ -112,12 +112,12 @@
                      liability.litigation]
                     
                     ["Accepting Warranty or Additional Liability"
-                     (get@ #license.can-accept? value)
-                     liability.can-accept]
+                     (get@ #license.can_accept? value)
+                     liability.can_accept]
 
                     ["High Risk Activities"
-                     (get@ #license.disclaim-high-risk? value)
-                     liability.disclaim-high-risk])))))
+                     (get@ #license.disclaim_high_risk? value)
+                     liability.disclaim_high_risk])))))
 
 (def: #export (distribution distribution)
   (-> Distribution Text)
@@ -127,17 +127,17 @@
                                             #$.content <content>}))
                        "")]
                     
-                    [(format "Distribution of a " _.source-code-form)
+                    [(format "Distribution of a " _.source_code_form)
                      on
-                     distribution.source-code-form]
+                     distribution.source_code_form]
                     
-                    [(format "Distribution of an " _.object-form)
+                    [(format "Distribution of an " _.object_form)
                      on
-                     distribution.object-form]
+                     distribution.object_form]
                     
                     [(format "Distribution of an " _.extension)
-                     (or (get@ #license.can-re-license? distribution)
-                         (get@ #license.can-multi-license? distribution))
+                     (or (get@ #license.can_re_license? distribution)
+                         (get@ #license.can_multi_license? distribution))
                      (distribution.extension distribution)])))))
 
 (def: #export (commercial value)
@@ -149,23 +149,23 @@
                        "")]
 
                     ["Non-Commerciality"
-                     (not (get@ #license.can-sell? value))
-                     commercial.cannot-sell]
+                     (not (get@ #license.can_sell? value))
+                     commercial.cannot_sell]
 
                     [(format _.contributor " Attribution")
-                     (get@ #license.require-contributor-credit? value)
-                     commercial.require-contributor-attribution]
+                     (get@ #license.require_contributor_credit? value)
+                     commercial.require_contributor_attribution]
 
                     [(format _.contributor " Endorsement")
-                     (not (get@ #license.allow-contributor-endorsement? value))
-                     commercial.disallow-contributor-endorsement]
+                     (not (get@ #license.allow_contributor_endorsement? value))
+                     commercial.disallow_contributor_endorsement]
                     )))))
 
 (def: #export (extension value)
   (-> Extension Text)
-  (let [[show? document] (case (get@ #license.notification-period value)
+  (let [[show? document] (case (get@ #license.notification_period value)
                            (#.Some period)
-                           [true (extension.notification-requirement period)]
+                           [true (extension.notification_requirement period)]
 
                            #.None
                            [false ""])]
@@ -175,36 +175,36 @@
                                               #$.content <content>}))
                          "")]
 
-                      [(get@ #license.same-license? value) "License Retention"
-                       ($.paragraph (list\compose extension.sharing-requirement
-                                                  extension.license-conflict-resolution))]
+                      [(get@ #license.same_license? value) "License Retention"
+                       ($.paragraph (list\compose extension.sharing_requirement
+                                                  extension.license_conflict_resolution))]
                       
-                      [(get@ #license.must-be-distinguishable? value) (format _.extension " Distinctness")
-                       extension.distinctness-requirement]
+                      [(get@ #license.must_be_distinguishable? value) (format _.extension " Distinctness")
+                       extension.distinctness_requirement]
                       
-                      [show? (format _.source-code-form " Availability")
+                      [show? (format _.source_code_form " Availability")
                        document]
                       
-                      [(get@ #license.must-describe-modifications? value) (format "Description of " ($.plural _.modification))
-                       extension.description-requirement]))))))
+                      [(get@ #license.must_describe_modifications? value) (format "Description of " ($.plural _.modification))
+                       extension.description_requirement]))))))
 
 (def: #export (attribution value)
   (-> Attribution Text)
-  (let [copyright-notice (format "Attribution Copyright Notice: " (get@ #license.copyright-notice value))
+  (let [copyright_notice (format "Attribution Copyright Notice: " (get@ #license.copyright_notice value))
         phrase (case (get@ #license.phrase value)
                  (#.Some phrase)
-                 (format text.new-line "Attribution Phrase: " phrase text.new-line)
+                 (format text.new_line "Attribution Phrase: " phrase text.new_line)
 
                  #.None
                  "")
-        url (format text.new-line "Attribution URL: " (get@ #license.url value))
+        url (format text.new_line "Attribution URL: " (get@ #license.url value))
         image (case (get@ #license.image value)
                 (#.Some image)
-                (format text.new-line "Attribution Image: " image)
+                (format text.new_line "Attribution Image: " image)
 
                 #.None
                 "")]
-    (format copyright-notice
+    (format copyright_notice
             phrase
             url
             image)))
@@ -219,19 +219,19 @@
 
                     ["Entire Agreement"
                      on
-                     miscellaneous.entire-agreement]
+                     miscellaneous.entire_agreement]
 
                     ["Relationship of Parties"
                      on
-                     miscellaneous.relationship-of-parties]
+                     miscellaneous.relationship_of_parties]
 
                     ["Independent Development"
                      on
-                     miscellaneous.independent-development]
+                     miscellaneous.independent_development]
 
                     ["Consent To Breach Not Waiver"
                      on
-                     miscellaneous.not-waiver]
+                     miscellaneous.not_waiver]
                     
                     ["Severability"
                      on
@@ -239,14 +239,14 @@
 
                     ["Export Restrictions"
                      on
-                     miscellaneous.export-restrictions]
+                     miscellaneous.export_restrictions]
 
                     [(format "Versions of " _.license)
                      identified?
-                     miscellaneous.new-versions]
+                     miscellaneous.new_versions]
                     )))))
 
-(def: black-list-spacing (format text.new-line text.new-line))
+(def: black_list_spacing (format text.new_line text.new_line))
 
 (def: #export (license value)
   (-> License Text)
@@ -261,22 +261,22 @@
                       #.None
                       false)]
     (`` (format ($.block identification)
-                ($.block (notice.copyright (get@ #license.copyright-holders value)))
+                ($.block (notice.copyright (get@ #license.copyright_holders value)))
                 
-                (case (get@ #license.black-lists value)
+                (case (get@ #license.black_lists value)
                   #.Nil
                   ""
 
-                  black-lists
+                  black_lists
                   ($.block ($.section {#$.title (format "Denial of " _.license)
-                                       #$.content (|> black-lists
-                                                      (list\map black-list.black-list)
-                                                      (text.join-with ..black-list-spacing))})))
+                                       #$.content (|> black_lists
+                                                      (list\map black_list.black_list)
+                                                      (text.join_with ..black_list_spacing))})))
                 
                 ($.section {#$.title "Definitions"
                             #$.content (|> definition.all
                                            (list\map (|>> ..definition $.block))
-                                           (text.join-with ""))})
+                                           (text.join_with ""))})
 
                 ($.block ($.section {#$.title (format "Acceptance of " _.license)
                                      #$.content limitation.acceptance}))
@@ -305,5 +305,5 @@
 
                 (addendum.output (get@ #license.addendum value))
                 
-                notice.end-of-license
+                notice.end_of_license
                 ))))