Music.Theory.Duration

Documentation

data Duration

Constructors

Duration

Fields

division :: Integer

dots :: Integer

multiplier :: Rational

Instances

Eq Duration

Ord Duration

Show Duration

data D_Annotation

Duration annotations

Constructors

Tie_Right

Tie_Left

Begin_Tuplet (Integer, Integer, Duration)

End_Tuplet

Instances

Eq D_Annotation

Show D_Annotation

Constants

whole_note :: Duration

half_note :: Duration

quarter_note :: Duration

eighth_note :: Duration

sixteenth_note :: Duration

thirtysecond_note :: Duration

breve :: Duration

dotted_whole_note :: Duration

dotted_half_note :: Duration

dotted_quarter_note :: Duration

dotted_eighth_note :: Duration

dotted_sixteenth_note :: Duration

dotted_thirtysecond_note :: Duration

dotted_breve :: Duration

double_dotted_whole_note :: Duration

double_dotted_half_note :: Duration

double_dotted_quarter_note :: Duration

double_dotted_eighth_note :: Duration

double_dotted_sixteenth_note :: Duration

double_dotted_thirtysecond_note :: Duration

double_dotted_breve :: Duration

Operations

duration_compare :: Duration -> Duration -> Ordering

duration_compare_meq :: Duration -> Duration -> Ordering

Compare durations with equal multipliers.

sort_pair :: (t -> t -> Ordering) -> (t, t) -> (t, t)

no_dots :: (Duration, Duration) -> Bool

True if neither duration is dotted.

sum_dur_undotted :: (Integer, Integer) -> Maybe Duration

Sum undotted divisions, input is required to be sorted.

sum_dur_dotted :: (Integer, Integer, Integer, Integer) -> Maybe Duration

Sum dotted divisions, input is required to be sorted.

sum_dur :: Duration -> Duration -> Maybe Duration

Sum durations. Not all durations can be summed, and the present algorithm is not exhaustive.

sum_dur' :: Duration -> Duration -> Duration

RQ (Rational Quarter Note Count)

rq_to_duration :: Rational -> Maybe Duration

Rational number of quarter notes to duration value. It is a mistake to hope this could handle tuplets directly, ie. a 3:2 dotted note will be of the same duration as a plain undotted note.

whole_note_division_to_rq :: Integer -> Rational

Convert a whole note division integer to a RQ.

rq_apply_dots :: Rational -> Integer -> Rational

Apply d dots to the duration n.

duration_to_rq :: Duration -> Rational

Convert duration to RQ value, see rq_to_duration for partial inverse.

whole_note_division_to_musicxml_type :: Integer -> String

duration_to_musicxml_type :: Duration -> String

duration_to_lilypond_type :: Duration -> String

whole_note_division_to_beam_count :: Integer -> Maybe Integer

duration_beam_count :: Duration -> Integer