(C ae ve, Aggregate ae a, Aggregate ve v, C a, C v) => C (Parameter a) v v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
(a ~ Scalar v, PseudoModule v, RationalConstant a, C a, C v) => C (Parameter a) v v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
(C ae ve, Aggregate ae a, Aggregate ve v, C a, C v) => C (Parameter a) v (Result v) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
(PseudoModule v, Scalar v ~ a, RationalConstant a, C a, C v) => C (Parameter a) v (Result v) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
(PseudoRing a, RationalConstant a, C a) => C (Parameter a) (T a) (T a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
(Vector n a, n ~ D3, PseudoRing a, inp ~ T a, out ~ T a) => C (ParameterMV a) (T inp) (T out) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
(C a, Vector D4 a, PseudoRing a) => C (Parameter a) (T a) (T a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
(C ae ve, Aggregate ae a, Aggregate ve v, C v, Natural n) => C (Parameter n a) v v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
(C ae ve, Aggregate ae a, Aggregate ve v, C a, C v, Natural n) => C (CascadeParameter n a) v v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
(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 |