Synthesizer.LLVM.Filter.SecondOrderCascade

Documentation

causal :: (C process, Value a ~ Scalar v, PseudoModule v, FirstClass a, Stored a ~ am, IsSized a, IsSized am, C v, IsArithmetic a, IntegerConstant a, Natural n, Positive (n :*: UnknownSize)) => process (ParameterValue n a, v) v

causalPacked :: (C process, Value a ~ Scalar v, PseudoModule v, C v, Element v ~ Value a, IntegerConstant a, PseudoRing v, IntegerConstant v, C v, FirstClass a, Stored a ~ am, IsSized a, IsSized am, IsPrimitive a, IsPrimitive am, Positive (n :*: UnknownSize), Natural n) => process (ParameterValue n a, v) v

causalP :: (Value a ~ Scalar v, PseudoModule v, FirstClass a, Stored a ~ am, IsSized a, IsSized am, C v, IsArithmetic a, IntegerConstant a, Natural n, Positive (n :*: UnknownSize)) => T p (ParameterValue n a, v) v

Deprecated: use causal instead

causalPackedP :: (Value a ~ Scalar v, PseudoModule v, C v, Element v ~ Value a, IntegerConstant a, PseudoRing v, IntegerConstant v, C v, FirstClass a, Stored a ~ am, IsSized a, IsSized am, IsPrimitive a, IsPrimitive am, Positive (n :*: UnknownSize), Natural n) => T p (ParameterValue n a, v) v

Deprecated: use causalPacked instead

newtype ParameterValue n a

Constructors

ParameterValue

Fields

parameterValue :: Value (ParameterStruct n a)

Instances

(Natural n, FirstClass a, (~) * (Stored a) am, IsSized a, IsSized am, Positive ((:*:) n UnknownSize)) => C (ParameterValue n a)

(Natural n, IsSized a) => Undefined (ParameterValue n a)

(Natural n, IsSized a) => Zero (ParameterValue n a)

(Natural n, IsSized a) => Phi (ParameterValue n a)

MakeArguments (ParameterValue n a)

((~) * (Value a) (Scalar v), PseudoModule v, C v, (~) * (Element v) (Value a), IntegerConstant a, PseudoRing v, IntegerConstant v, C v, FirstClass a, (~) * (Stored a) am, IsSized a, IsSized am, IsPrimitive a, IsPrimitive am, Positive ((:*:) n UnknownSize), Natural n) => C (ParameterValue n a) v v

((~) * a (Scalar v), PseudoModule v, IntegerConstant a, FirstClass a, IsSized a, IsSized (Stored a), FirstClass v, IsSized v, IsSized (Stored v), Natural n, Positive ((:*:) n UnknownSize)) => C (ParameterValue n a) (Value v) (Value v)

type Arguments f (ParameterValue n a) = f (ParameterValue n a)

type Struct (ParameterValue n a) = ParameterStruct n (Stored a)

type Input (ParameterValue n a) (Value v) = Value v

type Output (ParameterValue n a) (Value v) = Value v

type ParameterStruct n a = Array n (ParameterStruct a)

fixSize :: Proxy n -> process (ParameterValue n a, x) y -> process (ParameterValue n a, x) y

constArray :: (Natural n, IsSized a) => Proxy n -> [ConstValue a] -> Value (Array n a)