From d6c48ae6a8b58f5974133170863a31c70f0123d1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 14 Jul 2021 13:59:02 -0400 Subject: Normalized the hierarchy of the standard library modules. --- .../source/program/aedifex/artifact/time/date.lux | 45 +++++++++++----------- .../source/program/aedifex/artifact/time/time.lux | 27 ++++++------- 2 files changed, 37 insertions(+), 35 deletions(-) (limited to 'stdlib/source/program/aedifex/artifact/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]]) -- cgit v1.2.3