| Copyright | (c) Henning Thielemann 2009 |
|---|---|
| License | GPL |
| Maintainer | synthesizer@henning-thielemann.de |
| Stability | provisional |
| Portability | requires multi-parameter type classes |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Synthesizer.Dimensional.Map.Filter
Contents
Description
Synopsis
- amplify :: (C y amp, Arrow arrow) => y -> Single arrow (Numeric amp) (Numeric amp) yv yv
- amplifyDimension :: (C y, C v0, C v1, Arrow arrow) => T v0 y -> Single arrow (Dimensional v1 y) (Dimensional (Mul v0 v1) y) yv yv
- amplifyScalarDimension :: (C y, C v, Arrow arrow) => T v y -> Single arrow (Dimensional Scalar y) (Dimensional v y) yv yv
- negate :: (C (Displacement sample), Arrow arrow) => T arrow sample sample
- envelope :: (C y, Arrow arrow) => T arrow (Flat y, Numeric amp y) (Numeric amp y)
- envelopeScalarDimension :: (C y, C v, Arrow arrow) => T arrow (Dimensional Scalar y y, Dimensional v y y) (Dimensional v y y)
- envelopeVector :: (C y (Displacement sample), Arrow arrow) => T arrow (Flat y, sample) sample
- envelopeVectorDimension :: (C y0 yv, C y, C v0, C v1, Arrow arrow) => T arrow (Dimensional v0 y y0, Dimensional v1 y yv) (Dimensional (Mul v0 v1) y yv)
Amplification
amplify :: (C y amp, Arrow arrow) => y -> Single arrow (Numeric amp) (Numeric amp) yv yv Source #
The amplification factor must be positive.
amplifyDimension :: (C y, C v0, C v1, Arrow arrow) => T v0 y -> Single arrow (Dimensional v1 y) (Dimensional (Mul v0 v1) y) yv yv Source #
amplifyScalarDimension :: (C y, C v, Arrow arrow) => T v y -> Single arrow (Dimensional Scalar y) (Dimensional v y) yv yv Source #
envelopeScalarDimension :: (C y, C v, Arrow arrow) => T arrow (Dimensional Scalar y y, Dimensional v y y) (Dimensional v y y) Source #
envelopeVector :: (C y (Displacement sample), Arrow arrow) => T arrow (Flat y, sample) sample Source #
envelopeVectorDimension :: (C y0 yv, C y, C v0, C v1, Arrow arrow) => T arrow (Dimensional v0 y y0, Dimensional v1 y yv) (Dimensional (Mul v0 v1) y yv) Source #