diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/artifact/versioning.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index d2d702236..644af3fa1 100644 --- a/stdlib/source/program/aedifex/artifact/versioning.lux +++ b/stdlib/source/program/aedifex/artifact/versioning.lux @@ -5,29 +5,29 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}]] [control - ["." exception {"+" [exception:]}] + ["[0]" exception {"+" [exception:]}] ["<>" parser - ["<.>" xml {"+" [Parser]}] - ["<.>" text]]] + ["<[0]>" xml {"+" [Parser]}] + ["<[0]>" text]]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text ["%" format]] [format - ["." xml {"+" [XML]}]] + ["[0]" xml {"+" [XML]}]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math [number ["n" nat]]] - ["." time {"+" [Time]} - ["." date {"+" [Date]}] - ["." year] - ["." month]]]] - ["." // "_" - ["#." time] - ["#." snapshot {"+" [Snapshot]} - ["#/." version {"+" [Version]}]]]) + ["[0]" time {"+" [Time]} + ["[0]" date {"+" [Date]}] + ["[0]" year] + ["[0]" month]]]] + ["[0]" // "_" + ["[1][0]" time] + ["[1][0]" snapshot {"+" [Snapshot]} + ["[1]/[0]" version {"+" [Version]}]]]) (type: .public Versioning (Record |