Safe Haskell | None |
---|
- parameterA :: (C a, TranscendentalConstant a, IsFloating a, IsSized a, PositiveT n, NaturalT n, PositiveT (n :*: SizeOf a), IsSized (ParameterStruct n a), SizeOf (ParameterStruct n a) ~ paramSize, (n :*: UnknownSize) ~ paramSize, PositiveT paramSize) => n -> Passband -> Value a -> Value a -> CodeGenFunction r (ParameterValue n a)
- parameterB :: (C a, TranscendentalConstant a, IsFloating a, IsSized a, PositiveT n, NaturalT n, PositiveT (n :*: SizeOf a), IsSized (ParameterStruct n a), SizeOf (ParameterStruct n a) ~ paramSize, (n :*: UnknownSize) ~ paramSize, PositiveT paramSize) => n -> Passband -> Value a -> Value a -> CodeGenFunction r (ParameterValue n a)
- data ParameterValue n a
- causal :: (C process, Value a ~ Scalar v, PseudoModule v, FirstClass a, Stored a ~ am, IsSized a, IsSized am, C v, IsArithmetic a, IntegerConstant a, NaturalT n, PositiveT (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, PositiveT (n :*: UnknownSize), NaturalT 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, NaturalT n, PositiveT (n :*: UnknownSize)) => T p (ParameterValue n a, v) v
- 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, PositiveT (n :*: UnknownSize), NaturalT n) => T p (ParameterValue n a, v) v
- fixSize :: n -> process (ParameterValue n a, x) y -> process (ParameterValue n a, x) y
Documentation
parameterA :: (C a, TranscendentalConstant a, IsFloating a, IsSized a, PositiveT n, NaturalT n, PositiveT (n :*: SizeOf a), IsSized (ParameterStruct n a), SizeOf (ParameterStruct n a) ~ paramSize, (n :*: UnknownSize) ~ paramSize, PositiveT paramSize) => n -> Passband -> Value a -> Value a -> CodeGenFunction r (ParameterValue n a)Source
n
must be at least one in order to allow amplification
by the first partial filter.
parameterB :: (C a, TranscendentalConstant a, IsFloating a, IsSized a, PositiveT n, NaturalT n, PositiveT (n :*: SizeOf a), IsSized (ParameterStruct n a), SizeOf (ParameterStruct n a) ~ paramSize, (n :*: UnknownSize) ~ paramSize, PositiveT paramSize) => n -> Passband -> Value a -> Value a -> CodeGenFunction r (ParameterValue n a)Source
n
must be at least one in order to allow amplification
by the first partial filter.
data ParameterValue n a Source
(IntegerT n, NaturalT n, 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) | |
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, PositiveT (:*: n UnknownSize), NaturalT 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), NaturalT n, PositiveT (:*: n UnknownSize)) => C (ParameterValue n a) (Value v) (Value v) |
causal :: (C process, Value a ~ Scalar v, PseudoModule v, FirstClass a, Stored a ~ am, IsSized a, IsSized am, C v, IsArithmetic a, IntegerConstant a, NaturalT n, PositiveT (n :*: UnknownSize)) => process (ParameterValue n a, v) vSource
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, PositiveT (n :*: UnknownSize), NaturalT n) => process (ParameterValue n a, v) vSource
causalP :: (Value a ~ Scalar v, PseudoModule 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) vSource
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, PositiveT (n :*: UnknownSize), NaturalT n) => T p (ParameterValue n a, v) vSource
fixSize :: n -> process (ParameterValue n a, x) y -> process (ParameterValue n a, x) ySource