Csound.Types

The Csound types.

There are several primitive types:

• Sig - signals
• D - numbers
• Str - strings
• Tab - 1-dimensional arrays
• Spec and Wspec - sound spectrums

A signal is a stream of numbers. Signals carry sound or time varied control values. Numbers are constants. 1-dimensional arrays contain some useful data which is calculated at the initial run of the program.

There is only one compound type. It's a tuple of Csound values. The empty tuple is signified with special type called Unit.

Primitive types

data Sig :: *

Signals

Instances

Floating Sig

Fractional Sig

Num Sig

IfB Sig

EqB Sig

OrdB Sig

Monoid Sig

IsPrim Sig

Tuple Sig

Sigs Sig2

Sigs Sig4

Sigs Sig6

Sigs Sig8

Sigs Sig

Val Sig

SigOrD Sig

Default Sig

AmpInstr Sig

Outs Sig

BindSig Sig

SigSpace Sig

RenderCsd Sig2

RenderCsd Sig4

RenderCsd Sig6

RenderCsd Sig8

RenderCsd Sig

FxUI FxFun

At Sig2 Sig2 Sig2

At Sig2 Sig2 Sig

At Sig Sig2 Sig2

At Sig Sig2 Sig

SigSpace a => At Sig Sig a

At Sig2 Sig2 (SE Sig2)

At Sig2 Sig2 (SE Sig)

At Sig Sig2 (SE Sig2)

At Sig Sig2 (SE Sig)

At Sig2 (SE Sig2) Sig2

At Sig2 (SE Sig2) Sig

At Sig (SE Sig) Sig2

At Sig (SE Sig) Sig3

At Sig (SE Sig) Sig4

At Sig (SE Sig) Sig

At Sig2 (SE Sig2) (SE Sig2)

At Sig2 (SE Sig2) (SE Sig)

At Sig (SE Sig) (SE Sig2)

At Sig (SE Sig) (SE Sig3)

At Sig (SE Sig) (SE Sig4)

At Sig (SE Sig) (SE Sig)

AmpInstr (SE (Sig, Sig))

AmpInstr (SE Sig)

Outs (SE (Sig, Sig))

Outs (SE (Sig, Sig, Sig, Sig))

Outs (SE Sig)

BindSig (SE (Sig, Sig))

BindSig (SE (Sig, Sig, Sig))

BindSig (SE (Sig, Sig, Sig, Sig))

BindSig (SE Sig)

SigSpace (SE (Sig, Sig))

SigSpace (SE (Sig, Sig, Sig))

SigSpace (SE (Sig, Sig, Sig, Sig))

SigSpace (SE Sig)

RenderCsd (Source Sig2)

RenderCsd (Source Sig4)

RenderCsd (Source Sig)

RenderCsd (Source (SE Sig2))

RenderCsd (Source (SE Sig4))

RenderCsd (Source (SE Sig))

RenderCsd (SE (Sig8, Sig8))

RenderCsd (SE (Sig8, Sig8, Sig8, Sig8))

RenderCsd (SE Sig2)

RenderCsd (SE Sig4)

RenderCsd (SE Sig6)

RenderCsd (SE Sig8)

RenderCsd (SE Sig)

Sigs (Sig8, Sig8)

CpsInstr ((Sig, Sig) -> (Sig, Sig))

CpsInstr ((Sig, Sig) -> Sig)

CpsInstr ((Sig, Sig) -> SE (Sig, Sig))

CpsInstr ((Sig, Sig) -> SE Sig)

CpsInstr ((Sig, D) -> (Sig, Sig))

CpsInstr ((Sig, D) -> Sig)

CpsInstr ((Sig, D) -> SE (Sig, Sig))

CpsInstr ((Sig, D) -> SE Sig)

CpsInstr ((D, Sig) -> (Sig, Sig))

CpsInstr ((D, Sig) -> Sig)

CpsInstr ((D, Sig) -> SE (Sig, Sig))

CpsInstr ((D, Sig) -> SE Sig)

CpsInstr ((D, D) -> (Sig, Sig))

CpsInstr ((D, D) -> Sig)

CpsInstr ((D, D) -> SE (Sig, Sig))

CpsInstr ((D, D) -> SE Sig)

CpsInstr (Sig -> (Sig, Sig))

CpsInstr (Sig -> Sig)

CpsInstr (Sig -> SE (Sig, Sig))

CpsInstr (Sig -> SE Sig)

CpsInstr (D -> (Sig, Sig))

CpsInstr (D -> Sig)

CpsInstr (D -> SE (Sig, Sig))

CpsInstr (D -> SE Sig)

AmpInstr (Sig -> (Sig, Sig))

AmpInstr (Sig -> Sig)

AmpInstr (Sig -> SE (Sig, Sig))

AmpInstr (Sig -> SE Sig)

AmpInstr (D -> (Sig, Sig))

AmpInstr (D -> Sig)

AmpInstr (D -> SE (Sig, Sig))

AmpInstr (D -> SE Sig)

AmpInstr (Sig, Sig)

MidiInstr ((Sig, Sig) -> (Sig, Sig))

MidiInstr ((Sig, Sig) -> (Sig, Sig, Sig))

MidiInstr ((Sig, Sig) -> (Sig, Sig, Sig, Sig))

MidiInstr ((Sig, Sig) -> Sig)

MidiInstr ((Sig, Sig) -> SE (Sig, Sig))

MidiInstr ((Sig, Sig) -> SE (Sig, Sig, Sig))

MidiInstr ((Sig, Sig) -> SE (Sig, Sig, Sig, Sig))

MidiInstr ((Sig, Sig) -> SE Sig)

MidiInstr ((Sig, D) -> (Sig, Sig))

MidiInstr ((Sig, D) -> (Sig, Sig, Sig))

MidiInstr ((Sig, D) -> (Sig, Sig, Sig, Sig))

MidiInstr ((Sig, D) -> Sig)

MidiInstr ((Sig, D) -> SE (Sig, Sig))

MidiInstr ((Sig, D) -> SE (Sig, Sig, Sig))

MidiInstr ((Sig, D) -> SE (Sig, Sig, Sig, Sig))

MidiInstr ((Sig, D) -> SE Sig)

MidiInstr ((D, Sig) -> (Sig, Sig))

MidiInstr ((D, Sig) -> (Sig, Sig, Sig))

MidiInstr ((D, Sig) -> (Sig, Sig, Sig, Sig))

MidiInstr ((D, Sig) -> Sig)

MidiInstr ((D, Sig) -> SE (Sig, Sig))

MidiInstr ((D, Sig) -> SE (Sig, Sig, Sig))

MidiInstr ((D, Sig) -> SE (Sig, Sig, Sig, Sig))

MidiInstr ((D, Sig) -> SE Sig)

MidiInstr ((D, D) -> (Sig, Sig))

MidiInstr ((D, D) -> (Sig, Sig, Sig))

MidiInstr ((D, D) -> (Sig, Sig, Sig, Sig))

MidiInstr ((D, D) -> Sig)

MidiInstr ((D, D) -> SE (Sig, Sig))

MidiInstr ((D, D) -> SE (Sig, Sig, Sig))

MidiInstr ((D, D) -> SE (Sig, Sig, Sig, Sig))

MidiInstr ((D, D) -> SE Sig)

MidiInstr (Sig -> (Sig, Sig))

MidiInstr (Sig -> (Sig, Sig, Sig))

MidiInstr (Sig -> (Sig, Sig, Sig, Sig))

MidiInstr (Sig -> Sig)

MidiInstr (Sig -> SE (Sig, Sig))

MidiInstr (Sig -> SE (Sig, Sig, Sig))

MidiInstr (Sig -> SE (Sig, Sig, Sig, Sig))

MidiInstr (Sig -> SE Sig)

MidiInstr (D -> (Sig, Sig))

MidiInstr (D -> (Sig, Sig, Sig))

MidiInstr (D -> (Sig, Sig, Sig, Sig))

MidiInstr (D -> Sig)

MidiInstr (D -> SE (Sig, Sig))

MidiInstr (D -> SE (Sig, Sig, Sig))

MidiInstr (D -> SE (Sig, Sig, Sig, Sig))

MidiInstr (D -> SE Sig)

MidiInstr (Msg -> (Sig, Sig))

MidiInstr (Msg -> (Sig, Sig, Sig))

MidiInstr (Msg -> (Sig, Sig, Sig, Sig))

MidiInstr (Msg -> Sig)

MidiInstr (Msg -> SE (Sig, Sig))

MidiInstr (Msg -> SE (Sig, Sig, Sig))

MidiInstr (Msg -> SE (Sig, Sig, Sig, Sig))

MidiInstr (Msg -> SE Sig)

Outs (Sig, Sig)

BindSig (Sig, Sig)

SigSpace (Sig, Sig)

Sigs a => RenderCsd (a -> (Sig8, Sig8, Sig8, Sig8))

Sigs a => RenderCsd (a -> (Sig8, Sig8))

Sigs a => RenderCsd (a -> Sig8)

Sigs a => RenderCsd (a -> Sig6)

Sigs a => RenderCsd (a -> Sig4)

Sigs a => RenderCsd (a -> Sig2)

Sigs a => RenderCsd (a -> Sig)

RenderCsd (Sig8, Sig8)

HumanizeValueTime ([D] -> D -> Sig)

HumanizeValueTime ([D] -> Sig)

HumanizeValueTime ([Seq] -> Sig -> Sig)

HumanizeTime ([D] -> D -> Sig)

HumanizeTime ([D] -> Sig)

HumanizeTime ([Seq] -> Sig -> Sig)

HumanizeValue ([Sig] -> Sig -> Sig)

HumanizeValue ([D] -> D -> Sig)

HumanizeValue ([D] -> Sig)

HumanizeValue ([Seq] -> Sig -> Sig)

FxUI (Sig2 -> Sig2)

FxUI a => FxUI (Sig -> a)

BindSig (Sig, Sig, Sig)

SigSpace (Sig, Sig, Sig)

Sigs (Sig8, Sig8, Sig8, Sig8)

Outs (Sig, Sig, Sig, Sig)

BindSig (Sig, Sig, Sig, Sig)

SigSpace (Sig, Sig, Sig, Sig)

RenderCsd (Sig8, Sig8, Sig8, Sig8)

type BooleanOf Sig = BoolSig

type PrimOf Sig = Double

type Snap Sig = D

type AmpInstrOut Sig = Sig

type SigOuts Sig = Sig

type AtOut Sig2 Sig2 Sig2 = Sig2

type AtOut Sig2 Sig2 Sig = Sig2

type AtOut Sig Sig2 Sig2 = Sig2

type AtOut Sig Sig2 Sig = Sig2

type AtOut Sig Sig a = a

type AtOut Sig2 Sig2 (Source a) = Source (AtOut Sig2 Sig2 a)

type AtOut Sig2 Sig2 (SE Sig2) = SE Sig2

type AtOut Sig2 Sig2 (SE Sig) = SE Sig2

type AtOut Sig Sig2 (SE Sig2) = SE Sig2

type AtOut Sig Sig2 (SE Sig) = SE Sig2

type AtOut Sig2 (SE Sig2) Sig2 = SE Sig2

type AtOut Sig2 (SE Sig2) Sig = SE Sig2

type AtOut Sig (SE Sig) Sig2 = SE Sig2

type AtOut Sig (SE Sig) Sig3 = SE Sig3

type AtOut Sig (SE Sig) Sig4 = SE Sig4

type AtOut Sig (SE Sig) Sig = SE Sig

type AtOut Sig2 (SE Sig2) (Source a) = Source (AtOut Sig2 (SE Sig2) a)

type AtOut Sig2 (SE Sig2) (SE Sig2) = SE Sig2

type AtOut Sig2 (SE Sig2) (SE Sig) = SE Sig2

type AtOut Sig (SE Sig) (Source a) = Source (AtOut Sig (SE Sig) a)

type AtOut Sig (SE Sig) (SE Sig2) = SE Sig2

type AtOut Sig (SE Sig) (SE Sig3) = SE Sig3

type AtOut Sig (SE Sig) (SE Sig4) = SE Sig4

type AtOut Sig (SE Sig) (SE Sig) = SE Sig

type AmpInstrOut (SE (Sig, Sig)) = (Sig, Sig)

type AmpInstrOut (SE Sig) = Sig

type SigOuts (SE (Sig, Sig)) = (Sig, Sig)

type SigOuts (SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type SigOuts (SE Sig) = Sig

type CpsInstrOut ((Sig, Sig) -> (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((Sig, Sig) -> Sig) = Sig

type CpsInstrOut ((Sig, Sig) -> SE (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((Sig, Sig) -> SE Sig) = Sig

type CpsInstrOut ((Sig, D) -> (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((Sig, D) -> Sig) = Sig

type CpsInstrOut ((Sig, D) -> SE (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((Sig, D) -> SE Sig) = Sig

type CpsInstrOut ((D, Sig) -> (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((D, Sig) -> Sig) = Sig

type CpsInstrOut ((D, Sig) -> SE (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((D, Sig) -> SE Sig) = Sig

type CpsInstrOut ((D, D) -> (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((D, D) -> Sig) = Sig

type CpsInstrOut ((D, D) -> SE (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((D, D) -> SE Sig) = Sig

type CpsInstrOut (Sig -> (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut (Sig -> Sig) = Sig

type CpsInstrOut (Sig -> SE (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut (Sig -> SE Sig) = Sig

type CpsInstrOut (D -> (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut (D -> Sig) = Sig

type CpsInstrOut (D -> SE (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut (D -> SE Sig) = Sig

type AmpInstrOut (Sig -> (Sig, Sig)) = (Sig, Sig)

type AmpInstrOut (Sig -> Sig) = Sig

type AmpInstrOut (Sig -> SE (Sig, Sig)) = (Sig, Sig)

type AmpInstrOut (Sig -> SE Sig) = Sig

type AmpInstrOut (D -> (Sig, Sig)) = (Sig, Sig)

type AmpInstrOut (D -> Sig) = Sig

type AmpInstrOut (D -> SE (Sig, Sig)) = (Sig, Sig)

type AmpInstrOut (D -> SE Sig) = Sig

type AmpInstrOut (Sig, Sig) = (Sig, Sig)

type MidiInstrOut ((Sig, Sig) -> (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((Sig, Sig) -> (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((Sig, Sig) -> (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((Sig, Sig) -> Sig) = Sig

type MidiInstrOut ((Sig, Sig) -> SE (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((Sig, Sig) -> SE (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((Sig, Sig) -> SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((Sig, Sig) -> SE Sig) = Sig

type MidiInstrOut ((Sig, D) -> (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((Sig, D) -> (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((Sig, D) -> (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((Sig, D) -> Sig) = Sig

type MidiInstrOut ((Sig, D) -> SE (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((Sig, D) -> SE (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((Sig, D) -> SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((Sig, D) -> SE Sig) = Sig

type MidiInstrOut ((D, Sig) -> (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((D, Sig) -> (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((D, Sig) -> (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((D, Sig) -> Sig) = Sig

type MidiInstrOut ((D, Sig) -> SE (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((D, Sig) -> SE (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((D, Sig) -> SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((D, Sig) -> SE Sig) = Sig

type MidiInstrOut ((D, D) -> (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((D, D) -> (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((D, D) -> (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((D, D) -> Sig) = Sig

type MidiInstrOut ((D, D) -> SE (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((D, D) -> SE (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((D, D) -> SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((D, D) -> SE Sig) = Sig

type MidiInstrOut (Sig -> (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut (Sig -> (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut (Sig -> (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut (Sig -> Sig) = Sig

type MidiInstrOut (Sig -> SE (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut (Sig -> SE (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut (Sig -> SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut (Sig -> SE Sig) = Sig

type MidiInstrOut (D -> (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut (D -> (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut (D -> (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut (D -> Sig) = Sig

type MidiInstrOut (D -> SE (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut (D -> SE (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut (D -> SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut (D -> SE Sig) = Sig

type MidiInstrOut (Msg -> (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut (Msg -> (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut (Msg -> (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut (Msg -> Sig) = Sig

type MidiInstrOut (Msg -> SE (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut (Msg -> SE (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut (Msg -> SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut (Msg -> SE Sig) = Sig

type SigOuts (Sig, Sig) = (Sig, Sig)

type HumanizeValueTimeOut ([D] -> D -> Sig) = [D] -> D -> SE Sig

type HumanizeValueTimeOut ([D] -> Sig) = [D] -> SE Sig

type HumanizeValueTimeOut ([Seq] -> Sig -> Sig) = [Seq] -> Sig -> SE Sig

type HumanizeTimeOut ([D] -> D -> Sig) = [D] -> D -> SE Sig

type HumanizeTimeOut ([D] -> Sig) = [D] -> SE Sig

type HumanizeTimeOut ([Seq] -> Sig -> Sig) = [Seq] -> Sig -> SE Sig

type HumanizeValueOut ([Sig] -> Sig -> Sig) = [Sig] -> Sig -> SE Sig

type HumanizeValueOut ([D] -> D -> Sig) = [D] -> D -> SE Sig

type HumanizeValueOut ([D] -> Sig) = [D] -> SE Sig

type HumanizeValueOut ([Seq] -> Sig -> Sig) = [Seq] -> Sig -> SE Sig

type SigOuts (Sig, Sig, Sig, Sig) = (Sig, Sig, Sig, Sig)

data D :: *

Constant numbers

Instances

Floating D

Fractional D

Num D

IfB D

EqB D

OrdB D

Monoid D

IsPrim D

Tuple D

Arg D

Val D

SigOrD D

Default D

CpsInstr ((Sig, D) -> (Sig, Sig))

CpsInstr ((Sig, D) -> Sig)

CpsInstr ((Sig, D) -> SE (Sig, Sig))

CpsInstr ((Sig, D) -> SE Sig)

CpsInstr ((D, Sig) -> (Sig, Sig))

CpsInstr ((D, Sig) -> Sig)

CpsInstr ((D, Sig) -> SE (Sig, Sig))

CpsInstr ((D, Sig) -> SE Sig)

CpsInstr ((D, D) -> (Sig, Sig))

CpsInstr ((D, D) -> Sig)

CpsInstr ((D, D) -> SE (Sig, Sig))

CpsInstr ((D, D) -> SE Sig)

CpsInstr (D -> (Sig, Sig))

CpsInstr (D -> Sig)

CpsInstr (D -> SE (Sig, Sig))

CpsInstr (D -> SE Sig)

AmpInstr (D -> (Sig, Sig))

AmpInstr (D -> Sig)

AmpInstr (D -> SE (Sig, Sig))

AmpInstr (D -> SE Sig)

MidiInstr ((Sig, D) -> (Sig, Sig))

MidiInstr ((Sig, D) -> (Sig, Sig, Sig))

MidiInstr ((Sig, D) -> (Sig, Sig, Sig, Sig))

MidiInstr ((Sig, D) -> Sig)

MidiInstr ((Sig, D) -> SE (Sig, Sig))

MidiInstr ((Sig, D) -> SE (Sig, Sig, Sig))

MidiInstr ((Sig, D) -> SE (Sig, Sig, Sig, Sig))

MidiInstr ((Sig, D) -> SE Sig)

MidiInstr ((D, Sig) -> (Sig, Sig))

MidiInstr ((D, Sig) -> (Sig, Sig, Sig))

MidiInstr ((D, Sig) -> (Sig, Sig, Sig, Sig))

MidiInstr ((D, Sig) -> Sig)

MidiInstr ((D, Sig) -> SE (Sig, Sig))

MidiInstr ((D, Sig) -> SE (Sig, Sig, Sig))

MidiInstr ((D, Sig) -> SE (Sig, Sig, Sig, Sig))

MidiInstr ((D, Sig) -> SE Sig)

MidiInstr ((D, D) -> (Sig, Sig))

MidiInstr ((D, D) -> (Sig, Sig, Sig))

MidiInstr ((D, D) -> (Sig, Sig, Sig, Sig))

MidiInstr ((D, D) -> Sig)

MidiInstr ((D, D) -> SE (Sig, Sig))

MidiInstr ((D, D) -> SE (Sig, Sig, Sig))

MidiInstr ((D, D) -> SE (Sig, Sig, Sig, Sig))

MidiInstr ((D, D) -> SE Sig)

MidiInstr (D -> (Sig, Sig))

MidiInstr (D -> (Sig, Sig, Sig))

MidiInstr (D -> (Sig, Sig, Sig, Sig))

MidiInstr (D -> Sig)

MidiInstr (D -> SE (Sig, Sig))

MidiInstr (D -> SE (Sig, Sig, Sig))

MidiInstr (D -> SE (Sig, Sig, Sig, Sig))

MidiInstr (D -> SE Sig)

HumanizeValueTime ([D] -> D -> Sig)

HumanizeValueTime ([D] -> Sig)

HumanizeTime ([D] -> D -> Sig)

HumanizeTime ([D] -> Sig)

HumanizeValue ([D] -> D -> Sig)

HumanizeValue ([D] -> Sig)

type BooleanOf D = BoolD

type PrimOf D = Double

type Snap D = D

type CpsInstrOut ((Sig, D) -> (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((Sig, D) -> Sig) = Sig

type CpsInstrOut ((Sig, D) -> SE (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((Sig, D) -> SE Sig) = Sig

type CpsInstrOut ((D, Sig) -> (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((D, Sig) -> Sig) = Sig

type CpsInstrOut ((D, Sig) -> SE (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((D, Sig) -> SE Sig) = Sig

type CpsInstrOut ((D, D) -> (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((D, D) -> Sig) = Sig

type CpsInstrOut ((D, D) -> SE (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut ((D, D) -> SE Sig) = Sig

type CpsInstrOut (D -> (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut (D -> Sig) = Sig

type CpsInstrOut (D -> SE (Sig, Sig)) = (Sig, Sig)

type CpsInstrOut (D -> SE Sig) = Sig

type AmpInstrOut (D -> (Sig, Sig)) = (Sig, Sig)

type AmpInstrOut (D -> Sig) = Sig

type AmpInstrOut (D -> SE (Sig, Sig)) = (Sig, Sig)

type AmpInstrOut (D -> SE Sig) = Sig

type MidiInstrOut ((Sig, D) -> (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((Sig, D) -> (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((Sig, D) -> (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((Sig, D) -> Sig) = Sig

type MidiInstrOut ((Sig, D) -> SE (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((Sig, D) -> SE (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((Sig, D) -> SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((Sig, D) -> SE Sig) = Sig

type MidiInstrOut ((D, Sig) -> (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((D, Sig) -> (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((D, Sig) -> (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((D, Sig) -> Sig) = Sig

type MidiInstrOut ((D, Sig) -> SE (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((D, Sig) -> SE (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((D, Sig) -> SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((D, Sig) -> SE Sig) = Sig

type MidiInstrOut ((D, D) -> (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((D, D) -> (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((D, D) -> (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((D, D) -> Sig) = Sig

type MidiInstrOut ((D, D) -> SE (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut ((D, D) -> SE (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut ((D, D) -> SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut ((D, D) -> SE Sig) = Sig

type MidiInstrOut (D -> (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut (D -> (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut (D -> (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut (D -> Sig) = Sig

type MidiInstrOut (D -> SE (Sig, Sig)) = (Sig, Sig)

type MidiInstrOut (D -> SE (Sig, Sig, Sig)) = (Sig, Sig, Sig)

type MidiInstrOut (D -> SE (Sig, Sig, Sig, Sig)) = (Sig, Sig, Sig, Sig)

type MidiInstrOut (D -> SE Sig) = Sig

type HumanizeValueTimeOut ([D] -> D -> Sig) = [D] -> D -> SE Sig

type HumanizeValueTimeOut ([D] -> Sig) = [D] -> SE Sig

type HumanizeTimeOut ([D] -> D -> Sig) = [D] -> D -> SE Sig

type HumanizeTimeOut ([D] -> Sig) = [D] -> SE Sig

type HumanizeValueOut ([D] -> D -> Sig) = [D] -> D -> SE Sig

type HumanizeValueOut ([D] -> Sig) = [D] -> SE Sig

data Tab :: *

Tables (or arrays)

Instances

IfB Tab

Tuple Tab

Arg Tab

Val Tab

Default Tab

type BooleanOf Tab = BoolD

type Snap Tab = Tab

data Str :: *

Strings

Instances

IfB Str

Tuple Str

Arg Str

Val Str

Default Str

type BooleanOf Str = BoolD

type Snap Str = Str

data Spec :: *

Spectrum. It's fsig in the Csound.

Instances

IfB Spec

Tuple Spec

Val Spec

Default Spec

type BooleanOf Spec = BoolD

data Wspec :: *

Another type for spectrum. It's wsig in the Csound.

Instances

Val Wspec

data BoolSig :: *

A signal of booleans.

Instances

Boolean BoolSig

IsPrim BoolSig

Val BoolSig

type PrimOf BoolSig = Bool

data BoolD :: *

A constant boolean value.

Instances

Boolean BoolD

IsPrim BoolD

Val BoolD

type PrimOf BoolD = Bool

class Val a where

Contains all Csound values.

Minimal complete definition

fromGE, toGE

Methods

fromGE :: GE E -> a

toGE :: a -> GE E

fromE :: E -> a

Instances

Val Sf

Val Sig

Val D

Val Str

Val Spec

Val Wspec

Val BoolSig

Val BoolD

Val Tab

Val TabList

class (IsPrim a, RealFrac (PrimOf a), Val a) => SigOrD a

Instances

SigOrD Sig

SigOrD D

type Sig2 = (Sig, Sig)

type Sig3 = (Sig, Sig, Sig)

type Sig4 = (Sig, Sig, Sig, Sig)

type Sig5 = (Sig, Sig, Sig, Sig, Sig)

type Sig6 = (Sig, Sig, Sig, Sig, Sig, Sig)

type Sig8 = (Sig, Sig, Sig, Sig, Sig, Sig, Sig, Sig)

Constructors

double :: Double -> D

Constructs a number.

int :: Int -> D

Constructs an integer.

text :: String -> Str

Constructs a string.

Constants

idur :: D

Querries a total duration of the note. It's equivallent to Csound's p3 field.

getSampleRate :: D

getControlRate :: D

getBlockSize :: D

Converters

ar :: Sig -> Sig

Sets a rate of the signal to audio rate.

kr :: Sig -> Sig

Sets a rate of the signal to control rate.

ir :: Sig -> D

Converts a signal to the number (initial value of the signal).

sig :: D -> Sig

Makes a constant signal from the number.

Init values

withInits :: (Tuple a, Tuple b) => a -> b -> a

Appends initialisation arguments. It's up to user to supply arguments with the right types. For example:

oscil 0.5 440 sinWave `withInits` (0.5 :: D)

withDs :: Tuple a => a -> [D] -> a

A special case of withInits. Here all inits are numbers.

withSigs :: Tuple a => a -> [Sig] -> a

A special case of withInits. Here all inits are signals.

withTabs :: Tuple a => a -> [Tab] -> a

A special case of withInits. Here all inits are arrays.

withD :: Tuple a => a -> D -> a

Appends an init value which is a number.

withSig :: Tuple a => a -> Sig -> a

Appends an init value which is a signal.

withTab :: Tuple a => a -> Tab -> a

Appends an init value which is a table.

withSeed :: SE Sig -> D -> Sig

Applies a seed to the random value. It's equivalent to the withD but it has a special meaning of canceling the side effect. When random opcode is provided with seed value it's no longer contains a side effect so we don't need to restrict it.

Numeric functions

quot' :: SigOrD a => a -> a -> a

rem' :: SigOrD a => a -> a -> a

div' :: SigOrD a => a -> a -> a

mod' :: SigOrD a => a -> a -> a

ceil' :: SigOrD a => a -> a

floor' :: SigOrD a => a -> a

round' :: SigOrD a => a -> a

int' :: SigOrD a => a -> a

frac' :: SigOrD a => a -> a

Logic functions

boolSig :: BoolD -> BoolSig

Creates a constant boolean signal.

when1 :: BoolSig -> SE () -> SE ()

Invokes the given procedure if the boolean signal is true.

whens :: [(BoolSig, SE ())] -> SE () -> SE ()

The chain of when1s. Tests all the conditions in sequence if everything is false it invokes the procedure given in the second argument.

whileDo :: BoolSig -> SE () -> SE ()

untilDo :: BoolSig -> SE () -> SE ()

equalsTo :: EqB a => a -> a -> BooleanOf a infix 4

notEqualsTo :: EqB a => a -> a -> BooleanOf a infix 4

lessThan :: OrdB a => a -> a -> BooleanOf a infix 4

greaterThan :: OrdB a => a -> a -> BooleanOf a infix 4

lessThanEquals :: OrdB a => a -> a -> BooleanOf a infix 4

greaterThanEquals :: OrdB a => a -> a -> BooleanOf a infix 4

Aliases

Handy for functions that return tuples to specify the utput type

(aleft, aright) = ar2 $ diskin2 "file.wav" 1

or

asig = ar1 $ diskin2 "file.wav" 1    

ar1 :: Sig -> Sig

ar2 :: (Sig, Sig) -> (Sig, Sig)

ar4 :: (Sig, Sig, Sig, Sig) -> (Sig, Sig, Sig, Sig)

ar6 :: (Sig, Sig, Sig, Sig, Sig, Sig) -> (Sig, Sig, Sig, Sig, Sig, Sig)

ar8 :: (Sig, Sig, Sig, Sig, Sig, Sig, Sig, Sig) -> (Sig, Sig, Sig, Sig, Sig, Sig, Sig, Sig)

Tuples

class Tuple a where

A tuple of Csound values.

Methods

tupleMethods :: TupleMethods a

Instances

Tuple Sig

Tuple D

Tuple Str

Tuple Spec

Tuple Unit

Tuple Tab

(Tuple a, Tuple b) => Tuple (a, b)

(Tuple a, Tuple b, Tuple c) => Tuple (a, b, c)

(Tuple a, Tuple b, Tuple c, Tuple d) => Tuple (a, b, c, d)

(Tuple a, Tuple b, Tuple c, Tuple d, Tuple e) => Tuple (a, b, c, d, e)

(Tuple a, Tuple b, Tuple c, Tuple d, Tuple e, Tuple f) => Tuple (a, b, c, d, e, f)

(Tuple a, Tuple b, Tuple c, Tuple d, Tuple e, Tuple f, Tuple g) => Tuple (a, b, c, d, e, f, g)

(Tuple a, Tuple b, Tuple c, Tuple d, Tuple e, Tuple f, Tuple g, Tuple h) => Tuple (a, b, c, d, e, f, g, h)

makeTupleMethods :: Tuple a => (a -> b) -> (b -> a) -> TupleMethods b

Defines instance of type class Tuple for a new type in terms of an already defined one.

data Unit :: *

Csound's empty tuple.

Instances

Monoid Unit

Tuple Unit

Arg Unit

Default Unit

unit :: Unit

Constructs Csound's empty tuple.

atTuple :: Tuple a => [a] -> Sig -> a

Gets an control/audio-rate value from the list by index.

Logic functions

ifTuple :: Tuple a => BoolSig -> a -> a -> a

ifB for tuples of csound values.

guardedTuple :: Tuple b => [(BoolSig, b)] -> b -> b

guardedB for tuples of csound values.

caseTuple :: Tuple b => a -> [(a -> BoolSig, b)] -> b -> b

caseB for tuples of csound values.

Instruments

An instrument is a function that takes a tpule of csound values as an argument and returns a tuple of signals as an output. The type of the instrument is:

(Arg a, Out b) => a -> b

Arguments

class Tuple a => Arg a

Instances

Arg D

Arg Str

Arg Unit

Arg Tab

(Arg a, Arg b) => Arg (a, b)

(Arg a, Arg b, Arg c) => Arg (a, b, c)

(Arg a, Arg b, Arg c, Arg d) => Arg (a, b, c, d)

(Arg a, Arg b, Arg c, Arg d, Arg e) => Arg (a, b, c, d, e)

(Arg a, Arg b, Arg c, Arg d, Arg e, Arg f) => Arg (a, b, c, d, e, f)

(Arg a, Arg b, Arg c, Arg d, Arg e, Arg f, Arg h) => Arg (a, b, c, d, e, f, h)

(Arg a, Arg b, Arg c, Arg d, Arg e, Arg f, Arg h, Arg g) => Arg (a, b, c, d, e, f, h, g)

atArg :: (Tuple a, Arg a) => [a] -> D -> a

Gets an init-rate value from the list by index.

Logic functions

ifArg :: (Arg a, Tuple a) => BoolD -> a -> a -> a

ifB for constants.

guardedArg :: (Tuple b, Arg b) => [(BoolD, b)] -> b -> b

guardedB for constants.

caseArg :: (Tuple b, Arg b) => a -> [(a -> BoolD, b)] -> b -> b

caseB for constants.

Outputs

class (Tuple a, Num a) => Sigs a

The tuples of signals.

Instances

Sigs Sig2

Sigs Sig4

Sigs Sig6

Sigs Sig8

Sigs Sig

Sigs (Sig8, Sig8)

Sigs (Sig8, Sig8, Sig8, Sig8)