|
| Synthesizer.Dimensional.RateAmplitude.Signal | | Portability | requires multi-parameter type classes | | Stability | provisional | | Maintainer | synthesizer@henning-thielemann.de |
|
|
|
| Description |
| For a description see Synthesizer.Dimensional.Process.
|
|
| Synopsis |
|
| type D v y = T (T v y) | | | type R s v y yv = T s (S v y) yv | | | toTimeScalar :: (C t, C u) => T u t -> T s u t t | | | toFrequencyScalar :: (C t, C u) => T (Recip u) t -> T s u t t | | | toAmplitudeScalar :: (C w, C y, C v) => w (D v y sig) yv -> T v y -> y | | | toGradientScalar :: (C q, C u, C v) => T v q -> T (DimensionGradient u v) q -> T s u q q | | | type DimensionGradient u v = Mul (Recip u) v | | | amplitude :: (C w, C v) => w (D v y sig) yv -> T v y | | | samples :: (C w, C v) => w (D v y (T sig)) yv -> sig yv | | | fromSignal :: amp -> R s yv -> T s (T amp S) yv | | | fromSamples :: amp -> T yv -> T s (T amp S) yv | | | scalarSamples :: (C w, C y, C amp) => (amp -> y) -> w (T amp S) y -> T y | | | fromScalarSamples :: amp -> T y -> T s (T amp S) y | | | scalarSamplesGeneric :: (C w, C y, C v, Transform sig y) => (T v y -> y) -> w (D v y (T sig)) y -> sig y | | | vectorSamples :: (C w, C y yv, C v) => (T v y -> y) -> w (S v y) yv -> T yv | | | fromVectorSamples :: amp -> T yv -> T s (T amp S) yv | | | replaceAmplitude :: (C w, C v0, C v1) => T v1 y -> w (D v0 y sig) yv -> w (D v1 y sig) yv | | | replaceSamples :: (C w, C v) => sig1 yv1 -> w (D v y sig0) yv0 -> w (D v y (T sig1)) yv1 | | | processSamples :: (C w, C v) => (sig0 yv0 -> sig1 yv1) -> w (D v y (T sig0)) yv0 -> w (D v y (T sig1)) yv1 | | | asTypeOfAmplitude :: y -> w (D v y sig) yv -> y | | | ($-) :: (C y, C y, C u, C v) => T s u t (R s v y y -> a) -> T v y -> T s u t a | | | ($&) :: C y => T s u t (R s y -> a) -> T s u t (R s Scalar y y) -> T s u t a | | | (&*^) :: C flat y => T v y -> T s u t (T s flat y) -> T s u t (R s v y y) | | | (&*>^) :: T v y -> T s u t (R s yv) -> T s u t (R s v y yv) | | | cache :: (C v, C w, Storable yv0) => T s u t (w (D v y S) yv0) -> T s u t (w (D v y S) yv0) | | | bindCached :: (C v, C w, Storable yv0) => T s u t (w (D v y S) yv0) -> (w (D v y S) yv0 -> T s u t b) -> T s u t b | | | share :: (C v, C w, Storable yv0) => T s u t (w (D v y S) yv0) -> (T s u t (w (D v y S) yv0) -> T s u t b) -> T s u t b | | | toStorableInt16Mono :: (C w, C a) => w (S Voltage a) a -> w T Int16 | | | toStorableInt16Stereo :: (C w, C a a, C a) => w (S Voltage a) (T a) -> w T (T Int16) |
|
|
| Documentation |
|
|
|
|
|
| toTimeScalar :: (C t, C u) => T u t -> T s u t t | Source |
|
|
|
|
| toAmplitudeScalar :: (C w, C y, C v) => w (D v y sig) yv -> T v y -> y | Source |
|
|
|
|
|
|
| amplitude :: (C w, C v) => w (D v y sig) yv -> T v y | Source |
|
|
| samples :: (C w, C v) => w (D v y (T sig)) yv -> sig yv | Source |
|
|
| fromSignal :: amp -> R s yv -> T s (T amp S) yv | Source |
|
|
| fromSamples :: amp -> T yv -> T s (T amp S) yv | Source |
|
|
| scalarSamples :: (C w, C y, C amp) => (amp -> y) -> w (T amp S) y -> T y | Source |
|
|
| fromScalarSamples :: amp -> T y -> T s (T amp S) y | Source |
|
|
| scalarSamplesGeneric :: (C w, C y, C v, Transform sig y) => (T v y -> y) -> w (D v y (T sig)) y -> sig y | Source |
|
|
| vectorSamples :: (C w, C y yv, C v) => (T v y -> y) -> w (S v y) yv -> T yv | Source |
|
|
| fromVectorSamples :: amp -> T yv -> T s (T amp S) yv | Source |
|
|
| replaceAmplitude :: (C w, C v0, C v1) => T v1 y -> w (D v0 y sig) yv -> w (D v1 y sig) yv | Source |
|
|
| replaceSamples :: (C w, C v) => sig1 yv1 -> w (D v y sig0) yv0 -> w (D v y (T sig1)) yv1 | Source |
|
|
| processSamples :: (C w, C v) => (sig0 yv0 -> sig1 yv1) -> w (D v y (T sig0)) yv0 -> w (D v y (T sig1)) yv1 | Source |
|
|
| asTypeOfAmplitude :: y -> w (D v y sig) yv -> y | Source |
|
|
| ($-) :: (C y, C y, C u, C v) => T s u t (R s v y y -> a) -> T v y -> T s u t a | Source |
|
| Take a scalar argument where a process expects a signal.
Only possible for non-negative values so far.
|
|
|
| Take a signal with Scalar unit in amplitude
where the process expects a plain T.
This is no longer important
since the processes which expects those inputs
can use the Flat type class.
|
|
| (&*^) :: C flat y => T v y -> T s u t (T s flat y) -> T s u t (R s v y y) | Source |
|
|
| (&*>^) :: T v y -> T s u t (R s yv) -> T s u t (R s v y yv) | Source |
|
|
|
|
| bindCached :: (C v, C w, Storable yv0) => T s u t (w (D v y S) yv0) -> (w (D v y S) yv0 -> T s u t b) -> T s u t b | Source |
|
|
| share :: (C v, C w, Storable yv0) => T s u t (w (D v y S) yv0) -> (T s u t (w (D v y S) yv0) -> T s u t b) -> T s u t b | Source |
|
|
|
|
|
|
| Produced by Haddock version 2.4.2 |
