aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex/artifact.lux31
-rw-r--r--stdlib/source/program/aedifex/artifact/extension.lux13
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot.lux25
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/build.lux33
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/stamp.lux25
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/time.lux33
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version.lux27
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version/value.lux15
-rw-r--r--stdlib/source/program/aedifex/artifact/time.lux31
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux45
-rw-r--r--stdlib/source/program/aedifex/artifact/time/time.lux27
-rw-r--r--stdlib/source/program/aedifex/artifact/type.lux3
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux51
13 files changed, 186 insertions, 173 deletions
diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux
index e5d37f7bb..631de6ebe 100644
--- a/stdlib/source/program/aedifex/artifact.lux
+++ b/stdlib/source/program/aedifex/artifact.lux
@@ -1,19 +1,20 @@
(.module:
- [lux (#- Name)
- [abstract
- [equivalence (#+ Equivalence)]
- [order (#+ Order)]
- [hash (#+ Hash)]]
- [data
- ["." product]
- ["." text ("#\." order)
- ["%" format (#+ Format)]]
- [collection
- ["." list ("#\." monoid)]]]
- [world
- ["." file (#+ Path)]
- [net
- ["." uri (#+ URI)]]]])
+ [library
+ [lux (#- Name)
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [order (#+ Order)]
+ [hash (#+ Hash)]]
+ [data
+ ["." product]
+ ["." text ("#\." order)
+ ["%" format (#+ Format)]]
+ [collection
+ ["." list ("#\." monoid)]]]
+ [world
+ ["." file (#+ Path)]
+ [net
+ ["." uri (#+ URI)]]]]])
(type: #export Group
Text)
diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux
index ad0122512..d1102437d 100644
--- a/stdlib/source/program/aedifex/artifact/extension.lux
+++ b/stdlib/source/program/aedifex/artifact/extension.lux
@@ -1,10 +1,11 @@
(.module:
- [lux (#- type)
- [data
- ["." text
- ["%" format (#+ format)]]]
- [macro
- ["." template]]]
+ [library
+ [lux (#- type)
+ [data
+ ["." text
+ ["%" format (#+ format)]]]
+ [macro
+ ["." template]]]]
["." // #_
["#" type]])
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index 89897316d..b377c1b38 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -1,16 +1,17 @@
(.module:
- [lux (#- Name Type)
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]]
- [control
- ["<>" parser
- ["<.>" xml (#+ Parser)]
- ["<.>" text]]]
- [data
- ["." sum]
- [format
- ["." xml (#+ XML)]]]]
+ [library
+ [lux (#- Name Type)
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]]
+ [control
+ ["<>" parser
+ ["<.>" xml (#+ Parser)]
+ ["<.>" text]]]
+ [data
+ ["." sum]
+ [format
+ ["." xml (#+ XML)]]]]]
["." / #_
["#." stamp (#+ Stamp)]])
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
index cd87c283e..0e8692054 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]]
- [control
- ["<>" parser
- ["<.>" xml (#+ Parser)]
- ["<.>" text]]]
- [data
- [text
- ["%" format]]
- [format
- ["." xml (#+ XML)]]]
- [math
- [number
- ["." nat]]]])
+ [library
+ [lux #*
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]]
+ [control
+ ["<>" parser
+ ["<.>" xml (#+ Parser)]
+ ["<.>" text]]]
+ [data
+ [text
+ ["%" format]]
+ [format
+ ["." xml (#+ XML)]]]
+ [math
+ [number
+ ["." nat]]]]])
(type: #export Build
Nat)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 2d127af21..147369711 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -1,16 +1,17 @@
(.module:
- [lux #*
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]]
- [control
- ["<>" parser
- ["<.>" xml (#+ Parser)]
- ["<.>" text]]]
- [data
- ["." product]
- [format
- ["." xml (#+ XML)]]]]
+ [library
+ [lux #*
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]]
+ [control
+ ["<>" parser
+ ["<.>" xml (#+ Parser)]
+ ["<.>" text]]]
+ [data
+ ["." product]
+ [format
+ ["." xml (#+ XML)]]]]]
["." // #_
["#." time (#+ Time)]
["#." build (#+ Build)]])
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index e0cb8c112..46c9b149e 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -1,20 +1,21 @@
(.module:
- [lux #*
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]]
- [control
- ["." exception (#+ exception:)]
- ["<>" parser
- ["<.>" text]
- ["<.>" xml (#+ Parser)]]]
- [data
- [text
- ["%" format]]
- [format
- ["." xml (#+ XML)]]]
- [time
- ["." instant (#+ Instant)]]]
+ [library
+ [lux #*
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]]
+ [control
+ ["." exception (#+ exception:)]
+ ["<>" parser
+ ["<.>" text]
+ ["<.>" xml (#+ Parser)]]]
+ [data
+ [text
+ ["%" format]]
+ [format
+ ["." xml (#+ XML)]]]
+ [time
+ ["." instant (#+ Instant)]]]]
["." /// #_
["#." time
["#/." date]
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
index 806d2b261..a1a50fcc2 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
@@ -1,17 +1,18 @@
(.module:
- [lux (#- Type)
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]]
- [control
- ["<>" parser
- ["<.>" xml (#+ Parser)]
- ["<.>" text]]]
- [data
- ["." product]
- ["." text]
- [format
- ["." xml (#+ XML)]]]]
+ [library
+ [lux (#- Type)
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]]
+ [control
+ ["<>" parser
+ ["<.>" xml (#+ Parser)]
+ ["<.>" text]]]
+ [data
+ ["." product]
+ ["." text]
+ [format
+ ["." xml (#+ XML)]]]]]
["." /// #_
["#." type (#+ Type)]
["#." time (#+ Time)]])
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
index 7356d897c..ce9a09f1a 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
@@ -1,11 +1,12 @@
(.module:
- [lux #*
- [abstract
- [equivalence (#+ Equivalence)]]
- [data
- ["." product]
- ["." text
- ["%" format]]]]
+ [library
+ [lux #*
+ [abstract
+ [equivalence (#+ Equivalence)]]
+ [data
+ ["." product]
+ ["." text
+ ["%" format]]]]]
["." /// (#+ Snapshot)
["#." time]
["#." stamp]])
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux
index b227c3954..41ee0d418 100644
--- a/stdlib/source/program/aedifex/artifact/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time.lux
@@ -1,19 +1,20 @@
(.module:
- [lux #*
- ["." time]
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]]
- [control
- ["." try (#+ Try)]
- ["<>" parser
- ["<.>" text (#+ Parser)]]]
- [data
- ["." product]
- [text
- ["%" format (#+ Format)]]]
- [time
- ["." instant (#+ Instant)]]]
+ [library
+ [lux #*
+ ["." time]
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]]
+ [control
+ ["." try (#+ Try)]
+ ["<>" parser
+ ["<.>" text (#+ Parser)]]]
+ [data
+ ["." product]
+ [text
+ ["%" format (#+ Format)]]]
+ [time
+ ["." instant (#+ Instant)]]]]
["." / #_
["#." date]
["#." time]])
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 655b8f6c2..f6b8ae5a9 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -1,26 +1,27 @@
(.module:
- [lux #*
- [abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]]
- [control
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]
- ["<>" parser
- ["<.>" text (#+ Parser)]]]
- [data
- [text
- ["%" format]]]
- [math
- [number
- ["n" nat]
- ["i" int]]]
- [time
- ["." date ("#\." equivalence)]
- ["." year]
- ["." month]]
- [type
- abstract]])
+ [library
+ [lux #*
+ [abstract
+ [monad (#+ do)]
+ [equivalence (#+ Equivalence)]]
+ [control
+ ["." try (#+ Try)]
+ ["." exception (#+ exception:)]
+ ["<>" parser
+ ["<.>" text (#+ Parser)]]]
+ [data
+ [text
+ ["%" format]]]
+ [math
+ [number
+ ["n" nat]
+ ["i" int]]]
+ [time
+ ["." date ("#\." equivalence)]
+ ["." year]
+ ["." month]]
+ [type
+ abstract]]])
(def: #export (pad value)
(-> Nat Text)
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index 5c074c20b..78b85f8cd 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -1,17 +1,18 @@
(.module:
- [lux #*
- ["." time]
- [abstract
- [monad (#+ do)]]
- [control
- ["<>" parser
- ["<.>" text (#+ Parser)]]]
- [data
- [text
- ["%" format]]]
- [math
- [number
- ["n" nat]]]]
+ [library
+ [lux #*
+ ["." time]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["<>" parser
+ ["<.>" text (#+ Parser)]]]
+ [data
+ [text
+ ["%" format]]]
+ [math
+ [number
+ ["n" nat]]]]]
["." // #_
["#" date]])
diff --git a/stdlib/source/program/aedifex/artifact/type.lux b/stdlib/source/program/aedifex/artifact/type.lux
index cbf0a35ed..22cbd8253 100644
--- a/stdlib/source/program/aedifex/artifact/type.lux
+++ b/stdlib/source/program/aedifex/artifact/type.lux
@@ -1,5 +1,6 @@
(.module:
- [lux (#- Type)])
+ [library
+ [lux (#- Type)]])
## https://maven.apache.org/ref/3.6.3/maven-core/artifact-handlers.html
(type: #export Type
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index be192e9a5..9fdc2d84d 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -1,29 +1,30 @@
(.module:
- [lux #*
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]]
- [control
- ["." exception (#+ exception:)]
- ["<>" parser
- ["<.>" xml (#+ Parser)]
- ["<.>" text]]]
- [data
- ["." product]
- ["." maybe]
- ["." text
- ["%" format]]
- [format
- ["." xml (#+ XML)]]
- [collection
- ["." list ("#\." functor)]]]
- [math
- [number
- ["n" nat]]]
- ["." time (#+ Time)
- ["." date (#+ Date)]
- ["." year]
- ["." month]]]
+ [library
+ [lux #*
+ [abstract
+ [equivalence (#+ Equivalence)]
+ [monad (#+ do)]]
+ [control
+ ["." exception (#+ exception:)]
+ ["<>" parser
+ ["<.>" xml (#+ Parser)]
+ ["<.>" text]]]
+ [data
+ ["." product]
+ ["." maybe]
+ ["." text
+ ["%" format]]
+ [format
+ ["." xml (#+ XML)]]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ [number
+ ["n" nat]]]
+ ["." time (#+ Time)
+ ["." date (#+ Date)]
+ ["." year]
+ ["." month]]]]
["." // #_
["#." time]
["#." snapshot (#+ Snapshot)