diff options
author | Eduardo Julian | 2021-06-14 18:33:54 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-06-14 18:33:54 -0400 |
commit | 519c0c0c71cdf7ce3dfc64b9781ab826760b3d94 (patch) | |
tree | 75fa0672afceff129e5e75afb7a5fed197ce1773 /stdlib/source/program/licentia/license/liability.lux | |
parent | af3e6e2cb011dc2ad9204440990731a2f272716d (diff) |
Extracted Licentia out of the standard library.
Diffstat (limited to '')
-rw-r--r-- | licentia/source/program/licentia/license/liability.lux (renamed from stdlib/source/program/licentia/license/liability.lux) | 118 |
1 files changed, 59 insertions, 59 deletions
diff --git a/stdlib/source/program/licentia/license/liability.lux b/licentia/source/program/licentia/license/liability.lux index 51b98ad40..1ad88c43d 100644 --- a/stdlib/source/program/licentia/license/liability.lux +++ b/licentia/source/program/licentia/license/liability.lux @@ -8,13 +8,13 @@ [// ["$" document]]]) -(def: warranty-communications +(def: warranty_communications (List Text) (list "expressed" "implied" "statutory")) -(def: work-disclamers +(def: work_disclamers (List Text) (list "free of defects" "merchantable" @@ -28,38 +28,38 @@ "correction")) (def: #export warranty - (let [on-basics (let [applicability-escape "Unless required by applicable law or agreed to in writing" - work-provisioning (format _.licensor + (let [on_basics (let [applicability_escape "Unless required by applicable law or agreed to in writing" + work_provisioning (format _.licensor " provides " _.work ", and each " _.contributor " provides its " ($.plural _.contribution))] - (format applicability-escape ", " - work-provisioning + (format applicability_escape ", " + work_provisioning " under " _.license " on an " ($.quote "as is") - " basis, without warranty or condition of any kind, either " ($.or warranty-communications) + " basis, without warranty or condition of any kind, either " ($.or warranty_communications) " including, without limitation, any warranties or conditions that " _.work - " is " ($.or work-disclamers))) - on-distribution (format _.recipient + " is " ($.or work_disclamers))) + on_distribution (format _.recipient " is solely responsible for determining the appropriateness of using or redistributing " _.work) - on-risk (format "The entire risk as to the quality and performance of " _.work + on_risk (format "The entire risk as to the quality and performance of " _.work " is with " _.recipient) - on-fixes (format "Should " _.work + on_fixes (format "Should " _.work " prove defective in any respect, " _.recipient ", not any " _.contributor ", assumes the cost of any necessary " ($.or fixes)) - on-importance (format "This disclaimer of warranty constitutes an essential part of "_.license) - on-authorization (format "No use of "_.work + on_importance (format "This disclaimer of warranty constitutes an essential part of "_.license) + on_authorization (format "No use of "_.work " is authorized under " _.license " except under this disclaimer")] - ($.paragraph (list on-basics - on-distribution - on-risk - on-fixes - on-importance - on-authorization)))) + ($.paragraph (list on_basics + on_distribution + on_risk + on_fixes + on_importance + on_authorization)))) -(def: damage-types +(def: damage_types (List Text) (list "direct" "indirect" @@ -67,7 +67,7 @@ "incidental" "consequential")) -(def: damage-consequences +(def: damage_consequences (List Text) (list "lost profits" "loss of goodwill" @@ -76,30 +76,30 @@ "any and all other commercial damages or losses")) (def: #export limitation - (let [on-limit (let [exclusion "Under no circumstances and under no legal theory" + (let [on_limit (let [exclusion "Under no circumstances and under no legal theory" examples "whether tort (including negligence), contract, or otherwise" - applicable-law-exception "unless required by applicable law (such as deliberate and grossly negligent acts) or agreed to in writing" + applicable_law_exception "unless required by applicable law (such as deliberate and grossly negligent acts) or agreed to in writing" renunciation (format "shall any " _.contributor " be liable to " _.recipient) - damage-enumeration (format "for any " ($.or damage-types) " damages of any character" - " including without limitation damages for " ($.or damage-consequences)) + damage_enumeration (format "for any " ($.or damage_types) " damages of any character" + " including without limitation damages for " ($.or damage_consequences)) conscience "even if such party shall have been informed of the possibility of such damages"] - (format exclusion ", " examples ", " applicable-law-exception ", " renunciation " " damage-enumeration ", " conscience)) - on-death-exception "This limitation of liability shall not apply to liability for death or personal injury resulting from such party’s negligence to the extent applicable law prohibits such limitation" - on-jurisdictions (format "Some jurisdictions do not allow the exclusion or limitation of incidental or consequential damages, so this exclusion and limitation may not apply to " _.recipient)] - ($.paragraph (list on-limit - on-death-exception - on-jurisdictions)))) + (format exclusion ", " examples ", " applicable_law_exception ", " renunciation " " damage_enumeration ", " conscience)) + on_death_exception "This limitation of liability shall not apply to liability for death or personal injury resulting from such party’s negligence to the extent applicable law prohibits such limitation" + on_jurisdictions (format "Some jurisdictions do not allow the exclusion or limitation of incidental or consequential damages, so this exclusion and limitation may not apply to " _.recipient)] + ($.paragraph (list on_limit + on_death_exception + on_jurisdictions)))) (def: #export litigation - (let [on-jurisdiction (format "Any litigation relating to " _.license " may be brought only in the courts of a jurisdiction where the defendant maintains its principal place of business") - on-laws "Such litigation shall be governed by laws of that jurisdiction, without reference to its conflict-of-law provisions" - on-claims "Nothing in this section shall prevent a party’s ability to bring cross-claims or counter-claims"] - ($.paragraph (list on-jurisdiction - on-laws - on-claims)))) + (let [on_jurisdiction (format "Any litigation relating to " _.license " may be brought only in the courts of a jurisdiction where the defendant maintains its principal place of business") + on_laws "Such litigation shall be governed by laws of that jurisdiction, without reference to its conflict-of-law provisions" + on_claims "Nothing in this section shall prevent a party’s ability to bring cross-claims or counter-claims"] + ($.paragraph (list on_jurisdiction + on_laws + on_claims)))) -(def: liability-obligations +(def: liability_obligations (List Text) (list "support" "warranty" @@ -107,34 +107,34 @@ "other liability obligations" (format "rights consistent with " _.license))) -(def: #export can-accept - (let [on-acceptance-of-liability (let [condition (format "While redistributing " _.work " or " ($.plural _.extension) " thereof") - right (format _.recipient " may choose to offer, and charge a fee for, acceptance of " ($.and/or ..liability-obligations))] +(def: #export can_accept + (let [on_acceptance_of_liability (let [condition (format "While redistributing " _.work " or " ($.plural _.extension) " thereof") + right (format _.recipient " may choose to offer, and charge a fee for, acceptance of " ($.and/or ..liability_obligations))] (format condition ", " right)) - on-responsibility (let [but "However, in accepting such obligations" - cannot-represent-a-contributor (format _.recipient " may not act on behalf of any other " _.contributor) - can-only-represent-oneself (format "only on behalf and on sole responsibility of " _.recipient) - each-contributor (: (-> Text Text) + on_responsibility (let [but "However, in accepting such obligations" + cannot_represent_a_contributor (format _.recipient " may not act on behalf of any other " _.contributor) + can_only_represent_oneself (format "only on behalf and on sole responsibility of " _.recipient) + each_contributor (: (-> Text Text) (function (_ responsibility) (format responsibility " each " _.contributor))) responsibilities (: (List Text) - (list (each-contributor "indemnify") - (each-contributor "defend") - (format (each-contributor "hold") " harmless"))) - full-responsibility-condition (format "and only if " _.recipient + (list (each_contributor "indemnify") + (each_contributor "defend") + (format (each_contributor "hold") " harmless"))) + full_responsibility_condition (format "and only if " _.recipient " agrees to " ($.and responsibilities) " for any liability incurred by, or claims asserted against, such " _.contributor " by reason of acceptance of any such warranty or additional liability by " _.recipient)] - (format but ", " cannot-represent-a-contributor ", " can-only-represent-oneself ", " full-responsibility-condition))] - ($.paragraph (list on-acceptance-of-liability - on-responsibility)))) + (format but ", " cannot_represent_a_contributor ", " can_only_represent_oneself ", " full_responsibility_condition))] + ($.paragraph (list on_acceptance_of_liability + on_responsibility)))) -(def: #export disclaim-high-risk - (let [on-work (let [intentions (: (List Text) +(def: #export disclaim_high_risk + (let [on_work (let [intentions (: (List Text) (list "designed" "manufactured" "intended for use or distribution")) - hazardous-environments (: (List Text) + hazardous_environments (: (List Text) (list "nuclear facilities" "aircraft navigation" "communications systems" @@ -149,12 +149,12 @@ disclaim (format _.work " is not fault tolerant" ", and is not " ($.or intentions) " as on-line control equipment in hazardous environments requiring fail-safe performance") - examples (format "such as in the operation of " ($.or hazardous-environments)) + examples (format "such as in the operation of " ($.or hazardous_environments)) further (format "in which the failure of " _.work " could lead directly to " ($.or consequences))] (format disclaim ", " examples ", " further)) - on-contributors (let [claim "any express or implied warranty of fitness for high risk activities"] + on_contributors (let [claim "any express or implied warranty of fitness for high risk activities"] (format _.licensor " and every " _.contributor " specifically disclaim " claim))] - ($.paragraph (list on-work - on-contributors)))) + ($.paragraph (list on_work + on_contributors)))) |