Synthesizer.LLVM.Filter.ComplexFirstOrderPacked

Documentation

data Parameter a

Instances

IsPrimitive a => Phi (Parameter a)

IsPrimitive a => Undefined (Parameter a)

(IsPrimitive l, IsSized l s, Add s s s2, Add s2 s s3, Add s3 s s4, Pos s4) => Memory (Parameter l) (Struct (Vector D4 l, (Vector D4 l, ())))

(IsConst a, Arithmetic a, IsSized (Vector D4 a) as) => C (Parameter a) (T (Value a)) (T (Value a))

parameter :: (C a, IsPrimitive a, IsConst a, IsFloating a) => Value a -> Value a -> CodeGenFunction r (Parameter a)

causal :: (IsConst a, Arithmetic a, IsSized (Vector D4 a) as) => T (Parameter a, T (Value a)) (T (Value a))

causalP :: (IsConst a, Arithmetic a, IsSized (Vector D4 a) as) => T p (Parameter a, T (Value a)) (T (Value a))