module Music.Theory.Tuning.Db.Werckmeister where
import Music.Theory.Tuning
import Music.Theory.Tuning.Type
werckmeister_iii_ar :: [Approximate_Ratio]
werckmeister_iii_ar :: [Approximate_Ratio]
werckmeister_iii_ar =
let c0 :: Approximate_Ratio
c0 = Approximate_Ratio
2 forall a. Floating a => a -> a -> a
** (Approximate_Ratio
1forall a. Fractional a => a -> a -> a
/Approximate_Ratio
2)
c1 :: Approximate_Ratio
c1 = Approximate_Ratio
2 forall a. Floating a => a -> a -> a
** (Approximate_Ratio
1forall a. Fractional a => a -> a -> a
/Approximate_Ratio
4)
c2 :: Approximate_Ratio
c2 = Approximate_Ratio
8 forall a. Floating a => a -> a -> a
** (Approximate_Ratio
1forall a. Fractional a => a -> a -> a
/Approximate_Ratio
4)
in [Approximate_Ratio
1,Approximate_Ratio
256forall a. Fractional a => a -> a -> a
/Approximate_Ratio
243
,Approximate_Ratio
64forall a. Fractional a => a -> a -> a
/Approximate_Ratio
81 forall a. Num a => a -> a -> a
* Approximate_Ratio
c0,Approximate_Ratio
32forall a. Fractional a => a -> a -> a
/Approximate_Ratio
27
,Approximate_Ratio
256forall a. Fractional a => a -> a -> a
/Approximate_Ratio
243 forall a. Num a => a -> a -> a
* Approximate_Ratio
c1
,Approximate_Ratio
4forall a. Fractional a => a -> a -> a
/Approximate_Ratio
3,Approximate_Ratio
1024forall a. Fractional a => a -> a -> a
/Approximate_Ratio
729
,Approximate_Ratio
8forall a. Fractional a => a -> a -> a
/Approximate_Ratio
9 forall a. Num a => a -> a -> a
* Approximate_Ratio
c2,Approximate_Ratio
128forall a. Fractional a => a -> a -> a
/Approximate_Ratio
81
,Approximate_Ratio
1024forall a. Fractional a => a -> a -> a
/Approximate_Ratio
729 forall a. Num a => a -> a -> a
* Approximate_Ratio
c1,Approximate_Ratio
16forall a. Fractional a => a -> a -> a
/Approximate_Ratio
9
,Approximate_Ratio
128forall a. Fractional a => a -> a -> a
/Approximate_Ratio
81 forall a. Num a => a -> a -> a
* Approximate_Ratio
c1]
werckmeister_iii_ar_c :: [Cents]
werckmeister_iii_ar_c :: [Approximate_Ratio]
werckmeister_iii_ar_c = forall a b. (a -> b) -> [a] -> [b]
map Approximate_Ratio -> Approximate_Ratio
approximate_ratio_to_cents [Approximate_Ratio]
werckmeister_iii_ar
werckmeister_iii :: Tuning
werckmeister_iii :: Tuning
werckmeister_iii = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. b -> Either a b
Right [Approximate_Ratio]
werckmeister_iii_ar_c) forall a. Maybe a
Nothing
werckmeister_iv_ar :: [Approximate_Ratio]
werckmeister_iv_ar :: [Approximate_Ratio]
werckmeister_iv_ar =
let c0 :: Approximate_Ratio
c0 = Approximate_Ratio
2 forall a. Floating a => a -> a -> a
** (Approximate_Ratio
1forall a. Fractional a => a -> a -> a
/Approximate_Ratio
3)
c1 :: Approximate_Ratio
c1 = Approximate_Ratio
4 forall a. Floating a => a -> a -> a
** (Approximate_Ratio
1forall a. Fractional a => a -> a -> a
/Approximate_Ratio
3)
in [Approximate_Ratio
1,Approximate_Ratio
16384forall a. Fractional a => a -> a -> a
/Approximate_Ratio
19683 forall a. Num a => a -> a -> a
* Approximate_Ratio
c0
,Approximate_Ratio
8forall a. Fractional a => a -> a -> a
/Approximate_Ratio
9 forall a. Num a => a -> a -> a
* Approximate_Ratio
c0,Approximate_Ratio
32forall a. Fractional a => a -> a -> a
/Approximate_Ratio
27
,Approximate_Ratio
64forall a. Fractional a => a -> a -> a
/Approximate_Ratio
81 forall a. Num a => a -> a -> a
* Approximate_Ratio
c1
,Approximate_Ratio
4forall a. Fractional a => a -> a -> a
/Approximate_Ratio
3,Approximate_Ratio
1024forall a. Fractional a => a -> a -> a
/Approximate_Ratio
729
,Approximate_Ratio
32forall a. Fractional a => a -> a -> a
/Approximate_Ratio
27 forall a. Num a => a -> a -> a
* Approximate_Ratio
c0,Approximate_Ratio
8192forall a. Fractional a => a -> a -> a
/Approximate_Ratio
6561 forall a. Num a => a -> a -> a
* Approximate_Ratio
c0
,Approximate_Ratio
256forall a. Fractional a => a -> a -> a
/Approximate_Ratio
243 forall a. Num a => a -> a -> a
* Approximate_Ratio
c1,Approximate_Ratio
9forall a. Fractional a => a -> a -> a
/(Approximate_Ratio
4forall a. Num a => a -> a -> a
*Approximate_Ratio
c0)
,Approximate_Ratio
4096forall a. Fractional a => a -> a -> a
/Approximate_Ratio
2187]
werckmeister_iv_c :: [Cents]
werckmeister_iv_c :: [Approximate_Ratio]
werckmeister_iv_c = forall a b. (a -> b) -> [a] -> [b]
map Approximate_Ratio -> Approximate_Ratio
approximate_ratio_to_cents [Approximate_Ratio]
werckmeister_iv_ar
werckmeister_iv :: Tuning
werckmeister_iv :: Tuning
werckmeister_iv = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. b -> Either a b
Right [Approximate_Ratio]
werckmeister_iv_c) forall a. Maybe a
Nothing
werckmeister_v_ar :: [Approximate_Ratio]
werckmeister_v_ar :: [Approximate_Ratio]
werckmeister_v_ar =
let c0 :: Approximate_Ratio
c0 = Approximate_Ratio
2 forall a. Floating a => a -> a -> a
** (Approximate_Ratio
1forall a. Fractional a => a -> a -> a
/Approximate_Ratio
4)
c1 :: Approximate_Ratio
c1 = Approximate_Ratio
2 forall a. Floating a => a -> a -> a
** (Approximate_Ratio
1forall a. Fractional a => a -> a -> a
/Approximate_Ratio
2)
c2 :: Approximate_Ratio
c2 = Approximate_Ratio
8 forall a. Floating a => a -> a -> a
** (Approximate_Ratio
1forall a. Fractional a => a -> a -> a
/Approximate_Ratio
4)
in [Approximate_Ratio
1,Approximate_Ratio
8forall a. Fractional a => a -> a -> a
/Approximate_Ratio
9 forall a. Num a => a -> a -> a
* Approximate_Ratio
c0
,Approximate_Ratio
9forall a. Fractional a => a -> a -> a
/Approximate_Ratio
8,Approximate_Ratio
c0
,Approximate_Ratio
8forall a. Fractional a => a -> a -> a
/Approximate_Ratio
9 forall a. Num a => a -> a -> a
* Approximate_Ratio
c1
,Approximate_Ratio
9forall a. Fractional a => a -> a -> a
/Approximate_Ratio
8 forall a. Num a => a -> a -> a
* Approximate_Ratio
c0,Approximate_Ratio
c1
,Approximate_Ratio
3forall a. Fractional a => a -> a -> a
/Approximate_Ratio
2,Approximate_Ratio
128forall a. Fractional a => a -> a -> a
/Approximate_Ratio
81
,Approximate_Ratio
c2,Approximate_Ratio
3forall a. Fractional a => a -> a -> a
/Approximate_Ratio
c2
,Approximate_Ratio
4forall a. Fractional a => a -> a -> a
/Approximate_Ratio
3 forall a. Num a => a -> a -> a
* Approximate_Ratio
c1]
werckmeister_v_c :: [Cents]
werckmeister_v_c :: [Approximate_Ratio]
werckmeister_v_c = forall a b. (a -> b) -> [a] -> [b]
map Approximate_Ratio -> Approximate_Ratio
approximate_ratio_to_cents [Approximate_Ratio]
werckmeister_v_ar
werckmeister_v :: Tuning
werckmeister_v :: Tuning
werckmeister_v = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. b -> Either a b
Right [Approximate_Ratio]
werckmeister_v_c) forall a. Maybe a
Nothing
werckmeister_vi_r :: [Rational]
werckmeister_vi_r :: [Rational]
werckmeister_vi_r =
[Rational
1,Rational
98forall a. Fractional a => a -> a -> a
/Rational
93
,Rational
49forall a. Fractional a => a -> a -> a
/Rational
44 ,Rational
196forall a. Fractional a => a -> a -> a
/Rational
165
,Rational
49forall a. Fractional a => a -> a -> a
/Rational
39
,Rational
4forall a. Fractional a => a -> a -> a
/Rational
3,Rational
196forall a. Fractional a => a -> a -> a
/Rational
139
,Rational
196forall a. Fractional a => a -> a -> a
/Rational
131,Rational
49forall a. Fractional a => a -> a -> a
/Rational
31
,Rational
196forall a. Fractional a => a -> a -> a
/Rational
117,Rational
98forall a. Fractional a => a -> a -> a
/Rational
55
,Rational
49forall a. Fractional a => a -> a -> a
/Rational
26]
werckmeister_vi :: Tuning
werckmeister_vi :: Tuning
werckmeister_vi = Either [Rational] [Approximate_Ratio]
-> Maybe (Either Rational Approximate_Ratio) -> Tuning
Tuning (forall a b. a -> Either a b
Left [Rational]
werckmeister_vi_r) forall a. Maybe a
Nothing