| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Synthesizer.Dimensional.Wave
- type SamplePhase t = Abstract (T t)
- type T t y = T (SamplePhase t) y
- 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)
Documentation
type SamplePhase t = Abstract (T t) Source #
type T t y = T (SamplePhase t) y Source #
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 <<<)
mapExponential :: (C y, C u) => y -> T u y -> T t y -> T t (Dimensional u y y) Source #