aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact/time/time.lux
blob: 01e2c85cb790b93416c4fec5e91e60a4ee625c0c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
(.require
 [library
  [lux (.except)
   ["[0]" time]
   [abstract
    [monad (.only do)]]
   [control
    ["<>" parser (.only)]]
   [data
    ["[0]" text
     ["%" \\format]
     ["<[1]>" \\parser (.only Parser)]]]
   [math
    [number
     ["n" nat]]]]]
 ["[0]" //
  ["[1]" date]])

(type .public Time
  time.Time)

(def .public (format value)
  (%.Format Time)
  (let [(open "_[0]") (time.clock value)]
    (%.format (//.pad _#hour)
              (//.pad _#minute)
              (//.pad _#second))))

(def .public 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))]
    (<>.lifted (time.time
                [time.#hour hour
                 time.#minute minute
                 time.#second second
                 time.#milli_second 0]))))