Synthesizer.LLVM.Filter.FirstOrder

Documentation

data Result a

Constructors

Result

Fields

highpass_ :: !a

lowpass_ :: !a

Instances

Functor Result

Applicative Result

Foldable Result

Traversable Result

C a v => C a (Result v)

Storable a => Storable (Result a)

C v => C (Result v)

(C a, IsArithmetic a, IsPrimitive a, IsFirstClass a, IsConst a, IsSized a as, IsPowerOf2 n) => C (Parameter (Value a)) (Value (Vector n a)) (Result (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) (Result (Value v))

data Parameter 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)

Phi a => Phi (Parameter a)

ValueTuple a => ValueTuple (Parameter a)

Undefined a => Undefined (Parameter a)

IsTuple a => IsTuple (Parameter a)

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

MakeValueTuple ah al => MakeValueTuple (Parameter ah) (Parameter al)

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

(C a, IsArithmetic a, IsPrimitive a, IsFirstClass a, IsConst a, IsSized a as, IsPowerOf2 n) => C (Parameter (Value a)) (Value (Vector n a)) (Result (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) (Result (Value v))

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

causalP :: (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) => T p (Parameter (Value a), Value v) (Result (Value v))

lowpassCausalP :: (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)

highpassCausalP :: (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, IsArithmetic a, IsPrimitive a, IsFirstClass a, IsConst a, IsSized a as, IsPowerOf2 n) => T p (Parameter (Value a), Value (Vector n a)) (Result (Value (Vector n a)))

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

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

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