hmt-0.3: Haskell Music Theory

Music.Theory.Pct

Synopsis

# Documentation

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

Basic interval pattern.

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

Cardinality filter

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

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

Combinations generator (cg == poweset)

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

Powerset filtered by cardinality.

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

Cyclic interval segment.

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

pcset complement.

cyc :: [a] -> [a]Source

Form cycle.

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

Diatonic implications.

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

Diatonic interval set to interval set.

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

Degree of intersection.

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

Forte name.

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

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

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

Embedded segment search.

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

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

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

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

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

Interval cycle filter.

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

Interval class set to interval sets.

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

Interval class set to interval sets, concise variant.

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

Interval-class segment.

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

Interval segment (INT).

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

Imbrications.

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

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

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

Matrix search.

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

Normalize.

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

Normalize, retain duplicate elements.

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

Pitch-class invariances.

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

Relate sets.

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

Relate segments.

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

Subsets.

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

Super set-class.