Synthesizer.LLVM.Filter.Moog

Documentation

data Parameter n a

Instances

Functor (Parameter n)

Applicative (Parameter n)

Foldable (Parameter n)

Traversable (Parameter n)

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

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

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

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

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

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

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

(PseudoModule a v, IntegerConstant a, C v, IsConst v, FirstClass a, IsSized a, IsSized (Stored a), FirstClass v, IsSized v, IsSized (Stored v), MakeValueTuple a, ~ * (ValueTuple a) (Value a), MakeValueTuple v, ~ * (ValueTuple v) (Value v), Storable v, NaturalT n) => C (Parameter n (Value a)) (Value v) (Value v)

(PseudoModule a a, IntegerConstant a, C a, FirstClass a, ~ * (Stored a) am, IsSized a, IsSized am, MakeValueTuple a, ~ * (ValueTuple a) (Value a), Storable a, PositiveT d, IsPrimitive a, NaturalT n) => C (Parameter n (Value a)) (Value d a) (Value d a)

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

causalP :: (PseudoModule a v, IntegerConstant a, IsConst v, C v, Storable v, MakeValueTuple v, ValueTuple v ~ Value v, MakeValueTuple a, ValueTuple a ~ Value a, FirstClass a, Stored a ~ am, IsSized a, IsSized am, FirstClass v, Stored v ~ vm, IsSized v, IsSized vm, NaturalT n) => T p (Parameter n (Value a), Value v) (Value v)

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