diff options
Diffstat (limited to 'licentia/source/program')
5 files changed, 19 insertions, 19 deletions
diff --git a/licentia/source/program/licentia/document.lux b/licentia/source/program/licentia/document.lux index 9272cbf6a..12cb89ac5 100644 --- a/licentia/source/program/licentia/document.lux +++ b/licentia/source/program/licentia/document.lux @@ -39,7 +39,7 @@ [and/or "and/or"] ) -(type: .public Section +(type .public Section (Record [#title Text #content Text])) diff --git a/licentia/source/program/licentia/license.lux b/licentia/source/program/licentia/license.lux index b9280bd5f..6541bf103 100644 --- a/licentia/source/program/licentia/license.lux +++ b/licentia/source/program/licentia/license.lux @@ -5,63 +5,63 @@ [time (.only Days Months Period)] ["[1][0]" copyright]]) -(type: .public Identification +(type .public Identification (Record [#name Text #version Text])) -(type: .public Termination +(type .public Termination (Record [#patent_retaliation? Bit #termination_period Days #grace_period Days])) -(type: .public Liability +(type .public Liability (Record [#can_accept? Bit #disclaim_high_risk? Bit])) -(type: .public Distribution +(type .public Distribution (Record [#can_re_license? Bit #can_multi_license? Bit])) -(type: .public Commercial +(type .public Commercial (Record [#can_sell? Bit #require_contributor_credit? Bit #allow_contributor_endorsement? Bit])) -(type: .public Extension +(type .public Extension (Record [#same_license? Bit #must_be_distinguishable? Bit #notification_period (Maybe (Period Months)) #must_describe_modifications? Bit])) -(type: .public Entity +(type .public Entity Text) -(type: .public Black_List +(type .public Black_List (Record [#justification (Maybe Text) #entities (List Entity)])) -(type: .public URL +(type .public URL Text) -(type: .public Attribution +(type .public Attribution (Record [#copyright_notice Text #phrase (Maybe Text) #url URL #image (Maybe URL)])) -(type: .public Addendum +(type .public Addendum (Record [#commons_clause? Bit])) -(type: .public License +(type .public License (Record [#copyright_holders (List /copyright.Holder) #identification (Maybe Identification) diff --git a/licentia/source/program/licentia/license/copyright.lux b/licentia/source/program/licentia/license/copyright.lux index b3bbcfa9b..97eefea46 100644 --- a/licentia/source/program/licentia/license/copyright.lux +++ b/licentia/source/program/licentia/license/copyright.lux @@ -4,7 +4,7 @@ [// [time (.only Year Period)]]) -(type: .public Holder +(type .public Holder (Record [#name Text #period (Period Year)])) diff --git a/licentia/source/program/licentia/license/definition.lux b/licentia/source/program/licentia/license/definition.lux index d43906feb..ae0da31c3 100644 --- a/licentia/source/program/licentia/license/definition.lux +++ b/licentia/source/program/licentia/license/definition.lux @@ -7,7 +7,7 @@ [/// ["$" document]]) -(type: .public Definition +(type .public Definition (Record [#term Text #meaning Text])) diff --git a/licentia/source/program/licentia/license/time.lux b/licentia/source/program/licentia/license/time.lux index 9efebaf10..a7befd906 100644 --- a/licentia/source/program/licentia/license/time.lux +++ b/licentia/source/program/licentia/license/time.lux @@ -2,16 +2,16 @@ [library [lux (.except)]]) -(type: .public Days +(type .public Days Nat) -(type: .public Months +(type .public Months Nat) -(type: .public Year +(type .public Year Nat) -(type: .public (Period a) +(type .public (Period a) (Record [#start a #end a])) |