csound-expression-typed-0.2.7.1: typed core for the library csound-expression
Safe HaskellSafe-Inferred
LanguageHaskell2010

Csound.Typed.Types.Lift

Synopsis

Documentation

data GE a Source #

Instances

Instances details
MonadIO GE Source # 
Instance details

Defined in Csound.Typed.GlobalState.GE

Methods

liftIO :: IO a -> GE a #

Applicative GE Source # 
Instance details

Defined in Csound.Typed.GlobalState.GE

Methods

pure :: a -> GE a #

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

liftA2 :: (a -> b -> c) -> GE a -> GE b -> GE c #

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

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

Functor GE Source # 
Instance details

Defined in Csound.Typed.GlobalState.GE

Methods

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

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

Monad GE Source # 
Instance details

Defined in Csound.Typed.GlobalState.GE

Methods

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

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

return :: a -> GE a #

DirtySingle (SE (GE E)) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle (GE E) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti (GE E -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti (GE [E] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle (GE E -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle (GE [E] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure (GE E -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure (GE [E] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti (GE E -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti (GE [E] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle (GE E -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle (GE [E] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

type E = Fix RatedExp #

The inner representation of csound expressions.

Lifters

Pure single

class PureSingle a Source #

Minimal complete definition

pureSingleGE

Instances

Instances details
PureSingle D Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle Sig Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle Spec Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle Str Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle Tab Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle Wspec Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle (GE E) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle (GE E -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle (GE [E] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle (Msg -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle (D -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle (Sig -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle (Spec -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle (Str -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle (Tab -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle (Wspec -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle ([D] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureSingle b => PureSingle ([Sig] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

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

Dirty single

class DirtySingle a Source #

Minimal complete definition

dirtySingleGE

Instances

Instances details
DirtySingle (SE (GE E)) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle (SE D) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle (SE Sig) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle (SE Spec) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle (SE Str) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle (SE Tab) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle (SE Wspec) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle (GE E -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle (GE [E] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle (Msg -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle (D -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle (Sig -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle (Spec -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle (Str -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle (Tab -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle (Wspec -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle ([D] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtySingle b => DirtySingle ([Sig] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

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

Procedure

class Procedure a Source #

Minimal complete definition

procedureGE

Instances

Instances details
Procedure (SE ()) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure (GE E -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure (GE [E] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure (Msg -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure (D -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure (Sig -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure (Spec -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure (Str -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure (Tab -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure (Wspec -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure ([D] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

Procedure b => Procedure ([Sig] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

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

Pure multi

class PureMulti a Source #

Minimal complete definition

pureMultiGE

Instances

Instances details
PureMulti Pm Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti (GE E -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti (GE [E] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti (Msg -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti (D -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti (Sig -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti (Spec -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti (Str -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti (Tab -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti (Wspec -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti ([D] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

PureMulti b => PureMulti ([Sig] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

data Pm Source #

Instances

Instances details
PureMulti Pm Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

fromPm :: forall a. Tuple a => Pm -> a Source #

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

Dirty multi

class DirtyMulti a Source #

Minimal complete definition

dirtyMultiGE

Instances

Instances details
DirtyMulti Dm Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti (GE E -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti (GE [E] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti (Msg -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti (D -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti (Sig -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti (Spec -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti (Str -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti (Tab -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti (Wspec -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti ([D] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

DirtyMulti b => DirtyMulti ([Sig] -> b) Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

data Dm Source #

Instances

Instances details
DirtyMulti Dm Source # 
Instance details

Defined in Csound.Typed.Types.Lift

Methods

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

fromDm :: forall a. Tuple a => Dm -> SE a Source #

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