Csound.Typed.Types.Lift

Documentation

data GE a

Instances

Monad GE

Methods

(>>=) :: GE a -> (a -> GE b) -> GE b

(>>) :: GE a -> GE b -> GE b

return :: a -> GE a

fail :: String -> GE a

Functor GE

Methods

fmap :: (a -> b) -> GE a -> GE b

(<$) :: a -> GE b -> GE a

Applicative GE

Methods

pure :: a -> GE a

(<*>) :: GE (a -> b) -> GE a -> GE b

(*>) :: GE a -> GE b -> GE b

(<*) :: GE a -> GE b -> GE a

MonadIO GE

Methods

liftIO :: IO a -> GE a

DirtySingle (SE (GE E))

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE (GE E)

PureSingle (GE E)

Methods

pureSingleGE :: GE ([E] -> E) -> GE E

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

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> GE [E] -> b

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

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> GE E -> b

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

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> GE [E] -> b

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

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> GE E -> b

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

Methods

procedureGE :: GE ([E] -> Dep ()) -> GE [E] -> b

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

Methods

procedureGE :: GE ([E] -> Dep ()) -> GE E -> b

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

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> GE [E] -> b

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

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> GE E -> b

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

Methods

pureSingleGE :: GE ([E] -> E) -> GE [E] -> b

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

Methods

pureSingleGE :: GE ([E] -> E) -> 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

Methods

pureSingleGE :: GE ([E] -> E) -> Tab

PureSingle Wspec

Methods

pureSingleGE :: GE ([E] -> E) -> Wspec

PureSingle Spec

Methods

pureSingleGE :: GE ([E] -> E) -> Spec

PureSingle Str

Methods

pureSingleGE :: GE ([E] -> E) -> Str

PureSingle D

Methods

pureSingleGE :: GE ([E] -> E) -> D

PureSingle Sig

Methods

pureSingleGE :: GE ([E] -> E) -> Sig

PureSingle (GE E)

Methods

pureSingleGE :: GE ([E] -> E) -> GE E

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

Methods

pureSingleGE :: GE ([E] -> E) -> [D] -> b

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

Methods

pureSingleGE :: GE ([E] -> E) -> [Sig] -> b

PureSingle b => PureSingle (Msg -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> Msg -> b

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

Methods

pureSingleGE :: GE ([E] -> E) -> GE [E] -> b

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

Methods

pureSingleGE :: GE ([E] -> E) -> GE E -> b

PureSingle b => PureSingle (Tab -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> Tab -> b

PureSingle b => PureSingle (Wspec -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> Wspec -> b

PureSingle b => PureSingle (Spec -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> Spec -> b

PureSingle b => PureSingle (Str -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> Str -> b

PureSingle b => PureSingle (D -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> D -> b

PureSingle b => PureSingle (Sig -> b)

Methods

pureSingleGE :: GE ([E] -> E) -> Sig -> b

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

Dirty single

class DirtySingle a

Minimal complete definition

dirtySingleGE

Instances

DirtySingle (SE (GE E))

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE (GE E)

DirtySingle (SE Tab)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE Tab

DirtySingle (SE Wspec)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE Wspec

DirtySingle (SE Spec)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE Spec

DirtySingle (SE Str)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE Str

DirtySingle (SE D)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE D

DirtySingle (SE Sig)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> SE Sig

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

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> [D] -> b

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

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> [Sig] -> b

DirtySingle b => DirtySingle (Msg -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> Msg -> b

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

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> GE [E] -> b

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

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> GE E -> b

DirtySingle b => DirtySingle (Tab -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> Tab -> b

DirtySingle b => DirtySingle (Wspec -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> Wspec -> b

DirtySingle b => DirtySingle (Spec -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> Spec -> b

DirtySingle b => DirtySingle (Str -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> Str -> b

DirtySingle b => DirtySingle (D -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> D -> b

DirtySingle b => DirtySingle (Sig -> b)

Methods

dirtySingleGE :: GE ([E] -> Dep E) -> Sig -> b

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

Procedure

class Procedure a

Minimal complete definition

procedureGE

Instances

Procedure (SE ())

Methods

procedureGE :: GE ([E] -> Dep ()) -> SE ()

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

Methods

procedureGE :: GE ([E] -> Dep ()) -> [D] -> b

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

Methods

procedureGE :: GE ([E] -> Dep ()) -> [Sig] -> b

Procedure b => Procedure (Msg -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> Msg -> b

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

Methods

procedureGE :: GE ([E] -> Dep ()) -> GE [E] -> b

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

Methods

procedureGE :: GE ([E] -> Dep ()) -> GE E -> b

Procedure b => Procedure (Tab -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> Tab -> b

Procedure b => Procedure (Wspec -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> Wspec -> b

Procedure b => Procedure (Spec -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> Spec -> b

Procedure b => Procedure (Str -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> Str -> b

Procedure b => Procedure (D -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> D -> b

Procedure b => Procedure (Sig -> b)

Methods

procedureGE :: GE ([E] -> Dep ()) -> Sig -> b

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

Pure multi

class PureMulti a

Minimal complete definition

pureMultiGE

Instances

PureMulti Pm

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Pm

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

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> [D] -> b

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

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> [Sig] -> b

PureMulti b => PureMulti (Msg -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Msg -> b

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

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> GE [E] -> b

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

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> GE E -> b

PureMulti b => PureMulti (Tab -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Tab -> b

PureMulti b => PureMulti (Wspec -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Wspec -> b

PureMulti b => PureMulti (Spec -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Spec -> b

PureMulti b => PureMulti (Str -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Str -> b

PureMulti b => PureMulti (D -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> D -> b

PureMulti b => PureMulti (Sig -> b)

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> Sig -> b

data Pm

Instances

PureMulti Pm

Methods

pureMultiGE :: GE ([E] -> MultiOut [E]) -> 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

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Dm

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

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> [D] -> b

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

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> [Sig] -> b

DirtyMulti b => DirtyMulti (Msg -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Msg -> b

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

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> GE [E] -> b

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

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> GE E -> b

DirtyMulti b => DirtyMulti (Tab -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Tab -> b

DirtyMulti b => DirtyMulti (Wspec -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Wspec -> b

DirtyMulti b => DirtyMulti (Spec -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Spec -> b

DirtyMulti b => DirtyMulti (Str -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Str -> b

DirtyMulti b => DirtyMulti (D -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> D -> b

DirtyMulti b => DirtyMulti (Sig -> b)

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Sig -> b

data Dm

Instances

DirtyMulti Dm

Methods

dirtyMultiGE :: GE ([E] -> MultiOut (Dep [E])) -> Dm

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

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