aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/program/licentia/license.lux
blob: 9060915a3c165642342ab0c3e481fd1b614a12d1 (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
63
(.module:
  [library
   [lux #*]]
  ["." / #_
   [time (#+ Days Months Period)]
   ["#." copyright]])

(type: .public Identification
  {#name Text
   #version Text})

(type: .public Termination
  {#patent_retaliation? Bit
   #termination_period Days
   #grace_period Days})

(type: .public Liability
  {#can_accept? Bit
   #disclaim_high_risk? Bit})

(type: .public Distribution
  {#can_re_license? Bit
   #can_multi_license? Bit})

(type: .public Commercial
  {#can_sell? Bit
   #require_contributor_credit? Bit
   #allow_contributor_endorsement? Bit})

(type: .public Extension
  {#same_license? Bit
   #must_be_distinguishable? Bit
   #notification_period (Maybe (Period Months))
   #must_describe_modifications? Bit})

(type: .public Entity Text)

(type: .public Black_List
  {#justification (Maybe Text)
   #entities (List Entity)})

(type: .public URL Text)

(type: .public Attribution
  {#copyright_notice Text
   #phrase (Maybe Text)
   #url URL
   #image (Maybe URL)})

(type: .public Addendum
  {#commons_clause? Bit})

(type: .public 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})