Synthesizer.Plain.Filter.Recursive.SecondOrderCascade

All recursive filters with real coefficients can be decomposed into first order and second order filters with real coefficients. This follows from the Fundamental theorem of algebra.

This implements a cascade of second order filters using StorableVectors for state and filter parameters.

Documentation

newtype Parameter a

Constructors

Parameter (Vector (Parameter a))

Instances

(C a v, Storable v) => C a (Parameter v)

type State a = Vector (State a)

checkSizes :: String -> Vector a -> Vector b -> c -> c

withSizeCheck :: String -> (Vector a -> Vector b -> c) -> Vector a -> Vector b -> c

step :: (C a, C a v, Storable a, Storable v) => Parameter a -> v -> State (State v) v

modifierInit :: (C a, C a v, Storable a, Storable v) => Initialized (State v) (State v) (Parameter a) v v

modifier :: (C a, C a v, Storable a, Storable v) => Int -> Simple (State v) (Parameter a) v v

causal :: (C a, C a v, Storable a, Storable v) => Int -> T (Parameter a, v) v