Synthesizer.LLVM.Filter.FirstOrder

Documentation

data Result a

Constructors

Result

Fields

highpass_ :: !a

lowpass_ :: !a

Instances

Functor Result

Applicative Result

Foldable Result

Traversable Result

C a v => C a (Result v)

Eq a => Eq (Result a)

Arbitrary a => Arbitrary (Result a)

Storable a => Storable (Result a)

C v => C (Result v)

Flatten a => Flatten (Result a)

(~ * a (Scalar v), PseudoModule v, IntegerConstant a, C a, C v) => C (Parameter a) v (Result v)

(C v, ~ * (Element v) a, PseudoRing a, IntegerConstant a, C a, PseudoRing v) => C (Parameter a) v (Result v)

data Parameter a

Instances

Functor Parameter

Applicative Parameter

Foldable Parameter

Traversable Parameter

C a v => C a (Parameter v)

Eq a => Eq (Parameter a)

Show a => Show (Parameter a)

Arbitrary a => Arbitrary (Parameter a)

Storable a => Storable (Parameter a)

C a => C (Parameter a)

Undefined a => Undefined (Parameter a)

MakeValueTuple a => MakeValueTuple (Parameter a)

Phi a => Phi (Parameter a)

Flatten a => Flatten (Parameter a)

(~ * a (Scalar v), PseudoModule v, IntegerConstant a, C a, C v) => C (Parameter a) v (Result v)

(C v, ~ * (Element v) a, PseudoRing a, IntegerConstant a, C a, PseudoRing v) => C (Parameter a) v (Result v)

parameter :: (Transcendental a, RationalConstant a) => a -> CodeGenFunction r (Parameter a)

causal :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => process (Parameter a, v) (Result v)

lowpassCausal :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => process (Parameter a, v) v

highpassCausal :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => process (Parameter a, v) v

causalInit :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => v -> process (Parameter a, v) (Result v)

lowpassCausalInit :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => v -> process (Parameter a, v) v

highpassCausalInit :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => v -> process (Parameter a, v) v

causalInitPacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => a -> process (Parameter a, v) (Result v)

lowpassCausalInitPacked :: (C process, PseudoRing v, C v, Element v ~ a, PseudoRing a, IntegerConstant a, C a) => a -> process (Parameter a, v) v

highpassCausalInitPacked :: (C process, PseudoRing v, C v, Element v ~ a, PseudoRing a, IntegerConstant a, C a) => a -> process (Parameter a, v) v

causalPacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) (Result v)

lowpassCausalPacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) v

highpassCausalPacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) v

causalRecursivePacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) v

causalP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => T p (Parameter a, v) (Result v)

Deprecated: use 'causal' instead

lowpassCausalP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => T p (Parameter a, v) v

Deprecated: use 'lowpassCausal' instead

highpassCausalP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => T p (Parameter a, v) v

Deprecated: use 'highpassCausal' instead

causalInitP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v, Storable vh, MakeValueTuple vh, ValueTuple vh ~ v) => T p vh -> T p (Parameter a, v) (Result v)

lowpassCausalInitP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v, Storable vh, MakeValueTuple vh, ValueTuple vh ~ v) => T p vh -> T p (Parameter a, v) v

highpassCausalInitP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v, Storable vh, MakeValueTuple vh, ValueTuple vh ~ v) => T p vh -> T p (Parameter a, v) v

causalPackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) (Result v)

Deprecated: use 'causalPacked' instead

lowpassCausalPackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) v

Deprecated: use 'lowpassCausalPacked' instead

highpassCausalPackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) v

Deprecated: use 'highpassCausalPacked' instead

causalInitPackedP :: (PseudoRing v, C v, Element v ~ a, PseudoRing a, IntegerConstant a, C a, Storable ah, MakeValueTuple ah, ValueTuple ah ~ a) => T p ah -> T p (Parameter a, v) (Result v)

lowpassCausalInitPackedP :: (PseudoRing v, C v, Element v ~ a, PseudoRing a, IntegerConstant a, C a, Storable ah, MakeValueTuple ah, ValueTuple ah ~ a) => T p ah -> T p (Parameter a, v) v

highpassCausalInitPackedP :: (PseudoRing v, C v, Element v ~ a, PseudoRing a, IntegerConstant a, C a, Storable ah, MakeValueTuple ah, ValueTuple ah ~ a) => T p ah -> T p (Parameter a, v) v

causalRecursivePackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) v

Deprecated: use 'causalRecursivePacked' instead