]> git.netwichtig.de Git - user/henk/code/haskell/diddohs.git/blob - Diddo.hs
On branch master
[user/henk/code/haskell/diddohs.git] / Diddo.hs
1 module Diddo
2 ( LogEntry(LogEntry)
3 , DiddoEntry(DiddoEntry)
4 , parseDiddoLogline
5 , formatDiddoEntry
6 , timestamp
7 , logToDiddoEntry
8 ) where
9
10 import HMSTime( secondsToHMS )
11 import Data.List( intercalate )
12 import Data.DateTime( diffSeconds )
13 import Data.Time.LocalTime( TimeZone() )
14 import Data.Time.Clock( UTCTime() )
15 import Data.Maybe( fromMaybe )
16 import Data.Time.Format( parseTime, formatTime )
17 import Data.Time.LocalTime( ZonedTime(..), zonedTimeToUTC, utcToZonedTime )
18 import Data.List.Split( splitOn )
19 import System.Locale
20
21 data LogEntry = LogEntry
22     { timestamp     :: UTCTime
23     , timezone      :: TimeZone
24     , text          :: String
25     }
26
27 instance Show LogEntry where
28     show x = (show $ timestamp x) ++ (show $ timezone x) ++ text x
29
30 data DiddoEntry = DiddoEntry
31     { startTime         :: ZonedTime
32     , endTime           :: ZonedTime
33     , comment           :: String
34     }
35
36 instance Show DiddoEntry where
37   show (DiddoEntry start finish entry) = intercalate ";" [show start,show finish,show $ diffSeconds (zonedTimeToUTC finish) (zonedTimeToUTC start),entry]
38
39 formatDiddoEntry :: String -> DiddoEntry -> String
40 formatDiddoEntry format entry = (formatTime defaultTimeLocale format (startTime entry)) ++ ";" ++ (formatTime defaultTimeLocale format (endTime entry)) ++ ";" ++ (show $ secondsToHMS $ diffSeconds (zonedTimeToUTC (endTime entry)) (zonedTimeToUTC (startTime entry))) ++ ";" ++ comment entry
41
42 logToDiddoEntry :: UTCTime -> LogEntry -> DiddoEntry
43 logToDiddoEntry startutc logentry = DiddoEntry startZoned endZoned $ text logentry
44     where
45         startZoned = utcToZonedTime (timezone logentry) startutc
46         endZoned = utcToZonedTime (timezone logentry) $ timestamp logentry
47
48 parseDiddoLogline :: String -> LogEntry
49 parseDiddoLogline line = LogEntry ts tz string
50     where
51         splitLine           = splitOn ";" line
52         string              = intercalate ";" $ tail splitLine
53         time                = parseISOsecondsTime $ head splitLine
54         (ts,tz)             = (zonedTimeToUTC time, zonedTimeZone time)
55
56 parseToZonedTime :: String -> String -> ZonedTime
57 parseToZonedTime format string = fromMaybe (error $ "Input data broken: " ++ string) $ parseTime defaultTimeLocale format string
58
59 parseISOsecondsTime :: String -> ZonedTime
60 parseISOsecondsTime = parseToZonedTime $ iso8601DateFormat $ Just "%T%z"
61