Csound.Typed.Types.Lift

Documentation

data GE a

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

Minimal complete definition

pureSingleGE

Instances

PureSingle Tab

PureSingle Wspec

PureSingle Spec

PureSingle Str

PureSingle D

PureSingle Sig

PureSingle (GE E)

PureSingle b => PureSingle ([D] -> b)

PureSingle b => PureSingle ([Sig] -> b)

PureSingle b => PureSingle (Msg -> b)

PureSingle b => PureSingle (GE [E] -> b)

PureSingle b => PureSingle (GE E -> b)

PureSingle b => PureSingle (Tab -> b)

PureSingle b => PureSingle (Wspec -> b)

PureSingle b => PureSingle (Spec -> b)

PureSingle b => PureSingle (Str -> b)

PureSingle b => PureSingle (D -> b)

PureSingle b => PureSingle (Sig -> b)

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

Dirty single

class DirtySingle a

Minimal complete definition

dirtySingleGE

Instances

DirtySingle (SE (GE E))

DirtySingle (SE Tab)

DirtySingle (SE Wspec)

DirtySingle (SE Spec)

DirtySingle (SE Str)

DirtySingle (SE D)

DirtySingle (SE Sig)

DirtySingle b => DirtySingle ([D] -> b)

DirtySingle b => DirtySingle ([Sig] -> b)

DirtySingle b => DirtySingle (Msg -> b)

DirtySingle b => DirtySingle (GE [E] -> b)

DirtySingle b => DirtySingle (GE E -> b)

DirtySingle b => DirtySingle (Tab -> b)

DirtySingle b => DirtySingle (Wspec -> b)

DirtySingle b => DirtySingle (Spec -> b)

DirtySingle b => DirtySingle (Str -> b)

DirtySingle b => DirtySingle (D -> b)

DirtySingle b => DirtySingle (Sig -> b)

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

Procedure

class Procedure a

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

Pure multi

class PureMulti a

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

Instances

PureMulti Pm

fromPm :: Tuple a => Pm -> a

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

Dirty multi

class DirtyMulti a

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

Instances

DirtyMulti Dm

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

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