(C a, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic v) => C (Parameter (Value a)) (Value v) (Result (Value v)) | |
(C a, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic v) => C (Parameter (Value a)) (Value v) (Value v) | |
(C a, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic v) => C (Parameter (Value a)) (Value v) (Result (Value v)) | |
(C a, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic v) => C (Parameter (Value a)) (Value v) (Value v) | |
(C a, IsConst a, Arithmetic a, IsSized (Vector D4 a) as) => C (Parameter a) (Value a) (Value a) | |
(IsConst a, Arithmetic a, IsSized (Vector D4 a) as) => C (Parameter a) (T (Value a)) (T (Value a)) | |
(IsFirstClass a, IsSized a sa, IsConst a, IsFloating a) => C (Parameter (Value a)) (T (Value a)) (T (Value a)) | |
(C a, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic v, Nat n) => C (CascadeParameter n (Value a)) (Value v) (Value v) | |
(C a, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic v, Nat n, Mul n UnknownSize paramSize, Pos paramSize) => C (ParameterValue n a) (Value v) (Value v) | |
(C a v, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic v, MakeValueTuple a (Value a), MakeValueTuple v (Value v), Storable v, Nat n) => C (Parameter n (Value a)) (Value v) (Value v) | |