Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Common music notation duration model.
- data Duration = Duration {}
- duration_meq :: Duration -> Duration -> Bool
- duration_m1 :: Duration -> Bool
- duration_compare_meq :: Duration -> Duration -> Maybe Ordering
- duration_compare_meq_err :: Duration -> Duration -> Ordering
- no_dots :: (Duration, Duration) -> Bool
- sum_dur_undotted :: (Integer, Integer) -> Maybe Duration
- sum_dur_dotted :: (Integer, Integer, Integer, Integer) -> Maybe Duration
- sum_dur :: Duration -> Duration -> Maybe Duration
- sum_dur_err :: Duration -> Duration -> Duration
- divisions_set :: [Integer]
- duration_set :: Integer -> [Duration]
- beam_count_tbl :: [(Integer, Integer)]
- whole_note_division_to_beam_count :: Integer -> Maybe Integer
- duration_beam_count :: Duration -> Integer
- division_musicxml_tbl :: [(Integer, String)]
- whole_note_division_to_musicxml_type :: Integer -> String
- duration_to_musicxml_type :: Duration -> String
- division_unicode_tbl :: [(Integer, Char)]
- whole_note_division_to_unicode_symbol :: Integer -> Char
- duration_to_unicode :: Duration -> String
- duration_to_lilypond_type :: Duration -> String
- duration_recip_pp :: Duration -> String
- whole_note_division_letter_pp :: Integer -> Maybe Char
- duration_letter_pp :: Duration -> Maybe String
Documentation
Common music notation durational model
duration_m1 :: Duration -> Bool Source #
Is multiplier the identity (ie. 1
)?
duration_compare_meq :: Duration -> Duration -> Maybe Ordering Source #
Compare durations with equal multipliers.
duration_compare_meq_err :: Duration -> Duration -> Ordering Source #
Erroring variant of duration_compare_meq
.
sum_dur_undotted :: (Integer, Integer) -> Maybe Duration Source #
Sum undotted divisions, input is required to be sorted.
sum_dur_dotted :: (Integer, Integer, Integer, Integer) -> Maybe Duration Source #
Sum dotted divisions, input is required to be sorted.
sum_dur_dotted (4,1,4,1) == Just (Duration 2 1 1) sum_dur_dotted (4,0,2,1) == Just (Duration 1 0 1) sum_dur_dotted (8,1,4,0) == Just (Duration 4 2 1) sum_dur_dotted (16,0,4,2) == Just (Duration 2 0 1)
sum_dur :: Duration -> Duration -> Maybe Duration Source #
Sum durations. Not all durations can be summed, and the present algorithm is not exhaustive.
import Music.Theory.Duration.Name sum_dur quarter_note eighth_note == Just dotted_quarter_note sum_dur dotted_quarter_note eighth_note == Just half_note sum_dur quarter_note dotted_eighth_note == Just double_dotted_quarter_note
divisions_set :: [Integer] Source #
Standard divisions (from 0 to 256). MusicXML allows -1
as a division (for long
).
duration_set :: Integer -> [Duration] Source #
Durations set derived from divisions_set
with up to k dots. Multiplier of 1
.
beam_count_tbl :: [(Integer, Integer)] Source #
Table of number of beams at notated division.
whole_note_division_to_beam_count :: Integer -> Maybe Integer Source #
Lookup beam_count_tbl
.
whole_note_division_to_beam_count 32 == Just 3
duration_beam_count :: Duration -> Integer Source #
Calculate number of beams at Duration
.
map duration_beam_count [Duration 2 0 1,Duration 16 0 1] == [0,2]
MusicXML
division_musicxml_tbl :: [(Integer, String)] Source #
Table giving MusicXML
types for divisions.
whole_note_division_to_musicxml_type :: Integer -> String Source #
Lookup division_musicxml_tbl
.
map whole_note_division_to_musicxml_type [2,4] == ["half","quarter"]
duration_to_musicxml_type :: Duration -> String Source #
Variant of whole_note_division_to_musicxml_type
extracting
division
from Duration
, dots & multipler are ignored.
duration_to_musicxml_type (Duration 4 0 1) == "quarter"
Unicode
division_unicode_tbl :: [(Integer, Char)] Source #
Table giving Unicode
symbols for divisions.
whole_note_division_to_unicode_symbol :: Integer -> Char Source #
Lookup division_unicode_tbl
.
map whole_note_division_to_unicode_symbol [1,2,4,8] == "𝅝𝅗𝅥𝅘𝅥𝅘𝅥𝅮"
duration_to_unicode :: Duration -> String Source #
Give Unicode string for Duration
. The duration multiplier is not written.
map duration_to_unicode [Duration 1 2 1,Duration 4 1 1] == ["𝅝𝅭𝅭","𝅘𝅥𝅭"]
Lilypond
duration_to_lilypond_type :: Duration -> String Source #
Give Lilypond notation for Duration
. Note that the duration
multiplier is not written.
map duration_to_lilypond_type [Duration 2 0 1,Duration 4 1 1] == ["2","4."]
Humdrum
duration_recip_pp :: Duration -> String Source #
Duration to **recip
notation.
http://humdrum.org/Humdrum/representations/recip.rep.html
let d = map (\z -> Duration z 0 1) [0,1,2,4,8,16,32] in map duration_recip_pp d == ["0","1","2","4","8","16","32"]
let d = [Duration 1 1 (1/3),Duration 4 1 1,Duration 4 1 (2/3)] in map duration_recip_pp d == ["3.","4.","6."]