Synthesizer.Dimensional.Rate.Filter

Non-recursive

Amplification

negate :: (C yv, C u) => T s u t (Signal s amp yv -> Signal s amp yv)

envelope :: (C y0 flat, C y0, C u) => T s u t (Signal s flat y0 -> Signal s amp y0 -> Signal s amp y0)

envelopeVector :: (C y0 flat, C y0 yv, C u) => T s u t (Signal s flat y0 -> Signal s amp yv -> Signal s amp yv)

convolveVector :: (C q yv, C q, C u) => T s u q (R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

Smooth

mean

Arguments

:: (C yv, C q, C q yv, C u, Storable q, Storable yv)

=> T (Recip u) q

minimum cut-off frequency

-> T s u q (R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

needs a better handling of boundaries, yet

meanStatic

Arguments

:: (C yv, C q, C q yv, C u)

=> T (Recip u) q

cut-off frequency

-> T s u q (Signal s amp yv -> Signal s amp yv)

needs a better handling of boundaries, yet

Delay

delay :: (C yv, C t, C u, Write sig yv) => T u t -> T s u t (T (Phantom s) amp (sig yv) -> T (Phantom s) amp (sig yv))

phaseModulation

Arguments

:: (C yv, C q, C u, Storable q, Storable yv)

=> T q yv

-> T u q

minimal deviation from current time, usually negative

-> T u q

maximal deviation, it must be minDev <= maxDev and the modulation must always be in the range [minDev,maxDev].

-> T s u q (R s u q q -> Signal s amp yv -> Signal s amp yv)

phaser

Arguments

:: (C yv, C q, C q yv, C u, Storable q, Storable yv)

=> T q yv

-> T u q

maxDev, must be positive

-> T s u q (R s u q q -> Signal s amp yv -> Signal s amp yv)

symmetric phaser

phaserStereo

Arguments

:: (C yv, C q, C q yv, C u, Storable q, Storable yv)

=> T q yv

-> T u q

maxDev, must be positive

-> T s u q (R s u q q -> Signal s amp yv -> Signal s amp (T yv))

frequencyModulation :: (C t flat, C yv, C t, C u) => T t yv -> T s u t (Signal s flat t -> Signal s amp yv -> Signal s amp yv)

frequencyModulationDecoupled :: (C t flat, C yv, C t, C u) => T t yv -> T (Dimensional u t) amp (T yv) -> T s u t (Signal s flat t -> Signal s amp yv)

Frequency modulation where the input signal can have a sample rate different from the output. (The sample rate values can differ, the unit must be the same. We could lift that restriction, but then the unit handling becomes more complicated, and I didn't have a use for it so far.)

The function can be used for resampling.

Recursive

Without resonance

firstOrderLowpass :: (C q, C q yv, C u) => T s u q (R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

firstOrderHighpass :: (C q, C q yv, C u) => T s u q (R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

butterworthLowpass

Arguments

:: (C q flat, C q, C q yv, C u)

=> Int

Order of the filter, must be even, the higher the order, the sharper is the separation of frequencies.

-> T s u q (Signal s flat q -> R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

butterworthHighpass

Arguments

:: (C q flat, C q, C q yv, C u)

=> Int

Order of the filter, must be even, the higher the order, the sharper is the separation of frequencies.

-> T s u q (Signal s flat q -> R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

chebyshevALowpass

Arguments

:: (C q flat, C q, C q yv, C u)

=> Int

Order of the filter, must be even, the higher the order, the sharper is the separation of frequencies.

-> T s u q (Signal s flat q -> R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

chebyshevAHighpass

Arguments

:: (C q flat, C q, C q yv, C u)

=> Int

Order of the filter, must be even, the higher the order, the sharper is the separation of frequencies.

-> T s u q (Signal s flat q -> R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

chebyshevBLowpass

Arguments

:: (C q flat, C q, C q yv, C u)

=> Int

Order of the filter, must be even, the higher the order, the sharper is the separation of frequencies.

-> T s u q (Signal s flat q -> R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

chebyshevBHighpass

Arguments

:: (C q flat, C q, C q yv, C u)

=> Int

Order of the filter, must be even, the higher the order, the sharper is the separation of frequencies.

-> T s u q (Signal s flat q -> R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

With resonance

universal

Arguments

:: (C q flat, C q, C q yv, C u)

=> T s u q (Signal s flat q -> R s (Recip u) q q -> Signal s amp yv -> Signal s amp (Result yv))

highpass, bandpass, lowpass filter

highpassFromUniversal :: Signal s amp (Result yv) -> Signal s amp yv

bandpassFromUniversal :: Signal s amp (Result yv) -> Signal s amp yv

lowpassFromUniversal :: Signal s amp (Result yv) -> Signal s amp yv

bandlimitFromUniversal :: Signal s amp (Result yv) -> Signal s amp yv

moogLowpass :: (C q flat, C q, C q yv, C u) => Int -> T s u q (Signal s flat q -> R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

Allpass

allpassCascade

Arguments

:: (C q, C q yv, C u)

=> Int

order, number of filters in the cascade

-> q

the phase shift to be achieved for the given frequency

-> T s u q (R s (Recip u) q q -> Signal s amp yv -> Signal s amp yv)

allpassFlangerPhase :: C a => a

Reverb

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

Infinitely many equi-delayed exponentially decaying echos.

Helper functions

interpolateMultiRelativeZeroPad :: (C q, C yv) => T q yv -> T q -> T yv -> T yv