diff options
author | Eduardo Julian | 2021-01-12 23:09:05 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-01-12 23:09:05 -0400 |
commit | 71de092a045dc70ab1c9eead477cf1512b144a87 (patch) | |
tree | 1f71aca655d867b748c430996d3687911b7537cc /stdlib/source/program/aedifex/artifact/time_stamp/time.lux | |
parent | 5dbf134346424602b0104d1f749c1a9eac6f21af (diff) |
Raise error when trying to use deprecated fields/method/classes in JVM.
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/time_stamp/time.lux')
-rw-r--r-- | stdlib/source/program/aedifex/artifact/time_stamp/time.lux | 35 |
1 files changed, 0 insertions, 35 deletions
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})))) |