Safe Haskell	Safe-Inferred

Derive.Scale

Description

Scale is actually defined in Derive.Deriver.Monad to avoid circular imports. But you should refer to it from here.

The difference between this and Derive.Scale.Scales is that this is intended for using scales, while Scales is intended for implementing them.

Synopsis

data Transposition
- = Chromatic
- | Diatonic
newtype LookupScale = LookupScale (DeriveT.Environ -> Pitch.ScaleId -> Maybe (Either DeriveT.PitchError Scale))
data Scale = Scale {
- scale_id :: !Pitch.ScaleId
- scale_pattern :: !Text
- scale_symbols :: ![Symbol]
- scale_transposers :: !(Set Control)
- scale_read :: DeriveT.Environ -> Pitch.Note -> Either DeriveT.PitchError Pitch.Pitch
- scale_show :: DeriveT.Environ -> Pitch.Pitch -> Either DeriveT.PitchError Pitch.Note
- scale_bottom :: !Pitch.Pitch
- scale_layout :: !Derive.Layout
- scale_transpose :: !Derive.Transpose
- scale_enharmonics :: !Derive.Enharmonics
- scale_note_to_call :: !(Pitch.Note -> Maybe Derive.ValCall)
- scale_input_to_note :: !(DeriveT.Environ -> Pitch.Input -> Either DeriveT.PitchError Pitch.Note)
- scale_input_to_nn :: !(ScoreTime -> Pitch.Input -> Derive.Deriver (Either DeriveT.PitchError Pitch.NoteNumber))
- scale_call_doc :: !Derive.DocumentedCall
}
data Range = Range {
- range_bottom :: !Pitch.Pitch
- range_top :: !Pitch.Pitch
}
type PitchNote = DeriveT.PitchConfig -> Either DeriveT.PitchError Pitch.Note
type PitchNn = DeriveT.PitchConfig -> Either DeriveT.PitchError Pitch.NoteNumber
data Definition
- = Make !Pitch.ScaleId !(Text, Derive.DocumentedCall) !(DeriveT.Environ -> LookupScale -> Either DeriveT.PitchError Scale)
- | Simple !Scale
get :: Derive.CallName -> [DeriveT.Val] -> Derive.Deriver Scale
lookup_scale :: Derive.CallName -> [DeriveT.Val] -> Derive.Deriver (Maybe Scale)
call :: Sig.Parser a -> (a -> Derive.Deriver Scale) -> Derive.WithArgDoc Derive.ScaleF
scale_id_of :: Definition -> Pitch.ScaleId
layout :: [Pitch.Semi] -> Derive.Layout
no_octaves :: Derive.Layout
diatonic_layout :: Pitch.PitchClass -> Derive.Layout
semis_per_octave :: Derive.Layout -> Pitch.Semi
semis_at_pc :: Derive.Layout -> Pitch.PitchClass -> Pitch.Semi
pc_per_octave :: Derive.Layout -> Maybe Pitch.PitchClass
diatonic_difference :: Derive.Layout -> Pitch.Pitch -> Pitch.Pitch -> Pitch.PitchClass
chromatic_difference :: Derive.Layout -> Pitch.Pitch -> Pitch.Pitch -> Pitch.Semi
transpose :: Transposition -> Scale -> DeriveT.Environ -> Pitch.Octave -> Pitch.Step -> Pitch.Note -> Either DeriveT.PitchError Pitch.Note
transpose_pitch :: Transposition -> Scale -> DeriveT.Environ -> Pitch.Octave -> Pitch.Step -> Pitch.Pitch -> Either DeriveT.PitchError Pitch.Pitch
in_range :: Range -> Pitch.Pitch -> Bool
pitches :: Scale -> DeriveT.Environ -> [Pitch.Pitch]
notes :: Scale -> DeriveT.Environ -> [Pitch.Note]
note_numbers :: Scale -> DeriveT.Environ -> Derive.Deriver [Pitch.NoteNumber]
patch_scale :: Pitch.ScaleId -> [Pitch.NoteNumber] -> Patch.Scale
assign_keys :: Int -> [Pitch.NoteNumber] -> [(Int, Pitch.NoteNumber)]

Documentation

data Transposition Source #

Constructors

Chromatic
Diatonic

Instances

Instances details

Show Transposition Source #
Instance details Defined in Derive.Deriver.Monad Methods showsPrec :: Int -> Transposition -> ShowS # show :: Transposition -> String # showList :: [Transposition] -> ShowS #

newtype LookupScale Source #

A scale can configure itself by looking in the environment and by looking up other scales.

Constructors

LookupScale (DeriveT.Environ -> Pitch.ScaleId -> Maybe (Either DeriveT.PitchError Scale))

Instances

Instances details

Show LookupScale Source #
Instance details Defined in Derive.Deriver.Monad Methods showsPrec :: Int -> LookupScale -> ShowS # show :: LookupScale -> String # showList :: [LookupScale] -> ShowS #

data Scale Source #

Constructors

Scale

Fields

scale_id :: !Pitch.ScaleId
scale_pattern :: !Text
A pattern describing what the scale notes look like. Used only for error msgs (i.e. parse errors) so it should be human readable and doesn't have to follow any particular syntax. A regex is recommended though.
scale_symbols :: ![Symbol]
If a scale uses Symbols, it can include the definitions here so they are close to their use. This symbol list should be loaded as soon as possible, which means program startup for hardcoded scales.
scale_transposers :: !(Set Control)
The controls that will casue a pitch from this scale to change. This is used by PSignal.apply_controls to know when to reevaluate a given pitch. Other controls can affect the pitch, but if they aren't in this set, the pitch won't be reevaluated when they change.
scale_read :: DeriveT.Environ -> Pitch.Note -> Either DeriveT.PitchError Pitch.Pitch
Parse a Note into a Pitch.Pitch with scale degree and accidentals.
scale_show :: DeriveT.Environ -> Pitch.Pitch -> Either DeriveT.PitchError Pitch.Note
scale_bottom :: !Pitch.Pitch
Bottom pitch of the scale, if there is one. You can find the top pitch by transposing until you get OutOfRange. TODO that's a dumb way, if I explicitly need the top I should just add it.
scale_layout :: !Derive.Layout
If a scale has a Layout, cmds can do math with Pitch.Pitches.
scale_transpose :: !Derive.Transpose
scale_enharmonics :: !Derive.Enharmonics
scale_note_to_call :: !(Pitch.Note -> Maybe Derive.ValCall)
Used by derivation.
scale_input_to_note :: !(DeriveT.Environ -> Pitch.Input -> Either DeriveT.PitchError Pitch.Note)
Used by note input.
scale_input_to_nn :: !(ScoreTime -> Pitch.Input -> Derive.Deriver (Either DeriveT.PitchError Pitch.NoteNumber))
Used by MIDI thru. This is a shortcut for eval . note_to_call . input_to_note but can often be implemented more efficiently by the scale.
The ScoreTime is the time at which this pitch is evaluated. If it depends on a control, it can get the control from Derive.Dynamic, but it needs to know at what point in time to look at the signal.
This is because pitch val calls aren't evaluated in normalized time. If controls had (shift, stretch) I could normalize them efficiently and the pitch would just always look at time 0. But they don't.
scale_call_doc :: !Derive.DocumentedCall
Documentation for all of the ValCalls that scale_note_to_call can return.

Instances

Instances details

Pretty Scale Source #
Instance details Defined in Derive.Deriver.Monad Methods pretty :: Scale -> Text Source # format :: Scale -> Doc Source # formatList :: [Scale] -> Doc Source #

data Range Source #

This is an inclusive pitch range, intended for instrument ranges.

Constructors

Range
Fields range_bottom :: !Pitch.Pitch range_top :: !Pitch.Pitch

Instances

Instances details

Show Range Source #
Instance details Defined in Derive.Scale Methods showsPrec :: Int -> Range -> ShowS # show :: Range -> String # showList :: [Range] -> ShowS #
Eq Range Source #
Instance details Defined in Derive.Scale Methods (==) :: Range -> Range -> Bool # (/=) :: Range -> Range -> Bool #
Pretty Range Source #
Instance details Defined in Derive.Scale Methods pretty :: Range -> Text Source # format :: Range -> Doc Source # formatList :: [Range] -> Doc Source #

type PitchNote = DeriveT.PitchConfig -> Either DeriveT.PitchError Pitch.Note Source #

type PitchNn = DeriveT.PitchConfig -> Either DeriveT.PitchError Pitch.NoteNumber Source #

I would much rather pass a more specific value than Environ. Unfortunately, ChromaticScales.SemisToNoteNumber needs a per-scale value (e.g. Environ.key or Environ.tuning). So pitch_nn needs to be parameterized with a "get_key" function, but it also needs Environ.key. I think it's doable by parameterizing pitch_nn and hence note_to_call and moving smap_semis_to_nn into note_to_call, but it seems complicated.

data Definition Source #

Constructors

Make !Pitch.ScaleId !(Text, Derive.DocumentedCall) !(DeriveT.Environ -> LookupScale -> Either DeriveT.PitchError Scale)	Fancy scales can configure themselves. Since you can't just look at the Scale directly, it has the ScaleId (pattern, doc) extracted.
Simple !Scale

get :: Derive.CallName -> [DeriveT.Val] -> Derive.Deriver Scale Source #

Lookup a scale or throw.

lookup_scale :: Derive.CallName -> [DeriveT.Val] -> Derive.Deriver (Maybe Scale) Source #

call :: Sig.Parser a -> (a -> Derive.Deriver Scale) -> Derive.WithArgDoc Derive.ScaleF Source #

Scale calls always use Sig.Unprefixed. This makes them inconsistent with other kinds of calls, but I think is the better default, since I try to make them respond to some standard env vals, such as key or scale-inst. Especially scale-inst relies on it.

scale_id_of :: Definition -> Pitch.ScaleId Source #

layout :: [Pitch.Semi] -> Derive.Layout Source #

no_octaves :: Derive.Layout Source #

diatonic_layout :: Pitch.PitchClass -> Derive.Layout Source #

semis_per_octave :: Derive.Layout -> Pitch.Semi Source #

Number of chromatic steps in an octave. Nothing if this scale doesn't have octaves.

semis_at_pc :: Derive.Layout -> Pitch.PitchClass -> Pitch.Semi Source #

pc_per_octave :: Derive.Layout -> Maybe Pitch.PitchClass Source #

Number of diatonic steps in an octave. Nothing if this scale doesn't have octaves. This is the same as semis_per_octave for scales without a diatonic/chromatic distinction.

diatonic_difference :: Derive.Layout -> Pitch.Pitch -> Pitch.Pitch -> Pitch.PitchClass Source #

chromatic_difference :: Derive.Layout -> Pitch.Pitch -> Pitch.Pitch -> Pitch.Semi Source #

transpose :: Transposition -> Scale -> DeriveT.Environ -> Pitch.Octave -> Pitch.Step -> Pitch.Note -> Either DeriveT.PitchError Pitch.Note Source #

transpose_pitch :: Transposition -> Scale -> DeriveT.Environ -> Pitch.Octave -> Pitch.Step -> Pitch.Pitch -> Either DeriveT.PitchError Pitch.Pitch Source #

in_range :: Range -> Pitch.Pitch -> Bool Source #

pitches :: Scale -> DeriveT.Environ -> [Pitch.Pitch] Source #

Return the pitches in the scale. If the scale has an unbounded range, this may go on forever, so zip with note_numbers if you want the usable range. Also, not all scales actually have defined degrees.

notes :: Scale -> DeriveT.Environ -> [Pitch.Note] Source #

Return the notes in the scale. As with pitches, it may be unbounded.

note_numbers :: Scale -> DeriveT.Environ -> Derive.Deriver [Pitch.NoteNumber] Source #

Return pitches of the scale's degrees.

patch_scale :: Pitch.ScaleId -> [Pitch.NoteNumber] -> Patch.Scale Source #

Make a patch scale from the NoteNumbers.

assign_keys :: Int -> [Pitch.NoteNumber] -> [(Int, Pitch.NoteNumber)] Source #

Try to assign MIDI keys that correspond to the NoteNumbers, but they won't line up if there are too many NoteNumbers.