Music.Theory.Pitch

Synopsis

# Documentation

mod12 :: Integral a => a -> aSource

Modulo twelve.

pc :: Integral a => a -> aSource

Pitch class.

pcset :: Integral a => [a] -> [a]Source

Map to pitch-class and reduce to set.

tn :: Integral a => a -> [a] -> [a]Source

Transpose by n.

transposeTo :: Integral a => a -> [a] -> [a]Source

Transpose so first element is n.

transpositions :: Integral a => [a] -> [[a]]Source

All transpositions.

invert :: Integral a => a -> [a] -> [a]Source

invertSelf :: Integral a => [a] -> [a]Source

tni :: Integral a => a -> [a] -> [a]Source

Composition on inversion about zero and transpose.

rotate :: Integral n => n -> [a] -> [a]Source

Rotate left by n places.

rotate_right :: Integral n => n -> [a] -> [a]Source

Rotate right by n places.

rotations :: [a] -> [[a]]Source

All rotations.

mn :: Integral a => a -> [a] -> [a]Source

Modulo 12 multiplication

m5 :: Integral a => [a] -> [a]Source

M5

all_Tn :: Integral a => [a] -> [[a]]Source

all_TnI :: Integral a => [a] -> [[a]]Source

all_RTnI :: Integral a => [a] -> [[a]]Source

all_TnMI :: Integral a => [a] -> [[a]]Source

all_RTnMI :: Integral a => [a] -> [[a]]Source

all_rRTnMI :: Integral a => [a] -> [[a]]Source

data SRO a Source

Serial Operator, of the form rRTMI.

Constructors

 SRO a Bool a Bool Bool

Instances

 Eq a => Eq (SRO a) Show a => Show (SRO a)

sro :: Integral a => SRO a -> [a] -> [a]Source

Serial operation.

sros :: Integral a => [a] -> [(SRO a, [a])]Source

The total set of serial operations.

dx_d :: Num a => a -> [a] -> [a]Source

Intervals to values, zero is n.

d_dx :: Num a => [a] -> [a]Source

Integrate.

int :: Integral a => [a] -> [a]Source

Morris INT operator.

ic :: Integral a => a -> aSource

Interval class.

difference :: Eq a => [a] -> [a] -> [a]Source

Elements of p not in q

complement :: Integral a => [a] -> [a]Source

Pitch classes not in set.

subsequence :: Eq a => [a] -> [a] -> BoolSource

Is p a subsequence of q.

tmatrix :: Integral a => [a] -> [[a]]Source

The standard t-matrix of p.

icv :: Integral a => [a] -> [a]Source

Interval class vector.

is_subset :: Eq a => [a] -> [a] -> BoolSource

Is p a subset of q.

is_superset :: Eq a => [a] -> [a] -> BoolSource

Is p a superset of q.