Synthesizer.Dimensional.RateAmplitude.Filter

Non-recursive

Amplification

amplify :: (C y, C u, C v) => y -> T s u t (R s v y yv -> R s v y yv)

The amplification factor must be positive.

amplifyDimension :: (C y, C u, C v0, C v1) => T v0 y -> T s u t (R s v1 y yv -> R s (Mul v0 v1) y yv)

negate :: (C yv, C u, C v) => T s u t (R s v y yv -> R s v y yv)

envelope :: (C y0 flat, C y0, C u, C v) => T s u t (FlatSignal s flat y0 -> R s v y y0 -> R s v y y0)

envelopeVector :: (C y0 flat, C y0 yv, C y, C u, C v) => T s u t (FlatSignal s flat y0 -> R s v y yv -> R s v y yv)

envelopeVectorDimension :: (C y0 yv, C y, C u, C v0, C v1) => T s u t (R s v0 y y0 -> R s v1 y yv -> R s (Mul v0 v1) y yv)

Filter operators from calculus

differentiate :: (C yv, C q, C u, C v) => T s u q (R s v q yv -> R s (DimensionGradient u v) q yv)

Reverb

comb :: (C t, C y yv, C u, C v, Storable yv) => T u t -> y -> T s u t (R s v y yv -> R s v y yv)

Infinitely many equi-delayed exponentially decaying echos.

combProc :: (C t, C y, C y, C y yv, C u, C v, Storable yv) => T u t -> T s u t (R s v y yv -> R s v y yv) -> T s u t (R s v y yv -> R s v y yv)

Infinitely many equi-delayed echos processed by an arbitrary time-preserving signal processor.

Filter operators from calculus