diff options
| author | Eduardo Julián | 2021-07-14 14:44:53 -0400 |
|---|---|---|
| committer | GitHub | 2021-07-14 14:44:53 -0400 |
| commit | 89ca40f2f101b2b38187eab5cf905371cd47eb57 (patch) | |
| tree | f05fd1677a70988c6b39c07e52d031d86eff28f1 /stdlib/source/program/aedifex/metadata | |
| parent | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff) | |
| parent | 8252bdb938a0284dd12e7365b4eb84b5357bacac (diff) | |
Merge pull request #58 from LuxLang/hierarchy_normalization
Hierarchy normalization
Diffstat (limited to 'stdlib/source/program/aedifex/metadata')
| -rw-r--r-- | stdlib/source/program/aedifex/metadata/artifact.lux | 67 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/metadata/snapshot.lux | 69 |
2 files changed, 69 insertions, 67 deletions
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux index 50f228e50..0f8a5737c 100644 --- a/stdlib/source/program/aedifex/metadata/artifact.lux +++ b/stdlib/source/program/aedifex/metadata/artifact.lux @@ -1,37 +1,38 @@ (.module: - [lux (#- Name) - [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)]] - [control - [pipe (#+ do>)] - ["." try (#+ Try)] - ["<>" parser - ["<.>" xml (#+ Parser)] - ["<.>" text]] - [concurrency - ["." promise (#+ Promise)]]] - [data - ["." product] - ["." text - ["%" format] - [encoding - ["." utf8]]] - [format - ["." xml (#+ XML)]] - [collection - ["." list ("#\." functor)]]] - [math - [number - ["n" nat]]] - ["." time (#+ Time) - ["." instant (#+ Instant)] - ["." date (#+ Date)] - ["." year] - ["." month]] - [world - [net - ["." uri (#+ URI)]]]] + [library + [lux (#- Name) + [abstract + [monad (#+ do)] + [equivalence (#+ Equivalence)]] + [control + [pipe (#+ do>)] + ["." try (#+ Try)] + ["<>" parser + ["<.>" xml (#+ Parser)] + ["<.>" text]] + [concurrency + ["." promise (#+ Promise)]]] + [data + ["." product] + ["." text + ["%" format] + [encoding + ["." utf8]]] + [format + ["." xml (#+ XML)]] + [collection + ["." list ("#\." functor)]]] + [math + [number + ["n" nat]]] + ["." time (#+ Time) + ["." instant (#+ Instant)] + ["." date (#+ Date)] + ["." year] + ["." month]] + [world + [net + ["." uri (#+ URI)]]]]] ["." // ["/#" // #_ [repository (#+ Repository)] diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux index 41a0d9986..032214c90 100644 --- a/stdlib/source/program/aedifex/metadata/snapshot.lux +++ b/stdlib/source/program/aedifex/metadata/snapshot.lux @@ -1,38 +1,39 @@ (.module: - [lux (#- Name Type) - [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)]] - [control - [pipe (#+ do> case>)] - ["." try (#+ Try)] - ["." exception (#+ exception:)] - ["<>" parser - ["<.>" xml (#+ Parser)] - ["<.>" text]] - [concurrency - ["." promise (#+ Promise)]]] - [data - ["." product] - ["." text - ["%" format] - [encoding - ["." utf8]]] - [format - ["." xml (#+ XML)]] - [collection - ["." list ("#\." functor)]]] - [math - [number - ["n" nat]]] - ["." time (#+ Time) - ["." instant (#+ Instant)] - ["." date (#+ Date)] - ["." year] - ["." month]] - [world - [net - ["." uri (#+ URI)]]]] + [library + [lux (#- Name Type) + [abstract + [monad (#+ do)] + [equivalence (#+ Equivalence)]] + [control + [pipe (#+ do> case>)] + ["." try (#+ Try)] + ["." exception (#+ exception:)] + ["<>" parser + ["<.>" xml (#+ Parser)] + ["<.>" text]] + [concurrency + ["." promise (#+ Promise)]]] + [data + ["." product] + ["." text + ["%" format] + [encoding + ["." utf8]]] + [format + ["." xml (#+ XML)]] + [collection + ["." list ("#\." functor)]]] + [math + [number + ["n" nat]]] + ["." time (#+ Time) + ["." instant (#+ Instant)] + ["." date (#+ Date)] + ["." year] + ["." month]] + [world + [net + ["." uri (#+ URI)]]]]] ["." // ["/#" // #_ [repository (#+ Repository)] |