Csound.Typed.Types.Prim

Documentation

data Sig

Signals

Constructors

Sig (GE E)

PrimSig Double

Instances

Floating Sig

Fractional Sig

Num Sig

IfB Sig

EqB Sig

OrdB Sig

Monoid Sig

Default Sig

SigOrD Sig

Val Sig

Sigs Sig

Sigs Sig8

Sigs Sig6

Sigs Sig4

Sigs Sig2

Tuple Sig

PureSingle Sig

DirtySingle (SE Sig)

Sigs (Sig8, Sig8)

DirtyMulti b => DirtyMulti ([Sig] -> b)

DirtyMulti b => DirtyMulti (Sig -> b)

PureMulti b => PureMulti ([Sig] -> b)

PureMulti b => PureMulti (Sig -> b)

Procedure b => Procedure ([Sig] -> b)

Procedure b => Procedure (Sig -> b)

DirtySingle b => DirtySingle ([Sig] -> b)

DirtySingle b => DirtySingle (Sig -> b)

PureSingle b => PureSingle ([Sig] -> b)

PureSingle b => PureSingle (Sig -> b)

Sigs (Sig8, Sig8, Sig8, Sig8)

type BooleanOf Sig = BoolSig

type Snap Sig = D

unSig :: Sig -> GE E

data D

Constant numbers

Constructors

D (GE E)

PrimD Double

Instances

Floating D

Fractional D

Num D

IfB D

EqB D

OrdB D

Monoid D

Default D

SigOrD D

Val D

Arg D

Tuple D

PureSingle D

DirtySingle (SE D)

DirtyMulti b => DirtyMulti ([D] -> b)

DirtyMulti b => DirtyMulti (D -> b)

PureMulti b => PureMulti ([D] -> b)

PureMulti b => PureMulti (D -> b)

Procedure b => Procedure ([D] -> b)

Procedure b => Procedure (D -> b)

DirtySingle b => DirtySingle ([D] -> b)

DirtySingle b => DirtySingle (D -> b)

PureSingle b => PureSingle ([D] -> b)

PureSingle b => PureSingle (D -> b)

type BooleanOf D = BoolD

type Snap D = D

unD :: D -> GE E

data Tab

Tables (or arrays)

Constructors

Tab (GE E)

TabPre PreTab

Instances

IfB Tab

Default Tab

Val Tab

Arg Tab

Tuple Tab

PureSingle Tab

DirtySingle (SE Tab)

DirtyMulti b => DirtyMulti (Tab -> b)

PureMulti b => PureMulti (Tab -> b)

Procedure b => Procedure (Tab -> b)

DirtySingle b => DirtySingle (Tab -> b)

PureSingle b => PureSingle (Tab -> b)

type BooleanOf Tab = BoolD

type Snap Tab = Tab

unTab :: Tab -> GE E

newtype Str

Strings

Constructors

Str

Fields

unStr :: GE E

Instances

IfB Str

Default Str

Val Str

Arg Str

Tuple Str

PureSingle Str

DirtySingle (SE Str)

DirtyMulti b => DirtyMulti (Str -> b)

PureMulti b => PureMulti (Str -> b)

Procedure b => Procedure (Str -> b)

DirtySingle b => DirtySingle (Str -> b)

PureSingle b => PureSingle (Str -> b)

type BooleanOf Str = BoolD

type Snap Str = Str

newtype Spec

Spectrum. It's fsig in the Csound.

Constructors

Spec

Fields

unSpec :: GE E

Instances

IfB Spec

Default Spec

Val Spec

Tuple Spec

PureSingle Spec

DirtySingle (SE Spec)

DirtyMulti b => DirtyMulti (Spec -> b)

PureMulti b => PureMulti (Spec -> b)

Procedure b => Procedure (Spec -> b)

DirtySingle b => DirtySingle (Spec -> b)

PureSingle b => PureSingle (Spec -> b)

type BooleanOf Spec = BoolD

newtype Wspec

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

Constructors

Wspec

Fields

unWspec :: GE E

Instances

Val Wspec

PureSingle Wspec

DirtySingle (SE Wspec)

DirtyMulti b => DirtyMulti (Wspec -> b)

PureMulti b => PureMulti (Wspec -> b)

Procedure b => Procedure (Wspec -> b)

DirtySingle b => DirtySingle (Wspec -> b)

PureSingle b => PureSingle (Wspec -> b)

data BoolSig

A signal of booleans.

Constructors

BoolSig (GE E)

PrimBoolSig Bool

Instances

Boolean BoolSig

Val BoolSig

unBoolSig :: BoolSig -> GE E

data BoolD

A constant boolean value.

Constructors

BoolD (GE E)

PrimBoolD Bool

Instances

Boolean BoolD

Val BoolD

unBoolD :: BoolD -> GE E

newtype Unit

Csound's empty tuple.

Constructors

Unit

Fields

unUnit :: GE ()

Instances

Monoid Unit

Default Unit

Arg Unit

Tuple Unit

unit :: Unit

Constructs Csound's empty tuple.

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 Tab

Val BoolD

Val BoolSig

Val Wspec

Val Spec

Val Str

Val D

Val Sig

Val Sf

hideGE :: Val a => GE a -> a

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

Instances

SigOrD D

SigOrD Sig

Tables

preTab :: TabSize -> Int -> TabArgs -> Tab

data TabSize

Constructors

SizePlain Int

SizeDegree

Fields

hasGuardPoint :: Bool

sizeDegree :: Int

Instances

Default TabSize

data TabArgs

Constructors

ArgsPlain [Double]

ArgsRelative [Double]

ArgsGen16 [Double]

FileAccess String [Double]

updateTabSize :: (TabSize -> TabSize) -> Tab -> Tab

fromPreTab :: PreTab -> GE Gen

getPreTabUnsafe :: String -> Tab -> PreTab

skipNorm :: Tab -> Tab

Skips normalization (sets table size to negative value)

forceNorm :: Tab -> Tab

Force normalization (sets table size to positive value). Might be useful to restore normalization for table doubles.

nsamp :: Tab -> D

nsamp — Returns the number of samples loaded into a stored function table number.

nsamp(x) (init-rate args only)

csound doc: http://www.csounds.com/manual/html/nsamp.html

ftlen :: Tab -> D

Returns a length of the table.

ftchnls :: Tab -> D

Returns the number of channels for a table that stores wav files

ftsr :: Tab -> D

Returns the sample rate for a table that stores wav files

ftcps :: Tab -> D

Returns the base frequency for a table that stores wav files

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

getZeroDbfs :: 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.

lifters

on0 :: Val a => E -> a

on1 :: (Val a, Val b) => (E -> E) -> a -> b

on2 :: (Val a, Val b, Val c) => (E -> E -> E) -> a -> b -> c

on3 :: (Val a, Val b, Val c, Val d) => (E -> E -> E -> E) -> a -> b -> c -> d

numeric funs

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 funs

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.

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

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

boolSig :: BoolD -> BoolSig

Creates a constant boolean signal.

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