diff options
| author | Eduardo Julian | 2022-03-15 07:24:35 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-15 07:24:35 -0400 |
| commit | bc36487224f670c23002cc4575c0dba3e5dc1be1 (patch) | |
| tree | 01601f7e5d992ace77a16cfa90240ffc4511a7af /stdlib/source/program/aedifex/artifact/time | |
| parent | 4ef1ac1dfe0edd1a11bb7f1fd13c8b6cb8f1bab4 (diff) | |
De-sigil-ification: ^
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/time')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time/time.lux | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux index ed66ebff2..15ce0e183 100644 --- a/stdlib/source/program/aedifex/artifact/time/time.lux +++ b/stdlib/source/program/aedifex/artifact/time/time.lux @@ -1,27 +1,27 @@ (.using - [library - [lux "*" - ["[0]" time] - [abstract - [monad {"+" do}]] - [control - ["<>" parser - ["<[0]>" text {"+" Parser}]]] - [data - [text - ["%" format]]] - [math - [number - ["n" nat]]]]] - ["[0]" // "_" - ["[1]" date]]) + [library + [lux "*" + ["[0]" time] + [abstract + [monad {"+" do}]] + [control + ["<>" parser + ["<[0]>" text {"+" Parser}]]] + [data + [text + ["%" format]]] + [math + [number + ["n" nat]]]]] + ["[0]" // "_" + ["[1]" date]]) (type: .public Time time.Time) (def: .public (format value) (%.Format Time) - (let [(^open "_[0]") (time.clock value)] + (let [(open "_[0]") (time.clock value)] (%.format (//.pad _#hour) (//.pad _#minute) (//.pad _#second)))) |