aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--licentia/source/program/licentia.lux51
-rw-r--r--licentia/source/program/licentia/document.lux13
-rw-r--r--licentia/source/program/licentia/input.lux31
-rw-r--r--licentia/source/program/licentia/license.lux3
-rw-r--r--licentia/source/program/licentia/license/addendum.lux9
-rw-r--r--licentia/source/program/licentia/license/assurance.lux9
-rw-r--r--licentia/source/program/licentia/license/black_list.lux15
-rw-r--r--licentia/source/program/licentia/license/commercial.lux9
-rw-r--r--licentia/source/program/licentia/license/copyright.lux3
-rw-r--r--licentia/source/program/licentia/license/definition.lux9
-rw-r--r--licentia/source/program/licentia/license/distribution.lux13
-rw-r--r--licentia/source/program/licentia/license/extension.lux9
-rw-r--r--licentia/source/program/licentia/license/grant.lux9
-rw-r--r--licentia/source/program/licentia/license/liability.lux9
-rw-r--r--licentia/source/program/licentia/license/limitation.lux9
-rw-r--r--licentia/source/program/licentia/license/miscellaneous.lux9
-rw-r--r--licentia/source/program/licentia/license/notice.lux19
-rw-r--r--licentia/source/program/licentia/license/submission.lux9
-rw-r--r--licentia/source/program/licentia/license/term.lux3
-rw-r--r--licentia/source/program/licentia/license/time.lux3
-rw-r--r--licentia/source/program/licentia/output.lux38
-rw-r--r--licentia/source/test/licentia.lux43
22 files changed, 174 insertions, 151 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux
index a3b30a5c2..523a0a55c 100644
--- a/licentia/source/program/licentia.lux
+++ b/licentia/source/program/licentia.lux
@@ -12,31 +12,32 @@
## Eclipse Public License v2.0: https://www.eclipse.org/legal/epl-2.0/
(.module:
- [lux #*
- [ffi (#+ import:)]
- [program (#+ program:)]
- ["." debug]
- [abstract
- [monad (#+ do)]]
- [control
- [remember (#+ to_do)]
- ["." io (#+ IO) ("#\." monad)]
- ["." try (#+ Try)]
- ["." parser
- ["<.>" cli]
- ["<.>" json]]
- [security
- ["!" capability]]]
- [data
- ["." maybe]
- ["." text
- ["%" format (#+ format)]
- [encoding
- ["." utf8]]]
- [format
- ["." json]]]
- [world
- ["." file]]]
+ [library
+ [lux #*
+ [ffi (#+ import:)]
+ [program (#+ program:)]
+ ["." debug]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ [remember (#+ to_do)]
+ ["." io (#+ IO) ("#\." monad)]
+ ["." try (#+ Try)]
+ ["." parser
+ ["<.>" cli]
+ ["<.>" json]]
+ [security
+ ["!" capability]]]
+ [data
+ ["." maybe]
+ ["." text
+ ["%" format (#+ format)]
+ [encoding
+ ["." utf8]]]
+ [format
+ ["." json]]]
+ [world
+ ["." file]]]]
["." / #_
["#." input]
["#." output]])
diff --git a/licentia/source/program/licentia/document.lux b/licentia/source/program/licentia/document.lux
index f56f0dbe7..31f05a818 100644
--- a/licentia/source/program/licentia/document.lux
+++ b/licentia/source/program/licentia/document.lux
@@ -1,10 +1,11 @@
(.module:
- [lux (#- or and)
- [data
- ["." text
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." functor)]]]])
+ [library
+ [lux (#- or and)
+ [data
+ ["." text
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." functor)]]]]])
(def: #export (quote text)
(-> Text Text)
diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux
index 52205762d..06c73fef2 100644
--- a/licentia/source/program/licentia/input.lux
+++ b/licentia/source/program/licentia/input.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- [abstract
- [monad (#+ do)]]
- [control
- ["." exception (#+ exception:)]
- ["<>" parser
- ["<.>" json (#+ Parser)]]]
- [data
- [text
- ["%" format (#+ format)]]]
- [math
- [number
- ["n" nat]
- ["i" int]
- ["f" frac]]]]
+ [library
+ [lux #*
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." exception (#+ exception:)]
+ ["<>" parser
+ ["<.>" json (#+ Parser)]]]
+ [data
+ [text
+ ["%" format (#+ format)]]]
+ [math
+ [number
+ ["n" nat]
+ ["i" int]
+ ["f" frac]]]]]
["." // #_
["#" license (#+ Identification
Termination
diff --git a/licentia/source/program/licentia/license.lux b/licentia/source/program/licentia/license.lux
index ad7328641..811b983e0 100644
--- a/licentia/source/program/licentia/license.lux
+++ b/licentia/source/program/licentia/license.lux
@@ -1,5 +1,6 @@
(.module:
- [lux #*]
+ [library
+ [lux #*]]
["." / #_
[time (#+ Days Months Period)]
["#." copyright]])
diff --git a/licentia/source/program/licentia/license/addendum.lux b/licentia/source/program/licentia/license/addendum.lux
index e4a8d6364..dd13cfeb7 100644
--- a/licentia/source/program/licentia/license/addendum.lux
+++ b/licentia/source/program/licentia/license/addendum.lux
@@ -1,8 +1,9 @@
(.module:
- [lux #*
- [data
- [text
- ["%" format (#+ format)]]]]
+ [library
+ [lux #*
+ [data
+ [text
+ ["%" format (#+ format)]]]]]
["." // (#+ Addendum)
[//
["$" document]]])
diff --git a/licentia/source/program/licentia/license/assurance.lux b/licentia/source/program/licentia/license/assurance.lux
index 5c1adfef7..a60de7a91 100644
--- a/licentia/source/program/licentia/license/assurance.lux
+++ b/licentia/source/program/licentia/license/assurance.lux
@@ -1,8 +1,9 @@
(.module:
- [lux #*
- [data
- ["." text
- ["%" format (#+ format)]]]]
+ [library
+ [lux #*
+ [data
+ ["." text
+ ["%" format (#+ format)]]]]]
[//
["_" term]
[//
diff --git a/licentia/source/program/licentia/license/black_list.lux b/licentia/source/program/licentia/license/black_list.lux
index d260f1865..0a5b62580 100644
--- a/licentia/source/program/licentia/license/black_list.lux
+++ b/licentia/source/program/licentia/license/black_list.lux
@@ -1,11 +1,12 @@
(.module:
- [lux #*
- [data
- ["." maybe ("#\." functor)]
- ["." text
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." functor)]]]]
+ [library
+ [lux #*
+ [data
+ ["." maybe ("#\." functor)]
+ ["." text
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." functor)]]]]]
["." // (#+ Entity Black_List)
["_" term]
[//
diff --git a/licentia/source/program/licentia/license/commercial.lux b/licentia/source/program/licentia/license/commercial.lux
index 3c223b05d..03f3757e1 100644
--- a/licentia/source/program/licentia/license/commercial.lux
+++ b/licentia/source/program/licentia/license/commercial.lux
@@ -1,8 +1,9 @@
(.module:
- [lux #*
- [data
- ["." text
- ["%" format (#+ format)]]]]
+ [library
+ [lux #*
+ [data
+ ["." text
+ ["%" format (#+ format)]]]]]
["." // (#+ Commercial)
["_" term]
[//
diff --git a/licentia/source/program/licentia/license/copyright.lux b/licentia/source/program/licentia/license/copyright.lux
index 872af9d2b..ab9b262d6 100644
--- a/licentia/source/program/licentia/license/copyright.lux
+++ b/licentia/source/program/licentia/license/copyright.lux
@@ -1,5 +1,6 @@
(.module:
- [lux #*]
+ [library
+ [lux #*]]
[//
[time (#+ Year Period)]])
diff --git a/licentia/source/program/licentia/license/definition.lux b/licentia/source/program/licentia/license/definition.lux
index f44a06fdc..0c930c847 100644
--- a/licentia/source/program/licentia/license/definition.lux
+++ b/licentia/source/program/licentia/license/definition.lux
@@ -1,8 +1,9 @@
(.module:
- [lux (#- Definition)
- [data
- ["." text
- ["%" format (#+ format)]]]]
+ [library
+ [lux (#- Definition)
+ [data
+ ["." text
+ ["%" format (#+ format)]]]]]
[///
["$" document]])
diff --git a/licentia/source/program/licentia/license/distribution.lux b/licentia/source/program/licentia/license/distribution.lux
index 7c736be7a..82450ac0a 100644
--- a/licentia/source/program/licentia/license/distribution.lux
+++ b/licentia/source/program/licentia/license/distribution.lux
@@ -1,10 +1,11 @@
(.module:
- [lux #*
- [data
- ["." text
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." monoid)]]]]
+ [library
+ [lux #*
+ [data
+ ["." text
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." monoid)]]]]]
["." // (#+ Distribution)
["_" term]
[//
diff --git a/licentia/source/program/licentia/license/extension.lux b/licentia/source/program/licentia/license/extension.lux
index 0ed6ca040..7ded0d0ca 100644
--- a/licentia/source/program/licentia/license/extension.lux
+++ b/licentia/source/program/licentia/license/extension.lux
@@ -1,8 +1,9 @@
(.module:
- [lux #*
- [data
- ["." text
- ["%" format (#+ format)]]]]
+ [library
+ [lux #*
+ [data
+ ["." text
+ ["%" format (#+ format)]]]]]
["." // (#+ Extension)
["_" term]
["." grant]
diff --git a/licentia/source/program/licentia/license/grant.lux b/licentia/source/program/licentia/license/grant.lux
index ea7ac399f..92995f0b4 100644
--- a/licentia/source/program/licentia/license/grant.lux
+++ b/licentia/source/program/licentia/license/grant.lux
@@ -1,8 +1,9 @@
(.module:
- [lux #*
- [data
- ["." text
- ["%" format (#+ format)]]]]
+ [library
+ [lux #*
+ [data
+ ["." text
+ ["%" format (#+ format)]]]]]
[//
[time (#+ Days)]
["_" term]
diff --git a/licentia/source/program/licentia/license/liability.lux b/licentia/source/program/licentia/license/liability.lux
index b4c410444..d6208b3e4 100644
--- a/licentia/source/program/licentia/license/liability.lux
+++ b/licentia/source/program/licentia/license/liability.lux
@@ -1,8 +1,9 @@
(.module:
- [lux #*
- [data
- ["." text
- ["%" format (#+ format)]]]]
+ [library
+ [lux #*
+ [data
+ ["." text
+ ["%" format (#+ format)]]]]]
[//
["_" term]
[//
diff --git a/licentia/source/program/licentia/license/limitation.lux b/licentia/source/program/licentia/license/limitation.lux
index 77611d3a6..daec0f569 100644
--- a/licentia/source/program/licentia/license/limitation.lux
+++ b/licentia/source/program/licentia/license/limitation.lux
@@ -1,8 +1,9 @@
(.module:
- [lux #*
- [data
- ["." text
- ["%" format (#+ format)]]]]
+ [library
+ [lux #*
+ [data
+ ["." text
+ ["%" format (#+ format)]]]]]
[//
["_" term]
[//
diff --git a/licentia/source/program/licentia/license/miscellaneous.lux b/licentia/source/program/licentia/license/miscellaneous.lux
index 3e4371fe1..321482860 100644
--- a/licentia/source/program/licentia/license/miscellaneous.lux
+++ b/licentia/source/program/licentia/license/miscellaneous.lux
@@ -1,8 +1,9 @@
(.module:
- [lux #*
- [data
- ["." text
- ["%" format (#+ format)]]]]
+ [library
+ [lux #*
+ [data
+ ["." text
+ ["%" format (#+ format)]]]]]
[//
["_" term]
[//
diff --git a/licentia/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux
index 7ee61397a..b6422205f 100644
--- a/licentia/source/program/licentia/license/notice.lux
+++ b/licentia/source/program/licentia/license/notice.lux
@@ -1,13 +1,14 @@
(.module:
- [lux #*
- [data
- ["." text
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." functor)]]]
- [math
- [number
- ["n" nat]]]]
+ [library
+ [lux #*
+ [data
+ ["." text
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ [number
+ ["n" nat]]]]]
["." // #_
["#." time]
["#." copyright]
diff --git a/licentia/source/program/licentia/license/submission.lux b/licentia/source/program/licentia/license/submission.lux
index 284deb88b..01dfad08f 100644
--- a/licentia/source/program/licentia/license/submission.lux
+++ b/licentia/source/program/licentia/license/submission.lux
@@ -1,8 +1,9 @@
(.module:
- [lux #*
- [data
- ["." text
- ["%" format (#+ format)]]]]
+ [library
+ [lux #*
+ [data
+ ["." text
+ ["%" format (#+ format)]]]]]
[//
["_" term]
[//
diff --git a/licentia/source/program/licentia/license/term.lux b/licentia/source/program/licentia/license/term.lux
index cd42b569f..49fd42569 100644
--- a/licentia/source/program/licentia/license/term.lux
+++ b/licentia/source/program/licentia/license/term.lux
@@ -1,5 +1,6 @@
(.module:
- [lux (#- Definition)]
+ [library
+ [lux (#- Definition)]]
["." // #_
["#." definition]])
diff --git a/licentia/source/program/licentia/license/time.lux b/licentia/source/program/licentia/license/time.lux
index 22f28f607..32be12aa8 100644
--- a/licentia/source/program/licentia/license/time.lux
+++ b/licentia/source/program/licentia/license/time.lux
@@ -1,5 +1,6 @@
(.module:
- [lux #*])
+ [library
+ [lux #*]])
(type: #export Days
Nat)
diff --git a/licentia/source/program/licentia/output.lux b/licentia/source/program/licentia/output.lux
index 691612b6e..3519a88ce 100644
--- a/licentia/source/program/licentia/output.lux
+++ b/licentia/source/program/licentia/output.lux
@@ -1,11 +1,13 @@
(.module:
- [lux (#- Definition)
- [data
- ["." maybe ("#\." functor)]
- ["." text
- ["%" format (#+ format)]]
- [collection
- ["." list ("#\." functor monoid)]]]]
+ [library
+ [lux (#- Definition)
+ [data
+ ["." bit]
+ ["." maybe ("#\." functor)]
+ ["." text
+ ["%" format (#+ format)]]
+ [collection
+ ["." list ("#\." functor monoid)]]]]]
[//
["." license (#+ Identification
Termination
@@ -100,15 +102,15 @@
"")]
["Disclaimer of Warranty"
- on
+ bit.on
liability.warranty]
["Limitation of Liability"
- on
+ bit.on
liability.limitation]
["Litigation"
- on
+ bit.on
liability.litigation]
["Accepting Warranty or Additional Liability"
@@ -128,11 +130,11 @@
"")]
[(format "Distribution of a " _.source_code_form)
- on
+ bit.on
distribution.source_code_form]
[(format "Distribution of an " _.object_form)
- on
+ bit.on
distribution.object_form]
[(format "Distribution of an " _.extension)
@@ -218,27 +220,27 @@
"")]
["Entire Agreement"
- on
+ bit.on
miscellaneous.entire_agreement]
["Relationship of Parties"
- on
+ bit.on
miscellaneous.relationship_of_parties]
["Independent Development"
- on
+ bit.on
miscellaneous.independent_development]
["Consent To Breach Not Waiver"
- on
+ bit.on
miscellaneous.not_waiver]
["Severability"
- on
+ bit.on
miscellaneous.severability]
["Export Restrictions"
- on
+ bit.on
miscellaneous.export_restrictions]
[(format "Versions of " _.license)
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index 5ae86cfdb..1ad1bb72d 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -1,22 +1,24 @@
(.module:
- [lux #*
- [program (#+ program:)]
- ["_" test (#+ Test)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." io]]
- [data
- ["." bit ("#\." equivalence)]
- ["." maybe ("#\." functor)]
- ["." text]
- [collection
- ["." list ("#\." functor)]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat ("#\." interval)]]]]
+ [library
+ [lux #*
+ [program (#+ program:)]
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." io]]
+ [data
+ ["." bit ("#\." equivalence)]
+ ["." maybe ("#\." functor)]
+ ["." text]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ ["." random (#+ Random)]
+ [number
+ ["n" nat ("#\." interval)]]]]]
[\\program
+ ["." output]
["." license (#+ Identification
Termination
Liability
@@ -40,8 +42,7 @@
["." extension]
["." miscellaneous]
["." black_list]
- ["." addendum]]
- ["." output]])
+ ["." addendum]]])
(def: period
(Random (Period Nat))
@@ -311,7 +312,7 @@
(present? justification)
#.None
- yes)
+ bit.yes)
every_entity_is_mentioned? (|> black_list
(get@ #license.entities)
(list\map black_list.entity)
@@ -352,7 +353,7 @@
#.None
(_.test "Attribution is missing."
- yes))
+ bit.yes))
(..about_miscellaneous present?)