Csound.Dynamic.Types.Exp

Main types

Documentation

type E = Fix RatedExp

The inner representation of csound expressions.

data RatedExp a

Constructors

RatedExp

Fields

• ratedExpHash :: !ByteString

  expression hash for fast comparison

• 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

Boolean E

Defined in Csound.Dynamic.Build.Logic

Methods

true :: E

false :: E

notB :: E -> E

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

(||*) :: 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

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

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

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)

Functor RatedExp

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Monoid E

Defined in Csound.Dynamic.Build.Numeric

Methods

mempty :: E

mappend :: E -> E -> E

mconcat :: [E] -> E

Semigroup E

Defined in Csound.Dynamic.Build.Numeric

Methods

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

sconcat :: NonEmpty E -> E

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

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

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

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

Real E

Defined in Csound.Dynamic.Build.Numeric

Methods

toRational :: E -> Rational

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

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

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

Serialize a => Serialize (RatedExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter (RatedExp a)

get :: Get (RatedExp a)

Eq (RatedExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

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

type BooleanOf E

Defined in Csound.Dynamic.Build.Logic

type BooleanOf E = E

type Rep1 RatedExp

Defined in Csound.Dynamic.Types.Exp

type Rep1 RatedExp

type Rep (RatedExp a)

Defined in Csound.Dynamic.Types.Exp

type Rep (RatedExp a)

isEmptyExp :: E -> Bool

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

noRate :: Exp E -> E

withRate :: Rate -> Exp E -> E

setRate :: Rate -> E -> E

toArrRate :: Rate -> Rate

removeArrRate :: Rate -> Rate

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

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

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

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)

Functor PrimOr

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

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

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

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

Serialize a => Serialize (PrimOr a)

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter (PrimOr a)

get :: Get (PrimOr a)

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

type Rep1 PrimOr

Defined in Csound.Dynamic.Types.Exp

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

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

data MainExp a

Constructors

EmptyExp

ExpPrim !Prim

Primitives

Tfm Info ![a]

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

ConvertRate !Rate !(Maybe 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 !IfRate !(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]

InitPureArr !Rate !IfRate ![a]

inits 1-dimensional read only array (uses fillaray) args: rateOfTheOutput processingRate initValues

ReadPureArr !Rate !IfRate !a !a

Reads read only array with index args: rateOfTheOutput processingRate array index

IfBlock !IfRate !(CondInfo a) (CodeBlock a)

Imperative If-then-else

IfElseBlock !IfRate !(CondInfo a) (CodeBlock a) (CodeBlock a)

IfBegin !IfRate !(CondInfo a)

ElseBegin

IfEnd

UntilBlock !IfRate !(CondInfo a) (CodeBlock a)

looping constructions

UntilBegin !IfRate !(CondInfo a)

UntilEnd

WhileBlock !IfRate !(CondInfo a) (CodeBlock a)

WhileBegin !IfRate !(CondInfo a)

WhileRefBlock !Var !(CodeBlock a)

WhileRefBegin !Var

WhileEnd

Verbatim !Text

Verbatim stmt

Starts

Dependency tracking

Seq a a

Ends a

InitMacrosInt !Text !Int

read macros arguments

InitMacrosDouble !Text !Double

InitMacrosString !Text !Text

ReadMacrosInt !Text

ReadMacrosDouble !Text

ReadMacrosString !Text

Instances

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

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

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)

Functor MainExp

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

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

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

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

Serialize a => Serialize (MainExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter (MainExp a)

get :: Get (MainExp a)

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

type Rep1 MainExp

Defined in Csound.Dynamic.Types.Exp

type Rep1 MainExp = D1 ('MetaData "MainExp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) (((((C1 ('MetaCons "EmptyExp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpPrim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Prim))) :+: (C1 ('MetaCons "Tfm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Info) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 List)) :+: (C1 ('MetaCons "ConvertRate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Rate)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)) :+: C1 ('MetaCons "Select" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))))) :+: ((C1 ('MetaCons "If" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 (Inline CondOp))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)) :+: C1 ('MetaCons "ExpBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 (PreInline CondOp)))) :+: (C1 ('MetaCons "ExpNum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 (PreInline NumOp))) :+: (C1 ('MetaCons "InitVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1) :+: C1 ('MetaCons "ReadVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var)))))) :+: (((C1 ('MetaCons "WriteVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1) :+: C1 ('MetaCons "InitArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 List))) :+: (C1 ('MetaCons "ReadArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 List)) :+: (C1 ('MetaCons "WriteArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 List) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)) :+: C1 ('MetaCons "WriteInitArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 List) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))))) :+: ((C1 ('MetaCons "TfmArr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsArrInit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Info) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 List))) :+: C1 ('MetaCons "InitPureArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 List)))) :+: (C1 ('MetaCons "ReadPureArr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)) :+: (C1 ('MetaCons "IfBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 (Inline CondOp)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 CodeBlock))) :+: C1 ('MetaCons "IfElseBlock" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 (Inline CondOp))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 CodeBlock) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 CodeBlock)))))))) :+: ((((C1 ('MetaCons "IfBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 (Inline CondOp))) :+: C1 ('MetaCons "ElseBegin" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IfEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UntilBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 (Inline CondOp)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 CodeBlock))) :+: C1 ('MetaCons "UntilBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 (Inline CondOp)))))) :+: ((C1 ('MetaCons "UntilEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WhileBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 (Inline CondOp)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 CodeBlock)))) :+: (C1 ('MetaCons "WhileBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 (Inline CondOp))) :+: (C1 ('MetaCons "WhileRefBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 CodeBlock)) :+: C1 ('MetaCons "WhileRefBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var)))))) :+: (((C1 ('MetaCons "WhileEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Verbatim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :+: (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 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "InitMacrosDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)) :+: C1 ('MetaCons "InitMacrosString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))) :+: (C1 ('MetaCons "ReadMacrosInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "ReadMacrosDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "ReadMacrosString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))))))))

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.9.1-1cJbmtshgbjKoGghhay83W" 'False) (((((C1 ('MetaCons "EmptyExp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpPrim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Prim))) :+: (C1 ('MetaCons "Tfm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Info) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [a])) :+: (C1 ('MetaCons "ConvertRate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Rate)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) :+: C1 ('MetaCons "Select" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))))) :+: ((C1 ('MetaCons "If" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CondInfo a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) :+: C1 ('MetaCons "ExpBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BoolExp a)))) :+: (C1 ('MetaCons "ExpNum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NumExp a))) :+: (C1 ('MetaCons "InitVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "ReadVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var)))))) :+: (((C1 ('MetaCons "WriteVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "InitArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ArrSize a)))) :+: (C1 ('MetaCons "ReadArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ArrIndex a))) :+: (C1 ('MetaCons "WriteArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ArrIndex a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) :+: C1 ('MetaCons "WriteInitArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ArrIndex a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))))) :+: ((C1 ('MetaCons "TfmArr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsArrInit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Info) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [a]))) :+: C1 ('MetaCons "InitPureArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [a])))) :+: (C1 ('MetaCons "ReadPureArr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "IfBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CondInfo a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CodeBlock a)))) :+: C1 ('MetaCons "IfElseBlock" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CondInfo a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CodeBlock a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CodeBlock a))))))))) :+: ((((C1 ('MetaCons "IfBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CondInfo a))) :+: C1 ('MetaCons "ElseBegin" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IfEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UntilBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CondInfo a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CodeBlock a)))) :+: C1 ('MetaCons "UntilBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CondInfo a)))))) :+: ((C1 ('MetaCons "UntilEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WhileBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CondInfo a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CodeBlock a))))) :+: (C1 ('MetaCons "WhileBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfRate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CondInfo a))) :+: (C1 ('MetaCons "WhileRefBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodeBlock a))) :+: C1 ('MetaCons "WhileRefBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var)))))) :+: (((C1 ('MetaCons "WhileEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Verbatim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :+: (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 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "InitMacrosDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)) :+: C1 ('MetaCons "InitMacrosString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))) :+: (C1 ('MetaCons "ReadMacrosInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "ReadMacrosDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "ReadMacrosString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))))))))

type Name = Text

data InstrId

An instrument identifier

Constructors

InstrId

Fields

• instrIdFrac :: !(Maybe Int)
• instrIdCeil :: !Int

InstrLabel Text

Instances

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

Show InstrId

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> InstrId -> ShowS

show :: InstrId -> String

showList :: [InstrId] -> ShowS

Serialize InstrId

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter InstrId

get :: Get InstrId

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

type Rep InstrId

Defined in Csound.Dynamic.Types.Exp

type Rep InstrId = D1 ('MetaData "InstrId" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "InstrId" 'PrefixI 'True) (S1 ('MetaSel ('Just "instrIdFrac") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "instrIdCeil") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "InstrLabel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

intInstrId :: Int -> InstrId

Constructs an instrument id with the integer.

ratioInstrId :: Int -> Int -> InstrId

Constructs an instrument id with fractional part.

stringInstrId :: Text -> InstrId

Constructs an instrument id with the string label.

data VarType

Constructors

LocalVar

GlobalVar

Instances

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

Show VarType

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> VarType -> ShowS

show :: VarType -> String

showList :: [VarType] -> ShowS

Serialize VarType

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter VarType

get :: Get VarType

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

type Rep VarType

Defined in Csound.Dynamic.Types.Exp

type Rep VarType = D1 ('MetaData "VarType" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" '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

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

Show Var

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

Serialize Var

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter Var

get :: Get Var

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

type Rep Var

Defined in Csound.Dynamic.Types.Exp

type Rep Var = D1 ('MetaData "Var" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "Var" 'PrefixI 'True) (S1 ('MetaSel ('Just "varType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarType) :*: (S1 ('MetaSel ('Just "varRate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rate) :*: S1 ('MetaSel ('Just "varName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name))) :+: C1 ('MetaCons "VarVerbatim" 'PrefixI 'True) (S1 ('MetaSel ('Just "varRate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rate) :*: S1 ('MetaSel ('Just "varName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name)))

data Info

Constructors

Info

Fields

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

Instances

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

Show Info

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Info -> ShowS

show :: Info -> String

showList :: [Info] -> ShowS

Serialize Info

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter Info

get :: Get Info

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

type Rep Info

Defined in Csound.Dynamic.Types.Exp

type Rep Info = D1 ('MetaData "Info" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "Info" 'PrefixI 'True) (S1 ('MetaSel ('Just "infoName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name) :*: (S1 ('MetaSel ('Just "infoSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Signature) :*: S1 ('MetaSel ('Just "infoOpcFixity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OpcFixity))))

data OpcFixity

Constructors

Prefix

Infix

Opcode

Instances

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

Show OpcFixity

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> OpcFixity -> ShowS

show :: OpcFixity -> String

showList :: [OpcFixity] -> ShowS

Serialize OpcFixity

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter OpcFixity

get :: Get OpcFixity

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

type Rep OpcFixity

Defined in Csound.Dynamic.Types.Exp

type Rep OpcFixity = D1 ('MetaData "OpcFixity" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" '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

ArArr

KrArr

IrArr

SrArr

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]

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

Show Rate

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Rate -> ShowS

show :: Rate -> String

showList :: [Rate] -> ShowS

Serialize Rate

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter Rate

get :: Get 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

type Rep Rate

Defined in Csound.Dynamic.Types.Exp

type Rep Rate = D1 ('MetaData "Rate" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" '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) :+: C1 ('MetaCons "ArArr" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "KrArr" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IrArr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SrArr" 'PrefixI 'False) (U1 :: Type -> Type)))))

newtype CodeBlock a

Constructors

CodeBlock a

Instances

Foldable CodeBlock

Defined in Csound.Dynamic.Types.Exp

Methods

fold :: Monoid m => CodeBlock m -> m

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

foldMap' :: Monoid m => (a -> m) -> CodeBlock a -> m

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

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

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

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

foldr1 :: (a -> a -> a) -> CodeBlock a -> a

foldl1 :: (a -> a -> a) -> CodeBlock a -> a

toList :: CodeBlock a -> [a]

null :: CodeBlock a -> Bool

length :: CodeBlock a -> Int

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

maximum :: Ord a => CodeBlock a -> a

minimum :: Ord a => CodeBlock a -> a

sum :: Num a => CodeBlock a -> a

product :: Num a => CodeBlock a -> a

Eq1 CodeBlock

Defined in Csound.Dynamic.Types.Exp

Methods

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

Ord1 CodeBlock

Defined in Csound.Dynamic.Types.Exp

Methods

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

Show1 CodeBlock

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Traversable CodeBlock

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

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

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

Functor CodeBlock

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Generic1 CodeBlock

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep1 CodeBlock :: k -> Type

Methods

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

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

Generic (CodeBlock a)

Defined in Csound.Dynamic.Types.Exp

Associated Types

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

Methods

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

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

Show a => Show (CodeBlock a)

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> CodeBlock a -> ShowS

show :: CodeBlock a -> String

showList :: [CodeBlock a] -> ShowS

Serialize a => Serialize (CodeBlock a)

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter (CodeBlock a)

get :: Get (CodeBlock a)

Eq a => Eq (CodeBlock a)

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord a => Ord (CodeBlock a)

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: CodeBlock a -> CodeBlock a -> Ordering

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

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

(>) :: CodeBlock a -> CodeBlock a -> Bool

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

max :: CodeBlock a -> CodeBlock a -> CodeBlock a

min :: CodeBlock a -> CodeBlock a -> CodeBlock a

type Rep1 CodeBlock

Defined in Csound.Dynamic.Types.Exp

type Rep1 CodeBlock = D1 ('MetaData "CodeBlock" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'True) (C1 ('MetaCons "CodeBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

type Rep (CodeBlock a)

Defined in Csound.Dynamic.Types.Exp

type Rep (CodeBlock a) = D1 ('MetaData "CodeBlock" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'True) (C1 ('MetaCons "CodeBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data Signature

Constructors

SingleRate !(Map Rate [Rate])

MultiRate

Fields

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

Instances

Generic Signature

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep Signature :: Type -> Type

Methods

from :: Signature -> Rep Signature x

to :: Rep Signature x -> Signature

Show Signature

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Signature -> ShowS

show :: Signature -> String

showList :: [Signature] -> ShowS

Serialize Signature

Can be infinite so fe just ignore the value

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter Signature

get :: Get Signature

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

type Rep Signature

Defined in Csound.Dynamic.Types.Exp

type Rep Signature = D1 ('MetaData "Signature" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "SingleRate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Rate [Rate]))) :+: C1 ('MetaCons "MultiRate" 'PrefixI 'True) (S1 ('MetaSel ('Just "outMultiRate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Rate]) :*: S1 ('MetaSel ('Just "inMultiRate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Rate])))

isInfix :: Info -> Bool

isPrefix :: Info -> Bool

data Prim

Constructors

P !Int

PString !Int

PrimInt !Int

PrimDouble !Double

PrimString !Text

PrimInstrId !InstrId

PrimVar

Fields

• primVarTargetRate :: !Rate
• primVar :: !Var

Instances

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

Show Prim

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Prim -> ShowS

show :: Prim -> String

showList :: [Prim] -> ShowS

Serialize Prim

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter Prim

get :: Get Prim

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

type Rep Prim

Defined in Csound.Dynamic.Types.Exp

type Rep Prim = D1 ('MetaData "Prim" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) ((C1 ('MetaCons "P" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "PString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "PrimInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)))) :+: ((C1 ('MetaCons "PrimDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)) :+: C1 ('MetaCons "PrimString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :+: (C1 ('MetaCons "PrimInstrId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 InstrId)) :+: C1 ('MetaCons "PrimVar" 'PrefixI 'True) (S1 ('MetaSel ('Just "primVarTargetRate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rate) :*: S1 ('MetaSel ('Just "primVar") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Var)))))

data Gen

Constructors

Gen

Fields

• genSize :: !Int
• genId :: !GenId
• genArgs :: ![Double]
• genFile :: !(Maybe Text)

Instances

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

Show Gen

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Gen -> ShowS

show :: Gen -> String

showList :: [Gen] -> ShowS

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

type Rep Gen

Defined in Csound.Dynamic.Types.Exp

type Rep Gen = D1 ('MetaData "Gen" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "Gen" 'PrefixI 'True) ((S1 ('MetaSel ('Just "genSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "genId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenId)) :*: (S1 ('MetaSel ('Just "genArgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Double]) :*: S1 ('MetaSel ('Just "genFile") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Text)))))

data GenId

Constructors

IntGenId !Int

StringGenId !Text

Instances

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

Show GenId

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> GenId -> ShowS

show :: GenId -> String

showList :: [GenId] -> ShowS

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

type Rep GenId

Defined in Csound.Dynamic.Types.Exp

type Rep GenId = D1 ('MetaData "GenId" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "IntGenId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "StringGenId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

data Inline op arg

Constructors

Inline

Fields

• inlineExp :: !(InlineExp op)
• inlineEnv :: !(IntMap arg)

Instances

Generic1 (Inline op :: Type -> Type)

Defined in Csound.Dynamic.Types.Exp

Associated Types

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

Methods

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

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

Foldable (Inline op)

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

foldMap' :: Monoid m => (a -> m) -> Inline op a -> m

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

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

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

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

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

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

toList :: Inline op a -> [a]

null :: Inline op a -> Bool

length :: Inline op a -> Int

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

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

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

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

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

Eq op => Eq1 (Inline op)

Defined in Csound.Dynamic.Types.Exp

Methods

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

Ord op => Ord1 (Inline op)

Defined in Csound.Dynamic.Types.Exp

Methods

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

Show op => Show1 (Inline op)

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Traversable (Inline op)

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

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

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

Functor (Inline op)

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Generic (Inline op arg)

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep (Inline op arg) :: Type -> Type

Methods

from :: Inline op arg -> Rep (Inline op arg) x

to :: Rep (Inline op arg) x -> Inline op arg

(Show op, Show arg) => Show (Inline op arg)

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> Inline op arg -> ShowS

show :: Inline op arg -> String

showList :: [Inline op arg] -> ShowS

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

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter (Inline a b)

get :: Get (Inline a b)

(Eq op, Eq arg) => Eq (Inline op arg)

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: Inline op arg -> Inline op arg -> Bool

(/=) :: Inline op arg -> Inline op arg -> Bool

(Ord op, Ord arg) => Ord (Inline op arg)

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: Inline op arg -> Inline op arg -> Ordering

(<) :: Inline op arg -> Inline op arg -> Bool

(<=) :: Inline op arg -> Inline op arg -> Bool

(>) :: Inline op arg -> Inline op arg -> Bool

(>=) :: Inline op arg -> Inline op arg -> Bool

max :: Inline op arg -> Inline op arg -> Inline op arg

min :: Inline op arg -> Inline op arg -> Inline op arg

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

Defined in Csound.Dynamic.Types.Exp

type Rep1 (Inline op :: Type -> Type) = D1 ('MetaData "Inline" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "Inline" 'PrefixI 'True) (S1 ('MetaSel ('Just "inlineExp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InlineExp op)) :*: S1 ('MetaSel ('Just "inlineEnv") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 IntMap)))

type Rep (Inline op arg)

Defined in Csound.Dynamic.Types.Exp

type Rep (Inline op arg) = D1 ('MetaData "Inline" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "Inline" 'PrefixI 'True) (S1 ('MetaSel ('Just "inlineExp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InlineExp op)) :*: S1 ('MetaSel ('Just "inlineEnv") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (IntMap arg))))

data InlineExp op

Constructors

InlinePrim !Int

InlineExp !op ![InlineExp op]

Instances

Generic (InlineExp op)

Defined in Csound.Dynamic.Types.Exp

Associated Types

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

Methods

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

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

Show op => Show (InlineExp op)

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> InlineExp op -> ShowS

show :: InlineExp op -> String

showList :: [InlineExp op] -> ShowS

Serialize a => Serialize (InlineExp a)

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter (InlineExp a)

get :: Get (InlineExp a)

Eq op => Eq (InlineExp op)

Defined in Csound.Dynamic.Types.Exp

Methods

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

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

Ord op => Ord (InlineExp op)

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: InlineExp op -> InlineExp op -> Ordering

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

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

(>) :: InlineExp op -> InlineExp op -> Bool

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

max :: InlineExp op -> InlineExp op -> InlineExp op

min :: InlineExp op -> InlineExp op -> InlineExp op

type Rep (InlineExp op)

Defined in Csound.Dynamic.Types.Exp

type Rep (InlineExp op) = D1 ('MetaData "InlineExp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "InlinePrim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "InlineExp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 op) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [InlineExp op])))

data PreInline a b

Constructors

PreInline !a ![b]

Instances

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

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

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

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)

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

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

(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

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

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter (PreInline a b)

get :: Get (PreInline a b)

(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

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.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "PreInline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 List)))

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.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "PreInline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (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

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

Show CondOp

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> CondOp -> ShowS

show :: CondOp -> String

showList :: [CondOp] -> ShowS

Serialize CondOp

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter CondOp

get :: Get CondOp

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

type Rep CondOp

Defined in Csound.Dynamic.Types.Exp

type Rep CondOp = D1 ('MetaData "CondOp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" '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

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

Show NumOp

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> NumOp -> ShowS

show :: NumOp -> String

showList :: [NumOp] -> ShowS

Serialize NumOp

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter NumOp

get :: Get NumOp

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

type Rep NumOp

Defined in Csound.Dynamic.Types.Exp

type Rep NumOp = D1 ('MetaData "NumOp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" '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]

Array sizes by demensions

type ArrIndex a = [a]

Array multi index

data IfRate

Rate of if-then-else conditional. It can run at Ir or Kr

Constructors

IfIr

IfKr

Instances

Generic IfRate

Defined in Csound.Dynamic.Types.Exp

Associated Types

type Rep IfRate :: Type -> Type

Methods

from :: IfRate -> Rep IfRate x

to :: Rep IfRate x -> IfRate

Show IfRate

Defined in Csound.Dynamic.Types.Exp

Methods

showsPrec :: Int -> IfRate -> ShowS

show :: IfRate -> String

showList :: [IfRate] -> ShowS

Serialize IfRate

Defined in Csound.Dynamic.Types.Exp

Methods

put :: Putter IfRate

get :: Get IfRate

Eq IfRate

Defined in Csound.Dynamic.Types.Exp

Methods

(==) :: IfRate -> IfRate -> Bool

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

Ord IfRate

Defined in Csound.Dynamic.Types.Exp

Methods

compare :: IfRate -> IfRate -> Ordering

(<) :: IfRate -> IfRate -> Bool

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

(>) :: IfRate -> IfRate -> Bool

(>=) :: IfRate -> IfRate -> Bool

max :: IfRate -> IfRate -> IfRate

min :: IfRate -> IfRate -> IfRate

type Rep IfRate

Defined in Csound.Dynamic.Types.Exp

type Rep IfRate = D1 ('MetaData "IfRate" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'False) (C1 ('MetaCons "IfIr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IfKr" 'PrefixI 'False) (U1 :: Type -> Type))

fromIfRate :: IfRate -> Rate

hashE :: E -> ByteString

rehashE :: E -> E

Call it on every change in underlying expression

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