Synthesizer.LLVM.CausalParameterized.ControlledPacked

This is like Synthesizer.LLVM.CausalParameterized.Controlled but for vectorised signals.

Documentation

class (a ~ Input parameter b, b ~ Output parameter a) => C parameter a b where

A filter parameter type uniquely selects a filter function. However it does not uniquely determine the input and output type, since the same filter can run on mono and stereo signals.

Methods

process :: T p (parameter, a) b

Instances

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

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

(C v, ~ * (Element v) b, Phi a, Undefined a, PseudoModule a b, IntegerConstant a, C b) => C (Parameter a) v (Result v)

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

(PseudoModule (Value a) v, C v, ~ * (Element v) (Value a), IntegerConstant a, PseudoRing v, IntegerConstant v, C v, FirstClass a, ~ * (Stored a) am, IsSized a, IsSized am, IsPrimitive a, IsPrimitive am, PositiveT (:*: n UnknownSize), NaturalT n) => C (ParameterValue n a) v v

(NaturalT n, C v, ~ * (Element v) a, PseudoRing a, IntegerConstant a, C a, PseudoRing v, RationalConstant v) => C (CascadeParameter n a) v v

(PseudoModule a a, IntegerConstant a, C a, FirstClass a, ~ * (Stored a) am, IsSized a, IsSized am, MakeValueTuple a, ~ * (ValueTuple a) (Value a), Storable a, PositiveT d, IsPrimitive a, NaturalT n) => C (Parameter n (Value a)) (Value d a) (Value d a)

processCtrlRate :: (C parameter av bv, Read av, n ~ Size av, a ~ Element av, C bv, n ~ Size bv, b ~ Element bv, C parameter, C r, Storable r, IsFloating r, FirstClass r, Stored r ~ rm, IsSized r, IsSized rm, IsConst r, MakeValueTuple r, ValueTuple r ~ Value r, CmpRet r, CmpResult r ~ Bool) => T p r -> (T p r -> T p parameter) -> T p av bv