aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact/time_stamp
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/time_stamp')
-rw-r--r--stdlib/source/program/aedifex/artifact/time_stamp/date.lux39
-rw-r--r--stdlib/source/program/aedifex/artifact/time_stamp/time.lux35
2 files changed, 0 insertions, 74 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time_stamp/date.lux b/stdlib/source/program/aedifex/artifact/time_stamp/date.lux
deleted file mode 100644
index 18df2900b..000000000
--- a/stdlib/source/program/aedifex/artifact/time_stamp/date.lux
+++ /dev/null
@@ -1,39 +0,0 @@
-(.module:
- [lux #*
- [abstract
- [monad (#+ do)]]
- [control
- ["<>" parser
- ["<.>" text (#+ Parser)]]]
- [data
- [text
- ["%" format]]]
- [math
- [number
- ["n" nat]]]
- [time
- ["." date (#+ Date)]
- ["." year]
- ["." month]]])
-
-(def: #export (pad value)
- (-> Nat Text)
- (if (n.< 10 value)
- (%.format "0" (%.nat value))
- (%.nat value)))
-
-(def: #export (format value)
- (%.Format Date)
- (%.format (|> value date.year year.value .nat %.nat)
- (|> value date.month month.number ..pad)
- (|> value date.day_of_month ..pad)))
-
-(def: #export parser
- (Parser Date)
- (do <>.monad
- [year (<>.codec n.decimal (<text>.exactly 4 <text>.decimal))
- year (<>.lift (year.year (.int year)))
- month (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
- month (<>.lift (month.by_number month))
- day_of_month (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))]
- (<>.lift (date.date year month day_of_month))))
diff --git a/stdlib/source/program/aedifex/artifact/time_stamp/time.lux b/stdlib/source/program/aedifex/artifact/time_stamp/time.lux
deleted file mode 100644
index d14f0a435..000000000
--- a/stdlib/source/program/aedifex/artifact/time_stamp/time.lux
+++ /dev/null
@@ -1,35 +0,0 @@
-(.module:
- [lux #*
- ["." time (#+ Time)]
- [abstract
- [monad (#+ do)]]
- [control
- ["<>" parser
- ["<.>" text (#+ Parser)]]]
- [data
- [text
- ["%" format]]]
- [math
- [number
- ["n" nat]]]]
- ["." // #_
- ["#" date]])
-
-(def: #export (format value)
- (%.Format Time)
- (let [(^slots [#time.hour #time.minute #time.second]) (time.clock value)]
- (%.format (//.pad hour)
- (//.pad minute)
- (//.pad second))))
-
-(def: #export parser
- (<text>.Parser Time)
- (do <>.monad
- [hour (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
- minute (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
- second (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))]
- (<>.lift (time.time
- {#time.hour hour
- #time.minute minute
- #time.second second
- #time.milli_second 0}))))