Documentation
type Parameter n a = Array n (ParameterStruct a)Source
newtype ParameterValue n a Source
ParameterValue | |
|
(Nat n, IsSized a s) => Zero (ParameterValue n a) | |
(Nat n, IsSized a s) => Phi (ParameterValue n a) | |
(Nat n, IsSized a s) => Undefined (ParameterValue n a) | |
(C a, IsPrimitive a, IsSized a as, IsConst a, IsArithmetic a, Nat n, Mul n UnknownSize paramSize, Pos paramSize, IsPowerOf2 d, Mul d as vas, Pos vas) => C (ParameterValue n a) (Value (Vector d a)) (Value (Vector d 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, Mul n UnknownSize paramSize, Pos paramSize) => C (ParameterValue n a) (Value v) (Value v) | |
(Nat n, IsSized a s) => Memory (ParameterValue n a) (Parameter n a) |
withSize :: (n -> T p (ParameterValue n a, x) y) -> T p (ParameterValue n a, x) ySource
fixSize :: n -> T p (ParameterValue n a, x) y -> T p (ParameterValue n a, x) ySource
causalP :: (C a, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic a, Nat n, Mul n UnknownSize paramSize, Pos paramSize) => T p (ParameterValue n a, Value v) (Value v)Source
causalPackedP :: (C a, IsPrimitive a, IsSized a as, IsConst a, IsArithmetic a, Nat n, Mul n UnknownSize paramSize, Pos paramSize, IsPowerOf2 d, Mul d as vas, Pos vas) => T p (ParameterValue n a, Value (Vector d a)) (Value (Vector d a))Source
getStageParameterMalloc :: (IsFirstClass a, Nat n, IsSized a sa, Mul n UnknownSize s, Pos s) => ParameterValue n a -> Word32 -> CodeGenFunction r (Parameter (Value a))Source
getStageParameterAlloca :: (IsFirstClass a, Nat n, IsSized a sa, Mul n UnknownSize s, Pos s) => ParameterValue n a -> Word32 -> CodeGenFunction r (Parameter (Value a))Source
getStageParameter :: (IsFirstClass a, Nat n, IsSized a sa, Mul n UnknownSize s, Pos s) => ParameterValue n a -> Word32 -> CodeGenFunction r (Parameter (Value a))Source