Synthesizer.LLVM.Filter.SecondOrder

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)

C a => C (Parameter a)

Undefined a => Undefined (Parameter a)

MakeValueTuple a => MakeValueTuple (Parameter a)

Phi a => Phi (Parameter a)

Flatten a => Flatten (Parameter a)

((~) * a (Scalar v), PseudoModule v, RationalConstant a, C a, C v) => C (Parameter a) v v

(C v, (~) * (Element v) a, PseudoRing a, IntegerConstant a, C a, PseudoRing v, IntegerConstant v, C v) => C (Parameter a) v v

type Struct (Parameter a) = ParameterStruct (Struct a)

type ValueTuple (Parameter a) = Parameter (ValueTuple a)

type Registers (Parameter a) = Parameter (Registers a)

type Input (Parameter a) v = v

type Output (Parameter a) v = v

c0 :: Parameter a -> a

c1 :: Parameter a -> a

c2 :: Parameter a -> a

d1 :: Parameter a -> a

d2 :: Parameter a -> a

bandpassParameter :: (Transcendental a, RationalConstant a) => a -> a -> CodeGenFunction r (Parameter a)

Deprecated: only for testing, use Universal or Moog filter for production code

type ParameterStruct a = Struct (a, (a, (a, (a, (a, ())))))

composeParameter :: IsSized a => Parameter (Value a) -> CodeGenFunction r (Value (ParameterStruct a))

decomposeParameter :: Value (ParameterStruct a) -> CodeGenFunction r (Parameter (Value a))

causal :: (C process, a ~ Scalar v, PseudoModule v, IntegerConstant a, C v) => process (Parameter a, v) v

causalPacked :: (C process, C v, Element v ~ a, C v, C a, IntegerConstant v, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) v

Vector size must be at least D2.

causalP :: (a ~ Scalar v, PseudoModule v, IntegerConstant a, C v) => T p (Parameter a, v) v

Deprecated: use causal instead

causalPackedP :: (C v, Element v ~ a, C v, C a, IntegerConstant v, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) v

Deprecated: use causalPacked instead