diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/artifact/time_stamp.lux | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time_stamp.lux b/stdlib/source/program/aedifex/artifact/time_stamp.lux deleted file mode 100644 index 0eab45a14..000000000 --- a/stdlib/source/program/aedifex/artifact/time_stamp.lux +++ /dev/null @@ -1,35 +0,0 @@ -(.module: - [lux #* - [abstract - [monad (#+ do)]] - [control - ["<>" parser - ["<.>" text (#+ Parser)]]] - [data - [text - ["%" format]]] - [time - ["." instant (#+ Instant)]]] - ["." / #_ - ["#." date] - ["#." time]]) - -(type: #export Time_Stamp - Instant) - -(def: #export separator - ".") - -(def: #export (format value) - (%.Format Time_Stamp) - (%.format (/date.format (instant.date value)) - ..separator - (/time.format (instant.time value)))) - -(def: #export parser - (Parser Time_Stamp) - (do <>.monad - [date /date.parser - _ (<text>.this ..separator) - time /time.parser] - (wrap (instant.from_date_time date time)))) |