Synthesizer.LLVM.Wave

Documentation

saw :: (C a, IsConst a, Replicate a v, IsArithmetic v) => Value v -> CodeGenFunction r (Value v)

square :: (C a, IsConst a, Replicate a v, Fraction v, Real v) => Value v -> CodeGenFunction r (Value v)

triangle :: (C a, IsConst a, Replicate a v, Fraction v, Real v) => Value v -> CodeGenFunction r (Value v)

approxSine2 :: (C a, IsConst a, Replicate a v, Real v) => Value v -> CodeGenFunction r (Value v)

approxSine3 :: (C a, IsConst a, Replicate a v, Fraction v, Real v) => Value v -> CodeGenFunction r (Value v)

approxSine4 :: (C a, IsConst a, Replicate a v, Real v) => Value v -> CodeGenFunction r (Value v)

rationalApproxSine1 :: (C a, IsConst a, Replicate a v, Real v, IsFloating v) => Value v -> Value v -> CodeGenFunction r (Value v)

For the distortion factor recip pi you get the closest approximation to an undistorted cosine or sine. We have chosen this scaling in order to stay with field operations.

rationalApproxCosine1 :: (C a, IsConst a, Replicate a v, Real v, IsFloating v) => Value v -> Value v -> CodeGenFunction r (Value v)

trapezoidSkew :: (C a, IsConst a, Replicate a v, Fraction v, Real v) => Value v -> Value v -> CodeGenFunction r (Value v)

sine :: (C a, IsFloating a, IsConst a) => Value a -> CodeGenFunction r (Value a)

replicate :: (C a, IsConst a, Replicate a v, Fraction v, Real v) => Value v -> Value v -> CodeGenFunction r (Value v)

This can be used for preprocessing the phase in order to generate locally faster oscillating waves. For example

 triangle <=< replicate (valueOf 2.5)

shrinks a triangle wave such that 2.5 periods fit into one.

halfEnvelope :: (C a, IsConst a, Replicate a v, Fraction v, Real v) => Value v -> CodeGenFunction r (Value v)

Preprocess the phase such that the first half of a wave is expanded to one period and shifted by 90 degree. E.g.

 sine <=< halfEnvelope

generates a sequence of sine bows that starts and ends with the maximum. Such a signal can be used to envelope an oscillation generated using replicate.

partial :: (IsPrimitive i, IsPrimitive a, IsInteger i, IsFloating a, Replicate a v, Fraction v) => (Value v -> CodeGenFunction r (Value v)) -> Value i -> Value v -> CodeGenFunction r (Value v)