Csound.Typed.Types.Prim

Documentation

data Sig

Signals

Constructors

Sig (GE E)

PrimSig Double

Instances

Floating Sig

Methods

pi :: Sig

exp :: Sig -> Sig

log :: Sig -> Sig

sqrt :: Sig -> Sig

(**) :: Sig -> Sig -> Sig

logBase :: Sig -> Sig -> Sig

sin :: Sig -> Sig

cos :: Sig -> Sig

tan :: Sig -> Sig

asin :: Sig -> Sig

acos :: Sig -> Sig

atan :: Sig -> Sig

sinh :: Sig -> Sig

cosh :: Sig -> Sig

tanh :: Sig -> Sig

asinh :: Sig -> Sig

acosh :: Sig -> Sig

atanh :: Sig -> Sig

log1p :: Sig -> Sig

expm1 :: Sig -> Sig

log1pexp :: Sig -> Sig

log1mexp :: Sig -> Sig

Fractional Sig

Methods

(/) :: Sig -> Sig -> Sig

recip :: Sig -> Sig

fromRational :: Rational -> Sig

Num Sig

Methods

(+) :: Sig -> Sig -> Sig

(-) :: Sig -> Sig -> Sig

(*) :: Sig -> Sig -> Sig

negate :: Sig -> Sig

abs :: Sig -> Sig

signum :: Sig -> Sig

fromInteger :: Integer -> Sig

Monoid Sig

Methods

mempty :: Sig

mappend :: Sig -> Sig -> Sig

mconcat :: [Sig] -> Sig

IfB Sig

Methods

ifB :: (* ~ bool) (BooleanOf Sig) => bool -> Sig -> Sig -> Sig

EqB Sig

Methods

(==*) :: (* ~ bool) (BooleanOf Sig) => Sig -> Sig -> bool

(/=*) :: (* ~ bool) (BooleanOf Sig) => Sig -> Sig -> bool

OrdB Sig

Methods

(<*) :: (* ~ bool) (BooleanOf Sig) => Sig -> Sig -> bool

(<=*) :: (* ~ bool) (BooleanOf Sig) => Sig -> Sig -> bool

(>*) :: (* ~ bool) (BooleanOf Sig) => Sig -> Sig -> bool

(>=*) :: (* ~ bool) (BooleanOf Sig) => Sig -> Sig -> bool

Default Sig

Methods

def :: Sig

SigOrD Sig

Val Sig

Methods

fromGE :: GE E -> Sig

toGE :: Sig -> GE E

fromE :: E -> Sig

Sigs Sig

Sigs Sig8

Sigs Sig6

Sigs Sig4

Sigs Sig2

Tuple Sig

Methods

tupleMethods :: TupleMethods Sig

PureSingle Sig

Methods

pureSingleGE :: GE ([E] -> E) -> Sig

DirtySingle (SE Sig)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE Sig

Sigs (Sig8, Sig8)

Sigs (Sig2, Sig2)

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

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> [Sig] -> b

DirtyMulti b => DirtyMulti (Sig -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Sig -> b

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

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> [Sig] -> b

PureMulti b => PureMulti (Sig -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Sig -> b

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

Methods

procedureGE :: GE ([E] -> Dep ()) -> [Sig] -> b

Procedure b => Procedure (Sig -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> Sig -> b

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

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> [Sig] -> b

DirtySingle b => DirtySingle (Sig -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> Sig -> b

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

Methods

pureSingleGE :: GE ([E] -> E) -> [Sig] -> b

PureSingle b => PureSingle (Sig -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> Sig -> b

Sigs (Sig2, Sig2, Sig2)

Sigs (Sig8, Sig8, Sig8, Sig8)

Sigs (Sig2, Sig2, Sig2, Sig2)

Sigs (Sig2, Sig2, Sig2, Sig2, Sig2)

Sigs (Sig2, Sig2, Sig2, Sig2, Sig2, Sig2)

type BooleanOf Sig

type BooleanOf Sig = BoolSig

type Snap Sig

type Snap Sig = D

unSig :: Sig -> GE E

data D

Constant numbers

Constructors

D (GE E)

PrimD Double

Instances

Floating D

Methods

pi :: D

exp :: D -> D

log :: D -> D

sqrt :: D -> D

(**) :: D -> D -> D

logBase :: D -> D -> D

sin :: D -> D

cos :: D -> D

tan :: D -> D

asin :: D -> D

acos :: D -> D

atan :: D -> D

sinh :: D -> D

cosh :: D -> D

tanh :: D -> D

asinh :: D -> D

acosh :: D -> D

atanh :: D -> D

log1p :: D -> D

expm1 :: D -> D

log1pexp :: D -> D

log1mexp :: D -> D

Fractional D

Methods

(/) :: D -> D -> D

recip :: D -> D

fromRational :: Rational -> D

Num D

Methods

(+) :: D -> D -> D

(-) :: D -> D -> D

(*) :: D -> D -> D

negate :: D -> D

abs :: D -> D

signum :: D -> D

fromInteger :: Integer -> D

Monoid D

Methods

mempty :: D

mappend :: D -> D -> D

mconcat :: [D] -> D

IfB D

Methods

ifB :: (* ~ bool) (BooleanOf D) => bool -> D -> D -> D

EqB D

Methods

(==*) :: (* ~ bool) (BooleanOf D) => D -> D -> bool

(/=*) :: (* ~ bool) (BooleanOf D) => D -> D -> bool

OrdB D

Methods

(<*) :: (* ~ bool) (BooleanOf D) => D -> D -> bool

(<=*) :: (* ~ bool) (BooleanOf D) => D -> D -> bool

(>*) :: (* ~ bool) (BooleanOf D) => D -> D -> bool

(>=*) :: (* ~ bool) (BooleanOf D) => D -> D -> bool

Default D

Methods

def :: D

SigOrD D

Val D

Methods

fromGE :: GE E -> D

toGE :: D -> GE E

fromE :: E -> D

Arg D

Tuple D

Methods

tupleMethods :: TupleMethods D

PureSingle D

Methods

pureSingleGE :: GE ([E] -> E) -> D

DirtySingle (SE D)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE D

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

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> [D] -> b

DirtyMulti b => DirtyMulti (D -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> D -> b

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

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> [D] -> b

PureMulti b => PureMulti (D -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> D -> b

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

Methods

procedureGE :: GE ([E] -> Dep ()) -> [D] -> b

Procedure b => Procedure (D -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> D -> b

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

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> [D] -> b

DirtySingle b => DirtySingle (D -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> D -> b

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

Methods

pureSingleGE :: GE ([E] -> E) -> [D] -> b

PureSingle b => PureSingle (D -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> D -> b

type BooleanOf D

type BooleanOf D = BoolD

type Snap D

type Snap D = D

unD :: D -> GE E

data Tab

Tables (or arrays)

Constructors

Tab (GE E)

TabPre PreTab

Instances

IfB Tab

Methods

ifB :: (* ~ bool) (BooleanOf Tab) => bool -> Tab -> Tab -> Tab

Default Tab

Methods

def :: Tab

Val Tab

Methods

fromGE :: GE E -> Tab

toGE :: Tab -> GE E

fromE :: E -> Tab

Arg Tab

Tuple Tab

Methods

tupleMethods :: TupleMethods Tab

PureSingle Tab

Methods

pureSingleGE :: GE ([E] -> E) -> Tab

DirtySingle (SE Tab)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE Tab

DirtyMulti b => DirtyMulti (Tab -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Tab -> b

PureMulti b => PureMulti (Tab -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Tab -> b

Procedure b => Procedure (Tab -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> Tab -> b

DirtySingle b => DirtySingle (Tab -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> Tab -> b

PureSingle b => PureSingle (Tab -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> Tab -> b

type BooleanOf Tab

type BooleanOf Tab = BoolD

type Snap Tab

type Snap Tab = Tab

unTab :: Tab -> GE E

newtype Str

Strings

Constructors

Str

Fields

• unStr :: GE E

Instances

IfB Str

Methods

ifB :: (* ~ bool) (BooleanOf Str) => bool -> Str -> Str -> Str

Default Str

Methods

def :: Str

Val Str

Methods

fromGE :: GE E -> Str

toGE :: Str -> GE E

fromE :: E -> Str

Arg Str

Tuple Str

Methods

tupleMethods :: TupleMethods Str

PureSingle Str

Methods

pureSingleGE :: GE ([E] -> E) -> Str

DirtySingle (SE Str)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE Str

DirtyMulti b => DirtyMulti (Str -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Str -> b

PureMulti b => PureMulti (Str -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Str -> b

Procedure b => Procedure (Str -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> Str -> b

DirtySingle b => DirtySingle (Str -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> Str -> b

PureSingle b => PureSingle (Str -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> Str -> b

type BooleanOf Str

type BooleanOf Str = BoolD

type Snap Str

type Snap Str = Str

newtype Spec

Spectrum. It's fsig in the Csound.

Constructors

Spec

Fields

• unSpec :: GE E

Instances

IfB Spec

Methods

ifB :: (* ~ bool) (BooleanOf Spec) => bool -> Spec -> Spec -> Spec

Default Spec

Methods

def :: Spec

Val Spec

Methods

fromGE :: GE E -> Spec

toGE :: Spec -> GE E

fromE :: E -> Spec

Tuple Spec

Methods

tupleMethods :: TupleMethods Spec

PureSingle Spec

Methods

pureSingleGE :: GE ([E] -> E) -> Spec

DirtySingle (SE Spec)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE Spec

DirtyMulti b => DirtyMulti (Spec -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Spec -> b

PureMulti b => PureMulti (Spec -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Spec -> b

Procedure b => Procedure (Spec -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> Spec -> b

DirtySingle b => DirtySingle (Spec -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> Spec -> b

PureSingle b => PureSingle (Spec -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> Spec -> b

type BooleanOf Spec

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

Methods

fromGE :: GE E -> Wspec

toGE :: Wspec -> GE E

fromE :: E -> Wspec

PureSingle Wspec

Methods

pureSingleGE :: GE ([E] -> E) -> Wspec

DirtySingle (SE Wspec)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE Wspec

DirtyMulti b => DirtyMulti (Wspec -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Wspec -> b

PureMulti b => PureMulti (Wspec -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Wspec -> b

Procedure b => Procedure (Wspec -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> Wspec -> b

DirtySingle b => DirtySingle (Wspec -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> Wspec -> b

PureSingle b => PureSingle (Wspec -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> Wspec -> b

data BoolSig

A signal of booleans.

Constructors

BoolSig (GE E)

PrimBoolSig Bool

Instances

Boolean BoolSig

Methods

true :: BoolSig

false :: BoolSig

notB :: BoolSig -> BoolSig

(&&*) :: BoolSig -> BoolSig -> BoolSig

(||*) :: BoolSig -> BoolSig -> BoolSig

Val BoolSig

Methods

fromGE :: GE E -> BoolSig

toGE :: BoolSig -> GE E

fromE :: E -> BoolSig

unBoolSig :: BoolSig -> GE E

data BoolD

A constant boolean value.

Constructors

BoolD (GE E)

PrimBoolD Bool

Instances

Boolean BoolD

Methods

true :: BoolD

false :: BoolD

notB :: BoolD -> BoolD

(&&*) :: BoolD -> BoolD -> BoolD

(||*) :: BoolD -> BoolD -> BoolD

Val BoolD

Methods

fromGE :: GE E -> BoolD

toGE :: BoolD -> GE E

fromE :: E -> BoolD

unBoolD :: BoolD -> GE E

newtype Unit

Csound's empty tuple.

Constructors

Unit

Fields

• unUnit :: GE ()

Instances

Monoid Unit

Methods

mempty :: Unit

mappend :: Unit -> Unit -> Unit

mconcat :: [Unit] -> Unit

Default Unit

Methods

def :: Unit

Arg Unit

Tuple Unit

Methods

tupleMethods :: TupleMethods 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 TabList

Methods

fromGE :: GE E -> TabList

toGE :: TabList -> GE E

fromE :: E -> TabList

Val Tab

Methods

fromGE :: GE E -> Tab

toGE :: Tab -> GE E

fromE :: E -> Tab

Val BoolD

Methods

fromGE :: GE E -> BoolD

toGE :: BoolD -> GE E

fromE :: E -> BoolD

Val BoolSig

Methods

fromGE :: GE E -> BoolSig

toGE :: BoolSig -> GE E

fromE :: E -> BoolSig

Val Wspec

Methods

fromGE :: GE E -> Wspec

toGE :: Wspec -> GE E

fromE :: E -> Wspec

Val Spec

Methods

fromGE :: GE E -> Spec

toGE :: Spec -> GE E

fromE :: E -> Spec

Val Str

Methods

fromGE :: GE E -> Str

toGE :: Str -> GE E

fromE :: E -> Str

Val D

Methods

fromGE :: GE E -> D

toGE :: D -> GE E

fromE :: E -> D

Val Sig

Methods

fromGE :: GE E -> Sig

toGE :: Sig -> GE E

fromE :: E -> Sig

Val Sf

Methods

fromGE :: GE E -> Sf

toGE :: Sf -> GE E

fromE :: E -> 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

preStringTab :: TabSize -> String -> TabArgs -> Tab

data TabSize

Constructors

SizePlain Int

SizeDegree

Fields

• hasGuardPoint :: Bool
• sizeDegree :: Int

Instances

Default TabSize

Methods

def :: 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

data TabList

Container list of tables

Instances

Default TabList

Methods

def :: TabList

Val TabList

Methods

fromGE :: GE E -> TabList

toGE :: TabList -> GE E

fromE :: E -> TabList

Arg TabList

Tuple TabList

Methods

tupleMethods :: TupleMethods TabList

tabList :: [Tab] -> TabList

fromTabList :: TabList -> Sig -> Tab

fromTabListD :: TabList -> D -> Tab

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

whenD1 :: BoolD -> SE () -> SE ()

Invokes the given procedure if the boolean signal is true.

whenDs :: [(BoolD, 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.

untilDoD :: BoolD -> SE () -> SE ()

whileDoD :: BoolD -> SE () -> SE ()

untilBeginD :: BoolD -> SE ()