Music.Theory.Contour.Polansky_1992

Documentation

compare_adjacent :: Ord a => [a] -> [Ordering]

matrix_f :: (a -> a -> b) -> [a] -> [[b]]

contour_matrix :: Ord a => [a] -> [[Ordering]]

data Contour_Half_Matrix

Constructors

Contour_Half_Matrix

Fields

contour_half_matrix_n :: Int

contour_half_matrix_m :: [[Ordering]]

Instances

Eq Contour_Half_Matrix

Show Contour_Half_Matrix

half_matrix_f :: (a -> a -> b) -> [a] -> [[b]]

contour_half_matrix :: Ord a => [a] -> Contour_Half_Matrix

contour_half_matrix_str :: Contour_Half_Matrix -> String

ord_to_int :: Integral a => Ordering -> a

int_to_ord :: Integral a => a -> Ordering

data Contour_Description

Constructors

Contour_Description

Fields

contour_description_n :: Int

contour_description_m :: Map (Int, Int) Ordering

Instances

Eq Contour_Description

Show Contour_Description

adjacent_indices :: Integral i => i -> [(i, i)]

all_indices :: Integral i => i -> [(i, i)]

contour_description :: Ord a => [a] -> Contour_Description

contour_description_str :: Contour_Description -> String

half_matrix_to_description :: Contour_Half_Matrix -> Contour_Description

contour_description_ix :: Contour_Description -> (Int, Int) -> Ordering

all_equal :: Eq a => [a] -> Bool

uniform :: Contour_Description -> Bool

true if contour is all descending, equal or ascending

no_equalities :: Contour_Description -> Bool

true if contour does not containt any EQ elements

all_contours :: Int -> [Contour_Description]

all contour descriptions

violations :: Contour_Description -> [(Int, Int, Int, Ordering)]

is_possible :: Contour_Description -> Bool

possible_contours :: Int -> [Contour_Description]

all possible contour descriptions

impossible_contours :: Int -> [Contour_Description]

all impossible contour descriptions

contour_description_lm :: Integral a => a -> a

implication :: (Ordering, Ordering) -> Maybe Ordering

replace :: Integral i => [a] -> i -> a -> [a]

draw_contour :: Integral i => Contour_Description -> [i]

ord_invert :: Ordering -> Ordering

contour_description_invert :: Contour_Description -> Contour_Description

ex_1 :: [Rational]

ex_2 :: [Integer]

ex_3 :: [Integer]

ex_4 :: Contour_Description