Synthesizer.LLVM.Causal.ControlledPacked

This is like Synthesizer.LLVM.Causal.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.

Associated Types

type Input parameter b :: *

type Output parameter a :: *

Methods

process :: C process => process (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, ~ * a (Scalar b), PseudoModule 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)

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

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

(~ * (Value a) (Scalar v), PseudoModule 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, Positive (:*: n UnknownSize), Natural n) => C (ParameterValue n a) v v