diff options
Diffstat (limited to '')
| -rw-r--r-- | licentia/source/program/licentia/input.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux index ca72241e7..b11f1a576 100644 --- a/licentia/source/program/licentia/input.lux +++ b/licentia/source/program/licentia/input.lux @@ -29,7 +29,7 @@ ["[0]" time (.only Period)] ["[0]" copyright]]]) -(def: identification +(def identification (Parser Identification) (<json>.object (all <>.and @@ -44,7 +44,7 @@ (exception.report "Amount" (%.int amount))) -(def: amount +(def amount (Parser Nat) (do <>.monad [amountF <json>.number @@ -61,7 +61,7 @@ "Start" (%.nat (the time.#start period)) "End" (%.nat (the time.#end period)))) -(def: period +(def period (Parser (Period Nat)) (<json>.object (do <>.monad @@ -73,14 +73,14 @@ (n.<= end start))] (wrap period)))) -(def: copyright_holder +(def copyright_holder (Parser copyright.Holder) (<json>.object (all <>.and (<json>.field "name" <json>.string) (<json>.field "period" ..period)))) -(def: termination +(def termination (Parser Termination) (<json>.object (all <>.and @@ -88,21 +88,21 @@ (<json>.field "termination period" ..amount) (<json>.field "grace period" ..amount)))) -(def: liability +(def liability (Parser Liability) (<json>.object (all <>.and (<json>.field "can accept?" <json>.boolean) (<json>.field "disclaim high risk?" <json>.boolean)))) -(def: distribution +(def distribution (Parser Distribution) (<json>.object (all <>.and (<json>.field "can re-license?" <json>.boolean) (<json>.field "can multi-license?" <json>.boolean)))) -(def: commercial +(def commercial (Parser Commercial) (<json>.object (all <>.and @@ -110,7 +110,7 @@ (<json>.field "require contributor credit?" <json>.boolean) (<json>.field "allow contributor endorsement?" <json>.boolean)))) -(def: extension +(def extension (Parser Extension) (<json>.object (all <>.and @@ -119,22 +119,22 @@ (<json>.field "notification period" (<json>.nullable ..period)) (<json>.field "must describe modifications?" <json>.boolean)))) -(def: entity +(def entity (Parser Entity) <json>.string) -(def: black_list +(def black_list (Parser Black_List) (<json>.object (all <>.and (<json>.field "justification" (<json>.nullable <json>.string)) (<json>.field "entities" (<json>.array (<>.many ..entity)))))) -(def: url +(def url (Parser URL) <json>.string) -(def: attribution +(def attribution (Parser Attribution) (<json>.object (all <>.and @@ -143,14 +143,14 @@ (<json>.field "url" ..url) (<json>.field "image" (<json>.nullable ..url))))) -(def: addendum +(def addendum (Parser Addendum) (<json>.object (all <>.and (<json>.field "commons clause?" <json>.boolean) ))) -(def: .public license +(def .public license (Parser License) (<json>.object (all <>.and |