Data.Geo.Jord.Duration

Types and functions for working with (signed) durations.

The Duration type

data Duration

A durartion with a resolution of 1 millisecond.

Instances

Eq Duration

Defined in Data.Geo.Jord.Duration

Methods

(==) :: Duration -> Duration -> Bool

(/=) :: Duration -> Duration -> Bool

Read Duration

See readDuration.

Defined in Data.Geo.Jord.Duration

Methods

readsPrec :: Int -> ReadS Duration

readList :: ReadS [Duration]

readPrec :: ReadPrec Duration

readListPrec :: ReadPrec [Duration]

Show Duration

show Duration as (-)nHnMn.nS.

Defined in Data.Geo.Jord.Duration

Methods

showsPrec :: Int -> Duration -> ShowS

show :: Duration -> String

showList :: [Duration] -> ShowS

Quantity Duration

Add/Subtract Durations.

Defined in Data.Geo.Jord.Duration

Methods

add :: Duration -> Duration -> Duration

sub :: Duration -> Duration -> Duration

zero :: Duration

toMilliseconds :: Duration -> Int

the number of milliseconds in duration.

Smart constructors

milliseconds :: Double -> Duration

Duration from given amount of milliseconds.

hours :: Double -> Duration

Duration from given amount of hours.

minutes :: Double -> Duration

Duration from given amount of minutes.

seconds :: Double -> Duration

Duration from given amount of seconds.

hms :: Int -> Int -> Double -> Duration

Duration from hours minutes and decimal seconds.

Accessors

toHours :: Duration -> Double

toHours d gets the number of hours in d.

toMinutes :: Duration -> Double

toMinutes d gets the number of minutes in d.

toSeconds :: Duration -> Double

toSeconds d gets the number of seconds in d.

Read

readDuration :: String -> Duration

Obtains a Duration from the given string formatted (-)nHnMn.nS.

This simply calls read s :: Duration so error should be handled at the call site.

readDurationE :: String -> Either String Duration

Same as readDuration but returns a Either.

readDurationF :: MonadFail m => String -> m Duration

Same as readDuration but returns a MonadFail.