(Write v, Element v ~ a, PseudoRing a, IntegerConstant a, C a, PseudoRing v, IntegerConstant v) => C (Parameter a) v v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.ControlledPacked |
(Write v, Element v ~ a, PseudoRing v, IntegerConstant v, PseudoRing a, IntegerConstant a, Aggregate ae a, Phi a, Undefined a, C a, C v) => C (Parameter a) v v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.ControlledPacked |
(Write v, Element v ~ a, PseudoRing v, IntegerConstant v, PseudoRing a, IntegerConstant a, Aggregate ae a, Phi a, Undefined a, C a) => C (Parameter a) v (Result v) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.ControlledPacked |
(Write v, Element v ~ b, C b, Phi a, Undefined a, Aggregate ae a, Aggregate be b, C ae be) => C (Parameter a) v (Result v) Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.ControlledPacked |
(Natural n, Write v, Element v ~ a, PseudoRing a, IntegerConstant a, C a, PseudoRing v, RationalConstant v) => C (CascadeParameter n a) v v Source # | |
Instance detailsDefined in Synthesizer.LLVM.Causal.ControlledPacked |
(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 |
(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 |