diff options
Diffstat (limited to 'stdlib/source/library/lux/time.lux')
-rw-r--r-- | stdlib/source/library/lux/time.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/library/lux/time.lux b/stdlib/source/library/lux/time.lux index 425c1300b..b0bf5c94c 100644 --- a/stdlib/source/library/lux/time.lux +++ b/stdlib/source/library/lux/time.lux @@ -19,7 +19,7 @@ [number ["n" nat ("[1]#[0]" decimal)]]] [type - abstract]]] + [abstract {"-" pattern}]]]] [/ ["[0]" duration {"+" Duration}]]) @@ -81,23 +81,23 @@ (def: .public midnight Time - (:abstraction 0)) + (abstraction 0)) (def: .public (of_millis milli_seconds) (-> Nat (Try Time)) (if (n.< ..limit milli_seconds) - {try.#Success (:abstraction milli_seconds)} + {try.#Success (abstraction milli_seconds)} (exception.except ..time_exceeds_a_day [milli_seconds]))) (def: .public millis (-> Time Nat) - (|>> :representation)) + (|>> representation)) (implementation: .public equivalence (Equivalence Time) (def: (= param subject) - (n.= (:representation param) (:representation subject)))) + (n.= (representation param) (representation subject)))) (implementation: .public order (Order Time) @@ -105,7 +105,7 @@ (def: &equivalence ..equivalence) (def: (< param subject) - (n.< (:representation param) (:representation subject)))) + (n.< (representation param) (representation subject)))) (`` (implementation: .public enum (Enum Time) @@ -113,20 +113,20 @@ (def: &order ..order) (def: succ - (|>> :representation ++ (n.% ..limit) :abstraction)) + (|>> representation ++ (n.% ..limit) abstraction)) (def: pred - (|>> :representation + (|>> representation (pipe.case 0 ..limit millis millis) -- - :abstraction)))) + abstraction)))) (def: .public parser (Parser Time) - (let [millis (: (-> Duration Nat) - (|>> duration.millis .nat)) + (let [millis (is (-> Duration Nat) + (|>> duration.millis .nat)) hour (millis duration.hour) minute (millis duration.minute) second (millis duration.second) @@ -138,7 +138,7 @@ _ (<text>.this ..separator) utc_second ..second_parser utc_millis ..millis_parser] - (in (:abstraction + (in (abstraction ($_ n.+ (n.* utc_hour hour) (n.* utc_minute minute) |