-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | library to make electronic music
--   
--   Let's make music with text! We can use Csound to describe our music.
--   Csound has so many fantastic sound generators. It's very efficient.
--   But sometimes Csound is too low level. So many details: integer
--   identifiers for instruments and arrays, should I use control rate or
--   audio rate signals, lack of abstractions, no nested expressions and it
--   has limited set of types. This library embeds Csound in Haskell. It's
--   Csound code generator. We can use powerful Csound's primitives and
--   glue them together with Haskell abstractions. Start with the module
--   <a>Csound.Base</a>. It contains basic types and functions.
--   
--   Key principles
--   
--   <ul>
--   <li>Keep it simple and compact.</li>
--   <li>Try to hide low level csound's wiring as much as we can (no ids
--   for ftables, instruments, global variables).</li>
--   <li>Don't describe the whole csound in all it's generality but give
--   the user some handy tools to play with sound.</li>
--   <li>No distinction between audio and control rates on the type level.
--   Derive all rates from the context. If the user plugs signal to an
--   opcode that expects an audio rate signal the argument is converted to
--   the right rate.</li>
--   <li>Watch out for side-effects. There is a special type called
--   <a>SE</a>. It functions as <a>IO</a> in Haskell.</li>
--   <li>Less typing, more music. Use short names for all types. Make
--   library so that all expressions can be built without type annotations.
--   Make it simple for the compiler to derive all types. Don't use complex
--   type classes.</li>
--   <li>Make low level opcode definitions simple. Let user define his own
--   opcodes (if they are missing).</li>
--   <li>Ensure that output signal is limited by amplitude. Csound can
--   produce signals with HUGE amplitudes. Little typo can damage your ears
--   and your speakers. In generated code all signals are clipped by 0dbfs
--   value. 0dbfs is set to 1. Just as in Pure Data. So 1 is absolute
--   maximum value for amplitude.</li>
--   <li>No dependency on Score-generation libraries. Score (or list of
--   events) is represented with type class. You can use your favorite
--   Score-generation library if you provide an instance for the CsdSco
--   type class. Currently there is support for temporal-music-notation
--   library (see temporal-csound package).</li>
--   </ul>
--   
--   For the future
--   
--   <ul>
--   <li>Make composable guis. Just plug the slider in the opcode and see
--   it on the screen. Interactive instruments should be easy to make.</li>
--   <li>Remove score/instrument barrier. Let instrument play a score
--   within a note and trigger other instruments.</li>
--   <li>Timing of events. User can set the beat rate and align events by
--   beat events.</li>
--   <li>Set Csound flags with meaningful (well-typed) values. Derive as
--   much as you can from the context.</li>
--   <li>Optimization of the memory allocation (liveness analysis).</li>
--   </ul>
@package csound-expression
@version 1.1.1


-- | Functions to make your own opcodes. You can find a lot of examples in
--   source code (see directory <tt>Csound/Opcode</tt>)
module Csound.LowLevel

-- | The Csound rates.
data Rate
Xr :: Rate
Ar :: Rate
Kr :: Rate
Ir :: Rate
Sr :: Rate
Fr :: Rate
type Name = String

-- | The inner representation of csound expressions.
type E = Fix RatedExp
class Val a
toE :: Val a => a -> E
fromE :: Val a => E -> a
i :: Rate
k :: Rate
a :: Rate
x :: Rate
s :: Rate
f :: Rate
is :: Int -> [Rate]
ks :: Int -> [Rate]
as :: Int -> [Rate]
type Spec1 = [(Rate, [Rate])]
opcs :: (Val a, Val b) => Name -> Spec1 -> [a] -> b
opc0 :: Val a => Name -> Spec1 -> a
opc1 :: (Val a, Val b) => Name -> Spec1 -> a -> b
opc2 :: (Val a1, Val a2, Val b) => Name -> Spec1 -> a1 -> a2 -> b
opc3 :: (Val a1, Val a2, Val a3, Val b) => Name -> Spec1 -> a1 -> a2 -> a3 -> b
opc4 :: (Val a1, Val a2, Val a3, Val a4, Val b) => Name -> Spec1 -> a1 -> a2 -> a3 -> a4 -> b
opc5 :: (Val a1, Val a2, Val a3, Val a4, Val a5, Val b) => Name -> Spec1 -> a1 -> a2 -> a3 -> a4 -> a5 -> b
opc6 :: (Val a1, Val a2, Val a3, Val a4, Val a5, Val a6, Val b) => Name -> Spec1 -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> b
opc7 :: (Val a1, Val a2, Val a3, Val a4, Val a5, Val a6, Val a7, Val b) => Name -> Spec1 -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> b
opc8 :: (Val a1, Val a2, Val a3, Val a4, Val a5, Val a6, Val a7, Val a8, Val b) => Name -> Spec1 -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> b
opc9 :: (Val a1, Val a2, Val a3, Val a4, Val a5, Val a6, Val a7, Val a8, Val a9, Val b) => Name -> Spec1 -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> b
opc10 :: (Val a1, Val a2, Val a3, Val a4, Val a5, Val a6, Val a7, Val a8, Val a9, Val a10, Val b) => Name -> Spec1 -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> b
opc11 :: (Val a1, Val a2, Val a3, Val a4, Val a5, Val a6, Val a7, Val a8, Val a9, Val a10, Val a11, Val b) => Name -> Spec1 -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> b
opc12 :: (Val a1, Val a2, Val a3, Val a4, Val a5, Val a6, Val a7, Val a8, Val a9, Val a10, Val a11, Val a12, Val b) => Name -> Spec1 -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> a12 -> b
type Specs = ([Rate], [Rate])
mopcs :: (Val a, CsdTuple b) => Name -> Specs -> [a] -> b
mopc0 :: CsdTuple a => Name -> Specs -> a
mopc1 :: (Val a, CsdTuple b) => Name -> Specs -> a -> b
mopc2 :: (Val a1, Val a2, CsdTuple b) => Name -> Specs -> a1 -> a2 -> b
mopc3 :: (Val a1, Val a2, Val a3, CsdTuple b) => Name -> Specs -> a1 -> a2 -> a3 -> b
mopc4 :: (Val a1, Val a2, Val a3, Val a4, CsdTuple b) => Name -> Specs -> a1 -> a2 -> a3 -> a4 -> b
mopc5 :: (Val a1, Val a2, Val a3, Val a4, Val a5, CsdTuple b) => Name -> Specs -> a1 -> a2 -> a3 -> a4 -> a5 -> b
mopc6 :: (Val a1, Val a2, Val a3, Val a4, Val a5, Val a6, CsdTuple b) => Name -> Specs -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> b
mopc7 :: (Val a1, Val a2, Val a3, Val a4, Val a5, Val a6, Val a7, CsdTuple b) => Name -> Specs -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> b
se :: Val a => E -> SE a
se_ :: E -> SE ()


-- | Basic signal processing
module Csound.Opcode.Basic

-- | Reads <tt>p3</tt>-argument for the current instrument.
idur :: D

-- | Reads <tt>0dbfs</tt> value.
zeroDbfs :: D

-- | Reads <tt>sr</tt> value.
getSampleRate :: D

-- | Reads <tt>ksmps</tt> value.
getBlockSize :: D

-- | Simple, fast sine oscillator, that uses only one multiply, and two add
--   operations to generate one sample of output, and does not require a
--   function table.
--   
--   <pre>
--   ares oscils iamp, icps, iphs [, iflg]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/oscils.html</a>
oscils :: Iamp -> Icps -> D -> Sig

-- | High precision oscillator.
--   
--   <pre>
--   ares poscil xamp, xcps, ifn [, iphs]
--   kres poscil kamp, kcps, ifn [, iphs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/poscil.html</a>
poscil :: Amp -> Cps -> Tab -> Sig

-- | High precision oscillator with cubic interpolation.
--   
--   <pre>
--   ares poscil3 xamp, xcps, ifn [, iphs]
--   kres poscil3 kamp, kcps, ifn [, iphs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/poscil3.html</a>
poscil3 :: Amp -> Cps -> Tab -> Sig

-- | oscil reads table ifn sequentially and repeatedly at a frequency xcps.
--   The amplitude is scaled by xamp.
--   
--   <pre>
--   ares oscil xamp, xcps, ifn [, iphs]
--   kres oscil kamp, kcps, ifn [, iphs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/oscil.html</a>
oscil :: Amp -> Cps -> Tab -> Sig

-- | oscili reads table ifn sequentially and repeatedly at a frequency
--   xcps. The amplitude is scaled by xamp. Linear interpolation is applied
--   for table look up from internal phase values.
--   
--   <pre>
--   ares oscili xamp, xcps, ifn [, iphs]
--   kres oscili kamp, kcps, ifn [, iphs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/oscili.html</a>
oscili :: Amp -> Cps -> Tab -> Sig

-- | oscil3 reads table ifn sequentially and repeatedly at a frequency
--   xcps. The amplitude is scaled by xamp. Cubic interpolation is applied
--   for table look up from internal phase values.
--   
--   <pre>
--   ares oscil3 xamp, xcps, ifn [, iphs]
--   kres oscil3 kamp, kcps, ifn [, iphs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/oscil3.html</a>
oscil3 :: Amp -> Cps -> Tab -> Sig

-- | Accesses table values by incremental sampling with linear
--   interpolation.
--   
--   <pre>
--   kres oscil1i idel, kamp, idur, ifn
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/oscil1i.html</a>
oscil1i :: D -> Amp -> D -> Tab -> Sig

-- | Output is a set of harmonically related sine partials.
--   
--   <pre>
--   ares buzz xamp, xcps, knh, ifn [, iphs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/buzz.html</a>
buzz :: Amp -> Cps -> Sig -> Tab -> Sig

-- | Output is a set of harmonically related cosine partials.
--   
--   <pre>
--   ares gbuzz xamp, xcps, knh, klh, kmul, ifn [, iphs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/gbuzz.html</a>
gbuzz :: Amp -> Cps -> Sig -> Sig -> Sig -> Tab -> Sig

-- | Generates a set of impulses of amplitude kamp separated by kintvl
--   seconds (or samples if kintvl is negative). The first impulse is
--   generated after a delay of ioffset seconds.
--   
--   <pre>
--   ares mpulse kamp, kintvl [, ioffset]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/mpulse.html</a>
mpulse :: Amp -> Sig -> Sig

-- | Implementation of a band limited, analog modeled oscillator, based on
--   integration of band limited impulses. vco can be used to simulate a
--   variety of analog wave forms.
--   
--   <pre>
--   ares vco xamp, xcps, iwave, kpw [, ifn] [, imaxd] [, ileak] [, inyx] \
--       [, iphs] [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/vco.html</a>
vco :: Amp -> Cps -> D -> Sig -> Sig

-- | vco2 is similar to vco. But the implementation uses pre-calculated
--   tables of band-limited waveforms (see also GEN30) rather than
--   integrating impulses. This opcode can be faster than vco (especially
--   if a low control-rate is used) and also allows better sound quality.
--   Additionally, there are more waveforms and oscillator phase can be
--   modulated at k-rate. The disadvantage is increased memory usage. For
--   more details about vco2 tables, see also vco2init and vco2ft.
--   
--   <pre>
--   ares vco2 kamp, kcps [, imode] [, kpw] [, kphs] [, inyx]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/vco2.html</a>
vco2 :: Amp -> Cps -> Sig

-- | Produce a normalized moving phase value.
--   
--   <pre>
--   ares phasor xcps [, iphs]
--   kres phasor kcps [, iphs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/phasor.html</a>
phasor :: Cps -> Sig

-- | Produces a moving phase value between zero and one and an extra
--   impulse output (<a>sync out</a>) whenever its phase value crosses or
--   is reset to zero. The phase can be reset at any time by an impulse on
--   the <a>sync in</a> parameter.
--   
--   <pre>
--   aphase, asyncout syncphasor xcps, asyncin, [, iphs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/syncphasor.html</a>
syncphasor :: Sig -> Sig -> (Sig, Sig)

-- | Output is a controlled random number series between -amp and +amp
--   
--   <pre>
--   ares rand xamp [, iseed] [, isel] [, ioffset]
--   kres rand xamp [, iseed] [, isel] [, ioffset]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/rand.html</a>
rand :: Amp -> SE Sig

-- | Generates a controlled random number series with interpolation between
--   each new number.
--   
--   <pre>
--   ares randi xamp, xcps [, iseed] [, isize] [, ioffset]
--   kres randi kamp, kcps [, iseed] [, isize] [, ioffset]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/randi.html</a>
randi :: Amp -> Sig -> SE Sig

-- | Generates random numbers and holds them for a period of time.
--   
--   <pre>
--   ares randh xamp, xcps [, iseed] [, isize] [, ioffset]
--   kres randh kamp, kcps [, iseed] [, isize] [, ioffset]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/randh.html</a>
randh :: Amp -> Sig -> SE Sig

-- | 31-bit bipolar random opcodes with controllable distribution. These
--   units are portable, i.e. using the same seed value will generate the
--   same random sequence on all systems. The distribution of --generated
--   random numbers can be varied at k-rate.
--   
--   <pre>
--   ax rnd31 kscl, krpow [, iseed]
--   ix rnd31 iscl, irpow [, iseed]
--   kx rnd31 kscl, krpow [, iseed]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/rnd31.html</a>
rnd31 :: Sig -> Sig -> SE Sig

-- | Generates is a controlled pseudo-random number series between min and
--   max values.
--   
--   <pre>
--   ax random kscl, krpow
--   ix random iscl, irpow
--   kx random kscl, krpow
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/random.html</a>
random :: Sig -> Sig -> SE Sig

-- | Generates a user-controlled random number series with interpolation
--   between each new number.
--   
--   <pre>
--   ares randomi kmin, kmax, xcps [,imode] [,ifirstval]
--   kres randomi kmin, kmax, kcps [,imode] [,ifirstval]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/randomi.html</a>
randomi :: Amp -> Amp -> Cps -> SE Sig

-- | Generates random numbers with a user-defined limit and holds them for
--   a period of time.
--   
--   <pre>
--   ares randomh kmin, kmax, xcps [,imode] [,ifirstval]
--   kres randomh kmin, kmax, kcps [,imode] [,ifirstval]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/randomh.html</a>
randomh :: Amp -> Amp -> Cps -> SE Sig

-- | Generates approximate pink noise (-3dB/oct response) by one of two
--   different methods:
--   
--   <ul>
--   <li>a multirate noise generator after Moore, coded by Martin
--   Gardner</li>
--   <li>a filter bank designed by Paul Kellet</li>
--   </ul>
--   
--   <pre>
--   ares pinkish xin [, imethod] [, inumbands] [, iseed] [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pinkish.html</a>
pinkish :: Sig -> SE Sig

-- | A white noise generator with an IIR lowpass filter.
--   
--   <pre>
--   ares noise xamp, kbeta
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/noise.html</a>
noise :: Amp -> Sig -> SE Sig

-- | Unsafe version of the <a>pinkish</a> opcode. Unsafe means that there
--   can be possible alias on the expression level. Two expressions with
--   the same arguments can be unexpectedly rendered as the same expression
--   within one instrument.
pinkish' :: Sig -> Sig

-- | Unsafe version of the <a>noise</a> opcode. Unsafe means that there can
--   be possible alias on the expression level. Two expressions with the
--   same arguments can be unexpectedly rendered as the same expression
--   within one instrument.
noise' :: Amp -> Sig -> Sig

-- | Trace a series of line segments between specified points.
--   
--   <pre>
--   ares linseg ia, idur1, ib [, idur2] [, ic] [...]
--   kres linseg ia, idur1, ib [, idur2] [, ic] [...]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/linseg.html</a>
linseg :: [D] -> Ksig

-- | Trace a series of exponential segments between specified points.
--   
--   <pre>
--   ares expseg ia, idur1, ib [, idur2] [, ic] [...]
--   kres expseg ia, idur1, ib [, idur2] [, ic] [...]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/expseg.html</a>
expseg :: [D] -> Ksig

-- | Trace a series of line segments between specified points including a
--   release segment.
--   
--   <pre>
--   ares linsegr ia, idur1, ib [, idur2] [, ic] [...], irel, iz
--   kres linsegr ia, idur1, ib [, idur2] [, ic] [...], irel, iz
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/linsegr.html</a>
linsegr :: [D] -> D -> D -> Ksig

-- | Trace a series of exponential segments between specified points
--   including a release segment.
--   
--   <pre>
--   ares expsegr ia, idur1, ib [, idur2] [, ic] [...], irel, iz
--   kres expsegr ia, idur1, ib [, idur2] [, ic] [...], irel, iz
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/expsegr.html</a>
expsegr :: [D] -> D -> D -> Ksig

-- | Generate control signal consisting of held segments delimited by two
--   or more specified points. The entire envelope is looped at kfreq rate.
--   Each parameter can be varied at k-rate.
--   
--   <pre>
--   ksig lpshold kfreq, ktrig, ktime0, kvalue0  [, ktime1] [, kvalue1] \
--         [, ktime2] [, kvalue2] [...]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/lpshold.html</a>
lpshold :: Sig -> Sig -> [Sig] -> Ksig

-- | Generate control signal consisting of linear segments delimited by two
--   or more specified points. The entire envelope is looped at kfreq rate.
--   Each parameter can be varied at k-rate.
--   
--   <pre>
--   ksig loopseg kfreq, ktrig, iphase, ktime0, kvalue0 [, ktime1] [, kvalue1] \
--         [, ktime2] [, kvalue2] [...]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/loopseg.html</a>
loopseg :: Sig -> Sig -> [Sig] -> Ksig

-- | Generate control signal consisting of controllable exponential
--   segments or linear segments delimited by two or more specified points.
--   The entire envelope is looped at kfreq rate. Each parameter can be
--   varied at k-rate.
--   
--   <pre>
--   ksig looptseg kfreq, ktrig, ktime0, kvalue0, ktype0, [, ktime1] [, kvalue1] [,ktype1] \
--         [, ktime2] [, kvalue2] [,ktype2] [...][, ktimeN] [, kvalueN]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/looptseg.html</a>
looptseg :: Sig -> Sig -> [Sig] -> Ksig

-- | Apply a stright line rise and decay pattern to an imput amp signal.
--   
--   <pre>
--   kr linen kamp, iris, idur, idec
--   ar linen xamp, iris, idur, idec
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/linen.html</a>
linen :: Amp -> D -> D -> D -> Sig

-- | Apply a stright line rise then an exponential decay decay while the
--   note is extended in time.
--   
--   <pre>
--   kr linenr kamp, iris, idur, iatdec
--   ar linenr xamp, iris, idur, iatdec
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/linenr.html</a>
linenr :: Amp -> D -> D -> D -> Sig

-- | Apply an envelope consisting of 3 segments:
--   
--   <ul>
--   <li>stored function rise shape</li>
--   <li>modified exponential "pseudo steady state"</li>
--   <li>exponential decay</li>
--   </ul>
--   
--   <pre>
--   kr envlpx kamp, irise, idur, idec, ifn, iatss, iatdec, [ixmod]
--   ar envlpx xamp, irise, idur, idec, ifn, iatss, iatdec, [ixmod]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/envlpx.html</a>
envlpx :: Amp -> D -> D -> D -> Tab -> D -> D -> Sig

-- | This is an interpolating variable time delay, it is not very different
--   from the existing implementation (deltapi), it is only easier to use.
--   
--   <pre>
--   ares vdelay asig, adel, imaxdel [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/vdelay.html</a>
vdelay :: Sig -> Sig -> D -> Sig

-- | A variable delay opcode with high quality interpolation.
--   
--   <pre>
--   aout vdelayx ain, adl, imd, iws [, ist]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/vdelayx.html</a>
vdelayx :: Sig -> Sig -> D -> D -> Sig

-- | Variable delay opcodes with high quality interpolation.
--   
--   aout vdelayxw ain, adl, imd, iws [, ist]
--   
--   doc: <a>http://www.csounds.com/manual/html/vdelayxw.html</a>
vdelayxw :: Sig -> Sig -> D -> D -> Sig

-- | Reads from an automatically established digital delay line.
--   
--   <pre>
--   ares delayr idlt [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/delayr.html</a>
delayr :: D -> SE Sig

-- | Writes the audio signal to a digital delay line.
--   
--   <pre>
--   delayw asig
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/delayw.html</a>
delayw :: Sig -> SE ()

-- | Tap a delay line at variable offset times.
--   
--   <pre>
--   ares deltap kdlt
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/deltap.html</a>
deltap :: Sig -> SE Sig

-- | Taps a delay line at variable offset times, uses interpolation.
--   
--   <pre>
--   ares deltapi xdlt
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/deltapi.html</a>
deltapi :: Sig -> SE Sig

-- | Taps a delay line at variable offset times, uses cubic interpolation.
--   
--   <pre>
--   ares deltap3 xdlt
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/deltap3.html</a>
deltap3 :: Sig -> SE Sig

-- | deltapx is similar to deltapi or deltap3. However, it allows higher
--   quality interpolation. This opcode can read from and write to a
--   delayr/delayw delay line with interpolation.
--   
--   <pre>
--   aout deltapx adel, iwsize
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/deltapx.html</a>
deltapx :: Sig -> D -> SE Sig

-- | deltapxw mixes the input signal to a delay line. This opcode can be
--   mixed with reading units (deltap, deltapn, deltapi, deltap3, and
--   deltapx) in any order; the actual delay time is the difference of the
--   read and write time. This opcode can read from and write to a
--   delayr/delayw delay line with interpolation.
--   
--   <pre>
--   deltapxw ain, adel, iwsize
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/deltapxw.html</a>
deltapxw :: Sig -> Sig -> D -> SE ()

-- | A first-order recursive low-pass filter with variable frequency
--   response.
--   
--   tone is a 1 term IIR filter. Its formula is:
--   
--   <pre>
--   yn = c1 * xn + c2 * yn-1
--   </pre>
--   
--   where
--   
--   <ul>
--   <li>b = 2 - cos(2 π hp/sr);</li>
--   <li>c2 = b - sqrt(b2 - 1.0)</li>
--   <li>c1 = 1 - c2</li>
--   </ul>
--   
--   <pre>
--   ares tone asig, khp [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/tone.html</a>
tone :: Sig -> Sig -> Sig

-- | Implementation of a second-order low-pass Butterworth filter.
--   
--   <pre>
--   ares butlp asig, kfreq [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/butterlp.html</a>
butlp :: Sig -> Sig -> Sig

-- | A hi-pass filter whose transfer functions are the complements of the
--   tone opcode.
--   
--   <pre>
--   ares atone asig, khp [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/atone.html</a>
atone :: Sig -> Sig -> Sig

-- | Implementation of second-order high-pass Butterworth filter.
--   
--   <pre>
--   ares buthp asig, kfreq [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/butterhp.html</a>
buthp :: Sig -> Sig -> Sig

-- | A second-order resonant filter.
--   
--   <pre>
--   ares reson asig, kcf, kbw [, iscl] [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/reson.html</a>
reson :: Sig -> Sig -> Sig -> Sig

-- | Implementation of a second-order band-pass Butterworth filter.
--   
--   <pre>
--   ares butbp asig, kfreq, kband [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/butterbp.html</a>
butbp :: Sig -> Sig -> Sig -> Sig

-- | A notch filter whose transfer functions are the complements of the
--   reson opcode.
--   
--   <pre>
--   ares areson asig, kcf, kbw [, iscl] [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/areson.html</a>
areson :: Sig -> Sig -> Sig -> Sig

-- | Implementation of a second-order band-reject Butterworth filter.
--   
--   <pre>
--   ares butbr asig, kfreq, kband [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/butterbr.html</a>
butbr :: Sig -> Sig -> Sig -> Sig

-- | Applies portamento to a step-valued control signal.
--   
--   <pre>
--   kres port ksig, ihtim [, isig]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/port.html</a>
port :: Sig -> D -> Sig

-- | Applies portamento to a step-valued control signal.
--   
--   <pre>
--   kres portk ksig, khtim [, isig]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/portk.html</a>
portk :: Sig -> Sig -> Sig

-- | Moogladder is an new digital implementation of the Moog ladder filter
--   based on the work of Antti Huovilainen, described in the paper
--   <a>Non-Linear Digital Implementation of the Moog Ladder Filter</a>
--   (Proceedings of DaFX04, Univ of Napoli). This implementation is
--   probably a more accurate digital representation of the original
--   analogue filter.
--   
--   <pre>
--   asig moogladder ain, kcf, kres[, istor]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/moogladder.html</a>
moogladder :: Sig -> Sig -> Sig -> Sig

-- | Variably reverberates an input signal with a “colored” frequency
--   response.
--   
--   <pre>
--   ares vcomb asig, krvt, xlpt, imaxlpt [, iskip] [, insmps]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/vcomb.html</a>
vcomb :: Sig -> Sig -> Sig -> D -> Sig

-- | A second-order multi-mode filter.
--   
--   <pre>
--   ares bqrez asig, xfco, xres [, imode] [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/bqrez.html</a>
bqrez :: Sig -> Sig -> Sig -> Sig

-- | Reverberates an input signal with a “colored” frequency response.
--   
--   <pre>
--   ares comb asig, krvt, ilpt [, iskip] [, insmps]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/comb.html</a>
comb :: Sig -> Sig -> D -> Sig

-- | freeverb is a stereo reverb unit based on Jezar's public domain C++
--   sources, composed of eight parallel comb filters on both channels,
--   followed by four allpass units in series. The filters on the right
--   channel are slightly detuned compared to the left channel in order to
--   create a stereo effect.
--   
--   <pre>
--   aoutL, aoutR freeverb ainL, ainR, kRoomSize, kHFDamp[, iSRate[, iSkip]] 
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/freeverb.html</a>
freeverb :: Sig -> Sig -> Sig -> Sig -> (Sig, Sig)

-- | 8 delay line stereo FDN reverb, with feedback matrix based upon
--   physical modeling scattering junction of 8 lossless waveguides of
--   equal characteristic impedance. Based on Csound orchestra version by
--   Sean Costello.
--   
--   <pre>
--   aoutL, aoutR reverbsc ainL, ainR, kfblvl, kfco[, israte[, ipitchm[, iskip]]] 
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/reverbsc.html</a>
reverbsc :: Sig -> Sig -> Sig -> Sig -> (Sig, Sig)

-- | Reverberates an input signal with a “natural room” frequency response.
--   
--   <pre>
--   ares reverb asig, krvt [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/reverb.html</a>
reverb :: Sig -> Sig -> Sig

-- | This is a reverberator consisting of 6 parallel comb-lowpass filters
--   being fed into series of 5 allpass filters.
--   
--   <pre>
--   ares reverb2 asig, ktime, khdif
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/reverb2.html</a>
reverb2 :: Sig -> Sig -> Sig -> Sig

-- | This is a reverberator consisting of 6 parallel comb-lowpass filters
--   being fed into a series of 5 allpass filters. nreverb replaces reverb2
--   (version 3.48) and so both opcodes are identical.
--   
--   <pre>
--   ares nreverb asig, ktime, khdif [, iskip] [,inumCombs] [, ifnCombs] \
--         [, inumAlpas] [, ifnAlpas]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/nreverb.html</a>
nreverb :: Sig -> Sig -> Sig -> Sig

-- | babo stands for ball-within-the-box. It is a physical model
--   reverberator based on the paper by Davide Rocchesso <a>The Ball within
--   the Box: a sound-processing metaphor</a>, Computer Music Journal, Vol
--   19, N.4, pp.45-47, Winter 1995.
--   
--   The resonator geometry can be defined, along with some response
--   characteristics, the position of the listener within the resonator,
--   and the position of the sound source.
--   
--   <pre>
--   a1, a2 babo asig, ksrcx, ksrcy, ksrcz, irx, iry, irz [, idiff] [, ifno]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/babo.html</a>
babo :: Sig -> Sig -> Sig -> Sig -> D -> D -> D -> (Sig, Sig)

-- | Determines the root-mean-square amplitude of an audio signal. It
--   low-pass filters the actual value, to average in the manner of a VU
--   meter.
--   
--   <pre>
--   kres rms asig [, ihp] [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/rms.html</a>
rms :: Sig -> Sig

-- | The rms power of asig can be interrogated, set, or adjusted to match
--   that of a comparator signal.
--   
--   <pre>
--   ares balance asig, acomp [, ihp] [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/balance.html</a>
balance :: Sig -> Sig -> Sig

-- | Envelope follower unit generator.
--   
--   <pre>
--   ares follow asig, idt
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/follow.html</a>
follow :: Sig -> D -> Sig

-- | A controllable envelope extractor using the algorithm attributed to
--   Jean-Marc Jot.
--   
--   <pre>
--   ares follow2 asig, katt, krel
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/follow2.html</a>
follow2 :: Sig -> Sig -> Sig -> Sig

-- | These opcodes maintain the output k-rate variable as the peak absolute
--   level so far received.
--   
--   <pre>
--   kres peak asig
--   kres peak ksig
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/peak.html</a>
peak :: Sig -> Sig

-- | max_k outputs the local maximum (or minimum) value of the incoming
--   asig signal, checked in the time interval between ktrig has become
--   true twice.
--   
--   <pre>
--   knumkout max_k asig, ktrig, itype
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/max_k.html</a>
max_k :: Sig -> Sig -> D -> Sig

-- | ptrack takes an input signal, splits it into ihopsize blocks and using
--   a STFT method, extracts an estimated pitch for its fundamental
--   frequency as well as estimating the total amplitude of the signal in
--   dB, relative to full-scale (0dB). The method implies an analysis
--   window size of 2*ihopsize samples (overlaping by 1/2 window), which
--   has to be a power-of-two, between 128 and 8192 (hopsizes between 64
--   and 4096). Smaller windows will give better time precision, but worse
--   frequency accuracy (esp. in low fundamentals).This opcode is based on
--   an original algorithm by M. Puckette.
--   
--   <pre>
--   kcps, kamp ptrack asig, ihopsize[,ipeaks]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/ptrack.html</a>
ptrack :: Sig -> D -> (Sig, Sig)

-- | Using the same techniques as spectrum and specptrk, pitch tracks the
--   pitch of the signal in octave point decimal form, and amplitude in dB.
--   
--   <pre>
--   koct, kamp pitch asig, iupdte, ilo, ihi, idbthresh [, ifrqs] [, iconf] \
--         [, istrt] [, iocts] [, iq] [, inptls] [, irolloff] [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pitch.html</a>
pitch :: Sig -> D -> D -> D -> D -> (Sig, Sig)

-- | Follows the pitch of a signal based on the AMDF method (Average
--   Magnitude Difference Function). Outputs pitch and amplitude tracking
--   signals. The method is quite fast and should run in realtime. This
--   technique usually works best for monophonic signals.
--   
--   <pre>
--   kcps, krms pitchamdf asig, imincps, imaxcps [, icps] [, imedi] \
--         [, idowns] [, iexcps] [, irmsmedi]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pitchamdf.html</a>
pitchamdf :: Sig -> D -> D -> (Sig, Sig)

-- | Estimate the tempo of beat patterns in a control signal.
--   
--   <pre>
--   ktemp tempest kin, iprd, imindur, imemdur, ihp, ithresh, ihtim, ixfdbak, \
--         istartempo, ifn [, idisprd] [, itweek]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/tempest.html</a>
tempest :: Sig -> D -> D -> D -> D -> D -> D -> D -> D -> Tab -> Sig

-- | This unit functions as an audio compressor, limiter, expander, or
--   noise gate, using either soft-knee or hard-knee mapping, and with
--   dynamically variable performance characteristics. It takes two audio
--   input signals, aasig and acsig, the first of which is modified by a
--   running analysis of the second. Both signals can be the same, or the
--   first can be modified by a different controlling signal.
--   
--   compress first examines the controlling acsig by performing envelope
--   detection. This is directed by two control values katt and krel,
--   defining the attack and release time constants (in seconds) of the
--   detector. The detector rides the peaks (not the RMS) of the control
--   signal. Typical values are .01 and .1, the latter usually being
--   similar to ilook.
--   
--   The running envelope is next converted to decibels, then passed
--   through a mapping function to determine what compresser action (if
--   any) should be taken. The mapping function is defined by four decibel
--   control values. These are given as positive values, where 0 db
--   corresponds to an amplitude of 1, and 90 db corresponds to an
--   amplitude of 32768.
--   
--   <pre>
--   ar compress aasig, acsig, kthresh, kloknee, khiknee, kratio, katt, krel, ilook
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/compress.html</a>
compress :: Sig -> Sig -> Sig -> Sig -> Sig -> Sig -> Sig -> Sig -> D -> Sig

-- | This opcode dynamically modifies a gain value applied to the input
--   sound ain by comparing its power level to a given threshold level. The
--   signal will be compressed/expanded with different factors regarding
--   that it is over or under the threshold.
--   
--   <pre>
--   ares dam asig, kthreshold, icomp1, icomp2, irtime, iftime
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/dam.html</a>
dam :: Sig -> Sig -> D -> D -> D -> D -> Sig

-- | Clips an a-rate signal to a predefined limit, in a “soft” manner,
--   using one of three methods.
--   
--   <pre>
--   ares clip asig, imeth, ilimit [, iarg]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/clip.html</a>
clip :: Sig -> D -> D -> Sig

-- | Sets the lower and upper limits of the value it processes.
--   
--   <pre>
--   ares limit asig, klow, khigh
--   ires limit isig, ilow, ihigh
--   kres limit ksig, klow, khigh
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/limit.html</a>
limit :: Sig -> Sig -> Sig -> Sig

-- | Performs a sample-and-hold operation on its input.
--   
--   <pre>
--   ares samphold asig, agate [, ival] [, ivstor]
--   kres samphold ksig, kgate [, ival] [, ivstor]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/samphold.html</a>
samphold :: Sig -> Sig -> Sig

-- | Access values of the current buffer of an a-rate variable by indexing.
--   Useful for doing sample-by-sample manipulation at k-rate without using
--   setksmps 1.
--   
--   <pre>
--   kval vaget kndx, avar
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/vaget.html</a>
vaget :: Sig -> Sig -> Sig

-- | Write values into the current buffer of an a-rate variable at the
--   given index. Useful for doing sample-by-sample manipulation at k-rate
--   without using setksmps 1.
--   
--   <pre>
--   vaset kval, kndx, avar
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/vaset.html</a>
vaset :: Sig -> Sig -> Sig -> SE ()

-- | Distribute an audio signal amongst four channels with localization
--   control.
--   
--   <pre>
--   a1, a2, a3, a4 pan asig, kx, ky, ifn [, imode] [, ioffset]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pan.html</a>
pan :: Sig -> Sig -> Sig -> Tab -> (Sig, Sig, Sig, Sig)

-- | Distribute an audio signal across two channels with a choice of
--   methods.
--   
--   <pre>
--   a1, a2 pan2 asig, xp [, imode]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pan2.html</a>
pan2 :: Sig -> Sig -> (Sig, Sig)

-- | This opcode takes a source signal and spatialises it in the 3
--   dimensional space around a listener using head related transfer
--   function (HRTF) based filters. It produces a static output (azimuth
--   and elevation parameters are i-rate), because a static source allows
--   much more efficient processing than hrtfmove and hrtfmove2,.
--   
--   <pre>
--   aleft, aright hrtfstat asrc, iAz, iElev, ifilel, ifiler [,iradius, isr]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/hrtfstat.html</a>
hrtfstat :: Sig -> D -> D -> Str -> Str -> (Sig, Sig)

-- | This opcode takes a source signal and spatialises it in the 3
--   dimensional space around a listener by convolving the source with
--   stored head related transfer function (HRTF) based filters.
--   
--   <pre>
--   aleft, aright hrtfmove asrc, kAz, kElev, ifilel, ifiler [, imode, ifade, isr]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/hrtfmove.html</a>
hrtfmove :: Sig -> Sig -> Sig -> Str -> Str -> (Sig, Sig)

-- | This opcode takes a source signal and spatialises it in the 3
--   dimensional space around a listener using head related transfer
--   function (HRTF) based filters.
--   
--   <pre>
--   aleft, aright hrtfmove2 asrc, kAz, kElev, ifilel, ifiler [,ioverlap, iradius, isr]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/hrtfmove2.html</a>
hrtfmove2 :: Sig -> Sig -> Sig -> Str -> Str -> (Sig, Sig)

-- | Extend the duration of real-time generated events and handle their
--   extra life (Usually for usage along with release instead of linenr,
--   linsegr, etc).
--   
--   <pre>
--   xtratim iextradur
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/xtratim.html</a>
xtratim :: D -> SE ()


-- | Advanced Signal Processing
module Csound.Opcode.Advanced

-- | A basic frequency modulated oscillator.
--   
--   <pre>
--   ares foscil xamp, kcps, xcar, xmod, kndx, ifn [, iphs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/foscil.html</a>
foscil :: Amp -> Cps -> Sig -> Sig -> Sig -> Tab -> Sig

-- | Basic frequency modulated oscillator with linear interpolation.
--   
--   <pre>
--   ares foscili xamp, kcps, xcar, xmod, kndx, ifn [, iphs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/foscili.html</a>
foscili :: Amp -> Cps -> Sig -> Sig -> Sig -> Tab -> Sig
crossfm :: Cps -> Cps -> Sig -> Sig -> Sig -> Tab -> Tab -> (Sig, Sig)
crossfmi :: Cps -> Cps -> Sig -> Sig -> Sig -> Tab -> Tab -> (Sig, Sig)
crosspm :: Cps -> Cps -> Sig -> Sig -> Sig -> Tab -> Tab -> (Sig, Sig)
crosspmi :: Cps -> Cps -> Sig -> Sig -> Sig -> Tab -> Tab -> (Sig, Sig)
crossfmpm :: Cps -> Cps -> Sig -> Sig -> Sig -> Tab -> Tab -> (Sig, Sig)
crossfmpmi :: Cps -> Cps -> Sig -> Sig -> Sig -> Tab -> Tab -> (Sig, Sig)

-- | Distort an audio signal via waveshaping and optional clipping.
--   
--   <pre>
--   ar distort asig, kdist, ifn[, ihp, istor]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/distort.html</a>
distort :: Sig -> Sig -> Tab -> Sig

-- | Implementation of modified hyperbolic tangent distortion. distort1 can
--   be used to generate wave shaping distortion based on a modification of
--   the tanh function.
--   
--   <pre>
--          exp(asig * (shape1 + pregain)) - exp(asig * (shape2 - pregain))
--   aout = ---------------------------------------------------------------
--          exp(asig * pregain)            + exp(-asig * pregain)
--   </pre>
--   
--   <pre>
--   ares distort1 asig, kpregain, kpostgain, kshape1, kshape2[, imode]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/distort1.html</a>
distort1 :: Sig -> Sig -> Sig -> Sig -> Sig -> Sig

-- | The powershape opcode raises an input signal to a power with pre- and
--   post-scaling of the signal so that the output will be in a predictable
--   range. It also processes negative inputs in a symmetrical way to
--   positive inputs, calculating a dynamic transfer function that is
--   useful for waveshaping.
--   
--   <pre>
--   aout powershape ain, kShapeAmount [, ifullscale]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/powershape.html</a>
powershape :: Sig -> Sig -> Sig

-- | The polynomial opcode calculates a polynomial with a single a-rate
--   input variable. The polynomial is a sum of any number of terms in the
--   form kn*x^n where kn is the nth coefficient of the expression. These
--   coefficients are k-rate values.
--   
--   <pre>
--   aout polynomial ain, k0 [, k1 [, k2 [...]]]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/polynomial.html</a>
polynomial :: Sig -> [Sig] -> Sig

-- | The chebyshevpoly opcode calculates the value of a polynomial
--   expression with a single a-rate input variable that is made up of a
--   linear combination of the first N Chebyshev polynomials of the first
--   kind. Each Chebyshev polynomial, Tn(x), is weighted by a k-rate
--   coefficient, kn, so that the opcode is calculating a sum of any number
--   of terms in the form kn*Tn(x). Thus, the chebyshevpoly opcode allows
--   for the waveshaping of an audio signal with a dynamic transfer
--   function that gives precise control over the harmonic content of the
--   output.
--   
--   <pre>
--   aout chebyshevpoly ain, k0 [, k1 [, k2 [...]]]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/chebyshevpoly.html</a>
chebyshevpoly :: Sig -> [Sig] -> Sig

-- | A user controlled flanger.
--   
--   <pre>
--   ares flanger asig, adel, kfeedback [, imaxd]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/flanger.html</a>
flanger :: Sig -> Sig -> Sig -> Sig

-- | Analyze an audio input and generate harmonizing voices in synchrony.
--   
--   <pre>
--   ares harmon asig, kestfrq, kmaxvar, kgenfreq1, kgenfreq2, imode, \
--         iminfrq, iprd
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/harmon.html</a>
harmon :: Sig -> Sig -> Sig -> Sig -> Sig -> D -> D -> D -> Sig

-- | An implementation of iord number of first-order allpass filters in
--   series.
--   
--   <pre>
--   ares phaser1 asig, kfreq, kord, kfeedback [, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/phaser1.html</a>
phaser1 :: Sig -> Sig -> Sig -> Sig -> Sig

-- | An implementation of iord number of second-order allpass filters in
--   series.
--   
--   <pre>
--   ares phaser2 asig, kfreq, kq, kord, kmode, ksep, kfeedback
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/phaser2.html</a>
phaser2 :: Sig -> Sig -> Sig -> Sig -> Sig -> Sig -> Sig -> Sig

-- | The pdclip opcode allows a percentage of the input range of a signal
--   to be clipped to fullscale. It is similar to simply multiplying the
--   signal and limiting the range of the result, but pdclip allows you to
--   think about how much of the signal range is being distorted instead of
--   the scalar factor and has a offset parameter for assymetric clipping
--   of the signal range. pdclip is also useful for remapping phasors for
--   phase distortion synthesis.
--   
--   <pre>
--   aout pdclip ain, kWidth, kCenter [, ibipolar [, ifullscale]]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pdclip.html</a>
pdclip :: Sig -> Sig -> Sig -> Sig

-- | The pdhalf opcode is designed to emulate the <a>classic</a> phase
--   distortion synthesis method of the Casio CZ-series of synthesizers
--   from the mid-1980's. This technique reads the first and second halves
--   of a function table at different rates in order to warp the waveform.
--   For example, pdhalf can smoothly transform a sine wave into something
--   approximating the shape of a saw wave.
--   
--   <pre>
--   aout pdhalf ain, kShapeAmount [, ibipolar [, ifullscale]]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pdhalf.html</a>
pdhalf :: Sig -> Sig -> Sig -> Sig

-- | The pdhalfy opcode is a variation on the phase distortion synthesis
--   method of the pdhalf opcode. It is useful for distorting a phasor in
--   order to read two unequal portions of a table in the same number of
--   samples.
--   
--   <pre>
--   aout pdhalfy ain, kShapeAmount [, ibipolar [, ifullscale]]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pdhalfy.html</a>
pdhalfy :: Sig -> Sig -> Sig -> Sig

-- | A fast and robust method for approximating sound propagation,
--   achieving convincing Doppler shifts without having to solve equations.
--   The method computes frequency shifts based on reading an input delay
--   line at a delay time computed from the distance between source and mic
--   and the speed of sound. One instance of the opcode is required for
--   each dimension of space through which the sound source moves. If the
--   source sound moves at a constant speed from in front of the
--   microphone, through the microphone, to behind the microphone, then the
--   output will be frequency shifted above the source frequency at a
--   constant frequency while the source approaches, then discontinuously
--   will be shifted below the source frequency at a constant frequency as
--   the source recedes from the microphone. If the source sound moves at a
--   constant speed through a point to one side of the microphone, then the
--   rate of change of position will not be constant, and the familiar
--   Doppler frequency shift typical of a siren or engine approaching and
--   receding along a road beside a listener will be heard.
--   
--   <pre>
--   ashifted doppler asource, ksourceposition, kmicposition [, isoundspeed, ifiltercutoff]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/doppler.html</a>
doppler :: Sig -> Sig -> Sig -> Sig

-- | Audio output is a succession of sinusoid bursts initiated at frequency
--   xfund with a spectral peak at xform. For xfund above 25 Hz these burts
--   produce a speech-like formant with spectral characteristics determined
--   by the k-input parameters. For lower fundamentals this generator
--   provides a special form of granular synthesis.
--   
--   <pre>
--   ar fof xamp, xfund, xform, koct, kband, kris, kdur, kdec, iolaps, ifna, ifnb, itotdur, [iphs, ifmode]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/fof.html</a>
fof :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Sig -> Sig -> D -> Tab -> Tab -> D -> Sig

-- | Convolution based on a uniformly partitioned overlap-save algorithm.
--   Compared to the convolve opcode, pconvolve has these benefits:
--   
--   <ul>
--   <li>small delay</li>
--   <li>possible to run in real-time for shorter impulse files</li>
--   <li>no pre-process analysis pass</li>
--   <li>can often render faster than convolve</li>
--   </ul>
--   
--   <pre>
--   ar1 [, ar2] [, ar3] [, ar4] pconvolve ain, ifilcod [, ipartitionsize, ichannel]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pconvolve.html</a>
pconvolve :: CsdTuple a => Sig -> Str -> a

-- | Output is the convolution of signal ain and the impulse response
--   contained in ifilcod. If more than one output signal is supplied, each
--   will be convolved with the same impulse response. Note that it is
--   considerably more efficient to use one instance of the operator when
--   processing a mono input to create stereo, or quad, outputs.
--   
--   <pre>
--   ar1 [, ar2] [, ar3] [, ar4] convolve ain, ifilcod [, ichannel]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/convolve.html</a>
convolve :: CsdTuple a => Sig -> D -> a

-- | Low latency multichannel convolution, using a function table as
--   impulse response source. The algorithm is to split the impulse
--   response to partitions of length determined by the iplen parameter,
--   and delay and mix partitions so that the original, full length impulse
--   response is reconstructed without gaps. The output delay (latency) is
--   iplen samples, and does not depend on the control rate, unlike in the
--   case of other convolve opcodes.
--   
--   <pre>
--   a1[, a2[, a3[, ... a8]]] ftconv ain, ift, iplen[, iskipsamples \
--        [, iirlen[, iskipinit]]]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/ftconv.html</a>
ftconv :: CsdTuple a => Sig -> Tab -> D -> a

-- | A direct convolution opcode.
--   
--   <pre>
--   ares dconv asig, isize, ifn
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/dconv.html</a>
dconv :: Sig -> D -> Tab -> Sig

-- | Generate an fsig from a mono audio source ain, using phase vocoder
--   overlap-add analysis.
--   
--   <pre>
--   fsig pvsanal ain, ifftsize, ioverlap, iwinsize, iwintype [, iformat] [, iinit]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsanal.html</a>
pvsanal :: Sig -> D -> D -> D -> D -> Spec

-- | pvstanal implements phase vocoder analysis by reading function tables
--   containing sampled-sound sources, with GEN01, and pvstanal will accept
--   deferred allocation tables.
--   
--   This opcode allows for time and frequency-independent scaling. Time is
--   advanced internally, but controlled by a tempo scaling parameter; when
--   an onset is detected, timescaling is momentarily stopped to avoid
--   smearing of attacks. The quality of the effect is generally improved
--   with phase locking switched on.
--   
--   pvstanal will also scale pitch, independently of frequency, using a
--   transposition factor (k-rate).
--   
--   <pre>
--   fsig pvstanal ktimescal, kamp, kpitch, ktab, [kdetect, kwrap, ioffset,ifftsize, ihop, idbthresh]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvstanal.html</a>
pvstanal :: Sig -> Sig -> Sig -> Sig -> Spec

-- | Resynthesise phase vocoder data (f-signal) using a FFT overlap-add.
--   
--   <pre>
--   ares pvsynth fsrc, [iinit]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsynth.html</a>
pvsynth :: Spec -> Sig

-- | Resynthesize using a fast oscillator-bank.
--   
--   <pre>
--   ares pvsadsyn fsrc, inoscs, kfmod [, ibinoffset] [, ibinincr] [, iinit]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsadsyn.html</a>
pvsadsyn :: Spec -> D -> Sig -> Sig

-- | This opcode writes a fsig to a PVOCEX file (which in turn can be read
--   by pvsfread or other programs that support PVOCEX file input).
--   
--   <pre>
--   pvsfwrite fsig, ifile
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsfwrite.html</a>
pvswrite :: Spec -> Str -> SE ()

-- | Create an fsig stream by reading a selected channel from a PVOC-EX
--   analysis file loaded into memory, with frame interpolation. Only
--   format 0 files (amplitude+frequency) are currently supported. The
--   operation of this opcode mirrors that of pvoc, but outputs an fsig
--   instead of a resynthesized signal.
--   
--   <pre>
--   fsig pvsfread ktimpt, ifn [, ichan]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsfread.html</a>
pvsfread :: Sig -> Str -> Spec

-- | Create an fsig stream by reading a selected channel from a PVOC-EX
--   analysis file, with frame interpolation.
--   
--   <pre>
--   fsig pvsdiskin SFname,ktscal,kgain[,ioffset, ichan]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsdiskin.html</a>
pvsdiskin :: Str -> Sig -> Sig -> Spec

-- | Get format information about fsrc, whether created by an opcode such
--   as pvsanal, or obtained from a PVOCEX file by pvsfread. This
--   information is available at init time, and can be used to set
--   parameters for other pvs opcodes, and in particular for creating
--   function tables (e.g. for pvsftw), or setting the number of
--   oscillators for pvsadsyn.
--   
--   <pre>
--   ioverlap, inumbins, iwinsize, iformat pvsinfo fsrc
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsinfo.html</a>
pvsinfo :: Spec -> (D, D, D, D)

-- | Obtain the amp and freq values off a PVS signal bin as k-rate
--   variables.
--   
--   <pre>
--   kamp, kfr pvsbin fsig, kbin
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsbin.html</a>
pvsbin :: Spec -> Sig -> (Sig, Sig)

-- | Calculate the spectral centroid of a signal from its discrete Fourier
--   transform.
--   
--   <pre>
--   kcent pvscent fsig
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvscent.html</a>
pvscent :: Spec -> Sig

-- | Scale the frequency components of a pv stream, resulting in pitch
--   shift. Output amplitudes can be optionally modified in order to
--   attempt formant preservation.
--   
--   <pre>
--   fsig pvscale fsigin, kscal[, kkeepform, kgain, kcoefs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvscale.html</a>
pvscale :: Spec -> Sig -> Spec

-- | Shift the frequency components of a pv stream, stretching/compressing
--   its spectrum.
--   
--   <pre>
--   fsig pvshift fsigin, kshift, klowest[, kkeepform, igain, kcoefs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvshift.html</a>
pvshift :: Spec -> Sig -> Sig -> Spec

-- | Filter the pvoc frames, passing bins whose frequency is within a band,
--   and with linear interpolation for transitional bands.
--   
--   <pre>
--   fsig pvsbandp fsigin, xlowcut, xlowfull, \
--         xhighfull, xhighcut[, ktype]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsbandp.html</a>
pvsbandp :: Spec -> Sig -> Sig -> Sig -> Sig -> Spec

-- | Filter the pvoc frames, rejecting bins whose frequency is within a
--   band, and with linear interpolation for transitional bands.
--   
--   <pre>
--   fsig pvsbandr fsigin, xlowcut, xlowfull, \
--         xhighfull, xhighcut[, ktype]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsbandr.html</a>
pvsbandr :: Spec -> Sig -> Sig -> Sig -> Sig -> Spec

-- | Mix <tt>seamlessly</tt> two pv signals. This opcode combines the most
--   prominent components of two pvoc streams into a single mixed stream.
--   
--   <pre>
--   fsig pvsmix fsigin1, fsigin2
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsmix.html</a>
pvsmix :: Spec -> Spec -> Spec

-- | Performs cross-synthesis between two source fsigs.
--   
--   <pre>
--   fsig pvscross fsrc, fdest, kamp1, kamp2
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvscross.html</a>
pvscross :: Spec -> Spec -> Sig -> Sig -> Spec

-- | Multiply amplitudes of a pvoc stream by those of a second pvoc stream,
--   with dynamic scaling.
--   
--   <pre>
--   fsig pvsfilter fsigin, fsigfil, kdepth[, igain]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsfilter.html</a>
pvsfilter :: Spec -> Spec -> Sig -> Spec

-- | This opcode provides support for cross-synthesis of amplitudes and
--   frequencies. It takes the amplitudes of one input fsig and combines
--   with frequencies from another. It is a spectral version of the
--   well-known channel vocoder.
--   
--   <pre>
--   fsig pvsvoc famp, fexc, kdepth, kgain [,kcoefs]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsvoc.html</a>
pvsvoc :: Spec -> Spec -> Sig -> Sig -> Spec

-- | Performs morphing (or interpolation) between two source fsigs.
--   
--   <pre>
--   fsig pvsmorph fsrc, fdest, kamp1, kamp2
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsmotph.html</a>
pvsmorph :: Spec -> Spec -> Sig -> Sig -> Spec

-- | This opcodes <tt>freezes</tt> the evolution of pvs stream by locking
--   into steady amplitude and/or frequency values for each bin. The
--   freezing is controlled, independently for amplitudes and frequencies,
--   by a control-rate trigger, which switches the freezing <tt>on</tt> if
--   equal to or above 1 and <tt>off</tt> if below 1.
--   
--   <pre>
--   fsig pvsfreeze fsigin, kfreeza, kfreezf
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsfreeze.html</a>
pvsfreeze :: Spec -> Sig -> Sig -> Sig

-- | Modify amplitudes of fsrc using function table, with dynamic scaling.
--   
--   <pre>
--   fsig pvsmaska fsrc, ifn, kdepth
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsmaska.html</a>
pvsmaska :: Spec -> Tab -> Sig -> Spec

-- | Average the amp/freq time functions of each analysis channel for a
--   specified time (truncated to number of frames). As a side-effect the
--   input pvoc stream will be delayed by that amount.
--   
--   <pre>
--   fsig pvsblur fsigin, kblurtime, imaxdel
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsblur.html</a>
pvsblur :: Spec -> Sig -> D -> Spec

-- | Transforms a pvoc stream according to a masking function table; if the
--   pvoc stream amplitude falls below the value of the function for a
--   specific pvoc channel, it applies a gain to that channel.
--   
--   The pvoc stream amplitudes are compared to a masking table, if the
--   fall below the table values, they are scaled by kgain. Prior to the
--   operation, table values are scaled by klevel, which can be used as
--   masking depth control.
--   
--   Tables have to be at least fftsize/2 in size; for most GENS it is
--   important to use an extended-guard point (size power-of-two plus one),
--   however this is not necessary with GEN43.
--   
--   One of the typical uses of pvstencil would be in noise reduction. A
--   noise print can be analysed with pvanal into a PVOC-EX file and loaded
--   in a table with GEN43. This then can be used as the masking table for
--   pvstencil and the amount of reduction would be controlled by kgain.
--   Skipping post-normalisation will keep the original noise print average
--   amplitudes. This would provide a good starting point for a successful
--   noise reduction (so that klevel can be generally set to close to 1).
--   
--   Other possible transformation effects are possible, such as filtering
--   and `inverse-masking'.
--   
--   <pre>
--   fsig pvstencil fsigin, kgain, klevel, iftable
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvstencil.html</a>
pvstencil :: Spec -> Sig -> Sig -> Tab -> Sig

-- | This opcode arpeggiates spectral components, by amplifying one bin and
--   attenuating all the others around it. Used with an LFO it will provide
--   a spectral arpeggiator similar to Trevor Wishart's CDP program
--   specarp.
--   
--   <pre>
--   fsig pvsarp fsigin, kbin, kdepth, kgain
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsarp.html</a>
pvsarp :: Spec -> Sig -> Sig -> Sig -> Spec

-- | Smooth the amplitude and frequency time functions of a pv stream using
--   a 1st order lowpass IIR with time-varying cutoff frequency. This
--   opcode uses the same filter as the tone opcode, but this time acting
--   separately on the amplitude and frequency time functions that make up
--   a pv stream. The cutoff frequency parameter runs at the control-rate,
--   but unlike tone and tonek, it is not specified in Hz, but as fractions
--   of 1/2 frame-rate (actually the pv stream sampling rate), which is
--   easier to understand. This means that the highest cutoff frequency is
--   1 and the lowest 0; the lower the frequency the smoother the functions
--   and more pronounced the effect will be.
--   
--   These are filters applied to control signals so the effect is
--   basically blurring the spectral evolution. The effects produced are
--   more or less similar to pvsblur, but with two important differences:
--   1.smoothing of amplitudes and frequencies use separate sets of
--   filters; and 2. there is no increase in computational cost when higher
--   amounts of <a>blurring</a> (smoothing) are desired.
--   
--   <pre>
--   fsig pvsmooth fsigin, kacf, kfcf
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pvsmooth.html</a>
pvsmooth :: Spec -> Sig -> Sig -> Spec

-- | An audio signal is modified by a string resonator with variable
--   fundamental frequency.
--   
--   <pre>
--   ares streson asig, kfr, ifdbgain
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/streson.html</a>
streson :: Sig -> Sig -> D -> Sig

-- | Audio output is a naturally decaying plucked string or drum sound
--   based on the Karplus-Strong algorithms.
--   
--   <pre>
--   ares pluck kamp, kcps, icps, ifn, imeth [, iparm1] [, iparm2]     
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pluck.html</a>
pluck :: Amp -> Cps -> Icps -> Tab -> D -> Sig

-- | repluck is an implementation of the physical model of the plucked
--   string. A user can control the pluck point, the pickup point, the
--   filter, and an additional audio signal, axcite. axcite is used to
--   excite the <tt>string</tt>. Based on the Karplus-Strong algorithm.
--   
--   <pre>
--   ares repluck iplk, kamp, icps, kpick, krefl, axcite
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/repluck.html</a>
repluck :: D -> Amp -> Icps -> Sig -> Sig -> Sig -> Sig

-- | Audio output is a tone similar to a bowed string, using a physical
--   model developed from Perry Cook, but re-coded for Csound.
--   
--   <pre>
--   ares wgbow kamp, kfreq, kpres, krat, kvibf, kvamp, ifn [, iminfreq]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/wgbow.html</a>
wgbow :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Tab -> Sig

-- | A physical model of a bowed bar, belonging to the Perry Cook family of
--   waveguide instruments.
--   
--   <pre>
--   ares wgbowedbar kamp, kfreq, kpos, kbowpres, kgain [, iconst] [, itvel] \
--        [, ibowpos] [, ilow]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/wgbowedbar.html</a>
wgbowedbar :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig

-- | Audio output is a tone related to a brass instrument, using a physical
--   model developed from Perry Cook, but re-coded for Csound.
--   
--   <pre>
--   ares wgbrass kamp, kfreq, ktens, iatt, kvibf, kvamp, ifn [, iminfreq]   
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/wgbrass.html</a>
wgbrass :: Amp -> Cps -> Sig -> D -> Sig -> Sig -> Tab -> Sig

-- | Audio output is a tone similar to a clarinet, using a physical model
--   developed from Perry Cook, but re-coded for Csound.
--   
--   <pre>
--   ares wgclar kamp, kfreq, kstiff, iatt, idetk, kngain, kvibf, kvamp, ifn \
--         [, iminfreq]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/wgclar.html</a>
wgclar :: Amp -> Cps -> Sig -> D -> D -> Sig -> Sig -> Sig -> Tab -> Sig

-- | Audio output is a tone similar to a flute, using a physical model
--   developed from Perry Cook, but re-coded for Csound.
--   
--   <pre>
--   ares wgflute kamp, kfreq, kjet, iatt, idetk, kngain, kvibf, kvamp, ifn \
--        [, iminfreq] [, ijetrf] [, iendrf]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/wgflute.html</a>
wgflute :: Amp -> Cps -> Sig -> D -> D -> Sig -> Sig -> Sig -> Tab -> Sig

-- | A high fidelity simulation of a plucked string, using interpolating
--   delay-lines.
--   
--   <pre>
--   ares wgpluck icps, iamp, kpick, iplk, idamp, ifilt, axcite
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/wgpluck.html</a>
wgpluck :: Icps -> Iamp -> Sig -> D -> D -> D -> Sig -> Sig

-- | wgpluck2 is an implementation of the physical model of the plucked
--   string, with control over the pluck point, the pickup point and the
--   filter. Based on the Karplus-Strong algorithm.
--   
--   <pre>
--   ares wgpluck2 iplk, kamp, icps, kpick, krefl
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/wgpluck2.html</a>
wgpluck2 :: D -> Amp -> D -> Sig -> Sig -> Sig

-- | A simple waveguide model consisting of one delay-line and one
--   first-order lowpass filter.
--   
--   <pre>
--   ares wguide1 asig, xfreq, kcutoff, kfeedback
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/wguide1.html</a>
wguide1 :: Amp -> Cps -> Sig -> Sig -> Sig

-- | A model of beaten plate consisting of two parallel delay-lines and two
--   first-order lowpass filters.
--   
--   <pre>
--   ares wguide2 asig, xfreq1, xfreq2, kcutoff1, kcutoff2, \
--         kfeedback1, kfeedback2
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/wguide2.html</a>
wguide2 :: Amp -> Cps -> Cps -> Sig -> Sig -> Sig -> Sig -> Sig

-- | Uses FM synthesis to create a Hammond B3 organ sound. It comes from a
--   family of FM sounds, all using 4 basic oscillators and various
--   architectures, as used in the TX81Z synthesizer.
--   
--   <pre>
--   ares fmb3 kamp, kfreq, kc1, kc2, kvdepth, kvrate, ifn1, ifn2, ifn3, \
--        ifn4, ivfn
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/fmb3.html</a>
fmb3 :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Tab -> Tab -> Tab -> Tab -> Tab -> Sig

-- | Uses FM synthesis to create a tublar bell sound. It comes from a
--   family of FM sounds, all using 4 basic oscillators and various
--   architectures, as used in the TX81Z synthesizer.
--   
--   <pre>
--   ares fmbell kamp, kfreq, kc1, kc2, kvdepth, kvrate, ifn1, ifn2, ifn3, \
--         ifn4, ivfn[, isus]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/fmbell.html</a>
fmbell :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Tab -> Tab -> Tab -> Tab -> Tab -> Sig

-- | Uses FM synthesis to create a “Heavy Metal” sound. It comes from a
--   family of FM sounds, all using 4 basic oscillators and various
--   architectures, as used in the TX81Z synthesizer.
--   
--   <pre>
--   ares fmmetal kamp, kfreq, kc1, kc2, kvdepth, kvrate, ifn1, ifn2, ifn3, \
--         ifn4, ivfn
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/fmmetal.html</a>
fmmetal :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Tab -> Tab -> Tab -> Tab -> Tab -> Sig

-- | Uses FM synthesis to create a percussive flute sound. It comes from a
--   family of FM sounds, all using 4 basic oscillators and various
--   architectures, as used in the TX81Z synthesizer.
--   
--   <pre>
--   ares fmpercfl kamp, kfreq, kc1, kc2, kvdepth, kvrate, ifn1, ifn2, \
--         ifn3, ifn4, ivfn
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/fmpercfl.html</a>
fmpercfl :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Tab -> Tab -> Tab -> Tab -> Tab -> Sig

-- | Uses FM synthesis to create a Fender Rhodes electric piano sound. It
--   comes from a family of FM sounds, all using 4 basic oscillators and
--   various architectures, as used in the TX81Z synthesizer.
--   
--   <pre>
--   ares fmrhode kamp, kfreq, kc1, kc2, kvdepth, kvrate, ifn1, ifn2, \
--         ifn3, ifn4, ivfn
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/fmrhode.html</a>
fmrhode :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Tab -> Tab -> Tab -> Tab -> Tab -> Sig

-- | FM Singing Voice Synthesis
--   
--   <pre>
--   ares fmvoice kamp, kfreq, kvowel, ktilt, kvibamt, kvibrate, ifn1, \
--        ifn2, ifn3, ifn4, ivibfn
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/fmvoice.html</a>
fmvoice :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Tab -> Tab -> Tab -> Tab -> Tab -> Sig
fmwurlie :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Tab -> Tab -> Tab -> Tab -> Tab -> Sig

-- | bamboo is a semi-physical model of a bamboo sound.
--   
--   <pre>
--   ares bamboo kamp, idettack [, inum] [, idamp] [, imaxshake] [, ifreq] \
--        [, ifreq1] [, ifreq2]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/bamboo.html</a>
bamboo :: Amp -> D -> Sig

-- | cabasa is a semi-physical model of a cabasa sound.
--   
--   <pre>
--   ares cabasa iamp, idettack [, inum] [, idamp] [, imaxshake]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/cabasa.html</a>
cabasa :: Iamp -> D -> Sig

-- | crunch is a semi-physical model of a crunch sound.
--   
--   <pre>
--   ares crunch iamp, idettack [, inum] [, idamp] [, imaxshake]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/crunch.html</a>
crunch :: Iamp -> D -> Sig

-- | dripwater is a semi-physical model of a water drop.
--   
--   <pre>
--   ares dripwater kamp, idettack [, inum] [, idamp] [, imaxshake] [, ifreq] \
--         [, ifreq1] [, ifreq2]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/dripwater.html</a>
dripwater :: Amp -> D -> Sig

-- | guiro is a semi-physical model of a guiro sound.
--   
--   <pre>
--   ares guiro kamp, idettack [, inum] [, idamp] [, imaxshake] [, ifreq] [, ifreq1]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/guiro.html</a>
guiro :: Amp -> D -> Sig

-- | sandpaper is a semi-physical model of a sandpaper sound.
--   
--   <pre>
--   ares sandpaper iamp, idettack [, inum] [, idamp] [, imaxshake]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/sandpaper.html</a>
sandpaper :: Iamp -> D -> Sig

-- | sekere is a semi-physical model of a sekere sound.
--   
--   <pre>
--   ares sekere iamp, idettack [, inum] [, idamp] [, imaxshake]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/sekere.html</a>
sekere :: Iamp -> D -> Sig

-- | sleighbells is a semi-physical model of a sleighbell sound.
--   
--   <pre>
--   ares sleighbells kamp, idettack [, inum] [, idamp] [, imaxshake] [, ifreq] \
--        [, ifreq1] [, ifreq2]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/sleighbells.html</a>
sleighbells :: Amp -> D -> Sig

-- | stix is a semi-physical model of a stick sound.
--   
--   <pre>
--   ares stix iamp, idettack [, inum] [, idamp] [, imaxshake]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/stix.html</a>
stix :: Iamp -> D -> Sig

-- | tambourine is a semi-physical model of a tambourine sound.
--   
--   <pre>
--   ares tambourine kamp, idettack [, inum] [, idamp] [, imaxshake] [, ifreq] \
--        [, ifreq1] [, ifreq2]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/tambourine.html</a>
tambourine :: Amp -> D -> Sig

-- | Audio output is a tone related to the striking of a cow bell or
--   similar.
--   
--   <pre>
--   ares gogobel kamp, kfreq, ihrd, ipos, imp, kvibf, kvamp, ivfn
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/gogobel.html</a>
gogobel :: Amp -> Cps -> D -> D -> D -> Sig -> Sig -> Tab -> Sig

-- | Audio output is a tone related to the striking of a wooden block as
--   found in a marimba.
--   
--   <pre>
--   ares marimba kamp, kfreq, ihrd, ipos, imp, kvibf, kvamp, ivibfn, idec \
--        [, idoubles] [, itriples]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/marimba.html</a>
marimba :: Amp -> Cps -> D -> D -> Tab -> Sig -> Sig -> Tab -> D -> Sig

-- | Audio output is a tone related to the shaking of a maraca or similar
--   gourd instrument.
--   
--   <pre>
--   ares shaker kamp, kfreq, kbeans, kdamp, ktimes [, idecay]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/shaker.html</a>
shaker :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig

-- | Audio output is a tone related to the striking of a metal block as
--   found in a vibraphone.
--   
--   <pre>
--   ares vibes kamp, kfreq, ihrd, ipos, imp, kvibf, kvamp, ivibfn, idec
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/vibes.html</a>
vibes :: Amp -> Cps -> D -> D -> Tab -> Sig -> Sig -> Tab -> D -> Sig

-- | Audio output is a tone similar to a struck metal bar, using a physical
--   model developed from solving the partial differential equation. There
--   are controls over the boundary conditions as well as the bar
--   characteristics.
--   
--   <pre>
--   ares barmodel kbcL, kbcR, iK, ib, kscan, iT30, ipos, ivel, iwid
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/barmodel.html</a>
barmodel :: Sig -> Sig -> D -> D -> Sig -> D -> D -> D -> D -> Sig

-- | An emulation of a mandolin.
--   
--   <pre>
--   ares mandol kamp, kfreq, kpluck, kdetune, kgain, ksize, ifn [, iminfreq]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/mandol.html</a>
mandol :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Tab -> Sig

-- | An emulation of a mini-Moog synthesizer.
--   
--   <pre>
--   ares moog kamp, kfreq, kfiltq, kfiltrate, kvibf, kvamp, iafn, iwfn, ivfn
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/moog.html</a>
moog :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Tab -> Tab -> Tab -> Sig

-- | An emulation of a human voice.
--   
--   <pre>
--   ares voice kamp, kfreq, kphoneme, kform, kvibf, kvamp, ifn, ivfn
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/voice.html</a>
voice :: Amp -> Cps -> Sig -> Sig -> Sig -> Sig -> Sig -> Tab -> Tab -> Sig


-- | Realtime Interaction
module Csound.Opcode.Interaction

-- | Get the note number of the current MIDI event, expressed in
--   cycles-per-second.
--   
--   <pre>
--   icps cpsmidi
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/cpsmidi.html</a>
cpsmidi :: Msg -> D

-- | Get the velocity of the current MIDI event.
--   
--   <pre>
--   iamp ampmidi iscal [, ifn]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/ampmidi.html</a>
ampmidi :: Msg -> D

-- | Get the current pitch-bend value for this channel.
--   
--   <pre>
--   kbend pchbend [imin] [, imax]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pchbend.html</a>
pchbend :: Msg -> Sig

-- | Get the current after-touch value for this channel.
--   
--   <pre>
--   kaft aftouch [imin] [, imax]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/.html</a>
aftouch :: Msg -> Sig

-- | Allows a floating-point 7-bit MIDI signal scaled with a minimum and a
--   maximum range.
--   
--   <pre>
--   idest ctrl7 ichan, ictlno, imin, imax [, ifn]
--   kdest ctrl7 ichan, ictlno, kmin, kmax [, ifn]
--   adest ctrl7 ichan, ictlno, kmin, kmax [, ifn] [, icutoff]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/ctrl7.html</a>
ctrl7 :: D -> D -> Sig -> Sig -> Sig

-- | Returns the ASCII code of a key that has been pressed, or -1 if no key
--   has been pressed.
--   
--   <pre>
--   kres[, kkeydown] sensekey
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/sensekey.html</a>
sensekey :: (Sig, Sig)

-- | Sense the cursor position in an output window. When xyin is called the
--   position of the mouse within the output window is used to reply to the
--   request. This simple mechanism does mean that only one xyin can be
--   used accurately at once. The position of the mouse is reported in the
--   output window.
--   
--   <pre>
--   kx, ky xyin iprd, ixmin, ixmax, iymin, iymax [, ixinit] [, iyinit]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/xyin.html</a>
xyin :: D -> D -> D -> D -> D -> (Sig, Sig)


-- | Data
module Csound.Opcode.Data

-- | Accesses table values by direct indexing.
--   
--   <pre>
--   ares table andx, ifn [, ixmode] [, ixoff] [, iwrap]
--   ires table indx, ifn [, ixmode] [, ixoff] [, iwrap]
--   kres table kndx, ifn [, ixmode] [, ixoff] [, iwrap]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/table.html</a>
table :: Sig -> Tab -> Sig

-- | Accesses table values by direct indexing with linear interpolation.
--   
--   <pre>
--   ares tablei andx, ifn [, ixmode] [, ixoff] [, iwrap]
--   ires tablei indx, ifn [, ixmode] [, ixoff] [, iwrap]
--   kres tablei kndx, ifn [, ixmode] [, ixoff] [, iwrap]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/tablei.html</a>
tablei :: Sig -> Tab -> Sig

-- | Accesses table values by direct indexing with cubic interpolation.
--   
--   <pre>
--   ares table3 andx, ifn [, ixmode] [, ixoff] [, iwrap]
--   ires table3 indx, ifn [, ixmode] [, ixoff] [, iwrap]
--   kres table3 kndx, ifn [, ixmode] [, ixoff] [, iwrap]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/table3.html</a>
table3 :: Sig -> Tab -> Sig

-- | Accesses table values by direct indexing.
--   
--   <pre>
--   ires table indx, ifn [, ixmode] [, ixoff] [, iwrap]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/table.html</a>
tableD :: D -> Tab -> D

-- | Accesses table values by direct indexing with linear interpolation.
--   
--   <pre>
--   ires tablei indx, ifn [, ixmode] [, ixoff] [, iwrap]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/tablei.html</a>
tableiD :: D -> Tab -> D

-- | Accesses table values by direct indexing with cubic interpolation.
--   
--   <pre>
--   ires table3 indx, ifn [, ixmode] [, ixoff] [, iwrap]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/table3.html</a>
table3D :: D -> Tab -> D

-- | Fast table opcodes. Faster than table and tablew because don't allow
--   wrap-around and limit and don't check index validity. Have been
--   implemented in order to provide fast access to arrays. Support
--   non-power of two tables (can be generated by any GEN function by
--   giving a negative length value).
--   
--   <pre>
--   ir tab_i indx, ifn[, ixmode]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/tab.html</a>
tab_i :: D -> Tab -> D

-- | Fast table opcodes. Faster than table and tablew because don't allow
--   wrap-around and limit and don't check index validity. Have been
--   implemented in order to provide fast access to arrays. Support
--   non-power of two tables (can be generated by any GEN function by
--   giving a negative length value).
--   
--   <pre>
--   kr tab kndx, ifn[, ixmode]
--   ar tab xndx, ifn[, ixmode]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/tab.html</a>
tab :: Sig -> Tab -> Sig

-- | Reads from numbered channels in an external audio signal or stream.
--   
--   <pre>
--   ain1[, ...] inch kchan1[,...]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/inch.html</a>
inch :: CsdTuple a => [Sig] -> a

-- | Writes multi-channel audio data, with user-controllable channels, to
--   an external device or stream.
--   
--   <pre>
--   outch kchan1, asig1 [, kchan2] [, asig2] [...]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/outch.html</a>
outch :: [(Sig, Sig)] -> SE ()

-- | This opcode implements a crossfading looper with variable loop
--   parameters and three looping modes, optionally using a table for its
--   crossfade shape. It accepts non-power-of-two tables for its source
--   sounds, such as deferred-allocation GEN01 tables.
--   
--   <pre>
--   asig flooper2 kamp, kpitch, kloopstart, kloopend, kcrossfade, ifn \
--         [, istart, imode, ifenv, iskip]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/flooper2.html</a>
flooper2 :: Sig -> Sig -> Sig -> Sig -> Sig -> Tab -> Sig

-- | This opcode records input audio and plays it back in a loop with
--   user-defined duration and crossfade time. It also allows the pitch of
--   the loop to be controlled, including reversed playback.
--   
--   <pre>
--   asig, krec sndloop ain, kpitch, ktrig, idur, ifad
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/sndloop.html</a>
sndloop :: Sig -> Sig -> Sig -> D -> D -> (Sig, Sig)

-- | Reads audio data from an external device or stream. Up to 24 channels
--   may be read before v5.14, extended to 40 in later versions.
--   
--   <pre>
--   ar1[, ar2[, ar3[, ... a24]]] soundin ifilcod [, iskptim] [, iformat] \
--        [, iskipinit] [, ibufsize]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/soundin.html</a>
soundin :: CsdTuple a => Str -> a

-- | Reads audio data from a file, and can alter its pitch using one of
--   several available interpolation types, as well as convert the sample
--   rate to match the orchestra sr setting. diskin2 can also read
--   multichannel files with any number of channels in the range 1 to 24 in
--   versions before 5.14, and 40 after. . diskin2 allows more control and
--   higher sound quality than diskin, but there is also the disadvantage
--   of higher CPU usage.
--   
--   <pre>
--   a1[, a2[, ... aN]] diskin2 ifilcod, kpitch[, iskiptim \
--         [, iwrap[, iformat [, iwsize[, ibufsize[, iskipinit]]]]]]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/diskin2.html</a>
diskin2 :: CsdTuple a => Str -> Cps -> a

-- | Reads stereo audio data from an external MP3 file.
--   
--   <pre>
--   ar1, ar2 mp3in ifilcod[, iskptim, iformat, iskipinit, ibufsize]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/mp3in.html</a>
mp3in :: Str -> (Sig, Sig)

-- | Returns the length of a sound file.
--   
--   <pre>
--   ir filelen ifilcod, [iallowraw]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/filelen.html</a>
filelen :: Str -> D

-- | Returns the sample rate of a sound file.
--   
--   <pre>
--   ir filesr ifilcod [, iallowraw]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/filesr.html</a>
filesr :: Str -> D

-- | Returns the number of channels in a sound file.
--   
--   <pre>
--   ir filenchnls ifilcod [, iallowraw]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/filechnls.html</a>
filenchnls :: Str -> D

-- | Returns the peak absolute value of a sound file.
--   
--   <pre>
--   ir filepeak ifilcod [, ichnl]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/filepeak.html</a>
filepeak :: Str -> D

-- | Returns the number of bits in each sample in a sound file.
--   
--   <pre>
--   ir filebit ifilcod [, iallowraw]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/filebit.html</a>
filebit :: Str -> D

-- | fout outputs N a-rate signals to a specified file of N channels.
--   
--   <pre>
--   fout ifilename, iformat, aout1 [, aout2, aout3,...,aoutN]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/fout.html</a>
fout :: [Sig] -> SE ()

-- | Floating number types: <a>Sig</a> or <a>D</a>.
class Val a => Nums a

-- | Modify a signal by down-sampling.
--   
--   <pre>
--   kres downsamp asig [, iwlen]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/downsamp.html</a>
downsamp :: Sig -> Sig

-- | Modify a signal by up-sampling.
--   
--   <pre>
--   ares upsamp ksig
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/upsamp.html</a>
upsamp :: Sig -> Sig

-- | Converts a control signal to an audio signal using linear
--   interpolation.
--   
--   <pre>
--   ares interp ksig [, iskip] [, imode]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/interp.html</a>
interp :: Sig -> Sig

-- | Returns the amplitude equivalent of the decibel value x. Thus:
--   
--   <ul>
--   <li>60 dB = 1000</li>
--   <li>66 dB = 1995.262</li>
--   <li>72 dB = 3891.07</li>
--   <li>78 dB = 7943.279</li>
--   <li>84 dB = 15848.926</li>
--   <li>90 dB = 31622.764</li>
--   </ul>
--   
--   <pre>
--   ampdb(x)  (no rate restriction)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/ampdb.html</a>
ampdb :: Nums a => a -> a

-- | Returns the amplitude equivalent of the full scale decibel (dB FS)
--   value x. The logarithmic full scale decibel values will be converted
--   to linear 16-bit signed integer values from −32,768 to +32,767.
--   
--   <pre>
--   ampdbfs(x)  (no rate restriction)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/ampdbfs.html</a>
ampdbfs :: Nums a => a -> a

-- | Returns the decibel equivalent of the raw amplitude x.
--   
--   <pre>
--   dbamp(x)  (init-rate or control-rate args only)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/dbamp.html</a>
dbamp :: Nums a => a -> a

-- | Returns the decibel equivalent of the raw amplitude x, relative to
--   full scale amplitude. Full scale is assumed to be 16 bit. New is
--   Csound version 4.10.
--   
--   <pre>
--   dbfsamp(x)  (init-rate or control-rate args only)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/dbfsamp.html</a>
dbfsamp :: Nums a => a -> a

-- | Calculates a factor to raise/lower a frequency by a given amount of
--   cents.
--   
--   <pre>
--   cent(x) (no rate restriction)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/cent.html</a>
cent :: Nums a => a -> a

-- | Converts a Midi note number value to cycles-per-second.
--   
--   <pre>
--   cpsmidinn (MidiNoteNumber)  (init- or control-rate args only)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/cpsmidinn.html</a>
cpsmidinn :: Nums a => a -> a

-- | Converts an octave-point-decimal value to cycles-per-second.
--   
--   <pre>
--   cpsoct(oct) (no rate restriction)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/cpsoct.html</a>
cpsoct :: Nums a => a -> a

-- | Converts a pitch-class value to cycles-per-second.
--   
--   <pre>
--   cpspch (pch)  (init- or control-rate args only)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/cpspch.html</a>
cpspch :: Nums a => a -> a

-- | Calculates a factor to raise/lower a frequency by a given amount of
--   octaves.
--   
--   <pre>
--   octave(x) (no rate restriction)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/octave.html</a>
octave :: Nums a => a -> a

-- | Converts a cycles-per-second value to octave-point-decimal.
--   
--   <pre>
--   octcps (cps)  (init- or control-rate args only)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/octcps.html</a>
octcps :: Nums a => a -> a

-- | Converts a Midi note number value to octave-point-decimal.
--   
--   <pre>
--   octmidinn (MidiNoteNumber)  (init- or control-rate args only)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/octmidinn.html</a>
octmidinn :: Nums a => a -> a

-- | Converts a pitch-class value to octave-point-decimal.
--   
--   <pre>
--   octpch (pch)  (init- or control-rate args only)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/octpch.html</a>
octpch :: Nums a => a -> a

-- | Converts a Midi note number value to octave point pitch-class units.
--   
--   <pre>
--   pchmidinn (MidiNoteNumber)  (init- or control-rate args only)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pchmidinn.html</a>
pchmidinn :: Nums a => a -> a

-- | Converts an octave-point-decimal value to pitch-class.
--   
--   <pre>
--   pchoct (oct)  (init- or control-rate args only)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/pchoct.html</a>
pchoct :: Nums a => a -> a

-- | Calculates a factor to raise/lower a frequency by a given amount of
--   semitones.
--   
--   <pre>
--   semitone(x) (no rate restriction)
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/semitone.html</a>
semitone :: Nums a => a -> a

-- | Fractional part of the number.
fracD :: D -> D

-- | Floor operator for numbers.
floorD :: D -> D

-- | Ceiling operator for numbers.
ceilD :: D -> D

-- | Integer part of the number.
intD :: D -> D

-- | Round operator for numbers.
roundD :: D -> D

-- | Fractional part of the signal.
fracSig :: Sig -> Sig

-- | Floor operator for signals.
floorSig :: Sig -> Sig

-- | Ceiling operator for signals.
ceilSig :: Sig -> Sig

-- | Integer part of the number for signals.
intSig :: Sig -> Sig

-- | Round operator for signals.
roundSig :: Sig -> Sig

-- | These units will print orchestra init-values.
--   
--   <pre>
--   print iarg [, iarg1] [, iarg2] [...]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/print.html</a>
printi :: [D] -> SE ()

-- | Prints one k-rate value at specified intervals.
--   
--   <pre>
--   printk itime, kval [, ispace]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/printk.html</a>
printk :: D -> Sig -> SE ()

-- | sprintf write printf-style formatted output to a string variable,
--   similarly to the C function sprintf(). sprintf runs at i-time only.
--   
--   <pre>
--   Sdst sprintf Sfmt, xarg1[, xarg2[, ... ]]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/sprintf.html</a>
sprintf :: Str -> [D] -> Str

-- | sprintfk writes printf-style formatted output to a string variable,
--   similarly to the C function sprintf(). sprintfk runs both at
--   initialization and performance time.
--   
--   <pre>
--   Sdst sprintfk Sfmt, xarg1[, xarg2[, ... ]]
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/sprintfk.html</a>
sprintfk :: Str -> [Sig] -> Str

-- | Concatenate two strings and store the result in a variable. strcat
--   runs at i-time only. It is allowed for any of the input arguments to
--   be the same as the output variable.
--   
--   <pre>
--   Sdst strcat Ssrc1, Ssrc2
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/strcat.html</a>
strcat :: Str -> Str -> Str

-- | Concatenate two strings and store the result in a variable. strcatk
--   does the concatenation both at initialization and performance time. It
--   is allowed for any of the input arguments to be the same as the output
--   variable.
--   
--   <pre>
--   Sdst strcatk Ssrc1, Ssrc2
--   </pre>
--   
--   doc: <a>http://www.csounds.com/manual/html/strcatk.html</a>
strcatk :: Str -> Str -> Str
instance Nums D
instance Nums Sig


-- | Here you will find all opcodes from the Csound floss manual
--   (<a>http://en.flossmanuals.net/csound/overview/</a>). If you are
--   missing some opcodes feel free to use <a>Csound.LowLevel</a>. It's
--   easy. If it's some opcode you like a lot you can send it to me by
--   email and I will include it here.
--   
--   All opcodes are defined without initialisation arguments. If you want
--   to supply the auxiliary arguments use the function <a>withInits</a>.
module Csound.Opcode


-- | Creating Function Tables (Buffers)
module Csound.Tab

-- | Csound f-tables. You can make a value of <a>Tab</a> with the function
--   <a>gen</a> or use more higher level functions.
data Tab

-- | Table size fidelity (how many points in the table by default).
data TabFi

-- | Sets different table size for different GEN-routines.
--   
--   <pre>
--   fineFi n ps 
--   </pre>
--   
--   where
--   
--   <ul>
--   <li><tt>n</tt> is the default value for table size (size is a
--   <tt>n</tt> power of 2) for all gen routines that are not listed in the
--   next argument <tt>ps</tt>.</li>
--   <li><tt>ps</tt> is a list of pairs <tt>(genRoutineId,
--   tableSizeDegreeOf2)</tt> that sets the given table size for a given
--   GEN-routine.</li>
--   </ul>
--   
--   with this function we can set lower table sizes for tables that are
--   usually used in the envelopes.
fineFi :: Int -> [(Int, Int)] -> TabFi

-- | Sets the same table size for all tables.
--   
--   <pre>
--   coarseFi n
--   </pre>
--   
--   where <tt>n</tt> is a degree of 2. For example, <tt>n = 10</tt> sets
--   size to 1024 points for all tables by default.
coarseFi :: Int -> TabFi

-- | Table contains all provided values (table is extended to contain all
--   values and to be of the power of 2 or the power of two plus one).
doubles :: [Double] -> Tab
type PartialStrength = Double
type PartialNumber = Double
type PartialPhase = Double
type PartialDC = Double

-- | Series of harmonic partials:
--   
--   <pre>
--   sine = sines [1]
--   </pre>
--   
--   <pre>
--   saw = sines $ fmap (1 / ) [1 .. 10]
--   </pre>
--   
--   <pre>
--   square = sines $ fmap (1 / ) [1, 3 .. 11]
--   </pre>
--   
--   <pre>
--   triangle = sines $ zipWith (\a b -&gt; a / (b ** 2)) (cycle [1, -1]) [1, 3 .. 11]
--   </pre>
sines :: [PartialStrength] -> Tab

-- | Specifies series of possibly inharmonic partials.
sines3 :: [(PartialNumber, PartialStrength, PartialPhase)] -> Tab

-- | Just like <a>sines3</a> but phases are set to zero.
sines2 :: [(PartialNumber, PartialStrength)] -> Tab

-- | Just like <a>sines2</a> but partial strength is set to one.
partials :: [PartialNumber] -> Tab

-- | Specifies series of possibly inharmonic partials with direct current.
sines4 :: [(PartialNumber, PartialStrength, PartialPhase, PartialDC)] -> Tab

-- | Generates values similar to the opcode <a>buzz</a>.
--   
--   <pre>
--   buzzes numberOfHarmonics [lowestHarmonic, coefficientOfAttenuation]
--   </pre>
--   
--   With <tt>buzzes n [l, r]</tt> you get <tt>n</tt> harmonics from
--   <tt>l</tt> that are attenuated by the factor of <tt>r</tt> on each
--   step.
buzzes :: Double -> [Double] -> Tab

-- | Constant segments (sample and hold).
--   
--   <pre>
--   consts [a, n1, b, n2, c, ...]
--   </pre>
--   
--   where
--   
--   <ul>
--   <li>a, b, c .. - are ordinate values</li>
--   <li><tt>n1, n2, ...</tt> are lengths of the segments relative to the
--   total number of the points in the table</li>
--   </ul>
consts :: [Double] -> Tab

-- | Segments of straight lines.
--   
--   <pre>
--   lins [a, n1, b, n2, c, ...]
--   </pre>
--   
--   where
--   
--   <ul>
--   <li>a, b, c .. - are ordinate values</li>
--   <li><tt>n1, n2, ...</tt> are lengths of the segments relative to the
--   total number of the points in the table</li>
--   </ul>
lins :: [Double] -> Tab

-- | Segments of cubic polynomials.
--   
--   <pre>
--   cubes [a, n1, b, n2, c, ...]
--   </pre>
--   
--   where
--   
--   <ul>
--   <li>a, b, c .. - are ordinate values</li>
--   <li><tt>n1, n2, ...</tt> are lengths of the segments relative to the
--   total number of the points in the table</li>
--   </ul>
cubes :: [Double] -> Tab

-- | Segments of the exponential curves.
--   
--   <pre>
--   exps [a, n1, b, n2, c, ...]
--   </pre>
--   
--   where
--   
--   <ul>
--   <li><tt>a, b, c, ...</tt> are ordinate values</li>
--   <li><tt>n1, n2, ...</tt> are lengths of the segments relative to the
--   total number of the points in the table</li>
--   </ul>
exps :: [Double] -> Tab

-- | Cubic spline curve.
--   
--   <pre>
--   splines [a, n1, b, n2, c, ...]
--   </pre>
--   
--   where
--   
--   <ul>
--   <li>a, b, c .. - are ordinate values</li>
--   <li><tt>n1, n2, ...</tt> are lengths of the segments relative to the
--   total number of the points in the table</li>
--   </ul>
splines :: [Double] -> Tab

-- | Equally spaced constant segments.
--   
--   <pre>
--   econsts [a, b, c, ...] 
--   </pre>
--   
--   is the same as
--   
--   <pre>
--   consts [a, 1, b, 1, c, ...]
--   </pre>
econsts :: [Double] -> Tab

-- | Equally spaced segments of straight lines.
--   
--   <pre>
--   elins [a, b, c, ...] 
--   </pre>
--   
--   is the same as
--   
--   <pre>
--   lins [a, 1, b, 1, c, ...]
--   </pre>
elins :: [Double] -> Tab

-- | Equally spaced segments of cubic polynomials.
--   
--   <pre>
--   ecubes [a, b, c, ...] 
--   </pre>
--   
--   is the same as
--   
--   <pre>
--   cubes [a, 1, b, 1, c, ...]
--   </pre>
ecubes :: [Double] -> Tab

-- | Equally spaced segments of exponential curves.
--   
--   <pre>
--   eexps [a, b, c, ...] 
--   </pre>
--   
--   is the same as
--   
--   <pre>
--   exps [a, 1, b, 1, c, ...]
--   </pre>
eexps :: [Double] -> Tab

-- | Equally spaced spline curve.
--   
--   <pre>
--   esplines [a, b, c, ...] 
--   </pre>
--   
--   is the same as
--   
--   <pre>
--   splines [a, 1, b, 1, c, ...]
--   </pre>
esplines :: [Double] -> Tab

-- | Polynomials.
--   
--   <pre>
--   polys xl xr [c0, c1, c2, ..]
--   </pre>
--   
--   where
--   
--   <ul>
--   <li>xl, xr - left and right values of the interval over wich
--   polynomial is defined</li>
--   <li>[c0, c1, c2, ...] -- coefficients of the polynomial</li>
--   </ul>
--   
--   <pre>
--   c0 + c1 * x + c2 * x * x + ...
--   </pre>
polys :: Double -> Double -> [Double] -> Tab

-- | Chebyshev polynomials of the first kind.
--   
--   <pre>
--   polys xl xr [h0, h1, h2, ..]
--   </pre>
--   
--   where
--   
--   <ul>
--   <li>xl, xr - left and right values of the interval over wich
--   polynomial is defined</li>
--   <li>[h0, h1, h2, ...] -- relative strength of the partials</li>
--   </ul>
chebs1 :: Double -> Double -> [Double] -> Tab

-- | Chebyshev polynomials of the second kind.
--   
--   <pre>
--   polys xl xr [h0, h1, h2, ..]
--   </pre>
--   
--   where
--   
--   <ul>
--   <li>xl, xr - left and right values of the interval over wich
--   polynomial is defined</li>
--   <li>[h0, h1, h2, ...] -- relative strength of the partials</li>
--   </ul>
chebs2 :: Double -> Double -> [Double] -> Tab

-- | Modified Bessel function of the second kind, order 0 (for amplitude
--   modulated FM).
--   
--   <pre>
--   bessels xint
--   </pre>
--   
--   the function is defined within the interval <tt>[0, xint]</tt>.
bessels :: Double -> Tab

-- | Creates a table of doubles (It's f-table in Csound). Arguments are:
--   
--   <ul>
--   <li>identificator of the GEN routine</li>
--   <li>GEN routine arguments</li>
--   </ul>
--   
--   All tables are created at 0 and memory is never released.
gen :: Int -> [Double] -> Tab

-- | Skips normalization (sets table size to negative value)
skipNorm :: Tab -> Tab

-- | Sets an absolute size value. As you can do it in the Csound files.
setSize :: Int -> Tab -> Tab

-- | Sets the relative size value. You can set the base value in the
--   options (see <a>tabResolution</a> at <a>CsdOptions</a>, with
--   tabResolution you can easily change table sizes for all your tables).
--   Here zero means the base value. 1 is the base value multiplied by 2, 2
--   is the base value multiplied by 4 and so on. Negative values mean
--   division by the specified degree.
setDegree :: Int -> Tab -> Tab

-- | Adds guard point to the table size (details of the interpolation
--   schemes: you do need guard point if your intention is to read the
--   table once but you don't need the guard point if you read table in
--   many cycles, the guard point is the the first point of your table).
guardPoint :: Tab -> Tab

-- | Shortcut for <a>guardPoint</a>.
gp :: Tab -> Tab

-- | Sets degrees from -3 to 3.
lllofi :: Tab -> Tab

-- | Sets degrees from -3 to 3.
llofi :: Tab -> Tab

-- | Sets degrees from -3 to 3.
lofi :: Tab -> Tab

-- | Sets degrees from -3 to 3.
midfi :: Tab -> Tab

-- | Sets degrees from -3 to 3.
hifi :: Tab -> Tab

-- | Sets degrees from -3 to 3.
hhifi :: Tab -> Tab

-- | Sets degrees from -3 to 3.
hhhifi :: Tab -> Tab
idDoubles :: Int
idSines :: Int
idSines3 :: Int
idSines2 :: Int
idPartials :: Int
idSines4 :: Int
idBuzzes :: Int
idConsts :: Int
idSegs :: Int
idCubes :: Int
idExps :: Int
idSplines :: Int
idPolys :: Int
idChebs1 :: Int
idChebs2 :: Int
idBessels :: Int


-- | The vital tools.
module Csound.Air

-- | Pure tone.
osc :: Cps -> Sig

-- | Oscillates with the given table (cubic interpolation).
oscBy :: Tab -> Cps -> Sig

-- | Sawtooth.
saw :: Cps -> Sig

-- | Square wave.
sq :: Cps -> Sig

-- | Triangle wave.
tri :: Cps -> Sig

-- | Turns a bipolar sound (ranges from -1 to 1) to unipolar (ranges from 0
--   to 1)
unipolar :: Sig -> Sig

-- | Unipolar pure tone.
uosc :: Cps -> Sig

-- | Unipolar <a>oscBy</a>.
uoscBy :: Tab -> Cps -> Sig

-- | Unipolar sawtooth.
usaw :: Cps -> Sig

-- | Unipolar square wave.
usq :: Cps -> Sig

-- | Unipolar triangle wave.
utri :: Cps -> Sig

-- | Low-pass filter.
--   
--   <pre>
--   lp cutoff sig
--   </pre>
lp :: Sig -> Sig -> Sig

-- | High-pass filter.
--   
--   <pre>
--   hp cutoff sig
--   </pre>
hp :: Sig -> Sig -> Sig

-- | Band-pass filter.
--   
--   <pre>
--   bp cutoff bandwidth sig
--   </pre>
bp :: Sig -> Sig -> Sig -> Sig

-- | Band-regect filter.
--   
--   <pre>
--   br cutoff bandwidth sig
--   </pre>
br :: Sig -> Sig -> Sig -> Sig

-- | Low-pass filter.
--   
--   <pre>
--   blp cutoff sig
--   </pre>
blp :: Sig -> Sig -> Sig

-- | High-pass filter.
--   
--   <pre>
--   bhp cutoff sig
--   </pre>
bhp :: Sig -> Sig -> Sig

-- | Band-pass filter.
--   
--   <pre>
--   bbp cutoff bandwidth sig
--   </pre>
bbp :: Sig -> Sig -> Sig -> Sig

-- | Band-regect filter.
--   
--   <pre>
--   bbr cutoff bandwidth sig
--   </pre>
bbr :: Sig -> Sig -> Sig -> Sig

-- | Reads table once during the note length.
once :: Tab -> Sig

-- | Reads table several times during the note length.
several :: Tab -> Sig -> Sig

-- | Table for pure sine wave.
sine :: Tab

-- | Mean value.
mean :: Fractional a => [a] -> a

-- | Harmonic series. Takes a function that transforms the signal by some
--   parameter and the list of parameters. It constructs the series of
--   transformers and sums them at the end with equal strength.
hase :: (a -> Sig -> Sig) -> [a] -> Sig -> Sig

-- | Harmonic series, but now you can specify the weights of the final sum.
whase :: (a -> Sig -> Sig) -> [(Sig, a)] -> Sig -> Sig

-- | Harmonic series for functions with side effects.
haseS :: (a -> Sig -> SE Sig) -> [a] -> Sig -> SE Sig

-- | Weighted harmonic series for functions with side effects.
whaseS :: (a -> Sig -> SE Sig) -> [(Sig, a)] -> Sig -> SE Sig

-- | Crossfade.
--   
--   <pre>
--   cfd coeff sig1 sig2
--   </pre>
--   
--   If coeff equals 0 then we get the first signal and if it equals 1 we
--   get the second signal.
cfd :: Sig -> Sig -> Sig -> Sig

-- | Generic crossfade for n coefficients and n+1 signals.
--   
--   <pre>
--   cfds coeffs sigs
--   </pre>
cfds :: [Sig] -> [Sig] -> Sig

-- | Spectral crossfade.
cfdSpec :: Sig -> Spec -> Spec -> Spec

-- | Generic spectral crossfade.
cfdsSpec :: [Sig] -> [Spec] -> Spec


-- | Basic types and functions.
--   
--   WARNING (for Csound users): the maximum amplitude is 1.0. There is no
--   way to alter it. Don't define your amplitudes with 9000 or 11000. But
--   the good news are: all signals are clipped by 1 so that you can not
--   damage your ears and your speakers by a little typo.
module Csound.Base
class Val a
arity :: Arg a => a -> Int

-- | Doubles.
data D

-- | Strings.
data Str

-- | Appends initialisation arguments. It's up to you to supply arguments
--   with the right types. For example:
--   
--   <pre>
--   oscil 0.5 440 sinWave `withInits` (0.5 :: D)
--   </pre>
withInits :: (Val a, CsdTuple inits) => a -> inits -> Sig

-- | Audio or control rate signals.
data Sig

-- | Spectrum of the signal (see FFT and Spectral Processing at
--   <a>Csound.Opcode.Advanced</a>).
data Spec

-- | Boolean signals.
data BoolSig

-- | Boolean constants.
data BoolD

-- | Csound's synonym for <a>IO</a>-monad. <a>SE</a> means Side Effect. You
--   will bump into <a>SE</a> trying to read and write to delay lines,
--   making random signals or trying to save your audio to file. Instrument
--   is expected to return a value of <tt>SE [Sig]</tt>. So it's okay to do
--   some side effects when playing a note.
data SE a

-- | Describes tuples of Csound values. It's used for functions that can
--   return several results (such as <tt>soundin</tt> or <tt>diskin2</tt>).
--   Tuples can be nested.
class CsdTuple a

-- | Values that can be converted to signals.
class ToSig a
toSig :: ToSig a => a -> Sig

-- | Sets rate to audio rate.
ar :: Sig -> Sig

-- | Sets rate to control rate.
kr :: Sig -> Sig

-- | Converts signal to double.
ir :: Sig -> D

-- | Converts numbers to signals. It creates constant signal.
sig :: D -> Sig

-- | Converts Haskell's doubles to Csound's doubles
double :: Double -> D

-- | Converts Haskell's strings to Csound's strings
str :: String -> Str

-- | Output of the instrument.
class CsdTuple (NoSE a) => Out a
type Sig2 = (Sig, Sig)
type Sig3 = (Sig, Sig, Sig)
type Sig4 = (Sig, Sig, Sig, Sig)

-- | An alias for control rate signals (it's used only to clarify that
--   <a>kr</a> was applied to the signal).
type Ksig = Sig

-- | An alias for amplitude.
type Amp = Sig

-- | An alias for cycles per second.
type Cps = Sig

-- | An alias for amplitude as number.
type Iamp = D

-- | An alias for cycles per second as number.
type Icps = D

-- | Describes all Csound values that can be used in the score section.
--   Instruments are triggered with the values from this type class. Actual
--   methods are hidden, but you can easily make instances for your own
--   types with function <a>makeArgMethods</a>. You need to describe the
--   new instance in terms of some existing one. For example:
--   
--   <pre>
--   data Note = Note 
--       { noteAmplitude    :: D
--       , notePitch        :: D
--       , noteVibrato      :: D
--       , noteSample       :: S
--       }
--   
--   instance Arg Note where
--       argMethods = makeArgMethods to from
--           where to (amp, pch, vibr, sample) = Note amp pch vibr sample
--                 from (Note amp pch vibr sample) = (amp, pch, vibr, sample)
--   </pre>
--   
--   Then you can use this type in an instrument definition.
--   
--   <pre>
--   instr :: Note -&gt; Out
--   instr x = ...
--   </pre>
class Arg a
argMethods :: Arg a => ArgMethods a

-- | The abstract type of methods for the class <a>Arg</a>.
data ArgMethods a

-- | Defines instance of type class <a>Arg</a> for a new type in terms of
--   an already defined one.
makeArgMethods :: Arg a => (a -> b) -> (b -> a) -> ArgMethods b
data Mix a

-- | Play a bunch of notes with the given instrument.
--   
--   <pre>
--   res = sco instrument scores 
--   </pre>
--   
--   <ul>
--   <li><tt>instrument</tt> is a function that takes notes and produces a
--   tuple of signals (maybe with some side effect)</li>
--   <li><tt>scores</tt> are some notes (see the module
--   <a>Temporal.Media</a> on how to build complex scores out of simple
--   ones)</li>
--   </ul>
--   
--   Let's try to understand the type of the output. It's <tt>Score (Mix
--   (NoSE a))</tt>. What does it mean? Let's look at the different parts
--   of this type:
--   
--   <ul>
--   <li><tt>Score a</tt> - you can think of it as a container of some
--   values of type <tt>a</tt> (every value of type <tt>a</tt> starts at
--   some time and lasts for some time in seconds)</li>
--   <li><tt>Mix a</tt> - is an output of Csound instrument it can be one
--   or several signals (<a>Sig</a> or <a>CsdTuple</a>).</li>
--   <li>NoSE a* - it's a tricky part of the output. <a>NoSE</a> means
--   literaly 'no SE'. It tells to the type checker that it can skip the
--   <a>SE</a> wrapper from the type <tt>a</tt> so that <tt>SE a</tt>
--   becomes just <tt>a</tt> or <tt>SE (a, SE b, c)</tt> becomes <tt>(a, b,
--   c)</tt>. Why should it be? I need <a>SE</a> to deduce the order of the
--   instruments that have side effects. I need it within one instrument.
--   But when instrument is rendered i no longer need <a>SE</a> type. So
--   <a>NoSE</a> lets me drop it from the output type.</li>
--   </ul>
sco :: (Arg a, Out b, CsdSco f) => (a -> b) -> f a -> f (Mix (NoSE b))

-- | Applies an effect to the sound. Effect is applied to the sound on the
--   give track.
--   
--   <pre>
--   res = mix effect sco 
--   </pre>
--   
--   <ul>
--   <li><tt>effect</tt> - a function that takes a tuple of signals and
--   produces a tuple of signals.</li>
--   <li><tt>sco</tt> - something that is constructed with <a>sco</a> or
--   <a>mix</a> or <a>midi</a>.</li>
--   </ul>
--   
--   With the function <a>mix</a> you can apply a reverb or adjust the
--   level of the signal. It functions like a mixing board but unlike
--   mixing board it produces the value that you can arrange with functions
--   from the module <a>Temporal.Media</a>. You can delay it mix with some
--   other track and apply some another effect on top of it!
mix :: (Out a, Out b, CsdSco f) => (a -> b) -> f (Mix a) -> f (Mix (NoSE b))
type CsdEvent a = (Double, Double, a)
data CsdEventList a
CsdEventList :: Double -> [CsdEvent a] -> CsdEventList a
csdEventListDur :: CsdEventList a -> Double
csdEventListNotes :: CsdEventList a -> [CsdEvent a]
class CsdSco f
toCsdEventList :: CsdSco f => f a -> CsdEventList a
singleCsdEvent :: CsdSco f => Double -> Double -> a -> f a

-- | Constructs the effect that applies a given function on every channel.
effect :: (CsdTuple a, Out a) => (Sig -> Sig) -> (a -> a)

-- | Constructs the effect that applies a given function with side effect
--   (it uses random opcodes or delays) on every channel.
effectS :: (CsdTuple a, Out a) => (Sig -> SE Sig) -> (a -> SE a)

-- | Renders Csound file.
renderCsd :: (Out a, CsdSco sco) => sco (Mix a) -> IO String

-- | Render Csound file and save it to the give file.
writeCsd :: (Out a, CsdSco sco) => String -> sco (Mix a) -> IO ()

-- | RenderCsound file save it to the given file, render with csound
--   command and play it with the given program.
--   
--   <pre>
--   playCsd program file sco 
--   </pre>
--   
--   Produces files <tt>file.csd</tt> (with <a>renderCsd</a>) and
--   <tt>file.wav</tt> (with <tt>csound</tt>) and then invokes:
--   
--   <pre>
--   program file.wav
--   </pre>
playCsd :: (Out a, CsdSco sco) => String -> String -> sco (Mix a) -> IO ()

-- | Renders to tmp.csd and tmp.wav and plays with mplayer.
mplayer :: (Out a, CsdSco sco) => sco (Mix a) -> IO ()

-- | Renders to tmp.csd and tmp.wav and plays with totem player.
totem :: (Out a, CsdSco sco) => sco (Mix a) -> IO ()
type Channel = Int
type CtrlId = Int

-- | Csound options. The default value is
--   
--   <pre>
--   instance Default CsdOptions where
--       def = CsdOptions 
--               { flags = "-d"           -- suppress ftable printing
--               , sampleRate  = 44100
--               , blockSize = 64
--               , seed = Nothing
--               , initc7 = []
--               , tabFi = fineFi 13 [(idSegs, 10), (idExps, 10), (idConsts, 8)] } -- all tables have 8192 points but tables for linear, exponential and constant segments. 
--   </pre>
data CsdOptions
CsdOptions :: String -> Int -> Int -> Maybe Int -> [(Channel, CtrlId, Double)] -> TabFi -> CsdOptions
flags :: CsdOptions -> String
sampleRate :: CsdOptions -> Int
blockSize :: CsdOptions -> Int
seed :: CsdOptions -> Maybe Int
initc7 :: CsdOptions -> [(Channel, CtrlId, Double)]
tabFi :: CsdOptions -> TabFi

-- | Renders Csound file with options.
renderCsdBy :: (Out a, CsdSco sco) => CsdOptions -> sco (Mix a) -> IO String

-- | Render Csound file with options and save it to the give file.
writeCsdBy :: (Out a, CsdSco sco) => CsdOptions -> String -> sco (Mix a) -> IO ()

-- | Works just like <a>playCsd</a> but you can supply csound options.
playCsdBy :: (Out a, CsdSco sco) => CsdOptions -> String -> String -> sco (Mix a) -> IO ()

-- | Renders to tmp.csd and tmp.wav and plays with mplayer.
mplayerBy :: (Out a, CsdSco sco) => CsdOptions -> sco (Mix a) -> IO ()

-- | Renders to tmp.csd and tmp.wav and plays with totem player.
totemBy :: (Out a, CsdSco sco) => CsdOptions -> sco (Mix a) -> IO ()