Music.Theory.Graph.Johnson_2014

Tom Johnson. Other Harmony: Beyond Tonal and Atonal. Editions 75, 2014.

Common

type Z12 = Int

mod12 :: Integral a => a -> a

dif :: Num a => (a, a) -> a

absdif :: Num a => (a, a) -> a

i_to_ic :: (Num a, Ord a) => a -> a

interval (0,11) to interval class (0,6)

p2_and :: (t -> u -> Bool) -> (t -> u -> Bool) -> t -> u -> Bool

doi :: Eq t => [t] -> [t] -> Int

degree of intersection

doi_of :: Eq t => Int -> [t] -> [t] -> Bool

loc_dif :: Num t => [t] -> [t] -> t

The sum of the pointwise absolute difference.

loc_dif_of :: (Eq t, Num t) => t -> [t] -> [t] -> Bool

loc_dif_in :: (Eq t, Num t) => [t] -> [t] -> [t] -> Bool

loc_dif_n :: (Eq t, Num i) => [t] -> [t] -> i

The number of places that are, pointwise, not equal.

loc_dif_n "test" "pest" == 1

loc_dif_n_of :: Eq t => Int -> [t] -> [t] -> Bool

min_vl :: (Num a, Ord a) => [a] -> [a] -> a

min_vl_of :: (Num a, Ord a) => a -> [a] -> [a] -> Bool

min_vl_in :: (Num a, Ord a) => [a] -> [a] -> [a] -> Bool

combinations2 :: Ord t => [t] -> [(t, t)]

set_pp :: Show t => [t] -> String

Map

m_get :: Ord k => Map k v -> k -> v

m_doi_of :: Map Int [Z12] -> Int -> Int -> Int -> Bool

degree of intersection

Graph

gen_graph_ul :: Ord v => [DOT_ATTR] -> (v -> String) -> [EDGE v] -> [String]

gen_graph_ul_ty :: Ord v => String -> (v -> String) -> [EDGE v] -> [String]

gen_flt_graph :: (Ord t, Show t) => [DOT_ATTR] -> ([t] -> [t] -> Bool) -> [[t]] -> [String]

P.12

p12_euler_plane :: Euler_Plane Rational

http://localhost/rd/?t=j&e=2016-04-04.md

p12_euler_plane_gr :: [String]

P.14

p14_edges :: [(Key, Key)]

p14_gr :: [String]

P.31

p31_f_4_22 :: [Z12]

p31_e_set :: [([Z12], [Z12])]

p31_gr :: [String]

P.114

p114_f_3_7 :: [Z12]

p114_mk_gr :: Double -> ([Z12] -> [Z12] -> Bool) -> [String]

p114_gr_set :: [(String, [String])]

P.125

p125_gr :: [String]

P.131

p131_gr :: [String]

P.148

p148_mk_gr :: ([Int] -> [Int] -> Bool) -> [String]

p148_gr_set :: [(String, [String])]

P.162

p162_gr :: [String]

P.172

p172_nd_map :: Map Int [Z12]

p172_set_pp :: Int -> String

p172_gr_set :: [(String, [String])]

P.177

partition_ic :: (Num t, Ord t, Show t) => t -> [t] -> ([t], [t])

p177_gr_set :: [(String, [String])]

IO

wr_graphs :: IO ()