Kulitta-2.2.1: Library for automated composition and musical learning

Safe HaskellSafe
LanguageHaskell98

Kulitta.Grammars.MusicGrammars

Documentation

type Dur = Rational Source #

type AbsPitch = Int Source #

wn :: Dur Source #

hn :: Dur Source #

qn :: Dur Source #

en :: Dur Source #

sn :: Dur Source #

tn :: Dur Source #

data CType Source #

Constructors

I 
II 
III 
IV 
V 
VI 
VII 
Instances
Enum CType Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

succ :: CType -> CType #

pred :: CType -> CType #

toEnum :: Int -> CType #

fromEnum :: CType -> Int #

enumFrom :: CType -> [CType] #

enumFromThen :: CType -> CType -> [CType] #

enumFromTo :: CType -> CType -> [CType] #

enumFromThenTo :: CType -> CType -> CType -> [CType] #

Eq CType Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

(==) :: CType -> CType -> Bool #

(/=) :: CType -> CType -> Bool #

Ord CType Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

compare :: CType -> CType -> Ordering #

(<) :: CType -> CType -> Bool #

(<=) :: CType -> CType -> Bool #

(>) :: CType -> CType -> Bool #

(>=) :: CType -> CType -> Bool #

max :: CType -> CType -> CType #

min :: CType -> CType -> CType #

Read CType Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

readsPrec :: Int -> ReadS CType #

readList :: ReadS [CType] #

readPrec :: ReadPrec CType #

readListPrec :: ReadPrec [CType] #

Show CType Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

showsPrec :: Int -> CType -> ShowS #

show :: CType -> String #

showList :: [CType] -> ShowS #

data RTerm Source #

Constructors

Piece 
P 
TR 
DR 
SR 
T 
D 
S 
TP 
TCP 
SP 
DP 
C CType 
Instances
Eq RTerm Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

(==) :: RTerm -> RTerm -> Bool #

(/=) :: RTerm -> RTerm -> Bool #

Read RTerm Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

readsPrec :: Int -> ReadS RTerm #

readList :: ReadS [RTerm] #

readPrec :: ReadPrec RTerm #

readListPrec :: ReadPrec [RTerm] #

Show RTerm Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

showsPrec :: Int -> RTerm -> ShowS #

show :: RTerm -> String #

showList :: [RTerm] -> ShowS #

showDur :: Show a => (a, MP) -> String Source #

data MP Source #

Constructors

MP 

Fields

Instances
Eq MP Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

(==) :: MP -> MP -> Bool #

(/=) :: MP -> MP -> Bool #

Show MP Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

showsPrec :: Int -> MP -> ShowS #

show :: MP -> String #

showList :: [MP] -> ShowS #

data Mode Source #

Constructors

Major 
Dorian 
Phrygian 
Lydian 
Mixolydian 
Minor 
Locrian 
Chromatic 
Custom [AbsPitch] 
Instances
Enum Mode Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

succ :: Mode -> Mode #

pred :: Mode -> Mode #

toEnum :: Int -> Mode #

fromEnum :: Mode -> Int #

enumFrom :: Mode -> [Mode] #

enumFromThen :: Mode -> Mode -> [Mode] #

enumFromTo :: Mode -> Mode -> [Mode] #

enumFromThenTo :: Mode -> Mode -> Mode -> [Mode] #

Eq Mode Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

(==) :: Mode -> Mode -> Bool #

(/=) :: Mode -> Mode -> Bool #

Ord Mode Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

compare :: Mode -> Mode -> Ordering #

(<) :: Mode -> Mode -> Bool #

(<=) :: Mode -> Mode -> Bool #

(>) :: Mode -> Mode -> Bool #

(>=) :: Mode -> Mode -> Bool #

max :: Mode -> Mode -> Mode #

min :: Mode -> Mode -> Mode #

Read Mode Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

readsPrec :: Int -> ReadS Mode #

readList :: ReadS [Mode] #

readPrec :: ReadPrec Mode #

readListPrec :: ReadPrec [Mode] #

Show Mode Source # 
Instance details

Defined in Kulitta.Grammars.MusicGrammars

Methods

showsPrec :: Int -> Mode -> ShowS #

show :: Mode -> String #

showList :: [Mode] -> ShowS #

allEnumModes :: [Mode] Source #

defMP :: MP Source #

isMaj :: MP -> Bool Source #

isMin :: MP -> Bool Source #

dFac :: Dur -> MP -> MP Source #

h :: MP -> MP Source #

q :: MP -> MP Source #

e :: MP -> MP Source #

q2 :: MP -> MP Source #

q3 :: MP -> MP Source #

q4 :: MP -> MP Source #

ho :: MP -> MP Source #

qo2 :: MP -> MP Source #

qo3 :: MP -> MP Source #

qo4 :: MP -> MP Source #

toRelDur :: (Dur -> Bool) -> Rule a MP -> Rule a MP Source #

toRelDur2 :: (Dur -> Bool) -> Rule a MP -> Rule a MP Source #

isLast :: MP -> Bool Source #

toMinLast :: Dur -> Rule a MP -> Rule a MP Source #

majModes :: [Mode] Source #

minModes :: [Mode] Source #

modalPats :: [Mode] Source #

majScale :: [AbsPitch] Source #

minScale :: [AbsPitch] Source #

dorScale :: [AbsPitch] Source #

phrScale :: [AbsPitch] Source #

lydScale :: [AbsPitch] Source #

mixScale :: [AbsPitch] Source #

locScale :: [AbsPitch] Source #

getScale :: Mode -> [AbsPitch] Source #

modMajMin :: Int -> MP -> MP Source #

m2 :: MP -> MP Source #

allRTerms :: [RTerm] Source #

showRTerms :: [RTerm] -> String Source #

tsdRules :: [Rule RTerm MP] Source #

i :: b -> Term CType b Source #

rRules1 :: Dur -> Bool -> [Rule CType MP] Source #