Safe Haskell	None
Language	Haskell2010

Csound.Dynamic.Types.Dep

Contents

Description

Dependency tracking

Synopsis

newtype DepT m a = DepT {
- unDepT :: StateT LocalHistory m a
}
data LocalHistory = LocalHistory {
- expDependency :: E
- newLineNum :: Int
- newLocalVarId :: Int
}
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
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 ()
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 ()
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 ()
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 ()

Documentation

newtype DepT m a Source #

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

Instances details

MonadTrans DepT Source #
Instance details Defined in Csound.Dynamic.Types.Dep Methods lift :: Monad m => m a -> DepT m a #
Monad m => Monad (DepT m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 #