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 LineNum

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

• ratedExpExp :: Exp a

  Main expression

Instances

Enum E

Defined in Csound.Dynamic.Build.Numeric

Methods

succ :: E -> E

pred :: E -> E

toEnum :: Int -> E

fromEnum :: E -> Int

enumFrom :: E -> [E]

enumFromThen :: E -> E -> [E]

enumFromTo :: E -> E -> [E]

enumFromThenTo :: E -> E -> E -> [E]

Floating E

Defined in Csound.Dynamic.Build.Numeric

Methods

pi :: E

exp :: E -> E

log :: E -> E

sqrt :: E -> E

(**) :: E -> E -> E

logBase :: E -> E -> E

sin :: E -> E

cos :: E -> E

tan :: E -> E

asin :: E -> E

acos :: E -> E

atan :: E -> E

sinh :: E -> E

cosh :: E -> E

tanh :: E -> E

asinh :: E -> E

acosh :: E -> E

atanh :: E -> E

log1p :: E -> E

expm1 :: E -> E

log1pexp :: E -> E

log1mexp :: E -> E

Fractional E

Defined in Csound.Dynamic.Build.Numeric

Methods

(/) :: E -> E -> E

recip :: E -> E

fromRational :: Rational -> E

Integral E

Defined in Csound.Dynamic.Build.Numeric

Methods

quot :: E -> E -> E

rem :: E -> E -> E

div :: E -> E -> E

mod :: E -> E -> E

quotRem :: E -> E -> (E, E)

divMod :: E -> E -> (E, E)

toInteger :: E -> Integer

Functor RatedExp

Defined in Csound.Dynamic.Types.Exp

Methods

fmap :: (a -> b) -> RatedExp a -> RatedExp b

(<$) :: a -> RatedExp b -> RatedExp a

Num E

Defined in Csound.Dynamic.Build.Numeric

Methods

(+) :: E -> E -> E

(-) :: E -> E -> E

(*) :: E -> E -> E

negate :: E -> E

abs :: E -> E

signum :: E -> E

fromInteger :: Integer -> E

Real E

Defined in Csound.Dynamic.Build.Numeric

Methods

toRational :: E -> Rational

Foldable RatedExp

Defined in Csound.Dynamic.Types.Exp

Methods

fold :: Monoid m => RatedExp m -> m

foldMap :: Monoid m => (a -> m) -> RatedExp a -> m

foldr :: (a -> b -> b) -> b -> RatedExp a -> b

foldr' :: (a -> b -> b) -> b -> RatedExp a -> b

foldl :: (b -> a -> b) -> b -> RatedExp a -> b

foldl' :: (b -> a -> b) -> b -> RatedExp a -> b

foldr1 :: (a -> a -> a) -> RatedExp a -> a

foldl1 :: (a -> a -> a) -> RatedExp a -> a

toList :: RatedExp a -> [a]

null :: RatedExp a -> Bool

length :: RatedExp a -> Int

elem :: Eq a => a -> RatedExp a -> Bool

maximum :: Ord a => RatedExp a -> a

minimum :: Ord a => RatedExp a -> a

sum :: Num a => RatedExp a -> a

product :: Num a => RatedExp a -> a

Traversable RatedExp

Defined in Csound.Dynamic.Types.Exp

Methods

traverse :: Applicative f => (a -> f b) -> RatedExp a -> f (RatedExp b)

sequenceA :: Applicative f => RatedExp (f a) -> f (RatedExp a)

mapM :: Monad m => (a -> m b) -> RatedExp a -> m (RatedExp b)

sequence :: Monad m => RatedExp (m a) -> m (RatedExp a)

Semigroup E

Defined in Csound.Dynamic.Build.Numeric

Methods

(<>) :: E -> E -> E

sconcat :: NonEmpty E -> E

stimes :: Integral b => b -> E -> E

Monoid E

Defined in Csound.Dynamic.Build.Numeric

Methods

mempty :: E

mappend :: E -> E -> E

mconcat :: [E] -> E

Boolean E

Defined in Csound.Dynamic.Build.Logic

Methods

true :: E

false :: E

notB :: E -> E

(&&*) :: E -> E -> E

(||*) :: E -> E -> E

IfB E

Defined in Csound.Dynamic.Build.Logic

Methods

ifB :: bool ~ BooleanOf E => bool -> E -> E -> E

EqB E

Defined in Csound.Dynamic.Build.Logic

Methods

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

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

OrdB E

Defined in Csound.Dynamic.Build.Logic

Methods

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

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

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

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

Eq1 RatedExp

Defined in Csound.Dynamic.Types.Exp

Methods

liftEq :: (a -> b -> Bool) -> RatedExp a -> RatedExp b -> Bool

Ord1 RatedExp

Defined in Csound.Dynamic.Types.Exp

Methods

liftCompare :: (a -> b -> Ordering) -> RatedExp a -> RatedExp b -> Ordering

Eq a => Eq (RatedExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: RatedExp a -> RatedExp a -> Bool

(/=) :: RatedExp a -> RatedExp a -> Bool

Ord a => Ord (RatedExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: RatedExp a -> RatedExp a -> Ordering

(<) :: RatedExp a -> RatedExp a -> Bool

(<=) :: RatedExp a -> RatedExp a -> Bool

(>) :: RatedExp a -> RatedExp a -> Bool

(>=) :: RatedExp a -> RatedExp a -> Bool

max :: RatedExp a -> RatedExp a -> RatedExp a

min :: RatedExp a -> RatedExp a -> RatedExp a

Show a => Show (RatedExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> RatedExp a -> ShowS

show :: RatedExp a -> String

showList :: [RatedExp a] -> ShowS

Generic (RatedExp a)

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep (RatedExp a) :: Type -> Type

Methods

from :: RatedExp a -> Rep (RatedExp a) x

to :: Rep (RatedExp a) x -> RatedExp a

Hashable a => Hashable (RatedExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> RatedExp a -> Int

hash :: RatedExp a -> Int

type BooleanOf E

Defined in Csound.Dynamic.Build.Logic

type BooleanOf E = E

type Rep (RatedExp a)

Defined in Csound.Dynamic.Types.Exp

type Rep (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.

toPrimOrTfm :: Rate -> 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

Defined in Csound.Dynamic.Types.Exp

Methods

fmap :: (a -> b) -> PrimOr a -> PrimOr b

(<$) :: a -> PrimOr b -> PrimOr a

Foldable PrimOr

Defined in Csound.Dynamic.Types.Exp

Methods

fold :: Monoid m => PrimOr m -> m

foldMap :: Monoid m => (a -> m) -> PrimOr a -> m

foldr :: (a -> b -> b) -> b -> PrimOr a -> b

foldr' :: (a -> b -> b) -> b -> PrimOr a -> b

foldl :: (b -> a -> b) -> b -> PrimOr a -> b

foldl' :: (b -> a -> b) -> b -> PrimOr a -> b

foldr1 :: (a -> a -> a) -> PrimOr a -> a

foldl1 :: (a -> a -> a) -> PrimOr a -> a

toList :: PrimOr a -> [a]

null :: PrimOr a -> Bool

length :: PrimOr a -> Int

elem :: Eq a => a -> PrimOr a -> Bool

maximum :: Ord a => PrimOr a -> a

minimum :: Ord a => PrimOr a -> a

sum :: Num a => PrimOr a -> a

product :: Num a => PrimOr a -> a

Traversable PrimOr

Defined in Csound.Dynamic.Types.Exp

Methods

traverse :: Applicative f => (a -> f b) -> PrimOr a -> f (PrimOr b)

sequenceA :: Applicative f => PrimOr (f a) -> f (PrimOr a)

mapM :: Monad m => (a -> m b) -> PrimOr a -> m (PrimOr b)

sequence :: Monad m => PrimOr (m a) -> m (PrimOr a)

Eq1 PrimOr

Defined in Csound.Dynamic.Types.Exp

Methods

liftEq :: (a -> b -> Bool) -> PrimOr a -> PrimOr b -> Bool

Ord1 PrimOr

Defined in Csound.Dynamic.Types.Exp

Methods

liftCompare :: (a -> b -> Ordering) -> PrimOr a -> PrimOr b -> Ordering

Eq a => Eq (PrimOr a)

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: PrimOr a -> PrimOr a -> Bool

(/=) :: PrimOr a -> PrimOr a -> Bool

Ord a => Ord (PrimOr a)

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: PrimOr a -> PrimOr a -> Ordering

(<) :: PrimOr a -> PrimOr a -> Bool

(<=) :: PrimOr a -> PrimOr a -> Bool

(>) :: PrimOr a -> PrimOr a -> Bool

(>=) :: PrimOr a -> PrimOr a -> Bool

max :: PrimOr a -> PrimOr a -> PrimOr a

min :: PrimOr a -> PrimOr a -> PrimOr a

Show a => Show (PrimOr a)

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> PrimOr a -> ShowS

show :: PrimOr a -> String

showList :: [PrimOr a] -> ShowS

Generic (PrimOr a)

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep (PrimOr a) :: Type -> Type

Methods

from :: PrimOr a -> Rep (PrimOr a) x

to :: Rep (PrimOr a) x -> PrimOr a

Hashable a => Hashable (PrimOr a)

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> PrimOr a -> Int

hash :: PrimOr a -> Int

type Rep (PrimOr a)

Defined in Csound.Dynamic.Types.Exp

type Rep (PrimOr a) = D1 (MetaData "PrimOr" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" True) (C1 (MetaCons "PrimOr" PrefixI True) (S1 (MetaSel (Just "unPrimOr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Either Prim 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

InitArr Var (ArrSize a)

Arrays

ReadArr Var (ArrIndex a)

WriteArr Var (ArrIndex a) a

WriteInitArr Var (ArrIndex a) a

TfmArr IsArrInit Var Info [a]

IfBegin Rate (CondInfo a)

Imperative If-then-else

ElseBegin

IfEnd

UntilBegin (CondInfo a)

looping constructions

UntilEnd

WhileBegin (CondInfo a)

WhileRefBegin Var

WhileEnd

Verbatim String

Verbatim stmt

Starts

Dependency tracking

Seq a a

Ends a

InitMacrosInt String Int

read macros arguments

InitMacrosDouble String Double

InitMacrosString String String

ReadMacrosInt String

ReadMacrosDouble String

ReadMacrosString String

Instances

Functor MainExp

Defined in Csound.Dynamic.Types.Exp

Methods

fmap :: (a -> b) -> MainExp a -> MainExp b

(<$) :: a -> MainExp b -> MainExp a

Foldable MainExp

Defined in Csound.Dynamic.Types.Exp

Methods

fold :: Monoid m => MainExp m -> m

foldMap :: Monoid m => (a -> m) -> MainExp a -> m

foldr :: (a -> b -> b) -> b -> MainExp a -> b

foldr' :: (a -> b -> b) -> b -> MainExp a -> b

foldl :: (b -> a -> b) -> b -> MainExp a -> b

foldl' :: (b -> a -> b) -> b -> MainExp a -> b

foldr1 :: (a -> a -> a) -> MainExp a -> a

foldl1 :: (a -> a -> a) -> MainExp a -> a

toList :: MainExp a -> [a]

null :: MainExp a -> Bool

length :: MainExp a -> Int

elem :: Eq a => a -> MainExp a -> Bool

maximum :: Ord a => MainExp a -> a

minimum :: Ord a => MainExp a -> a

sum :: Num a => MainExp a -> a

product :: Num a => MainExp a -> a

Traversable MainExp

Defined in Csound.Dynamic.Types.Exp

Methods

traverse :: Applicative f => (a -> f b) -> MainExp a -> f (MainExp b)

sequenceA :: Applicative f => MainExp (f a) -> f (MainExp a)

mapM :: Monad m => (a -> m b) -> MainExp a -> m (MainExp b)

sequence :: Monad m => MainExp (m a) -> m (MainExp a)

Eq1 MainExp

Defined in Csound.Dynamic.Types.Exp

Methods

liftEq :: (a -> b -> Bool) -> MainExp a -> MainExp b -> Bool

Ord1 MainExp

Defined in Csound.Dynamic.Types.Exp

Methods

liftCompare :: (a -> b -> Ordering) -> MainExp a -> MainExp b -> Ordering

Eq a => Eq (MainExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: MainExp a -> MainExp a -> Bool

(/=) :: MainExp a -> MainExp a -> Bool

Ord a => Ord (MainExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: MainExp a -> MainExp a -> Ordering

(<) :: MainExp a -> MainExp a -> Bool

(<=) :: MainExp a -> MainExp a -> Bool

(>) :: MainExp a -> MainExp a -> Bool

(>=) :: MainExp a -> MainExp a -> Bool

max :: MainExp a -> MainExp a -> MainExp a

min :: MainExp a -> MainExp a -> MainExp a

Show a => Show (MainExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> MainExp a -> ShowS

show :: MainExp a -> String

showList :: [MainExp a] -> ShowS

Generic (MainExp a)

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep (MainExp a) :: Type -> Type

Methods

from :: MainExp a -> Rep (MainExp a) x

to :: Rep (MainExp a) x -> MainExp a

Hashable a => Hashable (MainExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> MainExp a -> Int

hash :: MainExp a -> Int

type Rep (MainExp a)

Defined in Csound.Dynamic.Types.Exp

type Rep (MainExp a) = D1 (MetaData "MainExp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (((((C1 (MetaCons "EmptyExp" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ExpPrim" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Prim))) :+: (C1 (MetaCons "Tfm" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Info) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [a])) :+: C1 (MetaCons "ConvertRate" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rate) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rate) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))) :+: ((C1 (MetaCons "Select" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rate) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: C1 (MetaCons "If" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CondInfo a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) :+: (C1 (MetaCons "ExpBool" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (BoolExp a))) :+: C1 (MetaCons "ExpNum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NumExp a)))))) :+: (((C1 (MetaCons "InitVar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "ReadVar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var))) :+: (C1 (MetaCons "WriteVar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "InitArr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ArrSize a))))) :+: ((C1 (MetaCons "ReadArr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ArrIndex a))) :+: C1 (MetaCons "WriteArr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ArrIndex a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) :+: (C1 (MetaCons "WriteInitArr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ArrIndex a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: (C1 (MetaCons "TfmArr" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IsArrInit) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Info) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [a]))) :+: C1 (MetaCons "IfBegin" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rate) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CondInfo a)))))))) :+: ((((C1 (MetaCons "ElseBegin" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "IfEnd" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "UntilBegin" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CondInfo a))) :+: C1 (MetaCons "UntilEnd" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "WhileBegin" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CondInfo a))) :+: C1 (MetaCons "WhileRefBegin" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var))) :+: (C1 (MetaCons "WhileEnd" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Verbatim" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) :+: (((C1 (MetaCons "Starts" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Seq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: (C1 (MetaCons "Ends" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "InitMacrosInt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))) :+: ((C1 (MetaCons "InitMacrosDouble" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)) :+: C1 (MetaCons "InitMacrosString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "ReadMacrosInt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: (C1 (MetaCons "ReadMacrosDouble" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "ReadMacrosString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))))

type Name = String

data InstrId

An instrument identifier

Constructors

InstrId

Fields

• instrIdFrac :: Maybe Int
• instrIdCeil :: Int

InstrLabel String

Instances

Eq InstrId

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: InstrId -> InstrId -> Bool

(/=) :: InstrId -> InstrId -> Bool

Ord InstrId

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: InstrId -> InstrId -> Ordering

(<) :: InstrId -> InstrId -> Bool

(<=) :: InstrId -> InstrId -> Bool

(>) :: InstrId -> InstrId -> Bool

(>=) :: InstrId -> InstrId -> Bool

max :: InstrId -> InstrId -> InstrId

min :: InstrId -> InstrId -> InstrId

Show InstrId

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> InstrId -> ShowS

show :: InstrId -> String

showList :: [InstrId] -> ShowS

Generic InstrId

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep InstrId :: Type -> Type

Methods

from :: InstrId -> Rep InstrId x

to :: Rep InstrId x -> InstrId

Hashable InstrId

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> InstrId -> Int

hash :: InstrId -> Int

type Rep InstrId

Defined in Csound.Dynamic.Types.Exp

type Rep InstrId = D1 (MetaData "InstrId" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (C1 (MetaCons "InstrId" PrefixI True) (S1 (MetaSel (Just "instrIdFrac") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int)) :*: S1 (MetaSel (Just "instrIdCeil") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "InstrLabel" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

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

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: VarType -> VarType -> Bool

(/=) :: VarType -> VarType -> Bool

Ord VarType

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: VarType -> VarType -> Ordering

(<) :: VarType -> VarType -> Bool

(<=) :: VarType -> VarType -> Bool

(>) :: VarType -> VarType -> Bool

(>=) :: VarType -> VarType -> Bool

max :: VarType -> VarType -> VarType

min :: VarType -> VarType -> VarType

Show VarType

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> VarType -> ShowS

show :: VarType -> String

showList :: [VarType] -> ShowS

Generic VarType

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep VarType :: Type -> Type

Methods

from :: VarType -> Rep VarType x

to :: Rep VarType x -> VarType

Hashable VarType

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> VarType -> Int

hash :: VarType -> Int

type Rep VarType

Defined in Csound.Dynamic.Types.Exp

type Rep VarType = D1 (MetaData "VarType" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (C1 (MetaCons "LocalVar" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GlobalVar" PrefixI False) (U1 :: Type -> Type))

data Var

Constructors

Var

Fields

• varType :: VarType
• varRate :: Rate
• varName :: Name

VarVerbatim

Fields

• varRate :: Rate
• varName :: Name

Instances

Eq Var

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: Var -> Var -> Bool

(/=) :: Var -> Var -> Bool

Ord Var

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: Var -> Var -> Ordering

(<) :: Var -> Var -> Bool

(<=) :: Var -> Var -> Bool

(>) :: Var -> Var -> Bool

(>=) :: Var -> Var -> Bool

max :: Var -> Var -> Var

min :: Var -> Var -> Var

Show Var

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

Generic Var

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep Var :: Type -> Type

Methods

from :: Var -> Rep Var x

to :: Rep Var x -> Var

Hashable Var

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Var -> Int

hash :: Var -> Int

type Rep Var

Defined in Csound.Dynamic.Types.Exp

type Rep Var = D1 (MetaData "Var" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (C1 (MetaCons "Var" PrefixI True) (S1 (MetaSel (Just "varType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarType) :*: (S1 (MetaSel (Just "varRate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rate) :*: S1 (MetaSel (Just "varName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name))) :+: C1 (MetaCons "VarVerbatim" PrefixI True) (S1 (MetaSel (Just "varRate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rate) :*: S1 (MetaSel (Just "varName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name)))

data Info

Constructors

Info

Fields

• infoName :: Name
• infoSignature :: Signature
• infoOpcFixity :: OpcFixity

Instances

Eq Info

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: Info -> Info -> Bool

(/=) :: Info -> Info -> Bool

Ord Info

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: Info -> Info -> Ordering

(<) :: Info -> Info -> Bool

(<=) :: Info -> Info -> Bool

(>) :: Info -> Info -> Bool

(>=) :: Info -> Info -> Bool

max :: Info -> Info -> Info

min :: Info -> Info -> Info

Show Info

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Info -> ShowS

show :: Info -> String

showList :: [Info] -> ShowS

Generic Info

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep Info :: Type -> Type

Methods

from :: Info -> Rep Info x

to :: Rep Info x -> Info

Hashable Info

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Info -> Int

hash :: Info -> Int

type Rep Info

Defined in Csound.Dynamic.Types.Exp

type Rep Info = D1 (MetaData "Info" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (C1 (MetaCons "Info" PrefixI True) (S1 (MetaSel (Just "infoName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :*: (S1 (MetaSel (Just "infoSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Signature) :*: S1 (MetaSel (Just "infoOpcFixity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 OpcFixity))))

data OpcFixity

Constructors

Prefix

Infix

Opcode

Instances

Eq OpcFixity

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: OpcFixity -> OpcFixity -> Bool

(/=) :: OpcFixity -> OpcFixity -> Bool

Ord OpcFixity

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: OpcFixity -> OpcFixity -> Ordering

(<) :: OpcFixity -> OpcFixity -> Bool

(<=) :: OpcFixity -> OpcFixity -> Bool

(>) :: OpcFixity -> OpcFixity -> Bool

(>=) :: OpcFixity -> OpcFixity -> Bool

max :: OpcFixity -> OpcFixity -> OpcFixity

min :: OpcFixity -> OpcFixity -> OpcFixity

Show OpcFixity

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> OpcFixity -> ShowS

show :: OpcFixity -> String

showList :: [OpcFixity] -> ShowS

Generic OpcFixity

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep OpcFixity :: Type -> Type

Methods

from :: OpcFixity -> Rep OpcFixity x

to :: Rep OpcFixity x -> OpcFixity

Hashable OpcFixity

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> OpcFixity -> Int

hash :: OpcFixity -> Int

type Rep OpcFixity

Defined in Csound.Dynamic.Types.Exp

type Rep OpcFixity = D1 (MetaData "OpcFixity" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (C1 (MetaCons "Prefix" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Infix" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Opcode" PrefixI False) (U1 :: Type -> Type)))

data Rate

The Csound rates.

Constructors

Xr

Ar

Kr

Ir

Sr

Fr

Wr

Tvar

Instances

Bounded Rate

Defined in Csound.Dynamic.Types.Exp

Methods

minBound :: Rate

maxBound :: Rate

Enum Rate

Defined in Csound.Dynamic.Types.Exp

Methods

succ :: Rate -> Rate

pred :: Rate -> Rate

toEnum :: Int -> Rate

fromEnum :: Rate -> Int

enumFrom :: Rate -> [Rate]

enumFromThen :: Rate -> Rate -> [Rate]

enumFromTo :: Rate -> Rate -> [Rate]

enumFromThenTo :: Rate -> Rate -> Rate -> [Rate]

Eq Rate

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: Rate -> Rate -> Bool

(/=) :: Rate -> Rate -> Bool

Ord Rate

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: Rate -> Rate -> Ordering

(<) :: Rate -> Rate -> Bool

(<=) :: Rate -> Rate -> Bool

(>) :: Rate -> Rate -> Bool

(>=) :: Rate -> Rate -> Bool

max :: Rate -> Rate -> Rate

min :: Rate -> Rate -> Rate

Show Rate

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Rate -> ShowS

show :: Rate -> String

showList :: [Rate] -> ShowS

Generic Rate

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep Rate :: Type -> Type

Methods

from :: Rate -> Rep Rate x

to :: Rep Rate x -> Rate

Hashable Rate

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Rate -> Int

hash :: Rate -> Int

type Rep Rate

Defined in Csound.Dynamic.Types.Exp

type Rep Rate = D1 (MetaData "Rate" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (((C1 (MetaCons "Xr" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Ar" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Kr" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Ir" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "Sr" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Fr" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Wr" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Tvar" PrefixI False) (U1 :: Type -> Type))))

data Signature

Constructors

SingleRate (Map Rate [Rate])

MultiRate

Fields

• outMultiRate :: [Rate]
• inMultiRate :: [Rate]

Instances

Eq Signature

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: Signature -> Signature -> Bool

(/=) :: Signature -> Signature -> Bool

Ord Signature

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: Signature -> Signature -> Ordering

(<) :: Signature -> Signature -> Bool

(<=) :: Signature -> Signature -> Bool

(>) :: Signature -> Signature -> Bool

(>=) :: Signature -> Signature -> Bool

max :: Signature -> Signature -> Signature

min :: Signature -> Signature -> Signature

Show Signature

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Signature -> ShowS

show :: Signature -> String

showList :: [Signature] -> ShowS

Hashable Signature

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Signature -> Int

hash :: Signature -> Int

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

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: Prim -> Prim -> Bool

(/=) :: Prim -> Prim -> Bool

Ord Prim

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: Prim -> Prim -> Ordering

(<) :: Prim -> Prim -> Bool

(<=) :: Prim -> Prim -> Bool

(>) :: Prim -> Prim -> Bool

(>=) :: Prim -> Prim -> Bool

max :: Prim -> Prim -> Prim

min :: Prim -> Prim -> Prim

Show Prim

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Prim -> ShowS

show :: Prim -> String

showList :: [Prim] -> ShowS

Generic Prim

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep Prim :: Type -> Type

Methods

from :: Prim -> Rep Prim x

to :: Rep Prim x -> Prim

Hashable Prim

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Prim -> Int

hash :: Prim -> Int

type Rep Prim

Defined in Csound.Dynamic.Types.Exp

type Rep Prim = D1 (MetaData "Prim" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) ((C1 (MetaCons "P" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: (C1 (MetaCons "PString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "PrimInt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))) :+: ((C1 (MetaCons "PrimDouble" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)) :+: C1 (MetaCons "PrimString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "PrimInstrId" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InstrId)) :+: C1 (MetaCons "PrimVar" PrefixI True) (S1 (MetaSel (Just "primVarTargetRate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rate) :*: S1 (MetaSel (Just "primVar") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var)))))

data Gen

Constructors

Gen

Fields

• genSize :: Int
• genId :: GenId
• genArgs :: [Double]
• genFile :: Maybe String

Instances

Eq Gen

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: Gen -> Gen -> Bool

(/=) :: Gen -> Gen -> Bool

Ord Gen

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: Gen -> Gen -> Ordering

(<) :: Gen -> Gen -> Bool

(<=) :: Gen -> Gen -> Bool

(>) :: Gen -> Gen -> Bool

(>=) :: Gen -> Gen -> Bool

max :: Gen -> Gen -> Gen

min :: Gen -> Gen -> Gen

Show Gen

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Gen -> ShowS

show :: Gen -> String

showList :: [Gen] -> ShowS

Generic Gen

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep Gen :: Type -> Type

Methods

from :: Gen -> Rep Gen x

to :: Rep Gen x -> Gen

Hashable Gen

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Gen -> Int

hash :: Gen -> Int

type Rep Gen

Defined in Csound.Dynamic.Types.Exp

type Rep Gen = D1 (MetaData "Gen" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (C1 (MetaCons "Gen" PrefixI True) ((S1 (MetaSel (Just "genSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "genId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GenId)) :*: (S1 (MetaSel (Just "genArgs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Double]) :*: S1 (MetaSel (Just "genFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String)))))

data GenId

Constructors

IntGenId Int

StringGenId String

Instances

Eq GenId

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: GenId -> GenId -> Bool

(/=) :: GenId -> GenId -> Bool

Ord GenId

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: GenId -> GenId -> Ordering

(<) :: GenId -> GenId -> Bool

(<=) :: GenId -> GenId -> Bool

(>) :: GenId -> GenId -> Bool

(>=) :: GenId -> GenId -> Bool

max :: GenId -> GenId -> GenId

min :: GenId -> GenId -> GenId

Show GenId

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> GenId -> ShowS

show :: GenId -> String

showList :: [GenId] -> ShowS

Generic GenId

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep GenId :: Type -> Type

Methods

from :: GenId -> Rep GenId x

to :: Rep GenId x -> GenId

Hashable GenId

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> GenId -> Int

hash :: GenId -> Int

type Rep GenId

Defined in Csound.Dynamic.Types.Exp

type Rep GenId = D1 (MetaData "GenId" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (C1 (MetaCons "IntGenId" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "StringGenId" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

data Inline a b

Constructors

Inline

Fields

• inlineExp :: InlineExp a
• inlineEnv :: IntMap b

Instances

Functor (Inline a)

Defined in Csound.Dynamic.Types.Exp

Methods

fmap :: (a0 -> b) -> Inline a a0 -> Inline a b

(<$) :: a0 -> Inline a b -> Inline a a0

Foldable (Inline a)

Defined in Csound.Dynamic.Types.Exp

Methods

fold :: Monoid m => Inline a m -> m

foldMap :: Monoid m => (a0 -> m) -> Inline a a0 -> m

foldr :: (a0 -> b -> b) -> b -> Inline a a0 -> b

foldr' :: (a0 -> b -> b) -> b -> Inline a a0 -> b

foldl :: (b -> a0 -> b) -> b -> Inline a a0 -> b

foldl' :: (b -> a0 -> b) -> b -> Inline a a0 -> b

foldr1 :: (a0 -> a0 -> a0) -> Inline a a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> Inline a a0 -> a0

toList :: Inline a a0 -> [a0]

null :: Inline a a0 -> Bool

length :: Inline a a0 -> Int

elem :: Eq a0 => a0 -> Inline a a0 -> Bool

maximum :: Ord a0 => Inline a a0 -> a0

minimum :: Ord a0 => Inline a a0 -> a0

sum :: Num a0 => Inline a a0 -> a0

product :: Num a0 => Inline a a0 -> a0

Traversable (Inline a)

Defined in Csound.Dynamic.Types.Exp

Methods

traverse :: Applicative f => (a0 -> f b) -> Inline a a0 -> f (Inline a b)

sequenceA :: Applicative f => Inline a (f a0) -> f (Inline a a0)

mapM :: Monad m => (a0 -> m b) -> Inline a a0 -> m (Inline a b)

sequence :: Monad m => Inline a (m a0) -> m (Inline a a0)

Eq a => Eq1 (Inline a)

Defined in Csound.Dynamic.Types.Exp

Methods

liftEq :: (a0 -> b -> Bool) -> Inline a a0 -> Inline a b -> Bool

Ord a => Ord1 (Inline a)

Defined in Csound.Dynamic.Types.Exp

Methods

liftCompare :: (a0 -> b -> Ordering) -> Inline a a0 -> Inline a b -> Ordering

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

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: Inline a b -> Inline a b -> Bool

(/=) :: Inline a b -> Inline a b -> Bool

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

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: Inline a b -> Inline a b -> Ordering

(<) :: Inline a b -> Inline a b -> Bool

(<=) :: Inline a b -> Inline a b -> Bool

(>) :: Inline a b -> Inline a b -> Bool

(>=) :: Inline a b -> Inline a b -> Bool

max :: Inline a b -> Inline a b -> Inline a b

min :: Inline a b -> Inline a b -> Inline a b

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

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Inline a b -> ShowS

show :: Inline a b -> String

showList :: [Inline a b] -> ShowS

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

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Inline a b -> Int

hash :: Inline a b -> Int

data InlineExp a

Constructors

InlinePrim Int

InlineExp a [InlineExp a]

Instances

Eq a => Eq (InlineExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: InlineExp a -> InlineExp a -> Bool

(/=) :: InlineExp a -> InlineExp a -> Bool

Ord a => Ord (InlineExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: InlineExp a -> InlineExp a -> Ordering

(<) :: InlineExp a -> InlineExp a -> Bool

(<=) :: InlineExp a -> InlineExp a -> Bool

(>) :: InlineExp a -> InlineExp a -> Bool

(>=) :: InlineExp a -> InlineExp a -> Bool

max :: InlineExp a -> InlineExp a -> InlineExp a

min :: InlineExp a -> InlineExp a -> InlineExp a

Show a => Show (InlineExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> InlineExp a -> ShowS

show :: InlineExp a -> String

showList :: [InlineExp a] -> ShowS

Generic (InlineExp a)

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep (InlineExp a) :: Type -> Type

Methods

from :: InlineExp a -> Rep (InlineExp a) x

to :: Rep (InlineExp a) x -> InlineExp a

Hashable a => Hashable (InlineExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> InlineExp a -> Int

hash :: InlineExp a -> Int

type Rep (InlineExp a)

Defined in Csound.Dynamic.Types.Exp

type Rep (InlineExp a) = D1 (MetaData "InlineExp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (C1 (MetaCons "InlinePrim" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "InlineExp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [InlineExp a])))

data PreInline a b

Constructors

PreInline a [b]

Instances

Functor (PreInline a)

Defined in Csound.Dynamic.Types.Exp

Methods

fmap :: (a0 -> b) -> PreInline a a0 -> PreInline a b

(<$) :: a0 -> PreInline a b -> PreInline a a0

Foldable (PreInline a)

Defined in Csound.Dynamic.Types.Exp

Methods

fold :: Monoid m => PreInline a m -> m

foldMap :: Monoid m => (a0 -> m) -> PreInline a a0 -> m

foldr :: (a0 -> b -> b) -> b -> PreInline a a0 -> b

foldr' :: (a0 -> b -> b) -> b -> PreInline a a0 -> b

foldl :: (b -> a0 -> b) -> b -> PreInline a a0 -> b

foldl' :: (b -> a0 -> b) -> b -> PreInline a a0 -> b

foldr1 :: (a0 -> a0 -> a0) -> PreInline a a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> PreInline a a0 -> a0

toList :: PreInline a a0 -> [a0]

null :: PreInline a a0 -> Bool

length :: PreInline a a0 -> Int

elem :: Eq a0 => a0 -> PreInline a a0 -> Bool

maximum :: Ord a0 => PreInline a a0 -> a0

minimum :: Ord a0 => PreInline a a0 -> a0

sum :: Num a0 => PreInline a a0 -> a0

product :: Num a0 => PreInline a a0 -> a0

Traversable (PreInline a)

Defined in Csound.Dynamic.Types.Exp

Methods

traverse :: Applicative f => (a0 -> f b) -> PreInline a a0 -> f (PreInline a b)

sequenceA :: Applicative f => PreInline a (f a0) -> f (PreInline a a0)

mapM :: Monad m => (a0 -> m b) -> PreInline a a0 -> m (PreInline a b)

sequence :: Monad m => PreInline a (m a0) -> m (PreInline a a0)

Eq a => Eq1 (PreInline a)

Defined in Csound.Dynamic.Types.Exp

Methods

liftEq :: (a0 -> b -> Bool) -> PreInline a a0 -> PreInline a b -> Bool

Ord a => Ord1 (PreInline a)

Defined in Csound.Dynamic.Types.Exp

Methods

liftCompare :: (a0 -> b -> Ordering) -> PreInline a a0 -> PreInline a b -> Ordering

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

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: PreInline a b -> PreInline a b -> Bool

(/=) :: PreInline a b -> PreInline a b -> Bool

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

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: PreInline a b -> PreInline a b -> Ordering

(<) :: PreInline a b -> PreInline a b -> Bool

(<=) :: PreInline a b -> PreInline a b -> Bool

(>) :: PreInline a b -> PreInline a b -> Bool

(>=) :: PreInline a b -> PreInline a b -> Bool

max :: PreInline a b -> PreInline a b -> PreInline a b

min :: PreInline a b -> PreInline a b -> PreInline a b

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

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> PreInline a b -> ShowS

show :: PreInline a b -> String

showList :: [PreInline a b] -> ShowS

Generic (PreInline a b)

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep (PreInline a b) :: Type -> Type

Methods

from :: PreInline a b -> Rep (PreInline a b) x

to :: Rep (PreInline a b) x -> PreInline a b

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

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> PreInline a b -> Int

hash :: PreInline a b -> Int

type Rep (PreInline a b)

Defined in Csound.Dynamic.Types.Exp

type Rep (PreInline a b) = D1 (MetaData "PreInline" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (C1 (MetaCons "PreInline" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [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

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: CondOp -> CondOp -> Bool

(/=) :: CondOp -> CondOp -> Bool

Ord CondOp

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: CondOp -> CondOp -> Ordering

(<) :: CondOp -> CondOp -> Bool

(<=) :: CondOp -> CondOp -> Bool

(>) :: CondOp -> CondOp -> Bool

(>=) :: CondOp -> CondOp -> Bool

max :: CondOp -> CondOp -> CondOp

min :: CondOp -> CondOp -> CondOp

Show CondOp

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> CondOp -> ShowS

show :: CondOp -> String

showList :: [CondOp] -> ShowS

Generic CondOp

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep CondOp :: Type -> Type

Methods

from :: CondOp -> Rep CondOp x

to :: Rep CondOp x -> CondOp

Hashable CondOp

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> CondOp -> Int

hash :: CondOp -> Int

type Rep CondOp

Defined in Csound.Dynamic.Types.Exp

type Rep CondOp = D1 (MetaData "CondOp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) (((C1 (MetaCons "TrueOp" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "FalseOp" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "And" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Or" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Equals" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "NotEquals" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Less" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Greater" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "LessEquals" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GreaterEquals" PrefixI False) (U1 :: Type -> Type)))))

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

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: NumOp -> NumOp -> Bool

(/=) :: NumOp -> NumOp -> Bool

Ord NumOp

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: NumOp -> NumOp -> Ordering

(<) :: NumOp -> NumOp -> Bool

(<=) :: NumOp -> NumOp -> Bool

(>) :: NumOp -> NumOp -> Bool

(>=) :: NumOp -> NumOp -> Bool

max :: NumOp -> NumOp -> NumOp

min :: NumOp -> NumOp -> NumOp

Show NumOp

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> NumOp -> ShowS

show :: NumOp -> String

showList :: [NumOp] -> ShowS

Generic NumOp

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep NumOp :: Type -> Type

Methods

from :: NumOp -> Rep NumOp x

to :: Rep NumOp x -> NumOp

Hashable NumOp

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> NumOp -> Int

hash :: NumOp -> Int

type Rep NumOp

Defined in Csound.Dynamic.Types.Exp

type Rep NumOp = D1 (MetaData "NumOp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.4-4Jx7zIw8HMg6XqSGiB3laE" False) ((C1 (MetaCons "Add" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Sub" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Neg" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "Mul" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Div" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Pow" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Mod" PrefixI False) (U1 :: Type -> Type))))

type Note = [Prim]

type MultiOut a = Int -> a

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

type IsArrInit = Bool

type ArrSize a = [a]

type ArrIndex a = [a]