aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact/time
diff options
context:
space:
mode:
Diffstat (limited to '')
-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
3 files changed, 53 insertions, 50 deletions
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]])