Synthesizer.Plain.Filter.Recursive.SecondOrder

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.

Documentation

data Parameter a

Parameters for a general recursive filter of 2nd order.

Constructors

Parameter

Fields

c0 :: !a

c1 :: !a

c2 :: !a

d1 :: !a

d2 :: !a

Instances

Functor Parameter

Applicative Parameter

Foldable Parameter

Traversable Parameter

C a v => C a (Parameter v)

Show a => Show (Parameter a)

Storable a => Storable (Parameter a)

data State a

Constructors

State

Fields

u1 :: !a

u2 :: !a

y1 :: !a

y2 :: !a

Instances

Functor State

Applicative State

Foldable State

Traversable State

Show a => Show (State a)

Storable a => Storable (State a)

zeroState :: C a => State a

storeParameter :: Storable a => Dictionary (Parameter a)

storeState :: Storable a => Dictionary (State a)

adjustPassband :: C a => Passband -> (a -> Parameter a) -> a -> Parameter a

Given a function which computes the filter parameters of a lowpass filter for a given frequency, turn that into a function which generates highpass parameters, if requested filter type is Highpass.

amplify :: C a => a -> Parameter a -> Parameter a

Change filter parameter such that result is amplified by a given factor.

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

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

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

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

runInit :: (C a, C a v) => State v -> T (Parameter a) -> T v -> T v

run :: (C a, C a v) => T (Parameter a) -> T v -> T v