Safe Haskell	None
Language	Haskell2010

Csound.Dynamic.Types.Exp

Contents

Orphan instances

Description

Main types

Synopsis

type E = Fix RatedExp
data RatedExp a = RatedExp {
- ratedExpRate :: Maybe Rate
- ratedExpDepends :: Maybe LineNum
- ratedExpExp :: Exp a
}
isEmptyExp :: E -> Bool
type RatedVar = Var Rate
ratedVar :: Rate -> Int -> RatedVar
ratedVarRate :: RatedVar -> Rate
ratedVarId :: RatedVar -> Int
ratedExp :: Maybe Rate -> Exp E -> E
noRate :: Exp E -> E
withRate :: Rate -> Exp E -> E
setRate :: Rate -> E -> E
type Exp a = MainExp (PrimOr a)
toPrimOr :: E -> PrimOr E
toPrimOrTfm :: Rate -> E -> PrimOr E
newtype PrimOr a = PrimOr {
- unPrimOr :: Either Prim a
}
data MainExp a
- = EmptyExp
- | ExpPrim Prim
- | Tfm Info [a]
- | ConvertRate Rate Rate a
- | Select Rate Int a
- | If (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]
- | IfBegin Rate (CondInfo a)
- | ElseBegin
- | IfEnd
- | UntilBegin (CondInfo a)
- | UntilEnd
- | WhileBegin (CondInfo a)
- | WhileRefBegin Var
- | WhileEnd
- | Verbatim String
- | Starts
- | Seq a a
- | Ends a
- | InitMacrosInt String Int
- | InitMacrosDouble String Double
- | InitMacrosString String String
- | ReadMacrosInt String
- | ReadMacrosDouble String
- | ReadMacrosString String
type Name = String
data InstrId
- = InstrId {
  - instrIdFrac :: Maybe Int
  - instrIdCeil :: Int
  }
- | InstrLabel String
intInstrId :: Int -> InstrId
ratioInstrId :: Int -> Int -> InstrId
stringInstrId :: String -> 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
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 String
- | PrimInstrId InstrId
- | PrimVar {
  - primVarTargetRate :: Rate
  - primVar :: Var
  }
data Gen = Gen {
- genSize :: Int
- genId :: GenId
- genArgs :: [Double]
- genFile :: Maybe String
}
data GenId
- = IntGenId Int
- | StringGenId String
data Inline a b = Inline {
- inlineExp :: InlineExp a
- inlineEnv :: IntMap b
}
data InlineExp a
- = InlinePrim Int
- | InlineExp a [InlineExp a]
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]

Documentation

type E = Fix RatedExp Source #

The inner representation of csound expressions.

data RatedExp a Source #

Constructors

RatedExp
Fields ratedExpRate :: Maybe Rate Rate (can be undefined or Nothing, it means that rate should be deduced automatically from the context) ratedExpDepends :: Maybe LineNum Dependency (it is used for expressions with side effects, value contains the privious statement) ratedExpExp :: Exp a Main expression

Instances

Instances details

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

isEmptyExp :: E -> Bool Source #

type RatedVar = Var Rate Source #

RatedVar is for pretty printing of the wiring ports.

ratedVar :: Rate -> Int -> RatedVar Source #

Makes an rated variable.

ratedVarRate :: RatedVar -> Rate Source #

Querries a rate.

ratedVarId :: RatedVar -> Int Source #

Querries an integral identifier.

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

noRate :: Exp E -> E Source #

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

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

type Exp a = MainExp (PrimOr a) Source #

toPrimOr :: E -> PrimOr E Source #

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

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

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

newtype PrimOr a Source #

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

Constructors

PrimOr
Fields unPrimOr :: Either Prim a

Instances

Instances details

Functor PrimOr Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fmap :: (a -> b) -> PrimOr a -> PrimOr b # (<$) :: a -> PrimOr b -> PrimOr a #
Foldable PrimOr Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fold :: Monoid m => PrimOr m -> m # foldMap :: Monoid m => (a -> m) -> PrimOr a -> m # foldMap' :: Monoid m => (a -> m) -> PrimOr a -> m # foldr :: (a -> b -> b) -> b -> PrimOr a -> b # foldr' :: (a -> b -> b) -> b -> PrimOr a -> b # foldl :: (b -> a -> b) -> b -> PrimOr a -> b # foldl' :: (b -> a -> b) -> b -> PrimOr a -> b # foldr1 :: (a -> a -> a) -> PrimOr a -> a # foldl1 :: (a -> a -> a) -> PrimOr a -> a # toList :: PrimOr a -> [a] # null :: PrimOr a -> Bool # length :: PrimOr a -> Int # elem :: Eq a => a -> PrimOr a -> Bool # maximum :: Ord a => PrimOr a -> a # minimum :: Ord a => PrimOr a -> a # sum :: Num a => PrimOr a -> a # product :: Num a => PrimOr a -> a #
Traversable PrimOr Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods traverse :: Applicative f => (a -> f b) -> PrimOr a -> f (PrimOr b) # sequenceA :: Applicative f => PrimOr (f a) -> f (PrimOr a) # mapM :: Monad m => (a -> m b) -> PrimOr a -> m (PrimOr b) # sequence :: Monad m => PrimOr (m a) -> m (PrimOr a) #
Eq1 PrimOr Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftEq :: (a -> b -> Bool) -> PrimOr a -> PrimOr b -> Bool #
Ord1 PrimOr Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftCompare :: (a -> b -> Ordering) -> PrimOr a -> PrimOr b -> Ordering #
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 #
Hashable1 PrimOr Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> PrimOr a -> Int #
Eq a => Eq (PrimOr a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: PrimOr a -> PrimOr a -> Bool # (/=) :: PrimOr a -> PrimOr a -> Bool #
Ord a => Ord (PrimOr a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: PrimOr a -> PrimOr a -> Ordering # (<) :: PrimOr a -> PrimOr a -> Bool # (<=) :: PrimOr a -> PrimOr a -> Bool # (>) :: PrimOr a -> PrimOr a -> Bool # (>=) :: PrimOr a -> PrimOr a -> Bool # max :: PrimOr a -> PrimOr a -> PrimOr a # min :: PrimOr a -> PrimOr a -> PrimOr a #
Show a => Show (PrimOr a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> PrimOr a -> ShowS # show :: PrimOr a -> String # showList :: [PrimOr a] -> ShowS #
Generic (PrimOr a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep (PrimOr a) :: Type -> Type # Methods from :: PrimOr a -> Rep (PrimOr a) x # to :: Rep (PrimOr a) x -> PrimOr a #
Hashable a => Hashable (PrimOr a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> PrimOr a -> Int # hash :: PrimOr a -> Int #
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 #
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.8-GFMtza9oLPO9NsMTHPgpgu" 'True) (C1 ('MetaCons "PrimOr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPrimOr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Prim 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.8-GFMtza9oLPO9NsMTHPgpgu" 'True) (C1 ('MetaCons "PrimOr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPrimOr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (Either Prim))))

data MainExp a Source #

Constructors

EmptyExp
ExpPrim Prim	Primitives
Tfm Info [a]	Application of the opcode: we have opcode information (Info) and the arguments [a]
ConvertRate Rate Rate a	Rate conversion
Select Rate Int a	Selects a cell from the tuple, here argument is always a tuple (result of opcode that returns several outputs)
If (CondInfo a) a a	if-then-else
ExpBool (BoolExp a)	Boolean expressions (rendered in infix notation in the Csound)
ExpNum (NumExp a)	Numerical expressions (rendered in infix notation in the Csound)
InitVar Var a	Reading/writing a named variable
ReadVar Var
WriteVar Var a
InitArr Var (ArrSize a)	Arrays
ReadArr Var (ArrIndex a)
WriteArr Var (ArrIndex a) a
WriteInitArr Var (ArrIndex a) a
TfmArr IsArrInit Var Info [a]
IfBegin Rate (CondInfo a)	Imperative If-then-else
ElseBegin
IfEnd
UntilBegin (CondInfo a)	looping constructions
UntilEnd
WhileBegin (CondInfo a)
WhileRefBegin Var
WhileEnd
Verbatim String	Verbatim stmt
Starts	Dependency tracking
Seq a a
Ends a
InitMacrosInt String Int	read macros arguments
InitMacrosDouble String Double
InitMacrosString String String
ReadMacrosInt String
ReadMacrosDouble String
ReadMacrosString String

Instances

Instances details

Functor MainExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fmap :: (a -> b) -> MainExp a -> MainExp b # (<$) :: a -> MainExp b -> MainExp a #
Foldable MainExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fold :: Monoid m => MainExp m -> m # foldMap :: Monoid m => (a -> m) -> MainExp a -> m # foldMap' :: Monoid m => (a -> m) -> MainExp a -> m # foldr :: (a -> b -> b) -> b -> MainExp a -> b # foldr' :: (a -> b -> b) -> b -> MainExp a -> b # foldl :: (b -> a -> b) -> b -> MainExp a -> b # foldl' :: (b -> a -> b) -> b -> MainExp a -> b # foldr1 :: (a -> a -> a) -> MainExp a -> a # foldl1 :: (a -> a -> a) -> MainExp a -> a # toList :: MainExp a -> [a] # null :: MainExp a -> Bool # length :: MainExp a -> Int # elem :: Eq a => a -> MainExp a -> Bool # maximum :: Ord a => MainExp a -> a # minimum :: Ord a => MainExp a -> a # sum :: Num a => MainExp a -> a # product :: Num a => MainExp a -> a #
Traversable MainExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods traverse :: Applicative f => (a -> f b) -> MainExp a -> f (MainExp b) # sequenceA :: Applicative f => MainExp (f a) -> f (MainExp a) # mapM :: Monad m => (a -> m b) -> MainExp a -> m (MainExp b) # sequence :: Monad m => MainExp (m a) -> m (MainExp a) #
Eq1 MainExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftEq :: (a -> b -> Bool) -> MainExp a -> MainExp b -> Bool #
Ord1 MainExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftCompare :: (a -> b -> Ordering) -> MainExp a -> MainExp b -> Ordering #
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 #
Hashable1 MainExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> MainExp a -> Int #
Eq a => Eq (MainExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: MainExp a -> MainExp a -> Bool # (/=) :: MainExp a -> MainExp a -> Bool #
Ord a => Ord (MainExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: MainExp a -> MainExp a -> Ordering # (<) :: MainExp a -> MainExp a -> Bool # (<=) :: MainExp a -> MainExp a -> Bool # (>) :: MainExp a -> MainExp a -> Bool # (>=) :: MainExp a -> MainExp a -> Bool # max :: MainExp a -> MainExp a -> MainExp a # min :: MainExp a -> MainExp a -> MainExp a #
Show a => Show (MainExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> MainExp a -> ShowS # show :: MainExp a -> String # showList :: [MainExp a] -> ShowS #
Generic (MainExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep (MainExp a) :: Type -> Type # Methods from :: MainExp a -> Rep (MainExp a) x # to :: Rep (MainExp a) x -> MainExp a #
Hashable a => Hashable (MainExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> MainExp a -> Int # hash :: MainExp a -> Int #
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 #
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.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (((((C1 ('MetaCons "EmptyExp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpPrim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Prim))) :+: (C1 ('MetaCons "Tfm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Info) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])) :+: C1 ('MetaCons "ConvertRate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))) :+: ((C1 ('MetaCons "Select" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: C1 ('MetaCons "If" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CondInfo a)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) :+: (C1 ('MetaCons "ExpBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BoolExp a))) :+: C1 ('MetaCons "ExpNum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NumExp a)))))) :+: (((C1 ('MetaCons "InitVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "ReadVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var))) :+: (C1 ('MetaCons "WriteVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "InitArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ArrSize a))))) :+: ((C1 ('MetaCons "ReadArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ArrIndex a))) :+: C1 ('MetaCons "WriteArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ArrIndex a)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) :+: (C1 ('MetaCons "WriteInitArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ArrIndex a)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "TfmArr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsArrInit) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Info) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a]))) :+: C1 ('MetaCons "IfBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CondInfo a)))))))) :+: ((((C1 ('MetaCons "ElseBegin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IfEnd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UntilBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CondInfo a))) :+: C1 ('MetaCons "UntilEnd" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "WhileBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CondInfo a))) :+: C1 ('MetaCons "WhileRefBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var))) :+: (C1 ('MetaCons "WhileEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Verbatim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))) :+: (((C1 ('MetaCons "Starts" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Seq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "Ends" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "InitMacrosInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))) :+: ((C1 ('MetaCons "InitMacrosDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: C1 ('MetaCons "InitMacrosString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "ReadMacrosInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "ReadMacrosDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "ReadMacrosString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))))
type Rep1 MainExp Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep1 MainExp = D1 ('MetaData "MainExp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (((((C1 ('MetaCons "EmptyExp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpPrim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Prim))) :+: (C1 ('MetaCons "Tfm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Info) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])) :+: C1 ('MetaCons "ConvertRate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)))) :+: ((C1 ('MetaCons "Select" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)) :+: C1 ('MetaCons "If" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (Inline CondOp)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))) :+: (C1 ('MetaCons "ExpBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (PreInline CondOp))) :+: C1 ('MetaCons "ExpNum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (PreInline NumOp)))))) :+: (((C1 ('MetaCons "InitVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1) :+: C1 ('MetaCons "ReadVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var))) :+: (C1 ('MetaCons "WriteVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1) :+: C1 ('MetaCons "InitArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])))) :+: ((C1 ('MetaCons "ReadArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])) :+: C1 ('MetaCons "WriteArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))) :+: (C1 ('MetaCons "WriteInitArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)) :+: (C1 ('MetaCons "TfmArr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsArrInit) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Info) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 []))) :+: C1 ('MetaCons "IfBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (Inline CondOp)))))))) :+: ((((C1 ('MetaCons "ElseBegin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IfEnd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UntilBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (Inline CondOp))) :+: C1 ('MetaCons "UntilEnd" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "WhileBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (Inline CondOp))) :+: C1 ('MetaCons "WhileRefBegin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var))) :+: (C1 ('MetaCons "WhileEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Verbatim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))) :+: (((C1 ('MetaCons "Starts" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Seq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)) :+: (C1 ('MetaCons "Ends" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1) :+: C1 ('MetaCons "InitMacrosInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))) :+: ((C1 ('MetaCons "InitMacrosDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: C1 ('MetaCons "InitMacrosString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "ReadMacrosInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "ReadMacrosDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "ReadMacrosString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))))

type Name = String Source #

data InstrId Source #

An instrument identifier

Constructors

InstrId
Fields instrIdFrac :: Maybe Int instrIdCeil :: Int
InstrLabel String

Instances

Instances details

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 #
Show InstrId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> InstrId -> ShowS # show :: InstrId -> String # showList :: [InstrId] -> ShowS #
Generic InstrId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep InstrId :: Type -> Type # Methods from :: InstrId -> Rep InstrId x # to :: Rep InstrId x -> InstrId #
Hashable InstrId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> InstrId -> Int # hash :: InstrId -> Int #
type Rep InstrId Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep InstrId = D1 ('MetaData "InstrId" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "InstrId" 'PrefixI 'True) (S1 ('MetaSel ('Just "instrIdFrac") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "instrIdCeil") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "InstrLabel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

intInstrId :: Int -> InstrId Source #

Constructs an instrument id with the integer.

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

Constructs an instrument id with fractional part.

stringInstrId :: String -> InstrId Source #

Constructs an instrument id with the string label.

data VarType Source #

Constructors

LocalVar
GlobalVar

Instances

Instances details

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 #
Show VarType Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> VarType -> ShowS # show :: VarType -> String # showList :: [VarType] -> ShowS #
Generic VarType Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep VarType :: Type -> Type # Methods from :: VarType -> Rep VarType x # to :: Rep VarType x -> VarType #
Hashable VarType Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> VarType -> Int # hash :: VarType -> Int #
type Rep VarType Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep VarType = D1 ('MetaData "VarType" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" '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

Eq Var Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Var -> Var -> Bool # (/=) :: Var -> Var -> Bool #
Ord Var Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: Var -> Var -> Ordering # (<) :: Var -> Var -> Bool # (<=) :: Var -> Var -> Bool # (>) :: Var -> Var -> Bool # (>=) :: Var -> Var -> Bool # max :: Var -> Var -> Var # min :: Var -> Var -> Var #
Show Var Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Var -> ShowS # show :: Var -> String # showList :: [Var] -> ShowS #
Generic Var Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep Var :: Type -> Type # Methods from :: Var -> Rep Var x # to :: Rep Var x -> Var #
Hashable Var Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> Var -> Int # hash :: Var -> Int #
type Rep Var Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep Var = D1 ('MetaData "Var" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "Var" 'PrefixI 'True) (S1 ('MetaSel ('Just "varType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarType) :: (S1 ('MetaSel ('Just "varRate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :: S1 ('MetaSel ('Just "varName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) :+: C1 ('MetaCons "VarVerbatim" 'PrefixI 'True) (S1 ('MetaSel ('Just "varRate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :*: S1 ('MetaSel ('Just "varName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))

data Info Source #

Constructors

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

Instances

Instances details

Eq Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Info -> Info -> Bool # (/=) :: Info -> Info -> Bool #
Ord Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: Info -> Info -> Ordering # (<) :: Info -> Info -> Bool # (<=) :: Info -> Info -> Bool # (>) :: Info -> Info -> Bool # (>=) :: Info -> Info -> Bool # max :: Info -> Info -> Info # min :: Info -> Info -> Info #
Show Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Info -> ShowS # show :: Info -> String # showList :: [Info] -> ShowS #
Generic Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep Info :: Type -> Type # Methods from :: Info -> Rep Info x # to :: Rep Info x -> Info #
Hashable Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> Info -> Int # hash :: Info -> Int #
type Rep Info Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep Info = D1 ('MetaData "Info" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "Info" 'PrefixI 'True) (S1 ('MetaSel ('Just "infoName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :: (S1 ('MetaSel ('Just "infoSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature) :: S1 ('MetaSel ('Just "infoOpcFixity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OpcFixity))))

data OpcFixity Source #

Constructors

Prefix
Infix
Opcode

Instances

Instances details

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 #
Show OpcFixity Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> OpcFixity -> ShowS # show :: OpcFixity -> String # showList :: [OpcFixity] -> ShowS #
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 #
Hashable OpcFixity Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> OpcFixity -> Int # hash :: OpcFixity -> Int #
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.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "Prefix" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Infix" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Opcode" 'PrefixI 'False) (U1 :: Type -> Type)))

data Rate Source #

The Csound rates.

Constructors

Xr
Ar
Kr
Ir
Sr
Fr
Wr
Tvar

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] #
Eq Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Rate -> Rate -> Bool # (/=) :: Rate -> Rate -> Bool #
Ord Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: Rate -> Rate -> Ordering # (<) :: Rate -> Rate -> Bool # (<=) :: Rate -> Rate -> Bool # (>) :: Rate -> Rate -> Bool # (>=) :: Rate -> Rate -> Bool # max :: Rate -> Rate -> Rate # min :: Rate -> Rate -> Rate #
Show Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Rate -> ShowS # show :: Rate -> String # showList :: [Rate] -> ShowS #
Generic Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep Rate :: Type -> Type # Methods from :: Rate -> Rep Rate x # to :: Rep Rate x -> Rate #
Hashable Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> Rate -> Int # hash :: Rate -> Int #
type Rep Rate Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep Rate = D1 ('MetaData "Rate" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (((C1 ('MetaCons "Xr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ar" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Kr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ir" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Sr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Fr" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Wr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Tvar" 'PrefixI 'False) (U1 :: Type -> Type))))

data Signature Source #

Constructors

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

Instances

Instances details

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 #
Show Signature Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Signature -> ShowS # show :: Signature -> String # showList :: [Signature] -> ShowS #
Hashable Signature Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> Signature -> Int # hash :: Signature -> Int #

isInfix :: Info -> Bool Source #

isPrefix :: Info -> Bool Source #

data Prim Source #

Constructors

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

Instances

Instances details

Eq Prim Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Prim -> Prim -> Bool # (/=) :: Prim -> Prim -> Bool #
Ord Prim Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: Prim -> Prim -> Ordering # (<) :: Prim -> Prim -> Bool # (<=) :: Prim -> Prim -> Bool # (>) :: Prim -> Prim -> Bool # (>=) :: Prim -> Prim -> Bool # max :: Prim -> Prim -> Prim # min :: Prim -> Prim -> Prim #
Show Prim Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Prim -> ShowS # show :: Prim -> String # showList :: [Prim] -> ShowS #
Generic Prim Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep Prim :: Type -> Type # Methods from :: Prim -> Rep Prim x # to :: Rep Prim x -> Prim #
Hashable Prim Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> Prim -> Int # hash :: Prim -> Int #
type Rep Prim Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep Prim = D1 ('MetaData "Prim" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) ((C1 ('MetaCons "P" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "PString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "PrimInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))) :+: ((C1 ('MetaCons "PrimDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: C1 ('MetaCons "PrimString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "PrimInstrId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InstrId)) :+: C1 ('MetaCons "PrimVar" 'PrefixI 'True) (S1 ('MetaSel ('Just "primVarTargetRate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rate) :*: S1 ('MetaSel ('Just "primVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var)))))

data Gen Source #

Constructors

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

Instances

Instances details

Eq Gen Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Gen -> Gen -> Bool # (/=) :: Gen -> Gen -> Bool #
Ord Gen Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: Gen -> Gen -> Ordering # (<) :: Gen -> Gen -> Bool # (<=) :: Gen -> Gen -> Bool # (>) :: Gen -> Gen -> Bool # (>=) :: Gen -> Gen -> Bool # max :: Gen -> Gen -> Gen # min :: Gen -> Gen -> Gen #
Show Gen Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Gen -> ShowS # show :: Gen -> String # showList :: [Gen] -> ShowS #
Generic Gen Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep Gen :: Type -> Type # Methods from :: Gen -> Rep Gen x # to :: Rep Gen x -> Gen #
Hashable Gen Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> Gen -> Int # hash :: Gen -> Int #
type Rep Gen Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep Gen = D1 ('MetaData "Gen" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "Gen" 'PrefixI 'True) ((S1 ('MetaSel ('Just "genSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "genId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenId)) :: (S1 ('MetaSel ('Just "genArgs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Double]) :*: S1 ('MetaSel ('Just "genFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)))))

data GenId Source #

Constructors

IntGenId Int
StringGenId String

Instances

Instances details

Eq GenId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: GenId -> GenId -> Bool # (/=) :: GenId -> GenId -> Bool #
Ord GenId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: GenId -> GenId -> Ordering # (<) :: GenId -> GenId -> Bool # (<=) :: GenId -> GenId -> Bool # (>) :: GenId -> GenId -> Bool # (>=) :: GenId -> GenId -> Bool # max :: GenId -> GenId -> GenId # min :: GenId -> GenId -> GenId #
Show GenId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> GenId -> ShowS # show :: GenId -> String # showList :: [GenId] -> ShowS #
Generic GenId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep GenId :: Type -> Type # Methods from :: GenId -> Rep GenId x # to :: Rep GenId x -> GenId #
Hashable GenId Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> GenId -> Int # hash :: GenId -> Int #
type Rep GenId Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep GenId = D1 ('MetaData "GenId" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "IntGenId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "StringGenId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data Inline a b Source #

Constructors

Inline
Fields inlineExp :: InlineExp a inlineEnv :: IntMap b

Instances

Instances details

Functor (Inline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fmap :: (a0 -> b) -> Inline a a0 -> Inline a b # (<$) :: a0 -> Inline a b -> Inline a a0 #
Foldable (Inline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fold :: Monoid m => Inline a m -> m # foldMap :: Monoid m => (a0 -> m) -> Inline a a0 -> m # foldMap' :: Monoid m => (a0 -> m) -> Inline a a0 -> m # foldr :: (a0 -> b -> b) -> b -> Inline a a0 -> b # foldr' :: (a0 -> b -> b) -> b -> Inline a a0 -> b # foldl :: (b -> a0 -> b) -> b -> Inline a a0 -> b # foldl' :: (b -> a0 -> b) -> b -> Inline a a0 -> b # foldr1 :: (a0 -> a0 -> a0) -> Inline a a0 -> a0 # foldl1 :: (a0 -> a0 -> a0) -> Inline a a0 -> a0 # toList :: Inline a a0 -> [a0] # null :: Inline a a0 -> Bool # length :: Inline a a0 -> Int # elem :: Eq a0 => a0 -> Inline a a0 -> Bool # maximum :: Ord a0 => Inline a a0 -> a0 # minimum :: Ord a0 => Inline a a0 -> a0 # sum :: Num a0 => Inline a a0 -> a0 # product :: Num a0 => Inline a a0 -> a0 #
Traversable (Inline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods traverse :: Applicative f => (a0 -> f b) -> Inline a a0 -> f (Inline a b) # sequenceA :: Applicative f => Inline a (f a0) -> f (Inline a a0) # mapM :: Monad m => (a0 -> m b) -> Inline a a0 -> m (Inline a b) # sequence :: Monad m => Inline a (m a0) -> m (Inline a a0) #
Eq a => Eq1 (Inline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftEq :: (a0 -> b -> Bool) -> Inline a a0 -> Inline a b -> Bool #
Ord a => Ord1 (Inline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftCompare :: (a0 -> b -> Ordering) -> Inline a a0 -> Inline a b -> Ordering #
Show a => Show1 (Inline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftShowsPrec :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> Int -> Inline a a0 -> ShowS # liftShowList :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> [Inline a a0] -> ShowS #
Hashable a => Hashable1 (Inline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> Inline a a0 -> Int #
Generic1 (Inline a :: Type -> Type) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep1 (Inline a) :: k -> Type # Methods from1 :: forall (a0 :: k). Inline a a0 -> Rep1 (Inline a) a0 # to1 :: forall (a0 :: k). Rep1 (Inline a) a0 -> Inline a a0 #
(Eq a, Eq b) => Eq (Inline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: Inline a b -> Inline a b -> Bool # (/=) :: Inline a b -> Inline a b -> Bool #
(Ord a, Ord b) => Ord (Inline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: Inline a b -> Inline a b -> Ordering # (<) :: Inline a b -> Inline a b -> Bool # (<=) :: Inline a b -> Inline a b -> Bool # (>) :: Inline a b -> Inline a b -> Bool # (>=) :: Inline a b -> Inline a b -> Bool # max :: Inline a b -> Inline a b -> Inline a b # min :: Inline a b -> Inline a b -> Inline a b #
(Show a, Show b) => Show (Inline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> Inline a b -> ShowS # show :: Inline a b -> String # showList :: [Inline a b] -> ShowS #
(Hashable a, Hashable b) => Hashable (Inline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> Inline a b -> Int # hash :: Inline a b -> Int #
type Rep1 (Inline a :: Type -> Type) Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep1 (Inline a :: Type -> Type) = D1 ('MetaData "Inline" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "Inline" 'PrefixI 'True) (S1 ('MetaSel ('Just "inlineExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InlineExp a)) :*: S1 ('MetaSel ('Just "inlineEnv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 IntMap)))

data InlineExp a Source #

Constructors

InlinePrim Int
InlineExp a [InlineExp a]

Instances

Instances details

Eq a => Eq (InlineExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: InlineExp a -> InlineExp a -> Bool # (/=) :: InlineExp a -> InlineExp a -> Bool #
Ord a => Ord (InlineExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: InlineExp a -> InlineExp a -> Ordering # (<) :: InlineExp a -> InlineExp a -> Bool # (<=) :: InlineExp a -> InlineExp a -> Bool # (>) :: InlineExp a -> InlineExp a -> Bool # (>=) :: InlineExp a -> InlineExp a -> Bool # max :: InlineExp a -> InlineExp a -> InlineExp a # min :: InlineExp a -> InlineExp a -> InlineExp a #
Show a => Show (InlineExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> InlineExp a -> ShowS # show :: InlineExp a -> String # showList :: [InlineExp a] -> ShowS #
Generic (InlineExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep (InlineExp a) :: Type -> Type # Methods from :: InlineExp a -> Rep (InlineExp a) x # to :: Rep (InlineExp a) x -> InlineExp a #
Hashable a => Hashable (InlineExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> InlineExp a -> Int # hash :: InlineExp a -> Int #
type Rep (InlineExp a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep (InlineExp a) = D1 ('MetaData "InlineExp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "InlinePrim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "InlineExp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [InlineExp a])))

data PreInline a b Source #

Constructors

PreInline a [b]

Instances

Instances details

Functor (PreInline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fmap :: (a0 -> b) -> PreInline a a0 -> PreInline a b # (<$) :: a0 -> PreInline a b -> PreInline a a0 #
Foldable (PreInline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods fold :: Monoid m => PreInline a m -> m # foldMap :: Monoid m => (a0 -> m) -> PreInline a a0 -> m # foldMap' :: Monoid m => (a0 -> m) -> PreInline a a0 -> m # foldr :: (a0 -> b -> b) -> b -> PreInline a a0 -> b # foldr' :: (a0 -> b -> b) -> b -> PreInline a a0 -> b # foldl :: (b -> a0 -> b) -> b -> PreInline a a0 -> b # foldl' :: (b -> a0 -> b) -> b -> PreInline a a0 -> b # foldr1 :: (a0 -> a0 -> a0) -> PreInline a a0 -> a0 # foldl1 :: (a0 -> a0 -> a0) -> PreInline a a0 -> a0 # toList :: PreInline a a0 -> [a0] # null :: PreInline a a0 -> Bool # length :: PreInline a a0 -> Int # elem :: Eq a0 => a0 -> PreInline a a0 -> Bool # maximum :: Ord a0 => PreInline a a0 -> a0 # minimum :: Ord a0 => PreInline a a0 -> a0 # sum :: Num a0 => PreInline a a0 -> a0 # product :: Num a0 => PreInline a a0 -> a0 #
Traversable (PreInline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods traverse :: Applicative f => (a0 -> f b) -> PreInline a a0 -> f (PreInline a b) # sequenceA :: Applicative f => PreInline a (f a0) -> f (PreInline a a0) # mapM :: Monad m => (a0 -> m b) -> PreInline a a0 -> m (PreInline a b) # sequence :: Monad m => PreInline a (m a0) -> m (PreInline a a0) #
Eq a => Eq1 (PreInline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftEq :: (a0 -> b -> Bool) -> PreInline a a0 -> PreInline a b -> Bool #
Ord a => Ord1 (PreInline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftCompare :: (a0 -> b -> Ordering) -> PreInline a a0 -> PreInline a b -> Ordering #
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 #
Hashable a => Hashable1 (PreInline a) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> PreInline a a0 -> Int #
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 #
(Eq a, Eq b) => Eq (PreInline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: PreInline a b -> PreInline a b -> Bool # (/=) :: PreInline a b -> PreInline a b -> Bool #
(Ord a, Ord b) => Ord (PreInline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: PreInline a b -> PreInline a b -> Ordering # (<) :: PreInline a b -> PreInline a b -> Bool # (<=) :: PreInline a b -> PreInline a b -> Bool # (>) :: PreInline a b -> PreInline a b -> Bool # (>=) :: PreInline a b -> PreInline a b -> Bool # max :: PreInline a b -> PreInline a b -> PreInline a b # min :: PreInline a b -> PreInline a b -> PreInline a b #
(Show a, Show b) => Show (PreInline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> PreInline a b -> ShowS # show :: PreInline a b -> String # showList :: [PreInline a b] -> ShowS #
Generic (PreInline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep (PreInline a b) :: Type -> Type # Methods from :: PreInline a b -> Rep (PreInline a b) x # to :: Rep (PreInline a b) x -> PreInline a b #
(Hashable a, Hashable b) => Hashable (PreInline a b) Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> PreInline a b -> Int # hash :: PreInline a b -> Int #
type 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.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "PreInline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])))
type Rep (PreInline a b) 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.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (C1 ('MetaCons "PreInline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [b])))

type BoolExp a = PreInline CondOp a 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

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 #
Show CondOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> CondOp -> ShowS # show :: CondOp -> String # showList :: [CondOp] -> ShowS #
Generic CondOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep CondOp :: Type -> Type # Methods from :: CondOp -> Rep CondOp x # to :: Rep CondOp x -> CondOp #
Hashable CondOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> CondOp -> Int # hash :: CondOp -> Int #
type Rep CondOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep CondOp = D1 ('MetaData "CondOp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) (((C1 ('MetaCons "TrueOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FalseOp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "And" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Or" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Equals" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "NotEquals" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Less" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Greater" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LessEquals" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GreaterEquals" 'PrefixI 'False) (U1 :: Type -> Type)))))

isTrue :: CondInfo a -> Bool 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

Eq NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods (==) :: NumOp -> NumOp -> Bool # (/=) :: NumOp -> NumOp -> Bool #
Ord NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods compare :: NumOp -> NumOp -> Ordering # (<) :: NumOp -> NumOp -> Bool # (<=) :: NumOp -> NumOp -> Bool # (>) :: NumOp -> NumOp -> Bool # (>=) :: NumOp -> NumOp -> Bool # max :: NumOp -> NumOp -> NumOp # min :: NumOp -> NumOp -> NumOp #
Show NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods showsPrec :: Int -> NumOp -> ShowS # show :: NumOp -> String # showList :: [NumOp] -> ShowS #
Generic NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Associated Types type Rep NumOp :: Type -> Type # Methods from :: NumOp -> Rep NumOp x # to :: Rep NumOp x -> NumOp #
Hashable NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp Methods hashWithSalt :: Int -> NumOp -> Int # hash :: NumOp -> Int #
type Rep NumOp Source #
Instance details Defined in Csound.Dynamic.Types.Exp type Rep NumOp = D1 ('MetaData "NumOp" "Csound.Dynamic.Types.Exp" "csound-expression-dynamic-0.3.8-GFMtza9oLPO9NsMTHPgpgu" 'False) ((C1 ('MetaCons "Add" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Sub" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Neg" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Mul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Div" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pow" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mod" 'PrefixI 'False) (U1 :: Type -> Type))))

type Note = [Prim] 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 #

type ArrIndex a = [a] Source #

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 #

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result