diff options
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)] |