Safe Haskell	Safe-Inferred
Language	Haskell2010

Csound.Dynamic.Types.Exp

Contents

Orphan instances

Description

Main types

Synopsis

type E = Fix RatedExp
data RatedExp a = RatedExp {
- ratedExpHash :: !ByteString
- ratedExpRate :: !(Maybe Rate)
- ratedExpDepends :: !(Maybe LineNum)
- ratedExpExp :: !(Exp 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
toPrimOrTfm :: Rate -> E -> PrimOr E
newtype PrimOr a = PrimOr {
- unPrimOr :: Either Prim a
}
data MainExp a
- = EmptyExp
- | ExpPrim !Prim
- | Tfm Info ![a]
- | ConvertRate !Rate !(Maybe Rate) !a
- | Select !Rate !Int !a
- | If !IfRate !(CondInfo a) !a !a
- | ExpBool !(BoolExp a)
- | ExpNum !(NumExp a)
- | InitVar !Var !a
- | ReadVar !Var
- | WriteVar !Var !a
- | InitArr !Var !(ArrSize a)
- | ReadArr !Var !(ArrIndex a)
- | WriteArr !Var !(ArrIndex a) !a
- | WriteInitArr !Var !(ArrIndex a) !a
- | TfmArr !IsArrInit !Var !Info ![a]
- | InitPureArr !Rate !IfRate ![a]
- | ReadPureArr !Rate !IfRate !a !a
- | IfBlock !IfRate !(CondInfo a) (CodeBlock a)
- | IfElseBlock !IfRate !(CondInfo a) (CodeBlock a) (CodeBlock a)
- | IfBegin !IfRate !(CondInfo a)
- | ElseBegin
- | IfEnd
- | UntilBlock !IfRate !(CondInfo a) (CodeBlock a)
- | UntilBegin !IfRate !(CondInfo a)
- | UntilEnd
- | WhileBlock !IfRate !(CondInfo a) (CodeBlock a)
- | WhileBegin !IfRate !(CondInfo a)
- | WhileRefBlock !Var !(CodeBlock a)
- | WhileRefBegin !Var
- | WhileEnd
- | Verbatim !Text
- | Starts
- | Seq a a
- | Ends a
- | InitMacrosInt !Text !Int
- | InitMacrosDouble !Text !Double
- | InitMacrosString !Text !Text
- | ReadMacrosInt !Text
- | ReadMacrosDouble !Text
- | ReadMacrosString !Text
type Name = Text
data InstrId
- = InstrId {
  - instrIdFrac :: !(Maybe Int)
  - instrIdCeil :: !Int
  }
- | InstrLabel Text
intInstrId :: Int -> InstrId
ratioInstrId :: Int -> Int -> InstrId
stringInstrId :: Text -> InstrId
data VarType
- = LocalVar
- | GlobalVar
data Var
- = Var {
  - varType :: !VarType
  - varRate :: !Rate
  - varName :: !Name
  }
- | VarVerbatim {
  - varRate :: !Rate
  - varName :: !Name
  }
data Info = Info {
- infoName :: !Name
- infoSignature :: !Signature
- infoOpcFixity :: !OpcFixity
}
data OpcFixity
- = Prefix
- | Infix
- | Opcode
data Rate
- = Xr
- | Ar
- | Kr
- | Ir
- | Sr
- | Fr
- | Wr
- | Tvar
- | ArArr
- | KrArr
- | IrArr
- | SrArr
newtype CodeBlock a = CodeBlock a
data Signature
- = SingleRate !(Map Rate [Rate])
- | MultiRate {
  - outMultiRate :: ![Rate]
  - inMultiRate :: ![Rate]
  }
isInfix :: Info -> Bool
isPrefix :: Info -> Bool
data Prim
- = P !Int
- | PString !Int
- | PrimInt !Int
- | PrimDouble !Double
- | PrimString !Text
- | PrimInstrId !InstrId
- | PrimVar {
  - primVarTargetRate :: !Rate
  - primVar :: !Var
  }
data Gen = Gen {
- genSize :: !Int
- genId :: !GenId
- genArgs :: ![Double]
- genFile :: !(Maybe Text)
}
data GenId
- = IntGenId !Int
- | StringGenId !Text
data Inline op arg = Inline {
- inlineExp :: !(InlineExp op)
- inlineEnv :: !(IntMap arg)
}
data InlineExp op
- = InlinePrim !Int
- | InlineExp !op ![InlineExp op]
data PreInline a b = PreInline !a ![b]
type BoolExp a = PreInline CondOp a
type CondInfo a = Inline CondOp a
data CondOp
- = TrueOp
- | FalseOp
- | And
- | Or
- | Equals
- | NotEquals
- | Less
- | Greater
- | LessEquals
- | GreaterEquals
isTrue :: CondInfo a -> Bool
isFalse :: CondInfo a -> Bool
type NumExp a = PreInline NumOp a
data NumOp
- = Add
- | Sub
- | Neg
- | Mul
- | Div
- | Pow
- | Mod
type Note = [Prim]
type MultiOut a = Int -> a
type IsArrInit = Bool
type ArrSize a = [a]
type ArrIndex a = [a]
data IfRate
- = IfIr
- | IfKr
fromIfRate :: IfRate -> Rate
hashE :: E -> ByteString
rehashE :: E -> E

Documentation

type E = Fix RatedExp Source #

The inner representation of csound expressions.

data RatedExp a Source #

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

Instances details

Boolean E Source #
Instance details Defined in Csound.Dynamic.Build.Logic Methods true :: E # false :: E # notB :: E -> E # (&&) :: E -> E -> E # (\|\|) :: E -> E -> E #
EqB E Source #
Instance details Defined in Csound.Dynamic.Build.Logic Methods (==) :: bool ~ BooleanOf E => E -> E -> bool # (/=) :: bool ~ BooleanOf E => E -> E -> bool #
OrdB E Source #
Instance details Defined in Csound.Dynamic.Build.Logic Methods (<) :: bool ~ BooleanOf E => E -> E -> bool # (<=) :: bool ~ BooleanOf E => E -> E -> bool # (>) :: bool ~ BooleanOf E => E -> E -> bool # (>=) :: bool ~ BooleanOf E => E -> E -> bool #
Foldable RatedExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fold :: Monoid m => RatedExp m -> m # foldMap :: Monoid m => (a -> m) -> RatedExp a -> m # 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 Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftEq :: (a -> b -> Bool) -> RatedExp a -> RatedExp b -> Bool #
Ord1 RatedExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftCompare :: (a -> b -> Ordering) -> RatedExp a -> RatedExp b -> Ordering #
Show1 RatedExp Source #
Instance details 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 Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods traverse :: Applicative f => (a -> f b) -> RatedExp a -> f (RatedExp b) # sequenceA :: Applicative f => RatedExp (f a) -> f (RatedExp a) # mapM :: Monad m => (a -> m b) -> RatedExp a -> m (RatedExp b) # sequence :: Monad m => RatedExp (m a) -> m (RatedExp a) #
Functor RatedExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fmap :: (a -> b) -> RatedExp a -> RatedExp b # (<$) :: a -> RatedExp b -> RatedExp a #
Monoid E Source #
Instance details Defined in Csound.Dynamic.Build.Numeric Methods mempty :: E # mappend :: E -> E -> E # mconcat :: [E] -> E #
Semigroup E Source #
Instance details Defined in Csound.Dynamic.Build.Numeric Methods (<>) :: E -> E -> E # sconcat :: NonEmpty E -> E # stimes :: Integral b => b -> E -> E #
Enum E Source #
Instance details Defined in Csound.Dynamic.Build.Numeric Methods succ :: E -> E # pred :: E -> E # toEnum :: Int -> E # fromEnum :: E -> Int # enumFrom :: E -> [E] # enumFromThen :: E -> E -> [E] # enumFromTo :: E -> E -> [E] # enumFromThenTo :: E -> E -> E -> [E] #
Floating E Source #
Instance details Defined in Csound.Dynamic.Build.Numeric Methods pi :: E # exp :: E -> E # log :: E -> E # sqrt :: E -> E # (**) :: E -> E -> E # logBase :: E -> E -> E # sin :: E -> E # cos :: E -> E # tan :: E -> E # asin :: E -> E # acos :: E -> E # atan :: E -> E # sinh :: E -> E # cosh :: E -> E # tanh :: E -> E # asinh :: E -> E # acosh :: E -> E # atanh :: E -> E # log1p :: E -> E # expm1 :: E -> E # log1pexp :: E -> E # log1mexp :: E -> E #
Num E Source #
Instance details Defined in Csound.Dynamic.Build.Numeric Methods (+) :: E -> E -> E # (-) :: E -> E -> E # (*) :: E -> E -> E # negate :: E -> E # abs :: E -> E # signum :: E -> E # fromInteger :: Integer -> E #
Fractional E Source #
Instance details Defined in Csound.Dynamic.Build.Numeric Methods (/) :: E -> E -> E # recip :: E -> E # fromRational :: Rational -> E #
Integral E Source #
Instance details Defined in Csound.Dynamic.Build.Numeric Methods quot :: E -> E -> E # rem :: E -> E -> E # div :: E -> E -> E # mod :: E -> E -> E # quotRem :: E -> E -> (E, E) # divMod :: E -> E -> (E, E) # toInteger :: E -> Integer #
Real E Source #
Instance details Defined in Csound.Dynamic.Build.Numeric Methods toRational :: E -> Rational #
Generic1 RatedExp Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep (RatedExp a) :: Type -> Type # Methods from :: RatedExp a -> Rep (RatedExp a) x # to :: Rep (RatedExp a) x -> RatedExp a #
Show a => Show (RatedExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> RatedExp a -> ShowS # show :: RatedExp a -> String # showList :: [RatedExp a] -> ShowS #
Serialize a => Serialize (RatedExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter (RatedExp a) # get :: Get (RatedExp a) #
Eq (RatedExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: RatedExp a -> RatedExp a -> Bool # (/=) :: RatedExp a -> RatedExp a -> Bool #
Ord (RatedExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: RatedExp a -> RatedExp a -> Ordering # (<) :: RatedExp a -> RatedExp a -> Bool # (<=) :: RatedExp a -> RatedExp a -> Bool # (>) :: RatedExp a -> RatedExp a -> Bool # (>=) :: RatedExp a -> RatedExp a -> Bool # max :: RatedExp a -> RatedExp a -> RatedExp a # min :: RatedExp a -> RatedExp a -> RatedExp a #
type BooleanOf E Source #
Instance details Defined in Csound.Dynamic.Build.Logic type BooleanOf E = E
type Rep1 RatedExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep1 RatedExp
type Rep (RatedExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep (RatedExp a)

isEmptyExp :: E -> Bool Source #

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

noRate :: Exp E -> E Source #

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

setRate :: Rate -> E -> E Source #

toArrRate :: Rate -> Rate Source #

removeArrRate :: Rate -> Rate Source #

type Exp a = MainExp (PrimOr a) Source #

toPrimOr :: E -> PrimOr E Source #

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

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

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

newtype PrimOr a Source #

It's a primitive value or something else. It's used for inlining of the constants (primitive values).

Constructors

PrimOr
Fields unPrimOr :: Either Prim a

Instances

Instances details

Foldable PrimOr Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fold :: Monoid m => PrimOr m -> m # foldMap :: Monoid m => (a -> m) -> PrimOr a -> m # 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 Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftEq :: (a -> b -> Bool) -> PrimOr a -> PrimOr b -> Bool #
Ord1 PrimOr Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftCompare :: (a -> b -> Ordering) -> PrimOr a -> PrimOr b -> Ordering #
Show1 PrimOr Source #
Instance details 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 Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods traverse :: Applicative f => (a -> f b) -> PrimOr a -> f (PrimOr b) # sequenceA :: Applicative f => PrimOr (f a) -> f (PrimOr a) # mapM :: Monad m => (a -> m b) -> PrimOr a -> m (PrimOr b) # sequence :: Monad m => PrimOr (m a) -> m (PrimOr a) #
Functor PrimOr Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fmap :: (a -> b) -> PrimOr a -> PrimOr b # (<$) :: a -> PrimOr b -> PrimOr a #
Generic1 PrimOr Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep (PrimOr a) :: Type -> Type # Methods from :: PrimOr a -> Rep (PrimOr a) x # to :: Rep (PrimOr a) x -> PrimOr a #
Show a => Show (PrimOr a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> PrimOr a -> ShowS # show :: PrimOr a -> String # showList :: [PrimOr a] -> ShowS #
Serialize a => Serialize (PrimOr a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter (PrimOr a) # get :: Get (PrimOr a) #
Eq a => Eq (PrimOr a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: PrimOr a -> PrimOr a -> Bool # (/=) :: PrimOr a -> PrimOr a -> Bool #
Ord a => Ord (PrimOr a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: PrimOr a -> PrimOr a -> Ordering # (<) :: PrimOr a -> PrimOr a -> Bool # (<=) :: PrimOr a -> PrimOr a -> Bool # (>) :: PrimOr a -> PrimOr a -> Bool # (>=) :: PrimOr a -> PrimOr a -> Bool # max :: PrimOr a -> PrimOr a -> PrimOr a # min :: PrimOr a -> PrimOr a -> PrimOr a #
type Rep1 PrimOr Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep (PrimOr a) = D1 ('MetaData "PrimOr" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.9.1-1cJbmtshgbjKoGghhay83W" 'True) (C1 ('MetaCons "PrimOr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPrimOr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Prim a))))

data MainExp a Source #

Constructors

EmptyExp
ExpPrim !Prim	Primitives
Tfm Info ![a]	Application of the opcode: we have opcode information (Info) and the arguments [a]
ConvertRate !Rate !(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

Instances details

Foldable MainExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fold :: Monoid m => MainExp m -> m # foldMap :: Monoid m => (a -> m) -> MainExp a -> m # 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 Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftEq :: (a -> b -> Bool) -> MainExp a -> MainExp b -> Bool #
Ord1 MainExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftCompare :: (a -> b -> Ordering) -> MainExp a -> MainExp b -> Ordering #
Show1 MainExp Source #
Instance details 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 Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods traverse :: Applicative f => (a -> f b) -> MainExp a -> f (MainExp b) # sequenceA :: Applicative f => MainExp (f a) -> f (MainExp a) # mapM :: Monad m => (a -> m b) -> MainExp a -> m (MainExp b) # sequence :: Monad m => MainExp (m a) -> m (MainExp a) #
Functor MainExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fmap :: (a -> b) -> MainExp a -> MainExp b # (<$) :: a -> MainExp b -> MainExp a #
Generic1 MainExp Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep (MainExp a) :: Type -> Type # Methods from :: MainExp a -> Rep (MainExp a) x # to :: Rep (MainExp a) x -> MainExp a #
Show a => Show (MainExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> MainExp a -> ShowS # show :: MainExp a -> String # showList :: [MainExp a] -> ShowS #
Serialize a => Serialize (MainExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter (MainExp a) # get :: Get (MainExp a) #
Eq a => Eq (MainExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: MainExp a -> MainExp a -> Bool # (/=) :: MainExp a -> MainExp a -> Bool #
Ord a => Ord (MainExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: MainExp a -> MainExp a -> Ordering # (<) :: MainExp a -> MainExp a -> Bool # (<=) :: MainExp a -> MainExp a -> Bool # (>) :: MainExp a -> MainExp a -> Bool # (>=) :: MainExp a -> MainExp a -> Bool # max :: MainExp a -> MainExp a -> MainExp a # min :: MainExp a -> MainExp a -> MainExp a #
type Rep1 MainExp Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep (MainExp a) = D1 ('MetaData "MainExp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.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 Source #

data InstrId Source #

An instrument identifier

Constructors

InstrId
Fields instrIdFrac :: !(Maybe Int) instrIdCeil :: !Int
InstrLabel Text

Instances

Instances details

Generic InstrId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep InstrId :: Type -> Type # Methods from :: InstrId -> Rep InstrId x # to :: Rep InstrId x -> InstrId #
Show InstrId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> InstrId -> ShowS # show :: InstrId -> String # showList :: [InstrId] -> ShowS #
Serialize InstrId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter InstrId # get :: Get InstrId #
Eq InstrId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: InstrId -> InstrId -> Bool # (/=) :: InstrId -> InstrId -> Bool #
Ord InstrId Source #
Instance details Defined in Csound.Dynamic.Types.Exp 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 Source #
Instance details 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 Source #

Constructs an instrument id with the integer.

ratioInstrId :: Int -> Int -> InstrId Source #

Constructs an instrument id with fractional part.

stringInstrId :: Text -> InstrId Source #

Constructs an instrument id with the string label.

data VarType Source #

Constructors

LocalVar
GlobalVar

Instances

Instances details

Generic VarType Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep VarType :: Type -> Type # Methods from :: VarType -> Rep VarType x # to :: Rep VarType x -> VarType #
Show VarType Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> VarType -> ShowS # show :: VarType -> String # showList :: [VarType] -> ShowS #
Serialize VarType Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter VarType # get :: Get VarType #
Eq VarType Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: VarType -> VarType -> Bool # (/=) :: VarType -> VarType -> Bool #
Ord VarType Source #
Instance details Defined in Csound.Dynamic.Types.Exp 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 Source #
Instance details 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 Source #

Constructors

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

Instances

Instances details

Generic Var Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep Var :: Type -> Type # Methods from :: Var -> Rep Var x # to :: Rep Var x -> Var #
Show Var Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Var -> ShowS # show :: Var -> String # showList :: [Var] -> ShowS #
Serialize Var Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter Var # get :: Get Var #
Eq Var Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Var -> Var -> Bool # (/=) :: Var -> Var -> Bool #
Ord Var Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: Var -> Var -> Ordering # (<) :: Var -> Var -> Bool # (<=) :: Var -> Var -> Bool # (>) :: Var -> Var -> Bool # (>=) :: Var -> Var -> Bool # max :: Var -> Var -> Var # min :: Var -> Var -> Var #
type Rep Var Source #
Instance details 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 Source #

Constructors

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

Instances

Instances details

Generic Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep Info :: Type -> Type # Methods from :: Info -> Rep Info x # to :: Rep Info x -> Info #
Show Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Info -> ShowS # show :: Info -> String # showList :: [Info] -> ShowS #
Serialize Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter Info # get :: Get Info #
Eq Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Info -> Info -> Bool # (/=) :: Info -> Info -> Bool #
Ord Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: Info -> Info -> Ordering # (<) :: Info -> Info -> Bool # (<=) :: Info -> Info -> Bool # (>) :: Info -> Info -> Bool # (>=) :: Info -> Info -> Bool # max :: Info -> Info -> Info # min :: Info -> Info -> Info #
type Rep Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep Info = D1 ('MetaData "Info" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.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 Source #

Constructors

Prefix
Infix
Opcode

Instances

Instances details

Generic OpcFixity Source #
Instance details 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 Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> OpcFixity -> ShowS # show :: OpcFixity -> String # showList :: [OpcFixity] -> ShowS #
Serialize OpcFixity Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter OpcFixity # get :: Get OpcFixity #
Eq OpcFixity Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: OpcFixity -> OpcFixity -> Bool # (/=) :: OpcFixity -> OpcFixity -> Bool #
Ord OpcFixity Source #
Instance details 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 Source #
Instance details 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 Source #

The Csound rates.

Constructors

Xr
Ar
Kr
Ir
Sr
Fr
Wr
Tvar
ArArr
KrArr
IrArr
SrArr

Instances

Instances details

Bounded Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods minBound :: Rate # maxBound :: Rate #
Enum Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods succ :: Rate -> Rate # pred :: Rate -> Rate # toEnum :: Int -> Rate # fromEnum :: Rate -> Int # enumFrom :: Rate -> [Rate] # enumFromThen :: Rate -> Rate -> [Rate] # enumFromTo :: Rate -> Rate -> [Rate] # enumFromThenTo :: Rate -> Rate -> Rate -> [Rate] #
Generic Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep Rate :: Type -> Type # Methods from :: Rate -> Rep Rate x # to :: Rep Rate x -> Rate #
Show Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Rate -> ShowS # show :: Rate -> String # showList :: [Rate] -> ShowS #
Serialize Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter Rate # get :: Get Rate #
Eq Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Rate -> Rate -> Bool # (/=) :: Rate -> Rate -> Bool #
Ord Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: Rate -> Rate -> Ordering # (<) :: Rate -> Rate -> Bool # (<=) :: Rate -> Rate -> Bool # (>) :: Rate -> Rate -> Bool # (>=) :: Rate -> Rate -> Bool # max :: Rate -> Rate -> Rate # min :: Rate -> Rate -> Rate #
type Rep Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep Rate = D1 ('MetaData "Rate" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.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 Source #

Constructors

CodeBlock a

Instances

Instances details

Foldable CodeBlock Source #
Instance details 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 Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftEq :: (a -> b -> Bool) -> CodeBlock a -> CodeBlock b -> Bool #
Ord1 CodeBlock Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftCompare :: (a -> b -> Ordering) -> CodeBlock a -> CodeBlock b -> Ordering #
Show1 CodeBlock Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fmap :: (a -> b) -> CodeBlock a -> CodeBlock b # (<$) :: a -> CodeBlock b -> CodeBlock a #
Generic1 CodeBlock Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter (CodeBlock a) # get :: Get (CodeBlock a) #
Eq a => Eq (CodeBlock a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: CodeBlock a -> CodeBlock a -> Bool # (/=) :: CodeBlock a -> CodeBlock a -> Bool #
Ord a => Ord (CodeBlock a) Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details 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 Source #

Constructors

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

Instances

Instances details

Generic Signature Source #
Instance details 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 Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Signature -> ShowS # show :: Signature -> String # showList :: [Signature] -> ShowS #
Serialize Signature Source #	Can be infinite so fe just ignore the value
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter Signature # get :: Get Signature #
Eq Signature Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Signature -> Signature -> Bool # (/=) :: Signature -> Signature -> Bool #
Ord Signature Source #
Instance details 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 Source #
Instance details 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 Source #

isPrefix :: Info -> Bool Source #

data Prim Source #

Constructors

P !Int
PString !Int
PrimInt !Int
PrimDouble !Double
PrimString !Text
PrimInstrId !InstrId
PrimVar
Fields primVarTargetRate :: !Rate primVar :: !Var

Instances

Instances details

Generic Prim Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep Prim :: Type -> Type # Methods from :: Prim -> Rep Prim x # to :: Rep Prim x -> Prim #
Show Prim Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Prim -> ShowS # show :: Prim -> String # showList :: [Prim] -> ShowS #
Serialize Prim Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter Prim # get :: Get Prim #
Eq Prim Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Prim -> Prim -> Bool # (/=) :: Prim -> Prim -> Bool #
Ord Prim Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: Prim -> Prim -> Ordering # (<) :: Prim -> Prim -> Bool # (<=) :: Prim -> Prim -> Bool # (>) :: Prim -> Prim -> Bool # (>=) :: Prim -> Prim -> Bool # max :: Prim -> Prim -> Prim # min :: Prim -> Prim -> Prim #
type Rep Prim Source #
Instance details 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 Source #

Constructors

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

Instances

Instances details

Generic Gen Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep Gen :: Type -> Type # Methods from :: Gen -> Rep Gen x # to :: Rep Gen x -> Gen #
Show Gen Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Gen -> ShowS # show :: Gen -> String # showList :: [Gen] -> ShowS #
Eq Gen Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Gen -> Gen -> Bool # (/=) :: Gen -> Gen -> Bool #
Ord Gen Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: Gen -> Gen -> Ordering # (<) :: Gen -> Gen -> Bool # (<=) :: Gen -> Gen -> Bool # (>) :: Gen -> Gen -> Bool # (>=) :: Gen -> Gen -> Bool # max :: Gen -> Gen -> Gen # min :: Gen -> Gen -> Gen #
type Rep Gen Source #
Instance details 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 Source #

Constructors

IntGenId !Int
StringGenId !Text

Instances

Instances details

Generic GenId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep GenId :: Type -> Type # Methods from :: GenId -> Rep GenId x # to :: Rep GenId x -> GenId #
Show GenId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> GenId -> ShowS # show :: GenId -> String # showList :: [GenId] -> ShowS #
Eq GenId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: GenId -> GenId -> Bool # (/=) :: GenId -> GenId -> Bool #
Ord GenId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: GenId -> GenId -> Ordering # (<) :: GenId -> GenId -> Bool # (<=) :: GenId -> GenId -> Bool # (>) :: GenId -> GenId -> Bool # (>=) :: GenId -> GenId -> Bool # max :: GenId -> GenId -> GenId # min :: GenId -> GenId -> GenId #
type Rep GenId Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep GenId = D1 ('MetaData "GenId" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.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 Source #

Constructors

Inline
Fields inlineExp :: !(InlineExp op) inlineEnv :: !(IntMap arg)

Instances

Instances details

Generic1 (Inline op :: Type -> Type) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftEq :: (a -> b -> Bool) -> Inline op a -> Inline op b -> Bool #
Ord op => Ord1 (Inline op) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftCompare :: (a -> b -> Ordering) -> Inline op a -> Inline op b -> Ordering #
Show op => Show1 (Inline op) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

Constructors

InlinePrim !Int
InlineExp !op ![InlineExp op]

Instances

Instances details

Generic (InlineExp op) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter (InlineExp a) # get :: Get (InlineExp a) #
Eq op => Eq (InlineExp op) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: InlineExp op -> InlineExp op -> Bool # (/=) :: InlineExp op -> InlineExp op -> Bool #
Ord op => Ord (InlineExp op) Source #
Instance details 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) Source #
Instance details 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 Source #

Constructors

PreInline !a ![b]

Instances

Instances details

Generic1 (PreInline a :: Type -> Type) Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fold :: Monoid m => PreInline a m -> m # foldMap :: Monoid m => (a0 -> m) -> PreInline a a0 -> m # 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftEq :: (a0 -> b -> Bool) -> PreInline a a0 -> PreInline a b -> Bool #
Ord a => Ord1 (PreInline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftCompare :: (a0 -> b -> Ordering) -> PreInline a a0 -> PreInline a b -> Ordering #
Show a => Show1 (PreInline a) Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods traverse :: Applicative f => (a0 -> f b) -> PreInline a a0 -> f (PreInline a b) # sequenceA :: Applicative f => PreInline a (f a0) -> f (PreInline a a0) # mapM :: Monad m => (a0 -> m b) -> PreInline a a0 -> m (PreInline a b) # sequence :: Monad m => PreInline a (m a0) -> m (PreInline a a0) #
Functor (PreInline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fmap :: (a0 -> b) -> PreInline a a0 -> PreInline a b # (<$) :: a0 -> PreInline a b -> PreInline a a0 #
Generic (PreInline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep (PreInline a b) :: Type -> Type # Methods from :: PreInline a b -> Rep (PreInline a b) x # to :: Rep (PreInline a b) x -> PreInline a b #
(Show a, Show b) => Show (PreInline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> PreInline a b -> ShowS # show :: PreInline a b -> String # showList :: [PreInline a b] -> ShowS #
(Serialize a, Serialize b) => Serialize (PreInline a b) Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: PreInline a b -> PreInline a b -> Bool # (/=) :: PreInline a b -> PreInline a b -> Bool #
(Ord a, Ord b) => Ord (PreInline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: PreInline a b -> PreInline a b -> Ordering # (<) :: PreInline a b -> PreInline a b -> Bool # (<=) :: PreInline a b -> PreInline a b -> Bool # (>) :: PreInline a b -> PreInline a b -> Bool # (>=) :: PreInline a b -> PreInline a b -> Bool # max :: PreInline a b -> PreInline a b -> PreInline a b # min :: PreInline a b -> PreInline a b -> PreInline a b #
type Rep1 (PreInline a :: Type -> Type) Source #
Instance details 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) Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep (PreInline a b) = D1 ('MetaData "PreInline" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.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 Source #

type CondInfo a = Inline CondOp a Source #

data CondOp Source #

Constructors

TrueOp
FalseOp
And
Or
Equals
NotEquals
Less
Greater
LessEquals
GreaterEquals

Instances

Instances details

Generic CondOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep CondOp :: Type -> Type # Methods from :: CondOp -> Rep CondOp x # to :: Rep CondOp x -> CondOp #
Show CondOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> CondOp -> ShowS # show :: CondOp -> String # showList :: [CondOp] -> ShowS #
Serialize CondOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter CondOp # get :: Get CondOp #
Eq CondOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: CondOp -> CondOp -> Bool # (/=) :: CondOp -> CondOp -> Bool #
Ord CondOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp 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 Source #
Instance details 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 Source #

isFalse :: CondInfo a -> Bool Source #

type NumExp a = PreInline NumOp a Source #

data NumOp Source #

Constructors

Add
Sub
Neg
Mul
Div
Pow
Mod

Instances

Instances details

Generic NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep NumOp :: Type -> Type # Methods from :: NumOp -> Rep NumOp x # to :: Rep NumOp x -> NumOp #
Show NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> NumOp -> ShowS # show :: NumOp -> String # showList :: [NumOp] -> ShowS #
Serialize NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter NumOp # get :: Get NumOp #
Eq NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: NumOp -> NumOp -> Bool # (/=) :: NumOp -> NumOp -> Bool #
Ord NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: NumOp -> NumOp -> Ordering # (<) :: NumOp -> NumOp -> Bool # (<=) :: NumOp -> NumOp -> Bool # (>) :: NumOp -> NumOp -> Bool # (>=) :: NumOp -> NumOp -> Bool # max :: NumOp -> NumOp -> NumOp # min :: NumOp -> NumOp -> NumOp #
type Rep NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep NumOp = D1 ('MetaData "NumOp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.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] Source #

type MultiOut a = Int -> a Source #

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

type IsArrInit = Bool Source #

type ArrSize a = [a] Source #

Array sizes by demensions

type ArrIndex a = [a] Source #

Array multi index

data IfRate Source #

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

Constructors

IfIr
IfKr

Instances

Instances details

Generic IfRate Source #
Instance details 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 Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> IfRate -> ShowS # show :: IfRate -> String # showList :: [IfRate] -> ShowS #
Serialize IfRate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods put :: Putter IfRate # get :: Get IfRate #
Eq IfRate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: IfRate -> IfRate -> Bool # (/=) :: IfRate -> IfRate -> Bool #
Ord IfRate Source #
Instance details 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 Source #
Instance details 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 Source #

hashE :: E -> ByteString Source #

rehashE :: E -> E Source #

Call it on every change in underlying expression

Orphan instances

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