Synthesizer.LLVM.Filter.SecondOrder

Documentation

data Parameter a

Parameters for a general recursive filter of 2nd order.

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)

Phi a => Phi (Parameter a)

ValueTuple a => ValueTuple (Parameter a)

Undefined a => Undefined (Parameter a)

IsTuple a => IsTuple (Parameter a)

MakeValueTuple h l => MakeValueTuple (Parameter h) (Parameter l)

(Memory a s, IsSized s ss) => Memory (Parameter a) (Struct (s, (s, (s, (s, (s, ()))))))

Flatten ah al => Flatten (Parameter ah) (Parameter al)

(C a, IsFirstClass a, IsArithmetic a, IsConst a, IsPowerOf2 n, IsPrimitive a, IsSized a as, Mul n as vas, Pos vas) => C (Parameter (Value a)) (Value (Vector n a)) (Value (Vector n a))

(C a, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic v) => C (Parameter (Value a)) (Value v) (Value v)

bandpassParameter :: (C a, IsFloating a, IsConst a) => Value a -> Value a -> CodeGenFunction r (Parameter (Value a))

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

causalP :: (C a, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic a) => T p (Parameter (Value a), Value v) (Value v)

causalPackedP :: (C a, IsFirstClass a, IsArithmetic a, IsConst a, IsPowerOf2 n, IsPrimitive a, IsSized a as, Mul n as vas, Pos vas) => T p (Parameter (Value a), Value (Vector n a)) (Value (Vector n a))