Safe Haskell	None
Language	Haskell98

Csound.Dynamic.Types.Exp

Description

Main types

Synopsis

Documentation

type E = Fix RatedExp Source

The inner representation of csound expressions.

data RatedExp a Source

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 LineNum 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)
type BooleanOf E = E

isEmptyExp :: E -> Bool Source

type RatedVar = Var Rate Source

RatedVar is for pretty printing of the wiring ports.

ratedVar :: Rate -> Int -> RatedVar Source

Makes an rated variable.

ratedVarRate :: RatedVar -> Rate Source

Querries a rate.

ratedVarId :: RatedVar -> Int Source

Querries an integral identifier.

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

noRate :: Exp E -> E Source

withRate :: Rate -> Exp E -> E Source

setRate :: Rate -> E -> E Source

type Exp a = MainExp (PrimOr a) Source

toPrimOr :: E -> PrimOr E Source

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

toPrimOrTfm :: Rate -> E -> PrimOr E Source

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

newtype PrimOr a Source

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 Source

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
ElseBegin
IfEnd
UntilBegin (CondInfo a)	looping constructions
UntilEnd
Verbatim String	Verbatim stmt
Starts	Dependency tracking
Seq a a
Ends a

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 Source

data InstrId Source

An instrument identifier

Constructors

InstrId
Fields instrIdFrac :: Maybe Int instrIdCeil :: Int
InstrLabel String

Instances

Eq InstrId
Ord InstrId
Show InstrId

intInstrId :: Int -> InstrId Source

Constructs an instrument id with the integer.

ratioInstrId :: Int -> Int -> InstrId Source

Constructs an instrument id with fractional part.

stringInstrId :: String -> InstrId Source

Constructs an instrument id with the string label.

data VarType Source

Constructors

LocalVar
GlobalVar

Instances

Eq VarType
Ord VarType
Show VarType

data Var Source

Constructors

Var
Fields varType :: VarType varRate :: Rate varName :: Name
VarVerbatim
Fields varRate :: Rate varName :: Name

Instances

Eq Var
Ord Var
Show Var

data Info Source

Constructors

Info
Fields infoName :: Name infoSignature :: Signature infoOpcFixity :: OpcFixity

Instances

Eq Info
Ord Info
Show Info

data OpcFixity Source

Constructors

Prefix
Infix
Opcode

Instances

Eq OpcFixity
Ord OpcFixity
Show OpcFixity

data Rate Source

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 Source

Constructors

SingleRate (Map Rate [Rate])
MultiRate
Fields outMultiRate :: [Rate] inMultiRate :: [Rate]

Instances

Eq Signature
Ord Signature
Show Signature

isInfix :: Info -> Bool Source

isPrefix :: Info -> Bool Source

data Prim Source

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 Source

Constructors

Gen
Fields genSize :: Int genId :: Int genArgs :: [Double] genFile :: Maybe String

Instances

Eq Gen
Ord Gen
Show Gen

data Inline a b Source

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 Source

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 Source

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 Source

type CondInfo a = Inline CondOp a Source

data CondOp Source

Constructors

TrueOp
FalseOp
And
Or
Equals
NotEquals
Less
Greater
LessEquals
GreaterEquals

Instances

Eq CondOp
Ord CondOp
Show CondOp

isTrue :: CondInfo a -> Bool Source

isFalse :: CondInfo a -> Bool Source

type NumExp a = PreInline NumOp a Source

data NumOp Source

Constructors

Add
Sub
Neg
Mul
Div
Pow
Mod

Instances

Eq NumOp
Ord NumOp
Show NumOp

type Note = [Prim] Source

type MultiOut a = Int -> a Source

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