synthesizer-0.2: 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 amp sig yv Source

Constructors Cons privateAmplitude :: amp scaling of the values signal :: sig yv the embedded signal Instances C amp => C amp sig (T amp (T sig)) C amp => Smooth amp t (T amp (T t)) (T amp (T T)) C amp => Simple amp t (T amp (T t)) (T amp (T T)) C amp => C amp (T t) (T amp (T t)) C amp => C amp (T t) (T amp (T t)) (Show amp, C sig) => C (T amp sig) (C sig, C amp) => C (T amp sig) (C flat y, Amplitude y amp, C y) => C (T amp flat) y (Show amp, Show yv, C sig) => Show (T amp sig yv)

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

type S v y = D v y S Source

type D v y = T (T v 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

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

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

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

scalarSamples :: (C w, C y, C amp) => (amp -> y) -> w (T amp S) y -> T 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

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

fromSignal :: amp -> R s yv -> T s (T amp S) yv Source

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

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

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

scalarSamplesPrivateGeneric :: (C y, C v, Transform sig y) => (T v y -> y) -> D 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 :: amp -> T yv -> T s (T amp S) yv Source

fromScalarSamples :: amp -> T y -> T s (T amp S) y 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

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

replaceSamplesPrivate :: C v => sig1 yv1 -> D v y sig0 yv0 -> 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

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

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

Produced by Haddock version 2.4.2