diff options
author | Eduardo Julian | 2021-07-14 13:59:02 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-07-14 13:59:02 -0400 |
commit | d6c48ae6a8b58f5974133170863a31c70f0123d1 (patch) | |
tree | 008eb88328009e2f3f07002f35c0378a8a137ed0 /stdlib/source/program/aedifex/metadata | |
parent | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff) |
Normalized the hierarchy of the standard library modules.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/metadata.lux | 17 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/metadata/artifact.lux | 67 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/metadata/snapshot.lux | 69 |
3 files changed, 78 insertions, 75 deletions
diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux index 843f2e056..40a7bd612 100644 --- a/stdlib/source/program/aedifex/metadata.lux +++ b/stdlib/source/program/aedifex/metadata.lux @@ -1,12 +1,13 @@ (.module: - [lux #* - [data - ["." text - ["%" format (#+ format)]]] - [world - [file (#+ Path)] - [net - ["." uri (#+ URI)]]]] + [library + [lux #* + [data + ["." text + ["%" format (#+ format)]]] + [world + [file (#+ Path)] + [net + ["." uri (#+ URI)]]]]] ["." // #_ ["#." artifact (#+ Artifact)]]) 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)] |