Synthesizer.LLVM.Frame.StereoInterleaved

Documentation

data T n a

Instances

(Positive n, C a, Storable a) => Storable (T n a)

Defined in Synthesizer.LLVM.Frame.StereoInterleavedCode

Methods

sizeOf :: T n a -> Int

alignment :: T n a -> Int

peekElemOff :: Ptr (T n a) -> Int -> IO (T n a)

pokeElemOff :: Ptr (T n a) -> Int -> T n a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (T n a)

pokeByteOff :: Ptr b -> Int -> T n a -> IO ()

peek :: Ptr (T n a) -> IO (T n a)

poke :: Ptr (T n a) -> T n a -> IO ()

Vector n a => C (T n a)

Defined in Synthesizer.LLVM.Frame.StereoInterleavedCode

Methods

pack :: T n a -> Struct (T n a)

unpack :: Struct (T n a) -> T n a

(Positive n, C a) => C (T n a)

Defined in Synthesizer.LLVM.Frame.StereoInterleavedCode

Associated Types

type Repr (T n a) :: Type

Methods

cons :: T n a -> T0 (T n a)

undef :: T0 (T n a)

zero :: T0 (T n a)

phi :: BasicBlock -> T0 (T n a) -> CodeGenFunction r (T0 (T n a))

addPhi :: BasicBlock -> T0 (T n a) -> T0 (T n a) -> CodeGenFunction r ()

(Positive n, Additive a) => Additive (T n a)

This instance allows to run arrange on interleaved stereo vectors.

Defined in Synthesizer.LLVM.Frame.StereoInterleavedCode

Methods

add :: T0 (T n a) -> T0 (T n a) -> CodeGenFunction r (T0 (T n a))

sub :: T0 (T n a) -> T0 (T n a) -> CodeGenFunction r (T0 (T n a))

neg :: T0 (T n a) -> CodeGenFunction r (T0 (T n a))

(Positive n, Vector a) => C (T n a)

Defined in Synthesizer.LLVM.Frame.StereoInterleavedCode

Methods

load :: Value (Ptr (T n a)) -> CodeGenFunction r (T0 (T n a))

store :: T0 (T n a) -> Value (Ptr (T n a)) -> CodeGenFunction r ()

type Repr (T n a)

Defined in Synthesizer.LLVM.Frame.StereoInterleavedCode

type Repr (T n a) = (Repr n a, Repr n a)

type Value n a = T (T n a)

interleave :: (Positive n, C a) => T (Exp (T n a)) -> Exp (T n a)

deinterleave :: (Positive n, C a) => Exp (T n a) -> T (Exp (T n a))

amplify :: (Positive n, PseudoRing a) => Exp a -> Exp (T n a) -> Exp (T n a)

envelope :: (Positive n, PseudoRing a) => Exp (T n a) -> Exp (T n a) -> Exp (T n a)