Csound.Dynamic.Types.Exp

Main types

Documentation

type E = Fix RatedExp

The inner representation of csound expressions.

data RatedExp a

Constructors

RatedExp

Fields

ratedExpRate :: Maybe Rate

Rate (can be undefined or Nothing, it means that rate should be deduced automatically from the context)

ratedExpDepends :: Maybe a

Dependency (it is used for expressions with side effects, value contains the privious statement)

ratedExpExp :: Exp a

Main expression

Instances

Enum E

Floating E

Fractional E

Integral E

Functor RatedExp

Num E

Real E

Foldable RatedExp

Traversable RatedExp

Boolean E

IfB E

EqB E

OrdB E

Monoid E

Eq a => Eq (RatedExp a)

Ord a => Ord (RatedExp a)

Show a => Show (RatedExp a)

isEmptyExp :: E -> Bool

type RatedVar = Var Rate

RatedVar is for pretty printing of the wiring ports.

ratedVar :: Rate -> Int -> RatedVar

Makes an rated variable.

ratedVarRate :: RatedVar -> Rate

Querries a rate.

ratedVarId :: RatedVar -> Int

Querries an integral identifier.

ratedExp :: Maybe Rate -> Exp E -> E

noRate :: Exp E -> E

withRate :: Rate -> Exp E -> E

setRate :: Rate -> E -> E

type Exp a = MainExp (PrimOr a)

toPrimOr :: E -> PrimOr E

Constructs PrimOr values from the expressions. It does inlining in case of primitive values.

newtype PrimOr a

It's a primitive value or something else. It's used for inlining of the constants (primitive values).

Constructors

PrimOr

Fields

unPrimOr :: Either Prim a

Instances

Functor PrimOr

Foldable PrimOr

Traversable PrimOr

Eq a => Eq (PrimOr a)

Ord a => Ord (PrimOr a)

Show a => Show (PrimOr a)

data MainExp a

Constructors

EmptyExp

ExpPrim Prim

Primitives

Tfm Info [a]

Application of the opcode: we have opcode information (Info) and the arguments [a]

ConvertRate Rate Rate a

Rate conversion

Select Rate Int a

Selects a cell from the tuple, here argument is always a tuple (result of opcode that returns several outputs)

If (CondInfo a) a a

if-then-else

ExpBool (BoolExp a)

Boolean expressions (rendered in infix notation in the Csound)

ExpNum (NumExp a)

Numerical expressions (rendered in infix notation in the Csound)

InitVar Var a

Reading/writing a named variable

ReadVar Var

WriteVar Var a

IfBegin (CondInfo a)

Imperative If-then-else

ElseIfBegin (CondInfo a)

ElseBegin

IfEnd

Verbatim String

Verbatim stmt

Instances

Functor MainExp

Foldable MainExp

Traversable MainExp

Eq a => Eq (MainExp a)

Ord a => Ord (MainExp a)

Show a => Show (MainExp a)

type Name = String

data InstrId

An instrument identifier

Constructors

InstrId

Fields

instrIdFrac :: Maybe Int

instrIdCeil :: Int

InstrLabel String

Instances

Eq InstrId

Ord InstrId

Show InstrId

intInstrId :: Int -> InstrId

Constructs an instrument id with the integer.

ratioInstrId :: Int -> Int -> InstrId

Constructs an instrument id with fractional part.

stringInstrId :: String -> InstrId

Constructs an instrument id with the string label.

data VarType

Constructors

LocalVar

GlobalVar

Instances

Eq VarType

Ord VarType

Show VarType

data Var

Constructors

Var

Fields

varType :: VarType

varRate :: Rate

varName :: Name

VarVerbatim

Fields

varRate :: Rate

varName :: Name

Instances

Eq Var

Ord Var

Show Var

data Info

Constructors

Info

Fields

infoName :: Name

infoSignature :: Signature

infoOpcFixity :: OpcFixity

Instances

Eq Info

Ord Info

Show Info

data OpcFixity

Constructors

Prefix

Infix

Opcode

Instances

Eq OpcFixity

Ord OpcFixity

Show OpcFixity

data Rate

The Csound rates.

Constructors

Xr

Ar

Kr

Ir

Sr

Fr

Wr

Tvar

Instances

Bounded Rate

Enum Rate

Eq Rate

Ord Rate

Show Rate

data Signature

Constructors

SingleRate (Map Rate [Rate])

MultiRate

Fields

outMultiRate :: [Rate]

inMultiRate :: [Rate]

Instances

Eq Signature

Ord Signature

Show Signature

isInfix :: Info -> Bool

isPrefix :: Info -> Bool

data Prim

Constructors

P Int

PString Int

PrimInt Int

PrimDouble Double

PrimString String

PrimInstrId InstrId

PrimVar

Fields

primVarTargetRate :: Rate

primVar :: Var

Instances

Eq Prim

Ord Prim

Show Prim

data Gen

Constructors

Gen

Fields

genSize :: Int

genId :: Int

genArgs :: [Double]

genFile :: Maybe String

Instances

Eq Gen

Ord Gen

Show Gen

data Inline a b

Constructors

Inline

Fields

inlineExp :: InlineExp a

inlineEnv :: IntMap b

Instances

Functor (Inline a)

Foldable (Inline a)

Traversable (Inline a)

(Eq a, Eq b) => Eq (Inline a b)

(Ord a, Ord b) => Ord (Inline a b)

(Show a, Show b) => Show (Inline a b)

data InlineExp a

Constructors

InlinePrim Int

InlineExp a [InlineExp a]

Instances

Eq a => Eq (InlineExp a)

Ord a => Ord (InlineExp a)

Show a => Show (InlineExp a)

data PreInline a b

Constructors

PreInline a [b]

Instances

Functor (PreInline a)

Foldable (PreInline a)

Traversable (PreInline a)

(Eq a, Eq b) => Eq (PreInline a b)

(Ord a, Ord b) => Ord (PreInline a b)

(Show a, Show b) => Show (PreInline a b)

type BoolExp a = PreInline CondOp a

type CondInfo a = Inline CondOp a

data CondOp

Constructors

TrueOp

FalseOp

And

Or

Equals

NotEquals

Less

Greater

LessEquals

GreaterEquals

Instances

Eq CondOp

Ord CondOp

Show CondOp

isTrue :: CondInfo a -> Bool

isFalse :: CondInfo a -> Bool

type NumExp a = PreInline NumOp a

data NumOp

Constructors

Add

Sub

Neg

Mul

Div

Pow

Mod

Instances

Eq NumOp

Ord NumOp

Show NumOp

type Note = [Prim]

type MultiOut a = Int -> a

Multiple output. Specify the number of outputs to get the result.