Csound.Dynamic.Types.Dep

Dependency tracking

Documentation

newtype DepT m a

Csound's synonym for IO-monad. Dep means Side Effect. You will bump into Dep trying to read and write to delay lines, making random signals or trying to save your audio to file. Instrument is expected to return a value of Dep [Sig]. So it's okay to do some side effects when playing a note.

Constructors

DepT

Fields

• unDepT :: StateT LocalHistory m a

Instances

MonadTrans DepT

Defined in Csound.Dynamic.Types.Dep

Methods

lift :: Monad m => m a -> DepT m a

Monad m => Monad (DepT m)

Defined in Csound.Dynamic.Types.Dep

Methods

(>>=) :: DepT m a -> (a -> DepT m b) -> DepT m b

(>>) :: DepT m a -> DepT m b -> DepT m b

return :: a -> DepT m a

Monad m => Functor (DepT m)

Defined in Csound.Dynamic.Types.Dep

Methods

fmap :: (a -> b) -> DepT m a -> DepT m b

(<$) :: a -> DepT m b -> DepT m a

Monad m => Applicative (DepT m)

Defined in Csound.Dynamic.Types.Dep

Methods

pure :: a -> DepT m a

(<*>) :: DepT m (a -> b) -> DepT m a -> DepT m b

liftA2 :: (a -> b -> c) -> DepT m a -> DepT m b -> DepT m c

(*>) :: DepT m a -> DepT m b -> DepT m b

(<*) :: DepT m a -> DepT m b -> DepT m a

data LocalHistory

Constructors

LocalHistory

Fields

• expDependency :: E
• newLineNum :: Int
• newLocalVarId :: Int

Instances

Default LocalHistory

Defined in Csound.Dynamic.Types.Dep

Methods

def :: LocalHistory

runDepT :: (Functor m, Monad m) => DepT m a -> m (a, LocalHistory)

execDepT :: (Functor m, Monad m) => DepT m () -> m E

evalDepT :: (Functor m, Monad m) => DepT m a -> m a

Dependencies

depT :: Monad m => E -> DepT m E

depT_ :: Monad m => E -> DepT m ()

mdepT :: Monad m => MultiOut [E] -> MultiOut (DepT m [E])

stripDepT :: Monad m => DepT m a -> m a

stmtOnlyT :: Monad m => Exp E -> DepT m ()

Variables

newLocalVar :: Monad m => Rate -> m E -> DepT m Var

newLocalVars :: Monad m => [Rate] -> m [E] -> DepT m [Var]

writeVar :: Monad m => Var -> E -> DepT m ()

readVar :: Monad m => Var -> DepT m E

readOnlyVar :: Var -> E

initVar :: Monad m => Var -> E -> DepT m ()

appendVarBy :: Monad m => (E -> E -> E) -> Var -> E -> DepT m ()

Arrays

newLocalArrVar :: Monad m => Rate -> m [E] -> DepT m Var

newTmpArrVar :: Monad m => Rate -> DepT m Var

readArr :: Monad m => Var -> [E] -> DepT m E

readOnlyArr :: Var -> [E] -> E

writeArr :: Monad m => Var -> [E] -> E -> DepT m ()

writeInitArr :: Monad m => Var -> [E] -> E -> DepT m ()

initArr :: Monad m => Var -> [E] -> DepT m ()

appendArrBy :: Monad m => (E -> E -> E) -> Var -> [E] -> E -> DepT m ()

Read macros

readMacrosDouble :: String -> E

readMacrosInt :: String -> E

readMacrosString :: String -> E

initMacrosDouble :: Monad m => String -> Double -> DepT m ()

initMacrosString :: Monad m => String -> String -> DepT m ()

initMacrosInt :: Monad m => String -> Int -> DepT m ()