(Natural n, C a, Positive (n :*: UnknownSize)) => C (ParameterValue n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.SecondOrderCascade |
(Natural n, C a) => Phi (ParameterValue n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.SecondOrderCascade |
(Natural n, C a) => Undefined (ParameterValue n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.SecondOrderCascade |
(Natural n, C a) => Zero (ParameterValue n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.SecondOrderCascade |
MakeArguments (ParameterValue n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.SecondOrderCascade |
(a ~ Scalar v, PseudoModule v, C a, IntegerConstant a, C v, Natural n, Positive (n :*: UnknownSize), inp ~ T v, out ~ T v) => C (ParameterValue n a) inp out Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
(Write v, Element v ~ T a, C v, PseudoRing v, IntegerConstant v, C a, PseudoRing a, IntegerConstant a, Positive (n :*: UnknownSize), Natural n) => C (ParameterValue n a) v v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.ControlledPacked |
type Arguments f (ParameterValue n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.SecondOrderCascade |
type Struct (ParameterValue n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.SecondOrderCascade |
type Input (ParameterValue n a) out Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
type Output (ParameterValue n a) inp Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
type Input (ParameterValue n a) v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.ControlledPacked |
type Output (ParameterValue n a) v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.ControlledPacked |