Synthesizer.LLVM.Filter.ComplexFirstOrderPacked

Documentation

data Parameter a

Instances

(FirstClass a, ~ * (Stored a) am, IsPrimitive a, IsPrimitive am, IsSized am, PositiveT (:*: D4 (SizeOf am))) => C (Parameter a)

IsPrimitive a => Undefined (Parameter a)

IsPrimitive a => Phi (Parameter a)

(Arithmetic a, IsConst a, C (Value (State a))) => C (Parameter a) (T (Value a)) (T (Value a))

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

causal :: (IsConst a, Arithmetic a, C (Value (State a))) => T (Parameter a, T (Value a)) (T (Value a))

causalP :: (IsConst a, Arithmetic a, C (Value (State a))) => T p (Parameter a, T (Value a)) (T (Value a))