csound-expression-dynamic-0.3.4: dynamic core for csound-expression library

Safe HaskellNone
LanguageHaskell2010

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 Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Build.Numeric

Methods

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

recip :: E -> E #

fromRational :: Rational -> E #

Integral E Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Num E Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Build.Numeric

Methods

toRational :: E -> Rational #

Foldable RatedExp Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Build.Numeric

Methods

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

sconcat :: NonEmpty E -> E #

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

Monoid E Source # 
Instance details

Defined in Csound.Dynamic.Build.Numeric

Methods

mempty :: E #

mappend :: E -> E -> E #

mconcat :: [E] -> E #

Boolean E Source # 
Instance details

Defined in Csound.Dynamic.Build.Logic

Methods

true :: E #

false :: E #

notB :: E -> E #

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

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

IfB E Source # 
Instance details

Defined in Csound.Dynamic.Build.Logic

Methods

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

EqB E Source # 
Instance details

Defined in Csound.Dynamic.Build.Logic

Methods

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

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

OrdB E Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

Ord1 RatedExp Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

Eq a => Eq (RatedExp a) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord a => Ord (RatedExp a) Source # 
Instance details

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) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> RatedExp a -> ShowS #

show :: RatedExp a -> String #

showList :: [RatedExp a] -> ShowS #

Generic (RatedExp a) Source # 
Instance details

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) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> RatedExp a -> Int #

hash :: RatedExp a -> Int #

type BooleanOf E Source # 
Instance details

Defined in Csound.Dynamic.Build.Logic

type BooleanOf E = E
type Rep (RatedExp a) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

type Rep (RatedExp a)

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.

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

Instances
Functor PrimOr Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Foldable PrimOr Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

Ord1 PrimOr Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

Eq a => Eq (PrimOr a) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord a => Ord (PrimOr a) Source # 
Instance details

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) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> PrimOr a -> ShowS #

show :: PrimOr a -> String #

showList :: [PrimOr a] -> ShowS #

Generic (PrimOr a) Source # 
Instance details

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) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> PrimOr a -> Int #

hash :: PrimOr a -> Int #

type Rep (PrimOr a) Source # 
Instance details

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 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 
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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Foldable MainExp Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

Ord1 MainExp Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

Eq a => Eq (MainExp a) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord a => Ord (MainExp a) Source # 
Instance details

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) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> MainExp a -> ShowS #

show :: MainExp a -> String #

showList :: [MainExp a] -> ShowS #

Generic (MainExp a) Source # 
Instance details

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) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> MainExp a -> Int #

hash :: MainExp a -> Int #

type Rep (MainExp a) Source # 
Instance details

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))))))))

data InstrId Source #

An instrument identifier

Instances
Eq InstrId Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord InstrId Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Show InstrId Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Generic InstrId Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> InstrId -> Int #

hash :: InstrId -> Int #

type Rep InstrId Source # 
Instance details

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 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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord VarType Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Show VarType Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Generic VarType Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> VarType -> Int #

hash :: VarType -> Int #

type Rep VarType Source # 
Instance details

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 Source #

Constructors

Var 

Fields

VarVerbatim 

Fields

Instances
Eq Var Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord Var Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Var -> ShowS #

show :: Var -> String #

showList :: [Var] -> ShowS #

Generic Var Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Var -> Int #

hash :: Var -> Int #

type Rep Var Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

data Info Source #

Instances
Eq Info Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord Info Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Info -> ShowS #

show :: Info -> String #

showList :: [Info] -> ShowS #

Generic Info Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Info -> Int #

hash :: Info -> Int #

type Rep Info Source # 
Instance details

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 Source #

Constructors

Prefix 
Infix 
Opcode 
Instances
Eq OpcFixity Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Ord OpcFixity Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Show OpcFixity Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Generic OpcFixity Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep OpcFixity :: Type -> Type #

Hashable OpcFixity Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

type Rep OpcFixity Source # 
Instance details

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 Source #

The Csound rates.

Constructors

Xr 
Ar 
Kr 
Ir 
Sr 
Fr 
Wr 
Tvar 
Instances
Bounded Rate Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Enum Rate Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord Rate Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Rate -> ShowS #

show :: Rate -> String #

showList :: [Rate] -> ShowS #

Generic Rate Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Rate -> Int #

hash :: Rate -> Int #

type Rep Rate Source # 
Instance details

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 Prim Source #

Instances
Eq Prim Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord Prim Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Prim -> ShowS #

show :: Prim -> String #

showList :: [Prim] -> ShowS #

Generic Prim Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Prim -> Int #

hash :: Prim -> Int #

type Rep Prim Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

data Gen Source #

Constructors

Gen 
Instances
Eq Gen Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord Gen Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Gen -> ShowS #

show :: Gen -> String #

showList :: [Gen] -> ShowS #

Generic Gen Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> Gen -> Int #

hash :: Gen -> Int #

type Rep Gen Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

data GenId Source #

Instances
Eq GenId Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord GenId Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> GenId -> ShowS #

show :: GenId -> String #

showList :: [GenId] -> ShowS #

Generic GenId Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> GenId -> Int #

hash :: GenId -> Int #

type Rep GenId Source # 
Instance details

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 Source #

Constructors

Inline 

Fields

Instances
Functor (Inline a) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

Ord a => Ord1 (Inline a) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

hash :: Inline a b -> Int #

data InlineExp a Source #

Constructors

InlinePrim Int 
InlineExp a [InlineExp a] 
Instances
Eq a => Eq (InlineExp a) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord a => Ord (InlineExp a) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Show a => Show (InlineExp a) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Generic (InlineExp a) Source # 
Instance details

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) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> InlineExp a -> Int #

hash :: InlineExp a -> Int #

type Rep (InlineExp a) Source # 
Instance details

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 Source #

Constructors

PreInline a [b] 
Instances
Functor (PreInline a) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

Ord a => Ord1 (PreInline a) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

hash :: PreInline a b -> Int #

type Rep (PreInline a b) Source # 
Instance details

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])))

data CondOp Source #

Instances
Eq CondOp Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord CondOp Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Show CondOp Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Generic CondOp Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> CondOp -> Int #

hash :: CondOp -> Int #

type Rep CondOp Source # 
Instance details

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)))))

data NumOp Source #

Constructors

Add 
Sub 
Neg 
Mul 
Div 
Pow 
Mod 
Instances
Eq NumOp Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord NumOp Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> NumOp -> ShowS #

show :: NumOp -> String #

showList :: [NumOp] -> ShowS #

Generic NumOp Source # 
Instance details

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 Source # 
Instance details

Defined in Csound.Dynamic.Types.Exp

Methods

hashWithSalt :: Int -> NumOp -> Int #

hash :: NumOp -> Int #

type Rep NumOp Source # 
Instance details

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] Source #

type MultiOut a = Int -> a Source #

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

type ArrSize a = [a] Source #

type ArrIndex a = [a] Source #