Safe Haskell	Safe-Inferred
Language	Haskell2010

Csound.Typed.Types.Lift

Contents

Lifters

Synopsis

data GE a
type E = Fix RatedExp
class PureSingle a
pureSingle :: PureSingle a => ([E] -> E) -> a
class DirtySingle a
dirtySingle :: DirtySingle a => ([E] -> Dep E) -> a
class Procedure a
procedure :: Procedure a => ([E] -> Dep ()) -> a
class PureMulti a
data Pm
fromPm :: forall a. Tuple a => Pm -> a
pureMulti :: PureMulti a => ([E] -> MultiOut [E]) -> a
class DirtyMulti a
data Dm
fromDm :: forall a. Tuple a => Dm -> SE a
dirtyMulti :: DirtyMulti a => ([E] -> MultiOut (Dep [E])) -> a

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 #