synthesizer-0.0.3: Audio signal processing coded in Haskell Source code Contents Index

Synthesizer.Dimensional.Amplitude.Signal Portability requires multi-parameter type classes Stability provisional Maintainer synthesizer@henning-thielemann.de

Description

Signals equipped with a volume information that may carry a unit. Is the approach with separated volume information still appropriate? Actually it simplifies reusing code from Synthesizer.State.Signal because we do not have to replace (*) by (&*&).

Documentation

data T v y sig yv Source

Constructors Cons privateAmplitude :: T v y scaling of the values signal :: sig yv the embedded signal Instances (C v, Show y, C sig) => C (T v y sig) (C sig, C u) => C (T u y sig) (C flat y, IsScalar scalar, C y) => C (T scalar y flat) y (C v, Show y, Show yv, C sig) => Show (T v y sig yv)

type R s v y yv = T s (S v y) yv Source

type S v y = T v y (T T) Source

amplitude :: (C w, C v) => w (T v y sig) yv -> T v y Source

samples :: (C w, C v) => w (T v y (T sig)) yv -> sig yv Source

privateSamples :: C v => T v y (T sig) yv -> sig yv Source

phantomSignal :: T s (T v y sig) yv -> T s sig yv Source

toAmplitudeScalar :: (C w, C y, C v) => w (T v y sig) yv -> T v y -> y Source

scalarSamples :: (C w, C y, C v) => (T v y -> y) -> w (S v y) y -> T y Source

scalarSamplesGeneric :: (C w, C y, C v, C y, C sig) => (T v y -> y) -> w (T 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

rewriteDimension :: (C v0, C v1) => (v0 -> v1) -> T v0 y sig yv -> T v1 y sig yv Source

fromSignal :: T v y -> R s yv -> R s v y yv Source

toScalarSignal :: (C w, C y, C v) => T v y -> w (S v y) y -> w (T T) y Source

toVectorSignal :: (C w, C y, C y yv, C v) => T v y -> w (S v y) yv -> w (T T) yv Source

scalarSamplesPrivate :: (C y, C v) => (T v y -> y) -> S v y y -> T y Source

scalarSamplesPrivateGeneric :: (C y, C v, C y, C sig) => (T v y -> y) -> T v y (T sig) y -> sig y Source

vectorSamplesPrivate :: (C y yv, C v) => (T v y -> y) -> S v y yv -> T yv Source

fromSamples :: T v y -> T yv -> R s v y yv Source

fromScalarSamples :: T v y -> T y -> R s v y y Source

fromVectorSamples :: T v y -> T yv -> R s v y yv Source

replaceAmplitude :: (C w, C v0, C v1) => T v1 y -> w (T v0 y sig) yv -> w (T v1 y sig) yv Source

replaceSamples :: (C w, C v) => sig1 yv1 -> w (T v y sig0) yv0 -> w (T v y (T sig1)) yv1 Source

replaceAmplitudePrivate :: (C v0, C v1) => T v1 y -> T v0 y sig yv -> T v1 y sig yv Source

replaceSamplesPrivate :: C v => sig1 yv1 -> T v y sig0 yv0 -> T v y (T sig1) yv1 Source

processSamples :: (C w, C v) => (sig0 yv0 -> sig1 yv1) -> w (T v y (T sig0)) yv0 -> w (T v y (T sig1)) yv1 Source

processSamplesPrivate :: C v => (sig0 yv0 -> sig1 yv1) -> T v y (T sig0) yv0 -> T v y (T sig1) yv1 Source

asTypeOfAmplitude :: y -> w (T v y sig) yv -> y Source

Produced by Haddock version 2.3.0