Music.LilyPond.Light.Analysis

Documentation

type R = Double

Basic traversal

traverse :: (Music -> a) -> Music -> [a]

Apply a function to all elements and collect results in a list.

collect_entries :: (Music -> Bool) -> Music -> [Music]

Collect all elements of a given type.

Basic statistical analysis

count_entries :: (Music -> Bool) -> Music -> Integer

count_notes :: Music -> Integer

count_chords :: Music -> Integer

count_ts :: Music -> Integer

Basic pitch analysis

has_pitch :: Music -> Bool

Does music element contain one or more pitches?

collect_pitches_no_grace :: Music -> [Pitch]

Collect pitches from a note or chord or join of such.

collect_pitches :: Music -> [Pitch]

Collect pitches from a note, chord, or grace note.

note_seq :: Music -> [Music]

Collect note sequence, filters tied notes.

Frequency analysis utilites

freq_anal_by :: Ord a => (a -> a -> Ordering) -> [a] -> [(Int, a)]

freq_anal :: Ord a => [a] -> [(Int, a)]

Durations

type TempoMarking = (Duration, Integer)

apply_dots :: Rational -> Integer -> Rational

Apply d dots to the rational pulse count n.

dur_pulses :: TimeSignature -> Duration -> Rational

Convert a duration to a pulse count in relation to the indicated time signature.

pulse_duration :: TimeSignature -> TempoMarking -> R

The duration, in seconds, of a pulse at the indicated time signaure and tempo marking.

measure_duration :: TimeSignature -> TempoMarking -> R

The duration, in seconds, of a measure at the indicated time signaure and tempo marking.

Temporal map

type TimeSignature_Map = [(Measure, TimeSignature)]

type TempoMarking_Map = [(Measure, TempoMarking)]

type Temporal_Map = (TimeSignature_Map, TempoMarking_Map)

temporal_map :: [Music] -> Temporal_Map

mm_durations :: Temporal_Map -> Integer -> [(R, Integer)]

Return duration (in seconds) and pulse counts for n measures.

integrate :: Num a => [a] -> [a]

mm_start_times :: Temporal_Map -> Integer -> [(R, R, Integer)]

Return start time and duration (in seconds) and pulse counts for i measures.

location_to_rt :: [(R, R, Integer)] -> Location -> R

locate_rt :: [Music] -> [(R, Music)]

Temporal annotations

data Locate_Mode

Constructors

LM_Normal

LM_In_Tuplet

Instances

Eq Locate_Mode

Ord Locate_Mode

Show Locate_Mode

type Measure = Integer

type Pulse = Rational

type Part_ID = Integer

data Location

Data type representing the location of a musical element.

Constructors

Location

Fields

measure :: Measure

pulse :: Pulse

part :: Part_ID

mode :: Locate_Mode

Instances

Eq Location

Ord Location

Show Location

location_nf :: TimeSignature -> Location -> Location

Convert a location to normal form under given time signature.

type Locate_ST = (TimeSignature, Location)

Type to thread state through location calculations.

st_set_part :: Locate_ST -> Part_ID -> Locate_ST

Update state part number.

st_set_mode :: Locate_ST -> Locate_Mode -> Locate_ST

Update state part number.

location_step :: Locate_ST -> Duration -> Locate_ST

Step location state by duration.

type LM = (Location, Music)

Located music

type LV a = (Location, a)

Located value

locate_st :: Locate_ST -> Music -> (Locate_ST, [LM])

State threading form of location calculations. Currently, nested polyphonic parts generate duplicate IDs (?)

locate :: Music -> [LM]

Run location calculations.

locate' :: [Music] -> [LM]

lv_located_parts :: [LV a] -> [Part_ID]

Extract list of part identifiers.

lv_group_parts :: [LV a] -> [[LV a]]

lv_from_measure :: Integer -> [LV a] -> [LV a]

Drop n measures.

lv_group_measures :: [LV a] -> [[LV a]]

lv_extract_part :: Part_ID -> [LV a] -> [LV a]

lv_extract_measure :: Measure -> [LV a] -> [LV a]

lm_pitches :: [LM] -> [Pitch]

lm_pcset :: [LM] -> [PitchClass]

lm_pitches_per_measure :: [LM] -> [[Pitch]]

lm_pcset_per_measure :: [LM] -> [[PitchClass]]

unlocate_p :: Music -> Bool

normal_mode_p :: Location -> Bool

lm_unlocate :: [LM] -> [Music]

location_time :: Location -> (Measure, Pulse)

lv_sort :: [LV a] -> [LV a]

located_pitches :: [[Music]] -> [(Location, [Pitch])]

Time-signature structure analysis.

ts_rewrite :: Integer -> TimeSignature -> TimeSignature

Rewrite time signature to indicated denominator.

ts_sum :: [TimeSignature] -> TimeSignature

Sum time signatures (ie. 316 and 12 sum to 11/16).

measure_diff :: Location -> Location -> Integer

lv_last_measure :: [LV a] -> Measure

time_unpack :: Music -> TimeSignature

ts_structure :: Music -> [[(TimeSignature, Integer)]]

Time signature structure of music.

ts_structure' :: [Music] -> [[(TimeSignature, Integer)]]

structure_unfold' :: Integral i => [(a, i)] -> [a]

structure_unfold :: Integral i => [(a, i)] -> [Maybe a]

lm_ts_map :: [LM] -> TimeSignature_Map

ts_map :: [Music] -> TimeSignature_Map

map_lookup :: Ord i => [(i, a)] -> i -> a

Keys are in ascending order, the value retrieved is the that with the greatest key less than or equal to the key requested.

ts_lookup :: [(Measure, TimeSignature)] -> Measure -> TimeSignature

Tempo

lm_tempo_map :: [LM] -> [(Measure, (Duration, Integer))]

tempo_map :: [Music] -> [(Measure, (Duration, Integer))]

tempo_lookup :: [(Measure, (Duration, Integer))] -> Measure -> (Duration, Integer)

Key/value utilties

kv_group_by :: Ord c => (a -> c) -> [(a, b)] -> [[(a, b)]]

kv_collate :: Ord k => (a -> k) -> (a -> v) -> [a] -> [(k, [v])]

kv_collate' :: Ord k => [(k, v)] -> [(k, [v])]

kv_filter :: (k -> Bool) -> (v -> Bool) -> [(k, v)] -> [(k, v)]

Filter with predicates at key and value.

kv_map :: (k -> k') -> (v -> v') -> [(k, v)] -> [(k', v')]

Apply functions to keys and values.

Measure collation

measure_collate :: (Music -> Bool) -> Music -> [[(Integer, [Music])]]

collation_unfold :: [(Integer, a)] -> [Maybe a]

Transformation

type ST_r st = (st, Music)

type ST_f st = st -> Music -> ST_r st

transform_st :: ST_f st -> st -> Music -> ST_r st

transform :: (Music -> Music) -> Music -> Music

Repeats

write_out_repeats :: Music -> Music

Replace

note_replace_pitch :: Pitch -> Music -> Music

Replace the pitch of note element n1 with that of n0.

note_replace_pitch_m :: Music -> Music -> Music

replace_notes_fn :: (a -> Pitch) -> [a] -> Music -> ([a], Music)

replace_notes_p :: [Pitch] -> Music -> Music

Replaces notes with indicated pitches, rhythms and annotations are not replaced. Tied notes do not use multiple pitches from the input sequence.

replace_notes :: [Music] -> Music -> Music

Insert

insert_after_notes_fn :: [Maybe Music] -> Music -> ([Maybe Music], Music)

insert_after_notes :: [Maybe Music] -> Music -> Music

Inserts a value after each note as indicated.

Tied notes

discard_tied_notes_pr :: (a -> Bool) -> (a -> Bool) -> [a] -> [a]

discard_tied_notes :: [Music] -> [Music]

lm_discard_tied_notes :: [LM] -> [LM]

Spelling

spell_ks :: (Octave, PitchClass) -> Music

spell_sharp :: (Octave, PitchClass) -> Music

spell_flat :: (Octave, PitchClass) -> Music

Validation

v_assert :: String -> (Music -> Bool) -> Music -> Maybe String

v_chord_note_valid :: Music -> Maybe String

Notes in chords must not have duration.

validate :: Music -> [String]