ParseTime

Documentation

count_down_time :: String -> String

asTimePeriod: Reads a string as a TimePeriod.

>>> asTimePeriod "00:00"
00:00

>>> asTimePeriod "99:99"
99:99

count_down_time: Subtracts a second from time given as a string.

>>> count_down_time "00:00"
"00:00"

>>> count_down_time "00:01"
"00:00"

>>> count_down_time "00:02"
"00:01"

>>> count_down_time "01:00"
"00:59"

subtract_second :: TimePeriod -> TimePeriod

list_to_time_periods

>>> list_to_time_periods [10,20]
[10:20]

asTimePeriod :: String -> TimePeriod

subtract_second: Given a TimePeriod, returns a TimePeriod that is one second shorter.

>>> subtract_second $ TimePeriod 00 00
00:00

>>> subtract_second $ TimePeriod 00 01
00:00

>>> subtract_second $ TimePeriod 01 00
00:59

>>> subtract_second $ TimePeriod 02 00
01:59