Safe Haskell	Safe-Inferred
Language	Haskell2010

Csound.Typed.GlobalState.Elements

Contents

Identifiers
Midi
Global variables
Instruments
Named instruments
Src
OSC listen ports
Macros inits
Udo plugins

Synopsis

data IdMap a = IdMap {
- idMapContent :: Map a Int
- idMapNewId :: Int
}
saveId :: Ord a => a -> State (IdMap a) Int
newIdMapId :: State (IdMap a) Int
type GenMap = IdMap Gen
newGen :: Gen -> State GenMap Int
newGenId :: State GenMap Int
nextGlobalGenCounter :: State Int Int
newTabOfGens :: [Gen] -> State GenMap Int
type WriteGenMap = [(Int, Gen)]
newWriteGen :: Gen -> State WriteGenMap E
newWriteTab :: Int -> State WriteGenMap E
data SfFluid = SfFluid {
- sfId :: Int
- sfVars :: [Var]
}
data SfSpec = SfSpec {
- sfName :: Text
- sfBank :: Int
- sfProgram :: Int
}
type SfMap = IdMap SfSpec
newSf :: SfSpec -> State SfMap Int
sfVar :: Int -> E
renderSf :: Monad m => SfSpec -> Int -> DepT m ()
data BandLimited
- = Saw
- | Pulse
- | Square
- | Triangle
- | IntegratedSaw
- | UserGen Gen
data BandLimitedMap = BandLimitedMap {
- simpleBandLimitedMap :: Map BandLimited BandLimitedId
- vcoInitMap :: GenMap
}
data BandLimitedId
- = SimpleBandLimitedWave Int
- | UserBandLimitedWave Int
saveBandLimited :: BandLimited -> State BandLimitedMap BandLimitedId
renderBandLimited :: Monad m => GenMap -> BandLimitedMap -> DepT m ()
readBandLimited :: Maybe E -> BandLimitedId -> E -> E
readHardSyncBandLimited :: Maybe BandLimitedId -> Maybe E -> BandLimitedId -> E -> E -> E
type StringMap = IdMap Text
newString :: Text -> State StringMap Prim
data MidiType
- = Massign
- | Pgmassign (Maybe Int)
type Channel = Int
type MidiMap m = Map MidiKey (DepT m ())
data MidiKey = MidiKey MidiType Channel
saveMidiInstr :: Monad m => MidiType -> Channel -> DepT m () -> MidiMap m -> MidiMap m
data Globals = Globals {
- globalsNewId :: Int
- globalsVars :: [AllocVar]
}
newPersistentGlobalVar :: Rate -> E -> State Globals Var
newClearableGlobalVar :: Rate -> E -> State Globals Var
newPersistentGloabalArrVar :: Rate -> [E] -> State Globals Var
renderGlobals :: Monad m => Globals -> (DepT m (), DepT m ())
bpmVarName :: Text
bpmVar :: Var
data Instrs = Instrs {
- instrsCache :: Map ByteString InstrId
- instrsNewId :: Int
- instrsContent :: [(InstrId, InstrBody)]
}
saveInstr :: InstrBody -> State Instrs InstrId
getInstrIds :: Instrs -> [InstrId]
newtype NamedInstrs = NamedInstrs {
- unNamedInstrs :: [(Text, InstrBody)]
}
saveNamedInstr :: Text -> InstrBody -> State NamedInstrs ()
type InstrBody = E
getIn :: Monad m => Int -> DepT m [E]
sendOut :: Monad m => Int -> [E] -> DepT m ()
sendChn :: Monad m => Int -> Int -> [E] -> DepT m ()
sendGlobal :: Monad m => Int -> [E] -> State Globals ([E], DepT m ())
chnPargId :: Int -> Int
data Event = Event {
- eventInstrId :: E
- eventStart :: E
- eventDur :: E
- eventArgs :: [E]
}
data ChnRef = ChnRef {
- chnRefId :: E
- chnRefNames :: [E]
}
chnRefFromParg :: Int -> Int -> ChnRef
chnRefAlloc :: Monad m => Int -> DepT m ChnRef
readChn :: Monad m => ChnRef -> DepT m [E]
writeChn :: Monad m => ChnRef -> [E] -> DepT m ()
chnUpdateUdo :: Monad m => DepT m ()
subinstr :: Int -> InstrId -> [E] -> [E]
subinstr_ :: Monad m => InstrId -> [E] -> DepT m ()
event_i :: Monad m => Event -> DepT m ()
event :: Monad m => Event -> DepT m ()
safeOut :: Double -> [E] -> [E]
autoOff :: Monad m => E -> [E] -> DepT m [E]
changed :: E -> E
data OscListenPorts
getOscPortVar :: Int -> State (OscListenPorts, Globals) Var
type MacrosInits = Map Text MacrosInit
data MacrosInit
- = MacrosInitDouble {
  - macrosInitName :: Text
  - macrosInitValueDouble :: Double
  }
- | MacrosInitString {
  - macrosInitName :: Text
  - macrosInitValueString :: Text
  }
- | MacrosInitInt {
  - macrosInitName :: Text
  - macrosInitValueInt :: Int
  }
initMacros :: MacrosInit -> State MacrosInits ()
data UdoPlugin
addUdoPlugin :: UdoPlugin -> State [UdoPlugin] ()
getUdoPluginNames :: [UdoPlugin] -> [Text]
tabQueuePlugin :: UdoPlugin
tabQueue2Plugin :: UdoPlugin
zdfPlugin :: UdoPlugin
solinaChorusPlugin :: UdoPlugin
audaciouseqPlugin :: UdoPlugin
adsr140Plugin :: UdoPlugin
diodePlugin :: UdoPlugin
korg35Plugin :: UdoPlugin
zeroDelayConvolutionPlugin :: UdoPlugin
pitchShifterDelayPlugin :: UdoPlugin
analogDelayPlugin :: UdoPlugin
distortionPlugin :: UdoPlugin
envelopeFolollowerPlugin :: UdoPlugin
flangerPlugin :: UdoPlugin
freqShifterPlugin :: UdoPlugin
loFiPlugin :: UdoPlugin
panTremPlugin :: UdoPlugin
monoTremPlugin :: UdoPlugin
phaserPlugin :: UdoPlugin
pitchShifterPlugin :: UdoPlugin
reversePlugin :: UdoPlugin
ringModulatorPlugin :: UdoPlugin
stChorusPlugin :: UdoPlugin
stereoPingPongDelayPlugin :: UdoPlugin
tapeEchoPlugin :: UdoPlugin
delay1kPlugin :: UdoPlugin
liveRowPlugin :: UdoPlugin
liveRowsPlugin :: UdoPlugin
ambiRowPlugin :: UdoPlugin
ambiRowMp3Plugin :: UdoPlugin

Identifiers

data IdMap a Source #

Constructors

IdMap
Fields idMapContent :: Map a Int idMapNewId :: Int

Instances

Instances details

Default (IdMap a) Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods def :: IdMap a #
Eq a => Eq (IdMap a) Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods (==) :: IdMap a -> IdMap a -> Bool # (/=) :: IdMap a -> IdMap a -> Bool #
Ord a => Ord (IdMap a) Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods compare :: IdMap a -> IdMap a -> Ordering # (<) :: IdMap a -> IdMap a -> Bool # (<=) :: IdMap a -> IdMap a -> Bool # (>) :: IdMap a -> IdMap a -> Bool # (>=) :: IdMap a -> IdMap a -> Bool # max :: IdMap a -> IdMap a -> IdMap a # min :: IdMap a -> IdMap a -> IdMap a #

saveId :: Ord a => a -> State (IdMap a) Int Source #

newIdMapId :: State (IdMap a) Int Source #

Gens

type GenMap = IdMap Gen Source #

newGen :: Gen -> State GenMap Int Source #

newGenId :: State GenMap Int Source #

nextGlobalGenCounter :: State Int Int Source #

newTabOfGens :: [Gen] -> State GenMap Int Source #

type WriteGenMap = [(Int, Gen)] Source #

newWriteGen :: Gen -> State WriteGenMap E Source #

newWriteTab :: Int -> State WriteGenMap E Source #

data SfFluid Source #

Constructors

SfFluid
Fields sfId :: Int sfVars :: [Var]

data SfSpec Source #

Constructors

SfSpec
Fields sfName :: Text sfBank :: Int sfProgram :: Int

Instances

Instances details

Show SfSpec Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods showsPrec :: Int -> SfSpec -> ShowS # show :: SfSpec -> String # showList :: [SfSpec] -> ShowS #
Eq SfSpec Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods (==) :: SfSpec -> SfSpec -> Bool # (/=) :: SfSpec -> SfSpec -> Bool #
Ord SfSpec Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods compare :: SfSpec -> SfSpec -> Ordering # (<) :: SfSpec -> SfSpec -> Bool # (<=) :: SfSpec -> SfSpec -> Bool # (>) :: SfSpec -> SfSpec -> Bool # (>=) :: SfSpec -> SfSpec -> Bool # max :: SfSpec -> SfSpec -> SfSpec # min :: SfSpec -> SfSpec -> SfSpec #

type SfMap = IdMap SfSpec Source #

newSf :: SfSpec -> State SfMap Int Source #

sfVar :: Int -> E Source #

renderSf :: Monad m => SfSpec -> Int -> DepT m () Source #

Band-limited waveforms

data BandLimited Source #

Constructors

Saw
Pulse
Square
Triangle
IntegratedSaw
UserGen Gen

Instances

Instances details

Eq BandLimited Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods (==) :: BandLimited -> BandLimited -> Bool # (/=) :: BandLimited -> BandLimited -> Bool #
Ord BandLimited Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods compare :: BandLimited -> BandLimited -> Ordering # (<) :: BandLimited -> BandLimited -> Bool # (<=) :: BandLimited -> BandLimited -> Bool # (>) :: BandLimited -> BandLimited -> Bool # (>=) :: BandLimited -> BandLimited -> Bool # max :: BandLimited -> BandLimited -> BandLimited # min :: BandLimited -> BandLimited -> BandLimited #

data BandLimitedMap Source #

Constructors

BandLimitedMap
Fields simpleBandLimitedMap :: Map BandLimited BandLimitedId vcoInitMap :: GenMap

Instances

Instances details

Default BandLimitedMap Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods def :: BandLimitedMap #
Eq BandLimitedMap Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods (==) :: BandLimitedMap -> BandLimitedMap -> Bool # (/=) :: BandLimitedMap -> BandLimitedMap -> Bool #
Ord BandLimitedMap Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods compare :: BandLimitedMap -> BandLimitedMap -> Ordering # (<) :: BandLimitedMap -> BandLimitedMap -> Bool # (<=) :: BandLimitedMap -> BandLimitedMap -> Bool # (>) :: BandLimitedMap -> BandLimitedMap -> Bool # (>=) :: BandLimitedMap -> BandLimitedMap -> Bool # max :: BandLimitedMap -> BandLimitedMap -> BandLimitedMap # min :: BandLimitedMap -> BandLimitedMap -> BandLimitedMap #

data BandLimitedId Source #

Constructors

SimpleBandLimitedWave Int
UserBandLimitedWave Int

Instances

Instances details

Eq BandLimitedId Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods (==) :: BandLimitedId -> BandLimitedId -> Bool # (/=) :: BandLimitedId -> BandLimitedId -> Bool #
Ord BandLimitedId Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods compare :: BandLimitedId -> BandLimitedId -> Ordering # (<) :: BandLimitedId -> BandLimitedId -> Bool # (<=) :: BandLimitedId -> BandLimitedId -> Bool # (>) :: BandLimitedId -> BandLimitedId -> Bool # (>=) :: BandLimitedId -> BandLimitedId -> Bool # max :: BandLimitedId -> BandLimitedId -> BandLimitedId # min :: BandLimitedId -> BandLimitedId -> BandLimitedId #

saveBandLimited :: BandLimited -> State BandLimitedMap BandLimitedId Source #

renderBandLimited :: Monad m => GenMap -> BandLimitedMap -> DepT m () Source #

readBandLimited :: Maybe E -> BandLimitedId -> E -> E Source #

readHardSyncBandLimited :: Maybe BandLimitedId -> Maybe E -> BandLimitedId -> E -> E -> E Source #

String arguments

type StringMap = IdMap Text Source #

newString :: Text -> State StringMap Prim Source #

Midi

data MidiType Source #

Constructors

Massign
Pgmassign (Maybe Int)

Instances

Instances details

Show MidiType Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods showsPrec :: Int -> MidiType -> ShowS # show :: MidiType -> String # showList :: [MidiType] -> ShowS #
Eq MidiType Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods (==) :: MidiType -> MidiType -> Bool # (/=) :: MidiType -> MidiType -> Bool #
Ord MidiType Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods compare :: MidiType -> MidiType -> Ordering # (<) :: MidiType -> MidiType -> Bool # (<=) :: MidiType -> MidiType -> Bool # (>) :: MidiType -> MidiType -> Bool # (>=) :: MidiType -> MidiType -> Bool # max :: MidiType -> MidiType -> MidiType # min :: MidiType -> MidiType -> MidiType #

type Channel = Int Source #

type MidiMap m = Map MidiKey (DepT m ()) Source #

data MidiKey Source #

Constructors

MidiKey MidiType Channel

Instances

Instances details

Show MidiKey Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods showsPrec :: Int -> MidiKey -> ShowS # show :: MidiKey -> String # showList :: [MidiKey] -> ShowS #
Eq MidiKey Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods (==) :: MidiKey -> MidiKey -> Bool # (/=) :: MidiKey -> MidiKey -> Bool #
Ord MidiKey Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods compare :: MidiKey -> MidiKey -> Ordering # (<) :: MidiKey -> MidiKey -> Bool # (<=) :: MidiKey -> MidiKey -> Bool # (>) :: MidiKey -> MidiKey -> Bool # (>=) :: MidiKey -> MidiKey -> Bool # max :: MidiKey -> MidiKey -> MidiKey # min :: MidiKey -> MidiKey -> MidiKey #

saveMidiInstr :: Monad m => MidiType -> Channel -> DepT m () -> MidiMap m -> MidiMap m Source #

Global variables

data Globals Source #

Constructors

Globals
Fields globalsNewId :: Int globalsVars :: [AllocVar]

Instances

Instances details

Default Globals Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods def :: Globals #

newPersistentGlobalVar :: Rate -> E -> State Globals Var Source #

newClearableGlobalVar :: Rate -> E -> State Globals Var Source #

newPersistentGloabalArrVar :: Rate -> [E] -> State Globals Var Source #

renderGlobals :: Monad m => Globals -> (DepT m (), DepT m ()) Source #

bpmVarName :: Text Source #

bpmVar :: Var Source #

Instruments

data Instrs Source #

Constructors

Instrs
Fields instrsCache :: Map ByteString InstrId instrsNewId :: Int instrsContent :: [(InstrId, InstrBody)]

Instances

Instances details

Default Instrs Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods def :: Instrs #

saveInstr :: InstrBody -> State Instrs InstrId Source #

getInstrIds :: Instrs -> [InstrId] Source #

Named instruments

newtype NamedInstrs Source #

Constructors

NamedInstrs
Fields unNamedInstrs :: [(Text, InstrBody)]

Instances

Instances details

Default NamedInstrs Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods def :: NamedInstrs #

saveNamedInstr :: Text -> InstrBody -> State NamedInstrs () Source #

Src

type InstrBody = E #

getIn :: Monad m => Int -> DepT m [E] Source #

sendOut :: Monad m => Int -> [E] -> DepT m () Source #

sendChn :: Monad m => Int -> Int -> [E] -> DepT m () Source #

sendGlobal :: Monad m => Int -> [E] -> State Globals ([E], DepT m ()) Source #

chnPargId :: Int -> Int Source #

data Event Source #

Constructors

Event
Fields eventInstrId :: E eventStart :: E eventDur :: E eventArgs :: [E]

data ChnRef Source #

Constructors

ChnRef
Fields chnRefId :: E chnRefNames :: [E]

chnRefFromParg :: Int -> Int -> ChnRef Source #

chnRefAlloc :: Monad m => Int -> DepT m ChnRef Source #

readChn :: Monad m => ChnRef -> DepT m [E] Source #

writeChn :: Monad m => ChnRef -> [E] -> DepT m () Source #

chnUpdateUdo :: Monad m => DepT m () Source #

subinstr :: Int -> InstrId -> [E] -> [E] Source #

subinstr_ :: Monad m => InstrId -> [E] -> DepT m () Source #

event_i :: Monad m => Event -> DepT m () Source #

event :: Monad m => Event -> DepT m () Source #

safeOut :: Double -> [E] -> [E] Source #

autoOff :: Monad m => E -> [E] -> DepT m [E] Source #

changed :: E -> E Source #

OSC listen ports

data OscListenPorts Source #

Instances

Instances details

Default OscListenPorts Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods def :: OscListenPorts #

getOscPortVar :: Int -> State (OscListenPorts, Globals) Var Source #

Macros inits

type MacrosInits = Map Text MacrosInit Source #

data MacrosInit Source #

Constructors

MacrosInitDouble
Fields macrosInitName :: Text macrosInitValueDouble :: Double
MacrosInitString
Fields macrosInitName :: Text macrosInitValueString :: Text
MacrosInitInt
Fields macrosInitName :: Text macrosInitValueInt :: Int

Instances

Instances details

Show MacrosInit Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods showsPrec :: Int -> MacrosInit -> ShowS # show :: MacrosInit -> String # showList :: [MacrosInit] -> ShowS #
Eq MacrosInit Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods (==) :: MacrosInit -> MacrosInit -> Bool # (/=) :: MacrosInit -> MacrosInit -> Bool #
Ord MacrosInit Source #
Instance details Defined in Csound.Typed.GlobalState.Elements Methods compare :: MacrosInit -> MacrosInit -> Ordering # (<) :: MacrosInit -> MacrosInit -> Bool # (<=) :: MacrosInit -> MacrosInit -> Bool # (>) :: MacrosInit -> MacrosInit -> Bool # (>=) :: MacrosInit -> MacrosInit -> Bool # max :: MacrosInit -> MacrosInit -> MacrosInit # min :: MacrosInit -> MacrosInit -> MacrosInit #