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

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

Show1 RatedExp

Defined in Csound.Dynamic.Types.Exp

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> RatedExp a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [RatedExp a] -> ShowS

Hashable1 RatedExp

Defined in Csound.Dynamic.Types.Exp

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> RatedExp a -> Int

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

Generic1 RatedExp

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep1 RatedExp :: k -> Type

Methods

from1 :: forall (a :: k). RatedExp a -> Rep1 RatedExp a

to1 :: forall (a :: k). Rep1 RatedExp a -> RatedExp a

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)

type Rep1 RatedExp

Defined in Csound.Dynamic.Types.Exp

type Rep1 RatedExp

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

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

Show1 PrimOr

Defined in Csound.Dynamic.Types.Exp

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> PrimOr a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [PrimOr a] -> ShowS

Hashable1 PrimOr

Defined in Csound.Dynamic.Types.Exp

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> PrimOr a -> Int

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

Generic1 PrimOr

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep1 PrimOr :: k -> Type

Methods

from1 :: forall (a :: k). PrimOr a -> Rep1 PrimOr a

to1 :: forall (a :: k). Rep1 PrimOr a -> PrimOr a

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.8-GFMtza9oLPO9NsMTHPgpgu" 'True) (C1 ('MetaCons "PrimOr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPrimOr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Prim a))))

type Rep1 PrimOr

Defined in Csound.Dynamic.Types.Exp

type Rep1 PrimOr = D1 ('MetaData "PrimOr" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'True) (C1 ('MetaCons "PrimOr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPrimOr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (Either Prim))))

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

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

Show1 MainExp

Defined in Csound.Dynamic.Types.Exp

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> MainExp a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [MainExp a] -> ShowS

Hashable1 MainExp

Defined in Csound.Dynamic.Types.Exp

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> MainExp a -> Int

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

Generic1 MainExp

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep1 MainExp :: k -> Type

Methods

from1 :: forall (a :: k). MainExp a -> Rep1 MainExp a

to1 :: forall (a :: k). Rep1 MainExp a -> MainExp a

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.8-GFMtza9oLPO9NsMTHPgpgu" '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 Rep1 MainExp

Defined in Csound.Dynamic.Types.Exp

type Rep1 MainExp = D1 ('MetaData "MainExp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" '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) (Rec1 [])) :+: 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) Par1)))) :+: ((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) Par1)) :+: C1 ('MetaCons "If" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (Inline CondOp)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))) :+: (C1 ('MetaCons "ExpBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (PreInline CondOp))) :+: C1 ('MetaCons "ExpNum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (PreInline NumOp)))))) :+: (((C1 ('MetaCons "InitVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1) :+: 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) Par1) :+: C1 ('MetaCons "InitArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])))) :+: ((C1 ('MetaCons "ReadArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])) :+: C1 ('MetaCons "WriteArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 []) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))) :+: (C1 ('MetaCons "WriteInitArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 []) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)) :+: (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) (Rec1 []))) :+: C1 ('MetaCons "IfBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (Inline CondOp)))))))) :+: ((((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) (Rec1 (Inline CondOp))) :+: C1 ('MetaCons "UntilEnd" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "WhileBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (Inline CondOp))) :+: 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) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)) :+: (C1 ('MetaCons "Ends" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1) :+: 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.8-GFMtza9oLPO9NsMTHPgpgu" '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.8-GFMtza9oLPO9NsMTHPgpgu" '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.8-GFMtza9oLPO9NsMTHPgpgu" '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.8-GFMtza9oLPO9NsMTHPgpgu" '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.8-GFMtza9oLPO9NsMTHPgpgu" '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.8-GFMtza9oLPO9NsMTHPgpgu" '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.8-GFMtza9oLPO9NsMTHPgpgu" '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.8-GFMtza9oLPO9NsMTHPgpgu" '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.8-GFMtza9oLPO9NsMTHPgpgu" '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

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

Show a => Show1 (Inline a)

Defined in Csound.Dynamic.Types.Exp

Methods

liftShowsPrec :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> Int -> Inline a a0 -> ShowS

liftShowList :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> [Inline a a0] -> ShowS

Hashable a => Hashable1 (Inline a)

Defined in Csound.Dynamic.Types.Exp

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> Inline a a0 -> Int

Generic1 (Inline a :: Type -> Type)

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep1 (Inline a) :: k -> Type

Methods

from1 :: forall (a0 :: k). Inline a a0 -> Rep1 (Inline a) a0

to1 :: forall (a0 :: k). Rep1 (Inline a) a0 -> Inline a a0

(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

type Rep1 (Inline a :: Type -> Type)

Defined in Csound.Dynamic.Types.Exp

type Rep1 (Inline a :: Type -> Type) = D1 ('MetaData "Inline" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "Inline" 'PrefixI 'True) (S1 ('MetaSel ('Just "inlineExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InlineExp a)) :*: S1 ('MetaSel ('Just "inlineEnv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 IntMap)))

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.8-GFMtza9oLPO9NsMTHPgpgu" '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

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

Show a => Show1 (PreInline a)

Defined in Csound.Dynamic.Types.Exp

Methods

liftShowsPrec :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> Int -> PreInline a a0 -> ShowS

liftShowList :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> [PreInline a a0] -> ShowS

Hashable a => Hashable1 (PreInline a)

Defined in Csound.Dynamic.Types.Exp

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> PreInline a a0 -> Int

Generic1 (PreInline a :: Type -> Type)

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep1 (PreInline a) :: k -> Type

Methods

from1 :: forall (a0 :: k). PreInline a a0 -> Rep1 (PreInline a) a0

to1 :: forall (a0 :: k). Rep1 (PreInline a) a0 -> PreInline a a0

(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 Rep1 (PreInline a :: Type -> Type)

Defined in Csound.Dynamic.Types.Exp

type Rep1 (PreInline a :: Type -> Type) = D1 ('MetaData "PreInline" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "PreInline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])))

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.8-GFMtza9oLPO9NsMTHPgpgu" '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.8-GFMtza9oLPO9NsMTHPgpgu" '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.8-GFMtza9oLPO9NsMTHPgpgu" '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]

Orphan instances

Generic1 IntMap

Associated Types

type Rep1 IntMap :: k -> Type

Methods

from1 :: forall (a :: k). IntMap a -> Rep1 IntMap a

to1 :: forall (a :: k). Rep1 IntMap a -> IntMap a