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

Safe HaskellNone

Synthesizer.Plain.Modifier

Description

Support for stateful modifiers like controlled filters. This is similar to Synthesizer.Causal.Process but we cannot replace the Modifier structure by the Causal structure because the Modifier structure exhibits the state which allows stacking of modifiers using an efficient storage for the stacked state. More precisely, because Modifiers exhibits the type of the state, we can ensure that the state type of several modifiers is equal and thus the individual states can be stored in an array or a StorableVector.

Synopsis

Documentation

type T a = [a]Source

data Simple s ctrl a b Source

Constructors

Simple 

Fields

init :: s
 
step :: ctrl -> a -> State s b
 

static :: Simple s ctrl a b -> ctrl -> T a -> T bSource

modif is a process controlled by values of type c with an internal state of type s, it converts an input value of type a into an output value of type b while turning into a new state

ToDo: Shall finite signals be padded with zeros?

modulated :: Simple s ctrl a b -> T ctrl -> T a -> T bSource

Here the control may vary over the time.

data Initialized s init ctrl a b Source

Constructors

Initialized 

Fields

initInit :: init -> s
 
initStep :: ctrl -> a -> State s b
 

initialize :: Initialized s init ctrl a b -> init -> Simple s ctrl a bSource

staticInit :: Initialized s init ctrl a b -> init -> ctrl -> T a -> T bSource

modulatedInit :: Initialized s init ctrl a b -> init -> T ctrl -> T a -> T bSource

Here the control may vary over the time.

stackStatesR :: (a -> State s a) -> a -> State [s] aSource

The number of stacked state monads depends on the size of the list of state values. This is like a dynamically nested StateT.

stackStatesL :: (a -> State s a) -> a -> State [s] aSource

stackStatesStorableR :: Storable s => (a -> State s a) -> a -> State (Vector s) aSource

stackStatesStorableL :: Storable s => (a -> State s a) -> a -> State (Vector s) aSource

stackStatesStorableVaryL :: (Storable s, Storable c) => (c -> a -> State s a) -> Vector c -> a -> State (Vector s) aSource