Synthesizer.LLVM.Filter.SecondOrderCascade

Documentation

type ParameterStruct n a = Array n (ParameterStruct a)

newtype ParameterValue n a

Constructors

ParameterValue

Fields

parameterValue :: Value (ParameterStruct n a)

Instances

(IntegerT n, ~ * (IsNatural n) True, FirstClass a, ~ * (Stored a) am, IsSized a, IsSized am, PositiveT (:*: n UnknownSize)) => C (ParameterValue n a)

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

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

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

(PseudoModule (Value a) 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, PositiveT (:*: n UnknownSize), NaturalT n) => C (ParameterValue n a) v v

(PseudoModule a v, IntegerConstant a, FirstClass a, IsSized a, IsSized (Stored a), FirstClass v, IsSized v, IsSized (Stored v), NaturalT n, PositiveT (:*: n UnknownSize)) => C (ParameterValue n a) (Value v) (Value v)

withSize :: (n -> T p (ParameterValue n a, x) y) -> T p (ParameterValue n a, x) y

fixSize :: n -> T p (ParameterValue n a, x) y -> T p (ParameterValue n a, x) y

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

causalPackedP :: (PseudoModule (Value a) 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, PositiveT (n :*: UnknownSize), NaturalT n) => T p (ParameterValue n a, v) v

getStageParameter :: (IsFirstClass a, IsSized a, IntegerConstant a, NaturalT n, PositiveT (n :*: UnknownSize)) => ParameterValue n a -> Word32 -> CodeGenFunction r (Parameter (Value a))

getStageParameterAlloca :: (IsFirstClass a, IsSized a, IntegerConstant a, NaturalT n, PositiveT (n :*: UnknownSize)) => ParameterValue n a -> Word32 -> CodeGenFunction r (Parameter (Value a))

getStageParameterMalloc :: (IsFirstClass a, IsSized a, IntegerConstant a, NaturalT n, PositiveT (n :*: UnknownSize)) => ParameterValue n a -> Word32 -> CodeGenFunction r (Parameter (Value a))