Csound.Typed.Control

SE

newtype SE a

The Csound's IO-monad. All values that produce side effects are wrapped in the SE-monad.

Constructors

SE

Fields

unSE :: Dep a

Instances

Monad SE

Functor SE

Applicative SE

Procedure (SE ())

DirtySingle (SE (GE E))

DirtySingle (SE Tab)

DirtySingle (SE Wspec)

DirtySingle (SE Spec)

DirtySingle (SE Str)

DirtySingle (SE D)

DirtySingle (SE Sig)

data LocalHistory :: *

Constructors

LocalHistory

Fields

expDependency :: E

newLineNum :: Int

newLocalVarId :: Int

Instances

Default LocalHistory

runSE :: SE a -> GE a

execSE :: SE () -> GE InstrBody

evalSE :: SE a -> GE a

execGEinSE :: SE (GE a) -> SE a

hideGEinDep :: GE (Dep a) -> Dep a

fromDep :: Dep a -> SE (GE a)

fromDep_ :: Dep () -> SE ()

geToSe :: GE a -> SE a

newLocalVar :: Rate -> GE E -> SE Var

newLocalVars :: [Rate] -> GE [E] -> SE [Var]

newGlobalVars :: [Rate] -> GE [E] -> SE [Var]

SE reference

newtype Ref a

It describes a reference to mutable values.

Constructors

Ref [Var]

writeRef :: Tuple a => Ref a -> a -> SE ()

readRef :: Tuple a => Ref a -> SE a

newRef :: Tuple a => a -> SE (Ref a)

Allocates a new local (it is visible within the instrument) mutable value and initializes it with value. A reference can contain a tuple of variables.

mixRef :: (Num a, Tuple a) => Ref a -> a -> SE ()

Adds the given signal to the value that is contained in the reference.

modifyRef :: Tuple a => Ref a -> (a -> a) -> SE ()

Modifies the Ref value with given function.

sensorsSE :: Tuple a => a -> SE (SE a, a -> SE ())

An alias for the function newRef. It returns not the reference to mutable value but a pair of reader and writer functions.

newGlobalRef :: Tuple a => a -> SE (Ref a)

Allocates a new global mutable value and initializes it with value. A reference can contain a tuple of variables.

globalSensorsSE :: Tuple a => a -> SE (SE a, a -> SE ())

An alias for the function newRef. It returns not the reference to mutable value but a pair of reader and writer functions.

Global settings

instr0 :: Tuple a => SE a -> SE a

getIns :: Sigs a => SE a

setDur :: Sigs a => D -> a -> a

Sets the global duration of the file or output signal to the given value. It should be used only once! The proper place is in the top-most expression before sending to dac or writeWav.

Misc

freshId :: SE D

Gets new id.

Score

data Mix a

Special type that represents a scores of sound signals. If an instrument is triggered with the scores the result is wrapped in the value of this type.

sco :: (Arg a, Sigs b) => (a -> SE b) -> Sco a -> Sco (Mix b)

Plays a bunch of notes with the given instrument.

res = sco instrument scores 

eff :: (Sigs a, Sigs b) => (a -> SE b) -> Sco (Mix a) -> Sco (Mix b)

Applies an effect to the sound. Effect is applied to the sound on the give track.

res = eff effect sco 

• effect - a function that takes a tuple of signals and produces a tuple of signals.
• sco - something that is constructed with sco or eff.

With the function eff 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 your favorite Score-generation library. You can delay it or mix with some other track and apply some another effect on top of it!

mix :: Sigs a => Sco (Mix a) -> a

Renders a scores to the sound signals. we can use it inside the other instruments.

mixBy :: (Arg a, Sigs b) => (a -> Sco (Mix b)) -> a -> b

Imitates a closure for a bunch of notes to be played within another instrument.

sco_ :: Arg a => (a -> SE ()) -> Sco a -> Sco (Mix Unit)

Invokes a procedure for the given bunch of events.

mix_ :: Sco (Mix Unit) -> SE ()

Converts a bunch of procedures scheduled with scores to a single procedure.

mixBy_ :: Arg a => (a -> Sco (Mix Unit)) -> a -> SE ()

Imitates a closure for a bunch of procedures to be played within another instrument.

type Sco a = Track D a

type CsdEventList a = Track D a

type CsdEvent = (Double, Double, Note)

The Csound note. It's a triple of

(startTime, duration, parameters)

Midi

data Msg

Instances

DirtyMulti b => DirtyMulti (Msg -> b)

PureMulti b => PureMulti (Msg -> b)

Procedure b => Procedure (Msg -> b)

DirtySingle b => DirtySingle (Msg -> b)

PureSingle b => PureSingle (Msg -> b)

type Channel = Int

midi :: (Num a, Sigs a) => (Msg -> SE a) -> SE a

Triggers a midi-instrument (aka Csound's massign) for all channels. It's useful to test a single instrument.

midin :: (Num a, Sigs a) => Channel -> (Msg -> SE a) -> SE a

Triggers a midi-instrument (aka Csound's massign) on the specified channel.

pgmidi :: (Num a, Sigs a) => Maybe Int -> Channel -> (Msg -> SE a) -> SE a

Triggers a midi-instrument (aka Csound's pgmassign) on the specified programm bank.

midi_ :: (Msg -> SE ()) -> SE ()

Triggers a midi-procedure (aka Csound's massign) for all channels.

midin_ :: Channel -> (Msg -> SE ()) -> SE ()

Triggers a midi-procedure (aka Csound's pgmassign) on the given channel.

pgmidi_ :: Maybe Int -> Channel -> (Msg -> SE ()) -> SE ()

Triggers a midi-procedure (aka Csound's pgmassign) on the given programm bank.

initMidiCtrl :: D -> D -> D -> SE ()

OSC

data OscRef

type OscHost = String

The hostname of the computer. An empty string is for local machine.

type OscPort = Int

Port to listen OSC-messages.

type OscAddress = String

Path-like string ("foobar/baz")

type OscType = String

The string specifies the type of expected arguments. The string can contain the characters "bcdfilmst" which stand for Boolean, character, double, float, 32-bit integer, 64-bit integer, MIDI, string and timestamp.

initOsc :: OscPort -> SE OscRef

Initializes host client. The process starts to run in the background.

listenOsc :: forall a. Tuple a => OscRef -> OscAddress -> OscType -> Evt a

Listens for the OSC-messages. The first argument is OSC-reference. We can create it with the function oscInit. The next two arguments are strings. The former specifies the path-like address to listen the messages. It can be:

/foo/bar/baz

The latter specifies the type of expected arguments. The string can contain the characters "bcdfilmst" which stand for Boolean, character, double, float, 32-bit integer, 64-bit integer, MIDI, string and timestamp.

The result is an event of messages. We can run a callback on it with standard function runEvt:

runEvt :: Evt a -> (a -> SE ()) -> SE ()

sendOsc :: forall a. Tuple a => OscHost -> OscPort -> OscAddress -> OscType -> Evt a -> SE ()

Sends OSC-messages. It takes in a name of the host computer (empty string is alocal machine), port on which the target machine is listening, OSC-addres and type. The last argument produces the values for OSC-messages.

Channel

Getters

chnGetD :: Str -> SE D

Reads a value of type double.

chnGetSig :: Str -> SE Sig

Reads an audio signal.

chnGetCtrl :: Str -> SE Sig

Reads a control signal. The control signals are updated at the lower rate.

chnGetStr :: Str -> SE Str

Reads a string.

Setters

chnSetD :: D -> Str -> SE ()

Writes a value of type double.

chnSetSig :: Sig -> Str -> SE ()

Writes an audio signal.

chnSetCtrl :: Sig -> Str -> SE ()

Writes a control signal. The control signals are updated at the lower rate.

chnSetStr :: Str -> Str -> SE ()

Writes a string.

Sf2

data Sf

The sf2 sound font preset. It is defined with file name, bank and program integers.

Constructors

Sf

Fields

sfName :: String

sfBank :: Int

sfProg :: Int

SfId (GE E)

Instances

IfB Sf

Default Sf

Val Sf

type BooleanOf Sf = BoolD

unSf :: Sf -> GE E

Events

sched :: (Arg a, Sigs b) => (a -> SE b) -> Evt (Sco a) -> b

sched_ :: Arg a => (a -> SE ()) -> Evt (Sco a) -> SE ()

Triggers a procedure on the event stream.

schedBy :: (Arg a, Sigs b, Arg c) => (a -> SE b) -> (c -> Evt (Sco a)) -> c -> b

A closure to trigger an instrument inside the body of another instrument.

schedHarp :: (Arg a, Sigs b) => D -> (a -> SE b) -> Evt [a] -> b

An instrument is triggered with event stream and delay time is set to zero (event fires immediately) and duration is set to inifinite time. The note is held while the instrument is producing something. If the instrument is silent for some seconds (specified in the first argument) then it's turned off.

schedHarpBy :: (Arg a, Sigs b, Arg c) => D -> (a -> SE b) -> (c -> Evt [a]) -> c -> b

A closure to trigger an instrument inside the body of another instrument.

retrigs :: (Arg a, Sigs b) => (a -> SE b) -> Evt [a] -> b

Retriggers an instrument every time an event happens. The note is held until the next event happens.

evtLoop :: (Num a, Tuple a, Sigs a) => Maybe (Evt Unit) -> [SE a] -> [Evt Unit] -> a

evtLoopOnce :: (Num a, Tuple a, Sigs a) => Maybe (Evt Unit) -> [SE a] -> [Evt Unit] -> a

Band-limited oscillators

saw :: Sig -> Sig

A sawtooth.

isaw :: Sig -> Sig

Integrated sawtooth: 4 * x * (1 - x).

pulse :: Sig -> Sig

Pulse (not normalized).

tri :: Sig -> Sig

A triangle wave.

sqr :: Sig -> Sig

A square wave.

blosc :: Tab -> Sig -> Sig

A band-limited oscillator with user defined waveform (it's stored in the table).

saw' :: D -> Sig -> Sig

A sawtooth.

isaw' :: D -> Sig -> Sig

Integrated sawtooth: 4 * x * (1 - x).

pulse' :: D -> Sig -> Sig

Pulse (not normalized).

tri' :: D -> Sig -> Sig

A triangle wave.

sqr' :: D -> Sig -> Sig

A square wave.

blosc' :: Tab -> D -> Sig -> Sig

A band-limited oscillator with user defined waveform (it's stored in the table).