-- Copyright 2013 Evan Laforge
-- This program is distributed under the terms of the GNU General Public
-- License 3.0, see COPYING or http://www.gnu.org/licenses/gpl-3.0.txt

-- | Symbolic names for all the MIDI keys.
--
-- The octave convention is that C4 is middle C, as in
-- http://en.wikipedia.org/wiki/Scientific_pitch_notation.
--
-- 60 is the grand-staff's middle C, which is C4.
module Midi.Key where
import qualified Midi.Midi as Midi

Key
c_1 : Key
cs_1 : Key
d_1 : Key
ds_1 : Key
e_1 : Key
f_1 : Key
fs_1 : Key
g_1 : Key
gs_1 : Key
a_1 : Key
as_1 : Key
b_1
    : Key
c0 : Key
cs0 : Key
d0 : Key
ds0 : Key
e0 : Key
f0 : Key
fs0 : Key
g0 : Key
gs0 : Key
a0 : Key
as0 : Key
b0
    : Key
c1 : Key
cs1 : Key
d1 : Key
ds1 : Key
e1 : Key
f1 : Key
fs1 : Key
g1 : Key
gs1 : Key
a1 : Key
as1 : Key
b1
    : Key
c2 : Key
cs2 : Key
d2 : Key
ds2 : Key
e2 : Key
f2 : Key
fs2 : Key
g2 : Key
gs2 : Key
a2 : Key
as2 : Key
b2
    : Key
c3 : Key
cs3 : Key
d3 : Key
ds3 : Key
e3 : Key
f3 : Key
fs3 : Key
g3 : Key
gs3 : Key
a3 : Key
as3 : Key
b3
    : Key
c4 : Key
cs4 : Key
d4 : Key
ds4 : Key
e4 : Key
f4 : Key
fs4 : Key
g4 : Key
gs4 : Key
a4 : Key
as4 : Key
b4
    : Key
c5 : Key
cs5 : Key
d5 : Key
ds5 : Key
e5 : Key
f5 : Key
fs5 : Key
g5 : Key
gs5 : Key
a5 : Key
as5 : Key
b5
    : Key
c6 : Key
cs6 : Key
d6 : Key
ds6 : Key
e6 : Key
f6 : Key
fs6 : Key
g6 : Key
gs6 : Key
a6 : Key
as6 : Key
b6
    : Key
c7 : Key
cs7 : Key
d7 : Key
ds7 : Key
e7 : Key
f7 : Key
fs7 : Key
g7 : Key
gs7 : Key
a7 : Key
as7 : Key
b7
    : Key
c8 : Key
cs8 : Key
d8 : Key
ds8 : Key
e8 : Key
f8 : Key
fs8 : Key
g8 : Key
gs8 : Key
a8 : Key
as8 : Key
b8
    : Key
c9 : Key
cs9 : Key
d9 : Key
ds9 : Key
e9 : Key
f9 : Key
fs9 : Key
g9
    : [Key]
_ = forall a b. (a -> b) -> [a] -> [b]
map Int -> Key
Midi.Key [Int
0..] :: [Midi.Key]