Foldable (Parameter n) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
Traversable (Parameter n) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
Applicative (Parameter n) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
Functor (Parameter n) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
(C a, Natural n) => C (Parameter n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
(Phi a, Natural n) => Phi (Parameter n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
(Undefined a, Natural n) => Undefined (Parameter n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
(Zero a, Natural n) => Zero (Parameter n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
(C v, Natural n) => C (Parameter n v) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
(Simple v, Natural n) => Simple (Parameter n v) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
(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 |
(Natural n, Write v, Element v ~ b, C b, Phi a, Undefined a, Aggregate ae a, Aggregate be b, C ae be) => C (Parameter n a) v v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.ControlledPacked |
(n ~ m, Aggregate e mv) => Aggregate (Parameter n e) (Parameter m mv) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
type ExpressionsOf (Parameter m mv) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
type MultiValuesOf (Parameter n e) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
type Struct (Parameter n a) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
type Element (Parameter n v) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
type Size (Parameter n v) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Filter.Moog |
type Input (Parameter n a) v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
type Output (Parameter n a) v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.Controlled |
type Input (Parameter n a) v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.ControlledPacked |
type Output (Parameter n a) v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.ControlledPacked |