Module

WAGS.CreateT

Package: purescript-wags
Repository: mikesol/purescript-wags

Typelevel declarations for the create function As of PureScript 14.2, this is still necessary in order to work with Create at the type level without incuring term-level computations.

#CreateStepT Source

class CreateStepT (r :: Row Type) (inGraph :: Graph) (outGraph :: Graph) | r inGraph -> outGraph

Instances

(RowToList r rl, CreateStepRLT rl r inGraph outGraph) => CreateStepT r inGraph outGraph

#CreateStepRLT Source

class CreateStepRLT (rl :: RowList Type) (r :: Row Type) (inGraph :: Graph) (outGraph :: Graph) | rl r inGraph -> outGraph

Instances

CreateStepRLT Nil r inGraph inGraph
(Cons key val ignore r, EdgeableT val (Tuple node (Record edges)), CreateT' key node graph0 graph1, CreateStepT edges graph1 graph2, CreateStepRLT rest r graph2 graph3) => CreateStepRLT (Cons key val rest) r graph0 graph3

#ConnectEdgesToNodeT Source

class ConnectEdgesToNodeT (sources :: RowList Type) (dest :: Symbol) (inGraph :: Graph) (outGraph :: Graph) | sources dest inGraph -> outGraph

Instances

ConnectEdgesToNodeT Nil dest inGraph inGraph
(ConnectT key dest inGraph midGraph, ConnectEdgesToNodeT rest dest midGraph outGraph) => ConnectEdgesToNodeT (Cons key ignore rest) dest inGraph outGraph

#ConnectAfterCreateT Source

class ConnectAfterCreateT (rl :: RowList Type) (inGraph :: Graph) (outGraph :: Graph) | rl inGraph -> outGraph

Instances

ConnectAfterCreateT Nil graph0 graph0
(EdgeableT node' (Tuple node (Record edges)), RowToList edges edgesList, ConnectEdgesToNodeT edgesList sym graph0 graph1, ConnectAfterCreateT edgesList graph1 graph2, ConnectAfterCreateT rest graph2 graph3) => ConnectAfterCreateT (Cons sym node' rest) graph0 graph3

#CreateT Source

class CreateT (r :: Row Type) (inGraph :: Graph) (outGraph :: Graph) | r inGraph -> outGraph

Instances

(CreateStepT r inGraph midGraph, RowToList r rl, ConnectAfterCreateT rl midGraph outGraph) => CreateT r inGraph outGraph

#CreateT' Source

class CreateT' (ptr :: Symbol) (node :: Type) (inGraph :: Graph) (outGraph :: Graph) | ptr node inGraph -> outGraph

Create an audio unit node in igraph with index ptr, resulting in ograph.

Instances

CreateT' ptr Unit graphi graphi
(Lacks ptr graphi, Cons ptr (NodeC TAllpass (Record ())) graphi grapho) => CreateT' ptr (Allpass argA argB) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TBandpass (Record ())) graphi grapho) => CreateT' ptr (Bandpass argA argB) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TConstant (Record ())) graphi grapho) => CreateT' ptr (Constant onOff argA) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC (TConvolver buffer) (Record ())) graphi grapho) => CreateT' ptr (Convolver buffer) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TDelay (Record ())) graphi grapho) => CreateT' ptr (Delay argA) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TDynamicsCompressor (Record ())) graphi grapho) => CreateT' ptr (DynamicsCompressor argA argB argC argD argE) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TGain (Record ())) graphi grapho) => CreateT' ptr (Gain argA) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC THighpass (Record ())) graphi grapho) => CreateT' ptr (Highpass argA argB) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC THighshelf (Record ())) graphi grapho) => CreateT' ptr (Highshelf argA argB) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TLoopBuf (Record ())) graphi grapho) => CreateT' ptr (LoopBuf String onOff argA Number Number) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TLowpass (Record ())) graphi grapho) => CreateT' ptr (Lowpass argA argB) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TLowshelf (Record ())) graphi grapho) => CreateT' ptr (Lowshelf argA argB) graphi grapho
(Lacks "microphone" graphi, Cons "microphone" (NodeC TMicrophone (Record ())) graphi grapho) => CreateT' "microphone" Microphone graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TNotch (Record ())) graphi grapho) => CreateT' ptr (Notch argA argB) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TPeaking (Record ())) graphi grapho) => CreateT' ptr (Peaking argA argB argC) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TPeriodicOsc (Record ())) graphi grapho) => CreateT' ptr (PeriodicOsc String onOff argA) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TPeriodicOsc (Record ())) graphi grapho) => CreateT' ptr (PeriodicOsc (Tuple (Vec a Number) (Vec a Number)) onOff argA) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TPlayBuf (Record ())) graphi grapho) => CreateT' ptr (PlayBuf String Number onOff argA) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC (TRecorder recorder) (Record ())) graphi grapho) => CreateT' ptr (Recorder recorder) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TSawtoothOsc (Record ())) graphi grapho) => CreateT' ptr (SawtoothOsc onOff argA) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TSinOsc (Record ())) graphi grapho) => CreateT' ptr (SinOsc onOff argA) graphi grapho
(Lacks "speaker" graphi, Cons "speaker" (NodeC TSpeaker (Record ())) graphi grapho) => CreateT' "speaker" Speaker graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TSquareOsc (Record ())) graphi grapho) => CreateT' ptr (SquareOsc onOff argA) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TStereoPanner (Record ())) graphi grapho) => CreateT' ptr (StereoPanner argA) graphi grapho
(Lacks ptr graphi, Cons ptr (NodeC TTriangleOsc (Record ())) graphi grapho) => CreateT' ptr (TriangleOsc onOff argA) graphi grapho
(IsOversampleT oversample, Lacks ptr graphi, Cons ptr (NodeC (TWaveShaper floatArray oversample) (Record ())) graphi grapho) => CreateT' ptr (WaveShaper floatArray oversample) graphi grapho