Synthesizer.LLVM.Filter.Moog

Documentation

data Parameter n a

Instances

Functor (Parameter n)

Applicative (Parameter n)

Foldable (Parameter n)

Traversable (Parameter n)

(C a, Natural n) => C (Parameter n a)

(C v, Natural n) => C (Parameter n v)

(Simple v, Natural n) => Simple (Parameter n v)

(Undefined a, Natural n) => Undefined (Parameter n a)

(Zero a, Natural n) => Zero (Parameter n a)

(Phi a, Natural n) => Phi (Parameter n a)

(Flatten a, Natural n) => Flatten (Parameter n a)

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

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

type Struct (Parameter n a)

type Size (Parameter n v) = Size v

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

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

type Input (Parameter n a) v = v

type Output (Parameter n a) v = v

type Input (Parameter n a) v = v

type Output (Parameter n a) v = v

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

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

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

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

Deprecated: use causal instead

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

Deprecated: use causalInit instead