aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/metadata
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/metadata')
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux67
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux69
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)]