diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/artifact/time.lux | 31 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/artifact/time/date.lux | 45 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/artifact/time/time.lux | 27 |
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]]) |