aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/licentia/license.lux
blob: c62c8419d29741d0e21e9249da5200d4f6fd1032 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
(.module:
  [lux #*]
  ["." / #_
   [time (#+ Days Months Period)]
   ["#." copyright]])

(type: #export Identification
  {#name Text
   #version Text})

(type: #export Termination
  {#patent-retaliation? Bit
   #termination-period Days
   #grace-period Days})

(type: #export Liability
  {#can-accept? Bit
   #disclaim-high-risk? Bit})

(type: #export Distribution
  {#can-re-license? Bit
   #can-multi-license? Bit})

(type: #export Commercial
  {#can-sell? Bit
   #require-contributor-credit? Bit
   #allow-contributor-endorsement? Bit})

(type: #export Extension
  {#same-license? Bit
   #must-be-distinguishable? Bit
   #notification-period (Maybe (Period Months))
   #must-describe-modifications? Bit})

(type: #export Entity Text)

(type: #export Black-List
  {#justification (Maybe Text)
   #entities (List Entity)})

(type: #export URL Text)

(type: #export Attribution
  {#copyright-notice Text
   #phrase (Maybe Text)
   #url URL
   #image (Maybe URL)})

(type: #export Addendum
  {#commons-clause? Bit})

(type: #export License
  {#copyright-holders (List /copyright.Holder)
   #identification (Maybe Identification)
   #termination Termination
   #liability Liability
   #distribution Distribution
   #commercial Commercial
   #extension Extension
   #black-lists (List Black-List)
   #attribution (Maybe Attribution)
   #addendum Addendum})