module Music.Score.Meta.Key (
Fifths,
KeySignature,
key,
isMajorKey,
isMinorKey,
keySignature,
keySignatureDuring,
withKeySignature,
) where
import Control.Arrow
import Control.Monad.Plus
import Data.Foldable (Foldable)
import qualified Data.Foldable as F
import qualified Data.List as List
import Data.Map (Map)
import qualified Data.Map as Map
import Data.Maybe
import Data.Monoid.WithSemigroup
import Data.Semigroup
import Data.Set (Set)
import qualified Data.Set as Set
import Data.String
import Data.Traversable (Traversable)
import qualified Data.Traversable as T
import Data.Typeable
import Data.Void
import Music.Pitch.Literal
import Music.Score.Combinators
import Music.Score.Meta
import Music.Score.Note
import Music.Score.Part
import Music.Score.Pitch
import Music.Score.Score
import Music.Score.Util
import Music.Score.Voice
import Music.Time
import Music.Time.Reactive
newtype Fifths = Fifths Integer
deriving (Eq, Ord, Num, Enum, Integral, Real)
instance IsPitch Fifths where
fromPitch (PitchL (d, fromMaybe 0 -> c, _)) = case (d,c) of
(0,1) -> (7)
(0, 0) -> 0
(0, 1) -> 7
(1,1) -> (5)
(1, 0) -> 2
(1, 1) -> 9
(2,1) -> (3)
(2, 0) -> 4
(2, 1) -> 11
(3,1) -> (8)
(3, 0) -> (1)
(3, 1) -> 6
(4,1) -> (6)
(4, 0) -> 1
(4, 1) -> 8
(5,1) -> (4)
(5, 0) -> 3
(5, 1) -> 10
(6,1) -> (2)
(6, 0) -> 5
(6, 1) -> 12
_ -> error "Strange number of Fifths"
newtype KeySignature = KeySignature (Fifths, Bool)
deriving (Eq, Ord, Typeable)
key :: Fifths -> Bool -> KeySignature
key fifths mode = KeySignature (fifths, mode)
isMajorKey :: KeySignature -> Bool
isMajorKey (KeySignature (_,x)) = x
isMinorKey :: KeySignature -> Bool
isMinorKey = not . isMajorKey
keySignature :: (HasMeta a, HasPart' a, HasOnset a, HasOffset a) => KeySignature -> a -> a
keySignature c x = keySignatureDuring (era x) c x
keySignatureDuring :: (HasMeta a, HasPart' a) => Span -> KeySignature -> a -> a
keySignatureDuring s c = addGlobalMetaNote (s =: (Option $ Just $ Last c))
withKeySignature :: KeySignature -> (KeySignature -> Score a -> Score a) -> Score a -> Score a
withKeySignature def f = withGlobalMeta (f . fromMaybe def . fmap getLast . getOption)