csound-expression-typed-0.0.7.2: typed core for the library csound-expression

Safe HaskellNone
LanguageHaskell98

Csound.Typed.Types.Lift

Contents

Synopsis

Documentation

data GE a Source

Instances

Monad GE 
Functor GE 
Applicative GE 
MonadIO GE 
DirtySingle (SE (GE E)) 
PureSingle (GE E) 
DirtyMulti b => DirtyMulti (GE [E] -> b) 
DirtyMulti b => DirtyMulti (GE E -> b) 
PureMulti b => PureMulti (GE [E] -> b) 
PureMulti b => PureMulti (GE E -> b) 
Procedure b => Procedure (GE [E] -> b) 
Procedure b => Procedure (GE E -> b) 
DirtySingle b => DirtySingle (GE [E] -> b) 
DirtySingle b => DirtySingle (GE E -> b) 
PureSingle b => PureSingle (GE [E] -> b) 
PureSingle b => PureSingle (GE E -> b) 

type E = Fix RatedExp

The inner representation of csound expressions.

Lifters

Pure single

class PureSingle a Source

Minimal complete definition

pureSingleGE

pureSingle :: PureSingle a => ([E] -> E) -> a Source

Dirty single

class DirtySingle a Source

Minimal complete definition

dirtySingleGE

dirtySingle :: DirtySingle a => ([E] -> Dep E) -> a Source

Procedure

class Procedure a Source

Minimal complete definition

procedureGE

Instances

Procedure (SE ()) 
Procedure b => Procedure ([D] -> b) 
Procedure b => Procedure ([Sig] -> b) 
Procedure b => Procedure (Msg -> b) 
Procedure b => Procedure (GE [E] -> b) 
Procedure b => Procedure (GE E -> b) 
Procedure b => Procedure (Tab -> b) 
Procedure b => Procedure (Wspec -> b) 
Procedure b => Procedure (Spec -> b) 
Procedure b => Procedure (Str -> b) 
Procedure b => Procedure (D -> b) 
Procedure b => Procedure (Sig -> b) 

procedure :: Procedure a => ([E] -> Dep ()) -> a Source

Pure multi

class PureMulti a Source

Minimal complete definition

pureMultiGE

Instances

PureMulti Pm 
PureMulti b => PureMulti ([D] -> b) 
PureMulti b => PureMulti ([Sig] -> b) 
PureMulti b => PureMulti (Msg -> b) 
PureMulti b => PureMulti (GE [E] -> b) 
PureMulti b => PureMulti (GE E -> b) 
PureMulti b => PureMulti (Tab -> b) 
PureMulti b => PureMulti (Wspec -> b) 
PureMulti b => PureMulti (Spec -> b) 
PureMulti b => PureMulti (Str -> b) 
PureMulti b => PureMulti (D -> b) 
PureMulti b => PureMulti (Sig -> b) 

data Pm Source

Instances

fromPm :: Tuple a => Pm -> a Source

pureMulti :: PureMulti a => ([E] -> MultiOut [E]) -> a Source

Dirty multi

class DirtyMulti a Source

Minimal complete definition

dirtyMultiGE

Instances

DirtyMulti Dm 
DirtyMulti b => DirtyMulti ([D] -> b) 
DirtyMulti b => DirtyMulti ([Sig] -> b) 
DirtyMulti b => DirtyMulti (Msg -> b) 
DirtyMulti b => DirtyMulti (GE [E] -> b) 
DirtyMulti b => DirtyMulti (GE E -> b) 
DirtyMulti b => DirtyMulti (Tab -> b) 
DirtyMulti b => DirtyMulti (Wspec -> b) 
DirtyMulti b => DirtyMulti (Spec -> b) 
DirtyMulti b => DirtyMulti (Str -> b) 
DirtyMulti b => DirtyMulti (D -> b) 
DirtyMulti b => DirtyMulti (Sig -> b) 

data Dm Source

Instances

fromDm :: Tuple a => Dm -> SE a Source

dirtyMulti :: DirtyMulti a => ([E] -> MultiOut (Dep [E])) -> a Source