Music.Theory.Time.Duration

Documentation

data Duration

Duration stored as hours, minutes, seconds and milliseconds.

Constructors

Duration

Fields

hours :: Int

minutes :: Int

seconds :: Int

milliseconds :: Int

Instances

Eq Duration

Read Duration

Show Duration

s_sms :: (RealFrac n, Integral i) => n -> (i, i)

Convert fractional seconds to integral (seconds,milliseconds).

s_sms 1.75 == (1,750)

sms_s :: Integral i => (i, i) -> Double

Inverse of s_sms.

sms_s (1,750) == 1.75

read_duration_tuple :: String -> (Int, Int, Int, Int)

Read function for Duration tuple.

read_duration :: String -> Duration

Read function for Duration. Allows either H:M:S.MS or M:S.MS or S.MS.

read_duration "01:35:05.250" == Duration 1 35 5 250
read_duration    "35:05.250" == Duration 0 35 5 250
read_duration       "05.250" == Duration 0 0 5 250

show_duration :: Duration -> String

Show function for Duration.

show_duration (Duration 1 35 5 250) == "01:35:05.250"
show (Duration 1 15 0 000) == "01:15:00.000"

normalise_minutes :: Duration -> Duration

normalise_seconds :: Duration -> Duration

normalise_milliseconds :: Duration -> Duration

normalise_duration :: Duration -> Duration

duration_to_tuple :: (Int -> a) -> Duration -> (a, a, a, a)

Extract Duration tuple applying filter function at each element

duration_tuple id (Duration 1 35 5 250) == (1,35,5,250)

tuple_to_duration :: (a -> Int) -> (a, a, a, a) -> Duration

Inverse of duration_to_tuple.

duration_to_hours :: Fractional n => Duration -> n

duration_to_minutes :: Fractional n => Duration -> n

duration_to_seconds :: Fractional n => Duration -> n

hours_to_duration :: RealFrac a => a -> Duration

minutes_to_duration :: RealFrac a => a -> Duration

seconds_to_duration :: RealFrac a => a -> Duration

nil_duration :: Duration

negate_duration :: Duration -> Duration

duration_diff :: Duration -> Duration -> Duration