Safe Haskell	None
Language	Haskell2010

Csound.Typed.Types.Lift

Contents

Lifters

Synopsis

Documentation

data GE a Source

Instances

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

type E = Fix RatedExp

The inner representation of csound expressions.

Lifters

Pure single

class PureSingle a Source

Minimal complete definition

pureSingleGE

Instances

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

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

Dirty single

class DirtySingle a Source

Minimal complete definition

dirtySingleGE

Instances

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

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

Procedure

class Procedure a Source

Minimal complete definition

procedureGE

Instances

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

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

Pure multi

class PureMulti a Source

Minimal complete definition

pureMultiGE

Instances

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

data Pm Source

Instances

PureMulti Pm Source

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 Source
DirtyMulti b => DirtyMulti ([D] -> b) Source
DirtyMulti b => DirtyMulti ([Sig] -> b) Source
DirtyMulti b => DirtyMulti (Msg -> b) Source
DirtyMulti b => DirtyMulti (GE [E] -> b) Source
DirtyMulti b => DirtyMulti (GE E -> b) Source
DirtyMulti b => DirtyMulti (Tab -> b) Source
DirtyMulti b => DirtyMulti (Wspec -> b) Source
DirtyMulti b => DirtyMulti (Spec -> b) Source
DirtyMulti b => DirtyMulti (Str -> b) Source
DirtyMulti b => DirtyMulti (D -> b) Source
DirtyMulti b => DirtyMulti (Sig -> b) Source

data Dm Source

Instances

DirtyMulti Dm Source

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

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