Synthesizer.LLVM.Filter.Moog

Documentation

data Parameter n a

Instances

(ShuffleMatch m v, Nat n) => ShuffleMatch m (Parameter n v)

(Access m a v, Nat n) => Access m (Parameter n a) (Parameter n v)

Functor (Parameter n)

Applicative (Parameter n)

Foldable (Parameter n)

Traversable (Parameter n)

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

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

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

(Memory a s, IsSized s ss, Nat n) => Memory (Parameter n a) (Struct (s, (s, ())))

(C a a, IsFirstClass a, IsArithmetic a, IsConst a, MakeValueTuple a (Value a), Storable a, IsPowerOf2 d, IsPrimitive a, IsSized a as, Nat n) => C (Parameter n (Value a)) (Value (Vector d a)) (Value (Vector d a))

(C a v, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic v, MakeValueTuple a (Value a), MakeValueTuple v (Value v), Storable v, Nat n) => C (Parameter n (Value a)) (Value v) (Value v)

(Flatten ah al, Nat n) => Flatten (Parameter n ah) (Parameter n al)

parameter :: (C a, IsConst a, IsFloating a, Nat n) => n -> Value a -> Value a -> CodeGenFunction r (Parameter n (Value a))

causalP :: (C (T a) (T v), C a v, Storable v, MakeValueTuple v (Value v), MakeValueTuple a (Value a), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, Nat n) => T p (Parameter n (Value a), Value v) (Value v)