Music.Theory.Duration.Annotation

Duration annotations.

Documentation

data D_Annotation

Standard music notation durational model annotations

Constructors

Tie_Right

Tie_Left

Begin_Tuplet (Integer, Integer, Duration)

End_Tuplet

Instances

Eq D_Annotation

Methods

(==) :: D_Annotation -> D_Annotation -> Bool

(/=) :: D_Annotation -> D_Annotation -> Bool

Show D_Annotation

Methods

showsPrec :: Int -> D_Annotation -> ShowS

show :: D_Annotation -> String

showList :: [D_Annotation] -> ShowS

type Duration_A = (Duration, [D_Annotation])

Annotated Duration.

begin_tuplet :: D_Annotation -> Maybe (Integer, Integer, Duration)

da_begin_tuplet :: Duration_A -> Maybe (Integer, Integer, Duration)

begins_tuplet :: D_Annotation -> Bool

da_begins_tuplet :: Duration_A -> Bool

Does Duration_A begin a tuplet?

da_ends_tuplet :: Duration_A -> Bool

Does Duration_A end a tuplet?

da_tied_right :: Duration_A -> Bool

Is Duration_A tied to the the right?

da_tuplet :: (Integer, Integer) -> [Duration_A] -> [Duration_A]

Annotate a sequence of Duration_A as a tuplet.

import Music.Theory.Duration.Name
da_tuplet (3,2) [(quarter_note,[Tie_Left]),(eighth_note,[Tie_Right])]

da_group_tuplets :: [Duration_A] -> Tree (Maybe Duration_A)

Group tuplets into a Tree. Branch nodes have label Nothing, leaf nodes label Just Duration_A.

import Music.Theory.Duration.Name.Abbreviation

let d = [(q,[])
        ,(e,[Begin_Tuplet (3,2,e)])
        ,(s,[Begin_Tuplet (3,2,s)]),(s,[]),(s,[End_Tuplet])
        ,(e,[End_Tuplet])
        ,(q,[])]
in catMaybes (flatten (da_group_tuplets d)) == d

break_left :: (a -> Bool) -> [a] -> ([a], [a])

Variant of break that places separator at left.

break_left (== 3) [1..6] == ([1..3],[4..6])
break_left (== 3) [1..3] == ([1..3],[])

sep_balanced :: Bool -> (a -> Bool) -> (a -> Bool) -> [a] -> ([a], [a])

Variant of break_left that balances begin & end predicates.

break_left (== ')') "test (sep) _) balanced"
sep_balanced True (== '(') (== ')') "test (sep) _) balanced"
sep_balanced False (== '(') (== ')') "(test (sep) _) balanced"

da_group_tuplets_nn :: [Duration_A] -> [Either Duration_A [Duration_A]]

Group non-nested tuplets, ie. groups nested tuplets at one level.

zip_kr :: [a] -> [b] -> ([(a, b)], [b])

Keep right variant of zip, unused rhs values are returned.

zip_kr [1..4] ['a'..'f'] == ([(1,'a'),(2,'b'),(3,'c'),(4,'d')],"ef")

nn_reshape :: (a -> b -> c) -> [Either a [a]] -> [b] -> [Either c [c]]

zipWith variant that adopts the shape of the lhs.

let {p = [Left 1,Right [2,3],Left 4]
    ;q = "abcd"}
in nn_reshape (,) p q == [Left (1,'a'),Right [(2,'b'),(3,'c')],Left (4,'d')]

d_annotated_tied_lr :: [D_Annotation] -> (Bool, Bool)

Does a have Tie_Left and Tie_Right?

duration_a_tied_lr :: Duration_A -> (Bool, Bool)

Does d have Tie_Left and Tie_Right?