synthesizer-core-0.6: Audio signal processing coded in Haskell: Low level part

Synthesizer.Generic.Control

Synopsis

# Control curve generation

constant :: Write sig y => LazySize -> y -> sig ySource

Arguments

 :: (C y, Write sig y) => LazySize -> y steepness -> y initial value -> sig y linear progression

linearMultiscale :: (C y, Write sig y) => LazySize -> y -> y -> sig ySource

Minimize rounding errors by reducing number of operations per element to a logarithmuc number.

linearMultiscaleNeutral :: (C y, Write sig y) => LazySize -> y -> sig ySource

Linear curve starting at zero.

Arguments

 :: (C y, Write sig y) => LazySize -> Int length -> (y, y) initial and final value -> sig y linear progression

Linear curve of a fixed length. The final value is not actually reached, instead we stop one step before. This way we can concatenate several lines without duplicate adjacent values.

Arguments

 :: (C y, Write sig y) => LazySize -> y time where the function reaches 1/e of the initial value -> y initial value -> sig y exponential decay

Arguments

 :: (C y, Write sig y) => LazySize -> y time where the function reaches 1/e of the initial value -> y initial value -> sig y exponential decay

Arguments

 :: (C y, Write sig y) => LazySize -> y time where the function reaches 1/e of the initial value -> sig y exponential decay

Arguments

 :: (C y, Write sig y) => LazySize -> y half life -> y initial value -> sig y exponential decay

Arguments

 :: (C y, Write sig y) => LazySize -> y half life -> y initial value -> sig y exponential decay

Arguments

 :: (C y, Write sig y) => LazySize -> y half life -> sig y exponential decay

Arguments

 :: (C y, C y v, Write sig v) => LazySize -> y time where the function reaches 1/e of the initial value -> v initial value -> sig v exponential decay

This is an extension of `exponential` to vectors which is straight-forward but requires more explicit signatures. But since it is needed rarely I setup a separate function.

Arguments

 :: (C y, C y v, Write sig v) => LazySize -> y half life -> v initial value -> sig v exponential decay

Arguments

 :: (C y, Write sig y) => LazySize -> y time t0 where 1 is approached -> y time t1 where -1 is approached -> sig y a cosine wave where one half wave is between t0 and t1

Arguments

 :: (C y, Write sig y) => LazySize -> y time t0 where 1 is approached -> y time t1 where -1 is approached -> sig y a cosine wave where one half wave is between t0 and t1

Arguments

 :: (C y, Write sig (T y), Transform sig (T y), Transform sig y) => LazySize -> y time t0 where 1 is approached -> y time t1 where -1 is approached -> sig y a cosine wave where one half wave is between t0 and t1

cosineWithSlope :: C y => (y -> y -> signal) -> y -> y -> signalSource

cubicHermite :: (C y, Write sig y) => LazySize -> (y, (y, y)) -> (y, (y, y)) -> sig ySource

cubicFunc :: C y => (y, (y, y)) -> (y, (y, y)) -> y -> ySource

0 16 0 8 16 0 4 8 12 16 0 2 4 6 8 10 12 14 16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

data Control y Source

The curve type of a piece of a piecewise defined control curve.

Constructors

 CtrlStep CtrlLin CtrlExp FieldsctrlExpSaturation :: y CtrlCos CtrlCubic FieldsctrlCubicGradient0 :: y ctrlCubicGradient1 :: y

Instances

 Eq y => Eq (Control y) Show y => Show (Control y)

data ControlPiece y Source

The full description of a control curve piece.

Constructors

 ControlPiece FieldspieceType :: Control y pieceY0 :: y pieceY1 :: y pieceDur :: y

Instances

 Eq y => Eq (ControlPiece y) Show y => Show (ControlPiece y)

newtype PieceRightSingle y Source

Constructors

 PRS y

newtype PieceRightDouble y Source

Constructors

 PRD y

type ControlDist y = (y, Control y, y)Source

(#|-) :: (y, Control y) -> (PieceRightSingle y, [ControlPiece y]) -> (ControlDist y, [ControlPiece y])Source

The 6 operators simplify constructing a list of `ControlPiece a`. The description consists of nodes (namely the curve values at nodes) and the connecting curve types. The naming scheme is as follows: In the middle there is a bar `|`. With respect to the bar, the pad symbol `#` is at the side of the curve type, at the other side there is nothing, a minus sign `-`, or an equality sign `=`.

1. Nothing means that here is the start or the end node of a curve.
2. Minus means that here is a node where left and right curve meet at the same value. The node description is thus one value.
3. Equality sign means that here is a split node, where left and right curve might have different ending and beginning values, respectively. The node description consists of a pair of values.

(#|) :: (y, Control y) -> y -> (ControlDist y, [ControlPiece y])Source

piecewise :: (C y, C y, Write sig y) => LazySize -> [ControlPiece y] -> sig ySource

piecewisePart :: (C y, Write sig y) => LazySize -> y -> y -> y -> y -> Int -> Control y -> sig ySource

# Auxiliary functions

curveMultiscale :: Write sig y => LazySize -> (y -> y -> y) -> y -> y -> sig ySource

curveMultiscaleNeutral :: Write sig y => LazySize -> (y -> y -> y) -> y -> y -> sig ySource