Music.Theory.Pct

Documentation

bip :: Integral a => [a] -> [a]

Basic interval pattern.

cf :: Integral n => [n] -> [[a]] -> [[a]]

Cardinality filter

cgg :: [[a]] -> [[a]]

cg :: [a] -> [[a]]

Combinations generator (cg == poweset)

cg_r :: Integral n => n -> [a] -> [[a]]

Powerset filtered by cardinality.

ciseg :: Integral a => [a] -> [a]

Cyclic interval segment.

cmpl :: Integral a => [a] -> [a]

pcset complement.

cyc :: [a] -> [a]

Form cycle.

dim :: Integral a => [a] -> [(a, [a])]

Diatonic implications.

dis :: Integral t => [Int] -> [t]

Diatonic interval set to interval set.

doi :: Integral a => Int -> [a] -> [a] -> [[a]]

Degree of intersection.

fn :: Integral a => [a] -> String

Forte name.

has_ess :: Integral a => [a] -> [a] -> Bool

p has_ess q is true iff p can embed q in sequence.

ess :: Integral a => [a] -> [a] -> [[a]]

Embedded segment search.

has_sc_pf :: Integral a => ([a] -> [a]) -> [a] -> [a] -> Bool

Can the set-class q (under prime form algorithm pf) be drawn from the pcset p.

has_sc :: Integral a => [a] -> [a] -> Bool

Can the set-class q be drawn from the pcset p.

icf :: Num a => [[a]] -> [[a]]

Interval cycle filter.

ici :: Num t => [Int] -> [[t]]

Interval class set to interval sets.

ici_c :: [Int] -> [[Int]]

Interval class set to interval sets, concise variant.

icseg :: Integral a => [a] -> [a]

Interval-class segment.

iseg :: Integral a => [a] -> [a]

Interval segment (INT).

imb :: Integral n => [n] -> [a] -> [[a]]

Imbrications.

issb :: Integral a => [a] -> [a] -> [String]

p issb q gives the set-classes that can append to p to give q.

mxs :: Integral a => [a] -> [a] -> [[a]]

Matrix search.

nrm :: Ord a => [a] -> [a]

Normalize.

nrm_r :: Ord a => [a] -> [a]

Normalize, retain duplicate elements.

pci :: Integral a => [a] -> [a] -> [[a]]

Pitch-class invariances.

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

Relate sets.

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

Relate segments.

sb :: Integral a => [[a]] -> [[a]]

Subsets.

spsc :: Integral a => [[a]] -> [String]

Super set-class.