module Music.Theory.Tuning.Db.Microtonal_Synthesis where
import Music.Theory.Tuning
import Music.Theory.Tuning.Type
pythagorean_12_r :: [Rational]
pythagorean_12_r :: [Rational]
pythagorean_12_r =
[Rational
1,Rational
2187forall a. Fractional a => a -> a -> a
/Rational
2048
,Rational
9forall a. Fractional a => a -> a -> a
/Rational
8,Rational
32forall a. Fractional a => a -> a -> a
/Rational
27
,Rational
81forall a. Fractional a => a -> a -> a
/Rational
64
,Rational
4forall a. Fractional a => a -> a -> a
/Rational
3,Rational
729forall a. Fractional a => a -> a -> a
/Rational
512
,Rational
3forall a. Fractional a => a -> a -> a
/Rational
2,Rational
6561forall a. Fractional a => a -> a -> a
/Rational
4096
,Rational
27forall a. Fractional a => a -> a -> a
/Rational
16,Rational
16forall a. Fractional a => a -> a -> a
/Rational
9
,Rational
243forall a. Fractional a => a -> a -> a
/Rational
128]
pythagorean_12 :: Tuning
pythagorean_12 :: Tuning
pythagorean_12 = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. a -> Either a b
Left [Rational]
pythagorean_12_r) forall a. Maybe a
Nothing
five_limit_tuning_r :: [Rational]
five_limit_tuning_r :: [Rational]
five_limit_tuning_r =
[Rational
1,Rational
16forall a. Fractional a => a -> a -> a
/Rational
15
,Rational
9forall a. Fractional a => a -> a -> a
/Rational
8,Rational
6forall a. Fractional a => a -> a -> a
/Rational
5
,Rational
5forall a. Fractional a => a -> a -> a
/Rational
4
,Rational
4forall a. Fractional a => a -> a -> a
/Rational
3,Rational
45forall a. Fractional a => a -> a -> a
/Rational
32
,Rational
3forall a. Fractional a => a -> a -> a
/Rational
2,Rational
8forall a. Fractional a => a -> a -> a
/Rational
5
,Rational
5forall a. Fractional a => a -> a -> a
/Rational
3,Rational
16forall a. Fractional a => a -> a -> a
/Rational
9
,Rational
15forall a. Fractional a => a -> a -> a
/Rational
8]
five_limit_tuning :: Tuning
five_limit_tuning :: Tuning
five_limit_tuning = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. a -> Either a b
Left [Rational]
five_limit_tuning_r) forall a. Maybe a
Nothing
septimal_tritone_just_intonation_r :: [Rational]
septimal_tritone_just_intonation_r :: [Rational]
septimal_tritone_just_intonation_r =
[Rational
1,Rational
16forall a. Fractional a => a -> a -> a
/Rational
15
,Rational
9forall a. Fractional a => a -> a -> a
/Rational
8,Rational
6forall a. Fractional a => a -> a -> a
/Rational
5
,Rational
5forall a. Fractional a => a -> a -> a
/Rational
4
,Rational
4forall a. Fractional a => a -> a -> a
/Rational
3,Rational
7forall a. Fractional a => a -> a -> a
/Rational
5
,Rational
3forall a. Fractional a => a -> a -> a
/Rational
2,Rational
8forall a. Fractional a => a -> a -> a
/Rational
5
,Rational
5forall a. Fractional a => a -> a -> a
/Rational
3,Rational
9forall a. Fractional a => a -> a -> a
/Rational
5
,Rational
15forall a. Fractional a => a -> a -> a
/Rational
8]
septimal_tritone_just_intonation :: Tuning
septimal_tritone_just_intonation :: Tuning
septimal_tritone_just_intonation = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. a -> Either a b
Left [Rational]
septimal_tritone_just_intonation_r) forall a. Maybe a
Nothing
seven_limit_just_intonation_r :: [Rational]
seven_limit_just_intonation_r :: [Rational]
seven_limit_just_intonation_r =
[Rational
1,Rational
16forall a. Fractional a => a -> a -> a
/Rational
15
,Rational
9forall a. Fractional a => a -> a -> a
/Rational
8,Rational
6forall a. Fractional a => a -> a -> a
/Rational
5
,Rational
5forall a. Fractional a => a -> a -> a
/Rational
4
,Rational
4forall a. Fractional a => a -> a -> a
/Rational
3,Rational
7forall a. Fractional a => a -> a -> a
/Rational
5
,Rational
3forall a. Fractional a => a -> a -> a
/Rational
2,Rational
8forall a. Fractional a => a -> a -> a
/Rational
5
,Rational
5forall a. Fractional a => a -> a -> a
/Rational
3,Rational
7forall a. Fractional a => a -> a -> a
/Rational
4
,Rational
15forall a. Fractional a => a -> a -> a
/Rational
8]
seven_limit_just_intonation :: Tuning
seven_limit_just_intonation :: Tuning
seven_limit_just_intonation = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. a -> Either a b
Left [Rational]
seven_limit_just_intonation_r) forall a. Maybe a
Nothing
kirnberger_iii_ar :: [Approximate_Ratio]
kirnberger_iii_ar :: [Approximate_Ratio]
kirnberger_iii_ar =
[Approximate_Ratio
1,Approximate_Ratio
256forall a. Fractional a => a -> a -> a
/Approximate_Ratio
243
,forall a. Floating a => a -> a
sqrt Approximate_Ratio
5 forall a. Fractional a => a -> a -> a
/ Approximate_Ratio
2,Approximate_Ratio
32forall a. Fractional a => a -> a -> a
/Approximate_Ratio
27
,Approximate_Ratio
5forall a. Fractional a => a -> a -> a
/Approximate_Ratio
4
,Approximate_Ratio
4forall a. Fractional a => a -> a -> a
/Approximate_Ratio
3,Approximate_Ratio
45forall a. Fractional a => a -> a -> a
/Approximate_Ratio
32
,Approximate_Ratio
5 forall a. Floating a => a -> a -> a
** Approximate_Ratio
0.25,Approximate_Ratio
128forall a. Fractional a => a -> a -> a
/Approximate_Ratio
81
,(Approximate_Ratio
5 forall a. Floating a => a -> a -> a
** Approximate_Ratio
0.75)forall a. Fractional a => a -> a -> a
/Approximate_Ratio
2,Approximate_Ratio
16forall a. Fractional a => a -> a -> a
/Approximate_Ratio
9
,Approximate_Ratio
15forall a. Fractional a => a -> a -> a
/Approximate_Ratio
8]
kirnberger_iii :: Tuning
kirnberger_iii :: Tuning
kirnberger_iii = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. b -> Either a b
Right (forall a b. (a -> b) -> [a] -> [b]
map Approximate_Ratio -> Approximate_Ratio
approximate_ratio_to_cents [Approximate_Ratio]
kirnberger_iii_ar)) forall a. Maybe a
Nothing
vallotti_c :: [Cents]
vallotti_c :: [Approximate_Ratio]
vallotti_c =
[Approximate_Ratio
0.0,Approximate_Ratio
94.135
,Approximate_Ratio
196.09,Approximate_Ratio
298.045
,Approximate_Ratio
392.18
,Approximate_Ratio
501.955,Approximate_Ratio
592.18
,Approximate_Ratio
698.045,Approximate_Ratio
796.09
,Approximate_Ratio
894.135,Approximate_Ratio
1000.0
,Approximate_Ratio
1090.225]
vallotti :: Tuning
vallotti :: Tuning
vallotti = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. b -> Either a b
Right [Approximate_Ratio]
vallotti_c) forall a. Maybe a
Nothing
mayumi_tsuda_r :: [Rational]
mayumi_tsuda_r :: [Rational]
mayumi_tsuda_r =
[Rational
1,Rational
14forall a. Fractional a => a -> a -> a
/Rational
13
,Rational
13forall a. Fractional a => a -> a -> a
/Rational
12,Rational
16forall a. Fractional a => a -> a -> a
/Rational
13
,Rational
13forall a. Fractional a => a -> a -> a
/Rational
10
,Rational
18forall a. Fractional a => a -> a -> a
/Rational
13,Rational
13forall a. Fractional a => a -> a -> a
/Rational
9
,Rational
20forall a. Fractional a => a -> a -> a
/Rational
13,Rational
13forall a. Fractional a => a -> a -> a
/Rational
8
,Rational
22forall a. Fractional a => a -> a -> a
/Rational
13,Rational
13forall a. Fractional a => a -> a -> a
/Rational
7
,Rational
208forall a. Fractional a => a -> a -> a
/Rational
105]
mayumi_tsuda :: Tuning
mayumi_tsuda :: Tuning
mayumi_tsuda = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. a -> Either a b
Left [Rational]
mayumi_tsuda_r) forall a. Maybe a
Nothing
lou_harrison_16_r :: [Rational]
lou_harrison_16_r :: [Rational]
lou_harrison_16_r =
[Rational
1,Rational
16forall a. Fractional a => a -> a -> a
/Rational
15
,Rational
10forall a. Fractional a => a -> a -> a
/Rational
9,Rational
8forall a. Fractional a => a -> a -> a
/Rational
7
,Rational
7forall a. Fractional a => a -> a -> a
/Rational
6,Rational
6forall a. Fractional a => a -> a -> a
/Rational
5,Rational
5forall a. Fractional a => a -> a -> a
/Rational
4
,Rational
4forall a. Fractional a => a -> a -> a
/Rational
3
,Rational
17forall a. Fractional a => a -> a -> a
/Rational
12
,Rational
3forall a. Fractional a => a -> a -> a
/Rational
2
,Rational
8forall a. Fractional a => a -> a -> a
/Rational
5,Rational
5forall a. Fractional a => a -> a -> a
/Rational
3,Rational
12forall a. Fractional a => a -> a -> a
/Rational
7
,Rational
7forall a. Fractional a => a -> a -> a
/Rational
4,Rational
9forall a. Fractional a => a -> a -> a
/Rational
5,Rational
15forall a. Fractional a => a -> a -> a
/Rational
8]
lou_harrison_16 :: Tuning
lou_harrison_16 :: Tuning
lou_harrison_16 = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. a -> Either a b
Left [Rational]
lou_harrison_16_r) forall a. Maybe a
Nothing
partch_43_r :: [Rational]
partch_43_r :: [Rational]
partch_43_r =
[Rational
1,Rational
81forall a. Fractional a => a -> a -> a
/Rational
80,Rational
33forall a. Fractional a => a -> a -> a
/Rational
32,Rational
21forall a. Fractional a => a -> a -> a
/Rational
20,Rational
16forall a. Fractional a => a -> a -> a
/Rational
15,Rational
12forall a. Fractional a => a -> a -> a
/Rational
11,Rational
110,Rational
10forall a. Fractional a => a -> a -> a
/Rational
9,Rational
9forall a. Fractional a => a -> a -> a
/Rational
8,Rational
8forall a. Fractional a => a -> a -> a
/Rational
7
,Rational
7forall a. Fractional a => a -> a -> a
/Rational
6,Rational
32forall a. Fractional a => a -> a -> a
/Rational
27,Rational
6forall a. Fractional a => a -> a -> a
/Rational
5,Rational
11forall a. Fractional a => a -> a -> a
/Rational
9,Rational
5forall a. Fractional a => a -> a -> a
/Rational
4,Rational
14forall a. Fractional a => a -> a -> a
/Rational
11,Rational
9forall a. Fractional a => a -> a -> a
/Rational
7
,Rational
216,Rational
4forall a. Fractional a => a -> a -> a
/Rational
3,Rational
27forall a. Fractional a => a -> a -> a
/Rational
20
,Rational
11forall a. Fractional a => a -> a -> a
/Rational
8,Rational
7forall a. Fractional a => a -> a -> a
/Rational
5,Rational
10forall a. Fractional a => a -> a -> a
/Rational
7,Rational
16forall a. Fractional a => a -> a -> a
/Rational
11
,Rational
40forall a. Fractional a => a -> a -> a
/Rational
27,Rational
3forall a. Fractional a => a -> a -> a
/Rational
2,Rational
32forall a. Fractional a => a -> a -> a
/Rational
21,Rational
14forall a. Fractional a => a -> a -> a
/Rational
9,Rational
11forall a. Fractional a => a -> a -> a
/Rational
7,Rational
8forall a. Fractional a => a -> a -> a
/Rational
5,Rational
18forall a. Fractional a => a -> a -> a
/Rational
11,Rational
5forall a. Fractional a => a -> a -> a
/Rational
3,Rational
27forall a. Fractional a => a -> a -> a
/Rational
16,Rational
12forall a. Fractional a => a -> a -> a
/Rational
7
,Rational
7forall a. Fractional a => a -> a -> a
/Rational
4,Rational
16forall a. Fractional a => a -> a -> a
/Rational
9,Rational
9forall a. Fractional a => a -> a -> a
/Rational
5,Rational
20forall a. Fractional a => a -> a -> a
/Rational
11,Rational
11forall a. Fractional a => a -> a -> a
/Rational
6,Rational
15forall a. Fractional a => a -> a -> a
/Rational
8,Rational
40forall a. Fractional a => a -> a -> a
/Rational
21,Rational
64forall a. Fractional a => a -> a -> a
/Rational
33,Rational
160forall a. Fractional a => a -> a -> a
/Rational
81]
partch_43 :: Tuning
partch_43 :: Tuning
partch_43 = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. a -> Either a b
Left [Rational]
partch_43_r) forall a. Maybe a
Nothing
ben_johnston_25_r :: [Rational]
ben_johnston_25_r :: [Rational]
ben_johnston_25_r =
[Rational
1,Rational
25forall a. Fractional a => a -> a -> a
/Rational
24,Rational
135forall a. Fractional a => a -> a -> a
/Rational
128,Rational
16forall a. Fractional a => a -> a -> a
/Rational
15,Rational
10forall a. Fractional a => a -> a -> a
/Rational
9
,Rational
9forall a. Fractional a => a -> a -> a
/Rational
8,Rational
75forall a. Fractional a => a -> a -> a
/Rational
64,Rational
6forall a. Fractional a => a -> a -> a
/Rational
5,Rational
5forall a. Fractional a => a -> a -> a
/Rational
4,Rational
81forall a. Fractional a => a -> a -> a
/Rational
64
,Rational
32forall a. Fractional a => a -> a -> a
/Rational
25,Rational
4forall a. Fractional a => a -> a -> a
/Rational
3,Rational
27forall a. Fractional a => a -> a -> a
/Rational
20,Rational
45forall a. Fractional a => a -> a -> a
/Rational
32,Rational
36forall a. Fractional a => a -> a -> a
/Rational
25
,Rational
3forall a. Fractional a => a -> a -> a
/Rational
2,Rational
25forall a. Fractional a => a -> a -> a
/Rational
16,Rational
8forall a. Fractional a => a -> a -> a
/Rational
5,Rational
5forall a. Fractional a => a -> a -> a
/Rational
3,Rational
27forall a. Fractional a => a -> a -> a
/Rational
16
,Rational
225forall a. Fractional a => a -> a -> a
/Rational
128,Rational
16forall a. Fractional a => a -> a -> a
/Rational
9,Rational
9forall a. Fractional a => a -> a -> a
/Rational
5,Rational
15forall a. Fractional a => a -> a -> a
/Rational
8,Rational
48forall a. Fractional a => a -> a -> a
/Rational
25]
ben_johnston_25 :: Tuning
ben_johnston_25 :: Tuning
ben_johnston_25 = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. a -> Either a b
Left [Rational]
ben_johnston_25_r) forall a. Maybe a
Nothing