Music.Theory.Gamelan

Gamelan instruments and pitch structures.

Documentation

fromJust_err :: String -> Maybe a -> a

fromJust with error message.

near_rat :: Double -> Rational

approxRational of 0.01.

Gamelan

data Instrument_Family

Enumeration of gamelan instrument families.

Constructors

Bonang

Gambang

Gender

Gong

Saron

Instances

Bounded Instrument_Family

Defined in Music.Theory.Gamelan

Methods

minBound :: Instrument_Family

maxBound :: Instrument_Family

Enum Instrument_Family

Defined in Music.Theory.Gamelan

Methods

succ :: Instrument_Family -> Instrument_Family

pred :: Instrument_Family -> Instrument_Family

toEnum :: Int -> Instrument_Family

fromEnum :: Instrument_Family -> Int

enumFrom :: Instrument_Family -> [Instrument_Family]

enumFromThen :: Instrument_Family -> Instrument_Family -> [Instrument_Family]

enumFromTo :: Instrument_Family -> Instrument_Family -> [Instrument_Family]

enumFromThenTo :: Instrument_Family -> Instrument_Family -> Instrument_Family -> [Instrument_Family]

Read Instrument_Family

Defined in Music.Theory.Gamelan

Methods

readsPrec :: Int -> ReadS Instrument_Family

readList :: ReadS [Instrument_Family]

readPrec :: ReadPrec Instrument_Family

readListPrec :: ReadPrec [Instrument_Family]

Show Instrument_Family

Defined in Music.Theory.Gamelan

Methods

showsPrec :: Int -> Instrument_Family -> ShowS

show :: Instrument_Family -> String

showList :: [Instrument_Family] -> ShowS

Eq Instrument_Family

Defined in Music.Theory.Gamelan

Methods

(==) :: Instrument_Family -> Instrument_Family -> Bool

(/=) :: Instrument_Family -> Instrument_Family -> Bool

Ord Instrument_Family

Defined in Music.Theory.Gamelan

Methods

compare :: Instrument_Family -> Instrument_Family -> Ordering

(<) :: Instrument_Family -> Instrument_Family -> Bool

(<=) :: Instrument_Family -> Instrument_Family -> Bool

(>) :: Instrument_Family -> Instrument_Family -> Bool

(>=) :: Instrument_Family -> Instrument_Family -> Bool

max :: Instrument_Family -> Instrument_Family -> Instrument_Family

min :: Instrument_Family -> Instrument_Family -> Instrument_Family

instrument_family_set :: [Instrument_Family]

Universe

data Instrument_Name

Enumeration of Gamelan instruments.

Constructors

Bonang_Barung

Bonang Barung (horizontal gong, middle)

Bonang_Panerus

Bonang Panerus (horizontal gong, high)

Gambang_Kayu

Gambang Kayu (wooden key&resonator)

Gender_Barung

Gender Barung (key&resonator, middle)

Gender_Panerus

Gender Panembung (key&resonator, high)

Gender_Panembung

Gender Panembung, Slenthem (key&resonator, low)

Gong_Ageng

Gong Ageng (hanging gong, low)

Gong_Suwukan

Gong Suwukan (hanging gong, middle)

Kempul

Kempul (hanging gong, middle)

Kempyang

Kempyang (horizontal gong, high)

Kenong

Kenong (horizontal gong, low)

Ketuk

Ketuk, Kethuk (horizontal gong, middle)

Saron_Barung

Saron Barung, Saron (key, middle)

Saron_Demung

Saron Demung, Demung (key, low)

Saron_Panerus

Saron Panerus, Peking (key, high)

Instances

Bounded Instrument_Name

Defined in Music.Theory.Gamelan

Methods

minBound :: Instrument_Name

maxBound :: Instrument_Name

Enum Instrument_Name

Defined in Music.Theory.Gamelan

Methods

succ :: Instrument_Name -> Instrument_Name

pred :: Instrument_Name -> Instrument_Name

toEnum :: Int -> Instrument_Name

fromEnum :: Instrument_Name -> Int

enumFrom :: Instrument_Name -> [Instrument_Name]

enumFromThen :: Instrument_Name -> Instrument_Name -> [Instrument_Name]

enumFromTo :: Instrument_Name -> Instrument_Name -> [Instrument_Name]

enumFromThenTo :: Instrument_Name -> Instrument_Name -> Instrument_Name -> [Instrument_Name]

Read Instrument_Name

Defined in Music.Theory.Gamelan

Methods

readsPrec :: Int -> ReadS Instrument_Name

readList :: ReadS [Instrument_Name]

readPrec :: ReadPrec Instrument_Name

readListPrec :: ReadPrec [Instrument_Name]

Show Instrument_Name

Defined in Music.Theory.Gamelan

Methods

showsPrec :: Int -> Instrument_Name -> ShowS

show :: Instrument_Name -> String

showList :: [Instrument_Name] -> ShowS

Eq Instrument_Name

Defined in Music.Theory.Gamelan

Methods

(==) :: Instrument_Name -> Instrument_Name -> Bool

(/=) :: Instrument_Name -> Instrument_Name -> Bool

Ord Instrument_Name

Defined in Music.Theory.Gamelan

Methods

compare :: Instrument_Name -> Instrument_Name -> Ordering

(<) :: Instrument_Name -> Instrument_Name -> Bool

(<=) :: Instrument_Name -> Instrument_Name -> Bool

(>) :: Instrument_Name -> Instrument_Name -> Bool

(>=) :: Instrument_Name -> Instrument_Name -> Bool

max :: Instrument_Name -> Instrument_Name -> Instrument_Name

min :: Instrument_Name -> Instrument_Name -> Instrument_Name

instrument_family :: Instrument_Name -> Instrument_Family

instrument_name_pp :: Instrument_Name -> String

instrument_name_clef :: Integral i => Instrument_Name -> Clef i

Clef appropriate for Instrument_Name.

instrument_name_clef_plain :: Integral i => Instrument_Name -> Clef i

data Scale

Enumeration of Gamelan scales.

Constructors

Pelog

Slendro

Instances

Enum Scale

Defined in Music.Theory.Gamelan

Methods

succ :: Scale -> Scale

pred :: Scale -> Scale

toEnum :: Int -> Scale

fromEnum :: Scale -> Int

enumFrom :: Scale -> [Scale]

enumFromThen :: Scale -> Scale -> [Scale]

enumFromTo :: Scale -> Scale -> [Scale]

enumFromThenTo :: Scale -> Scale -> Scale -> [Scale]

Read Scale

Defined in Music.Theory.Gamelan

Methods

readsPrec :: Int -> ReadS Scale

readList :: ReadS [Scale]

readPrec :: ReadPrec Scale

readListPrec :: ReadPrec [Scale]

Show Scale

Defined in Music.Theory.Gamelan

Methods

showsPrec :: Int -> Scale -> ShowS

show :: Scale -> String

showList :: [Scale] -> ShowS

Eq Scale

Defined in Music.Theory.Gamelan

Methods

(==) :: Scale -> Scale -> Bool

(/=) :: Scale -> Scale -> Bool

Ord Scale

Defined in Music.Theory.Gamelan

Methods

compare :: Scale -> Scale -> Ordering

(<) :: Scale -> Scale -> Bool

(<=) :: Scale -> Scale -> Bool

(>) :: Scale -> Scale -> Bool

(>=) :: Scale -> Scale -> Bool

max :: Scale -> Scale -> Scale

min :: Scale -> Scale -> Scale

type Octave = Integer

Octaves are zero-indexed and may be negative.

type Degree = Integer

Degrees are one-indexed.

type Frequency = Double

Frequency in hertz.

type Annotation = String

A text annotation.

data Pitch

Octave and Degree.

Constructors

Pitch

Fields

• pitch_octave :: Octave
• pitch_degree :: Degree

Instances

Show Pitch

Defined in Music.Theory.Gamelan

Methods

showsPrec :: Int -> Pitch -> ShowS

show :: Pitch -> String

showList :: [Pitch] -> ShowS

Eq Pitch

Defined in Music.Theory.Gamelan

Methods

(==) :: Pitch -> Pitch -> Bool

(/=) :: Pitch -> Pitch -> Bool

Ord Pitch

Defined in Music.Theory.Gamelan

Methods

compare :: Pitch -> Pitch -> Ordering

(<) :: Pitch -> Pitch -> Bool

(<=) :: Pitch -> Pitch -> Bool

(>) :: Pitch -> Pitch -> Bool

(>=) :: Pitch -> Pitch -> Bool

max :: Pitch -> Pitch -> Pitch

min :: Pitch -> Pitch -> Pitch

pitch_pp_ascii :: Pitch -> String

Octaves are written as repeated - or +, degrees are printed ordinarily.

map pitch_pp_ascii (zipWith Pitch [-2 .. 2] [1 .. 5]) == ["--1","-2","3","+4","++5"]

pitch_pp_duple :: Pitch -> String

data Note

Scale and Pitch.

Constructors

Note

Fields

• note_scale :: Scale
• note_pitch :: Pitch

Instances

Show Note

Defined in Music.Theory.Gamelan

Methods

showsPrec :: Int -> Note -> ShowS

show :: Note -> String

showList :: [Note] -> ShowS

Eq Note

Defined in Music.Theory.Gamelan

Methods

(==) :: Note -> Note -> Bool

(/=) :: Note -> Note -> Bool

Ord Note

Orderable if scales are equal.

Defined in Music.Theory.Gamelan

Methods

compare :: Note -> Note -> Ordering

(<) :: Note -> Note -> Bool

(<=) :: Note -> Note -> Bool

(>) :: Note -> Note -> Bool

(>=) :: Note -> Note -> Bool

max :: Note -> Note -> Note

min :: Note -> Note -> Note

note_degree :: Note -> Degree

pitch_degree of note_pitch.

note_compare :: Note -> Note -> Ordering

It is an error to compare notes from different scales.

note_range_elem :: Scale -> Pitch -> Pitch -> [Note]

Ascending sequence of Note for Scale from p1 to p2 inclusive.

note_gamut_elem :: Note -> Note -> [Note]

Ascending sequence of Note from n1 to n2 inclusive.

note_gamut_elem (Note Slendro (Pitch 0 5)) (Note Slendro (Pitch 1 2))

data Tone t

Constructors

Tone

Fields

• tone_instrument_name :: Instrument_Name
• tone_note :: Maybe Note
• tone_frequency :: Maybe Frequency
• tone_annotation :: Maybe t

Instances

Show t => Show (Tone t)

Defined in Music.Theory.Gamelan

Methods

showsPrec :: Int -> Tone t -> ShowS

show :: Tone t -> String

showList :: [Tone t] -> ShowS

Eq t => Eq (Tone t)

Defined in Music.Theory.Gamelan

Methods

(==) :: Tone t -> Tone t -> Bool

(/=) :: Tone t -> Tone t -> Bool

Eq t => Ord (Tone t)

Orderable if frequency is given.

Defined in Music.Theory.Gamelan

Methods

compare :: Tone t -> Tone t -> Ordering

(<) :: Tone t -> Tone t -> Bool

(<=) :: Tone t -> Tone t -> Bool

(>) :: Tone t -> Tone t -> Bool

(>=) :: Tone t -> Tone t -> Bool

max :: Tone t -> Tone t -> Tone t

min :: Tone t -> Tone t -> Tone t

tone_frequency_err :: Tone t -> Frequency

plain_tone :: Instrument_Name -> Scale -> Octave -> Degree -> Tone t

Constructor for Tone without frequency or annotation.

tone_equivalent :: Tone t -> Tone t -> Bool

Tones are considered equivalent if they have the same Instrument_Name and Note.

tone_24et_pitch :: Tone t -> Maybe Pitch

tone_24et_pitch' :: Tone t -> Pitch

tone_24et_pitch_detune :: Tone t -> Maybe Pitch_Detune

tone_24et_pitch_detune' :: Tone t -> Pitch_Detune

tone_fmidi :: Tone t -> Double

tone_24et_fmidi :: Tone t -> Rational

Fractional (rational) 24-et midi note number of Tone.

tone_12et_pitch :: Tone t -> Maybe Pitch

tone_12et_pitch' :: Tone t -> Pitch

tone_12et_pitch_detune :: Tone t -> Maybe Pitch_Detune

tone_12et_pitch_detune' :: Tone t -> Pitch_Detune

tone_12et_fmidi :: Tone t -> Rational

Fractional (rational) 24-et midi note number of Tone.

tone_family :: Tone t -> Instrument_Family

tone_in_family :: Instrument_Family -> Tone t -> Bool

select_tones :: Instrument_Family -> [Tone t] -> [Maybe (Tone t)]

type Tone_Subset = ([Instrument_Family], [Scale])

Specify subset as list of families and scales.

tone_subset :: Tone_Subset -> Tone_Set t -> Tone_Set t

Extract subset of Tone_Set.

data Instrument

Constructors

Instrument

Fields

• instrument_name :: Instrument_Name
• instrument_scale :: Maybe Scale
• instrument_pitches :: Maybe [Pitch]
• instrument_frequencies :: Maybe [Frequency]

Instances

Show Instrument

Defined in Music.Theory.Gamelan

Methods

showsPrec :: Int -> Instrument -> ShowS

show :: Instrument -> String

showList :: [Instrument] -> ShowS

Eq Instrument

Defined in Music.Theory.Gamelan

Methods

(==) :: Instrument -> Instrument -> Bool

(/=) :: Instrument -> Instrument -> Bool

type Tone_Set t = [Tone t]

type Tone_Group t = [Tone_Set t]

type Gamelan = [Instrument]

tone_scale :: Tone t -> Maybe Scale

tone_pitch :: Tone t -> Maybe Pitch

tone_degree :: Tone t -> Maybe Degree

tone_degree' :: Tone t -> Degree

tone_octave :: Tone t -> Maybe Octave

tone_class :: Tone t -> (Instrument_Name, Maybe Scale)

instrument_class :: Instrument -> (Instrument_Name, Maybe Scale)

tone_class_p :: (Instrument_Name, Scale) -> Tone t -> Bool

tone_family_class_p :: (Instrument_Family, Scale) -> Tone t -> Bool

tone_set_near_frequency :: Tone_Set t -> Cents -> Frequency -> Tone_Set t

Given a Tone_Set, find those Tones that are within Cents of Frequency.

tone_compare_frequency :: Tone t -> Tone t -> Ordering

Compare Tones by frequency. Tones without frequency compare as if at frequency 0.

map_maybe_uniform :: (a -> Maybe b) -> [a] -> Maybe [b]

If all f of a are Just b, then Just [b], else Nothing.

instrument :: Tone_Set t -> Instrument

instruments :: Tone_Set t -> [Instrument]

instrument_gamut :: Instrument -> Maybe (Pitch, Pitch)

scale_degrees :: Scale -> [Degree]

Pelog has seven degrees, numbered one to seven. Slendro has five degrees, numbered one to six excluding four.

map scale_degrees [Pelog,Slendro] == [[1,2,3,4,5,6,7],[1,2,3,5,6]]

degree_index :: Scale -> Degree -> Maybe Int

Zero based index of scale degree, or Nothing.

degree_index Slendro 4 == Nothing
degree_index Pelog 4 == Just 3

Tone set

tone_set_gamut :: Tone_Set t -> Maybe (Pitch, Pitch)

tone_set_instrument :: Tone_Set t -> (Instrument_Name, Maybe Scale) -> Tone_Set t