(C v, (~) * (Element v) a, PseudoRing a, IntegerConstant a, C a, PseudoRing v, IntegerConstant v, C v) => C (Parameter a) v v Source | |
(C v, (~) * (Element v) a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => C (Parameter a) v v Source | |
(C v, (~) * (Element v) b, Phi a, Undefined a, (~) * a (Scalar b), PseudoModule b, IntegerConstant a, C b) => C (Parameter a) v (Result v) Source | |
(C v, (~) * (Element v) a, PseudoRing a, IntegerConstant a, C a, PseudoRing v) => C (Parameter a) v (Result v) Source | |
(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 Source | |
(Natural n, C v, (~) * (Element v) a, PseudoRing a, IntegerConstant a, C a, PseudoRing v, RationalConstant v) => C (CascadeParameter n a) v v Source | |
((~) * (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 Source | |