Synthesizer.LLVM.Filter.Universal

Documentation

data Result a :: * -> *

Constructors

Result

Fields

highpass :: !a

bandpass :: !a

lowpass :: !a

bandlimit :: !a

Instances

Functor Result

Applicative Result

Foldable Result

Traversable Result

C a v => C a (Result v)

Storable a => Storable (Result a)

C v => C (Result v)

Simple v => Simple (Result v)

Undefined a => Undefined (Result a)

MakeValueTuple a => MakeValueTuple (Result a)

Phi a => Phi (Result a)

C v => C (Result v)

Sized v => Sized (Result v)

C v => C (Result v)

Read v => Read (Result v)

Flatten a => Flatten (Result a)

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

(C v, (~) * (Element v) b, Phi a, Undefined a, (~) * a (Scalar b), PseudoModule b, IntegerConstant a, C b) => C (Parameter a) v (Result v)

type Size (Result v) = Size v

type Element (Result v) = Result (Element v)

type ValueTuple (Result a) = Result (ValueTuple a)

type Size (Result v) = Size v

type WriteIt (Result v) = Result (WriteIt v)

type Element (Result v) = Result (Element v)

type ReadIt (Result v) = Result (ReadIt v)

type Registers (Result a) = Result (Registers a)

type Input (Parameter a) (Result v) = v

data Parameter a :: * -> *

Instances

Functor Parameter

Applicative Parameter

Foldable Parameter

Traversable Parameter

C a v => C a (Parameter v)

Storable a => Storable (Parameter a)

C a => C (Parameter a)

C v => C (Parameter v)

Simple v => Simple (Parameter v)

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, RationalConstant a, C a, C v) => C (Parameter a) v (Result v)

(C v, (~) * (Element v) b, Phi a, Undefined a, (~) * a (Scalar b), PseudoModule b, IntegerConstant a, C b) => C (Parameter a) v (Result v)

type Struct (Parameter a)

type Size (Parameter v) = Size v

type Element (Parameter v) = Parameter (Element v)

type ValueTuple (Parameter a) = Parameter (ValueTuple a)

type Registers (Parameter a) = Parameter (Registers a)

type Output (Parameter a) v = Result v

type Input (Parameter a) (Result v) = v

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

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

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

Deprecated: use causal instead