Documentation

The known at ompile time, time unit in units per second.

A more beautiful operator for Hertz

The maximum representable frequency is 10e12 1/s which corresponds to the resolution of NominalDiffTime, i.e. 1 pico second.

Analogous to KnownNat this (kind-)class is for StaticTicks with a runtime Ticks value.

Types with a known Rate, e.g. audio media has a sample rate.

Types which contain a rate, but are agnostic of it. The counter example would be if the rate was a type index of a data family.

Return the Rate as an Integer from a proxy for an instance of HasRate

Return a Proxy for the GetRate from a proxy for an instance of HasRate

A proxy type for Rates useful to prevent orphan instances, is seen in the Show instance for RateProxy. If the instance were defined as instance KnownRate r => Show (proxy r) where ... it would be an orphan instance.

Return the StaticTicks representing the shortest representable duration of something sampled at a Rate

Return the reciprocal of the sample rate, i.e. the duration that one sample spans

Utility around coerceRate to set the sample rate to 8000 Hz.

Utility around coerceRate to set the sample rate to 16000 Hz.

Utility around coerceRate to set the sample rate to 48000 Hz.

Utility around coerceRate to double the sample rate.

An integral time unit such that (time_in_seconds = _ticks * 1/rate)

The constraint on the type parameters of 'Ticks

The highest resolution Ticks possible, such that it can still be converted to NominalDiffTime

Alias for Ticks based on a Word32 tick count.

Create a Ticks32 from a Rate given via a proxy and the number of ticks.

Alias for Ticks based on a Word64 tick count.

Create a Ticks64 from a Rate given via a proxy and the number of ticks.

Alias for Ticks based on a Word32 tick count with a rate of 8000 ticks per second.

Create a Ticks32At8000 from a tick count.

Alias for Ticks based on a Word32 tick count with a rate of 16000 ticks per second.

Create a 'Ticks32At16000 from a tick count.

Alias for Ticks based on a Word32 tick count with a rate of 48000 ticks per second.

Create a 'Ticks32At48000 from a tick count.

Alias for Ticks based on a Word64 tick count with a rate of 8000 ticks per second.

Create a 'Ticks64At8000 from a tick count.

Alias for Ticks based on a Word64 tick count with a rate of 16000 ticks per second.

Create a 'Ticks64At16000 from a tick count.

Alias for Ticks based on a Word64 tick count with a rate of 48000 ticks per second.

Create a 'Ticks64At48000 from a tick count.

A function (an Iso) that converts back-and-forth between Ticks and NominalDiffTimes

Transform a Tick value to another Tick value.

Time unit for durations known at compile time.

Analog to KnownNat this (kind-)class is for StaticTicks with a runtime Ticks value.

Return the Rate value of a promoted StaticTicks.

Return the ticks value of a promoted StaticTicks.

Types with a duration (e.g. audio samples).

Types that contain a Timestamp

Calculate and set a timestamp.

The timestamp of each element is calculated from the sum of the durations of the previous elements stored and the start time stamp t0.

The input elements must be instances of HasTimestamp but with the important condition, that the input timestamp is always unit i.e. (). This prevents meaningful timestamps from being overwritten.

Use removeTimestamp to explicitly remove a timestamp.

Explicitly remove a timestamp, by setting the timestamp to ().

Types that have a duration known at compoile time.

Convert the StaticDuration that some type has to any Ticks.

Convert the StaticDuration that some type has to the number of seconds.

Create a Proxy for the StaticTicks type associated with s, this is basically the analogon to the getDuration method - just for types with a duration known at compile time.

Convenient wrapper around MkStaticTicks and MkRate to create a promoted StaticTicks.