Synthesizer.LLVM.Filter.ComplexFirstOrderPacked

Documentation

data Parameter a

Instances

(FirstClass a, (~) * (Stored a) am, IsPrimitive a, IsPrimitive am, IsSized am, Positive ((:*:) 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))

type Struct (Parameter a)

type Input (Parameter a) (T (Value a)) = T (Value a)

type Output (Parameter a) (T (Value a)) = T (Value a)

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

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

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

Deprecated: use causal instead