Synthesizer.Dimensional.Wave

Documentation

type SamplePhase t = Abstract (T t)

type T t y = T (SamplePhase t) y

We define a dimensional waveform in terms of a Map. This allows any kind and number of result samples and distortion of waveforms using (distortion <<<)

simple :: amp -> T t y -> T t (T amp y)

(&*~) :: amp -> T t y -> T t (Numeric amp y)

sample :: (C t, Transform sig y) => T t y -> T rate amp (sig y) -> T t (T amp y)

flat :: C y => T t y -> T t (Flat y)

abstract :: T t y -> T t (Abstract y)

amplified :: amp -> T t y -> T t (Numeric amp y)

mapLinear :: (C y, C u) => y -> T u y -> T t y -> T t (Dimensional u y y)

mapExponential :: (C y, C u) => y -> T u y -> T t y -> T t (Dimensional u y y)