Module
WAGS.Patch
- Package
- purescript-wags
- Repository
- mikesol/purescript-wags
#ConnectXToY Source
data ConnectXToY (x :: Symbol) (y :: Symbol)
Constructors
ConnectXToY (Proxy x) (Proxy y)
Instances
CompInstr (ConnectXToY x y) z GT
CompInstr z (ConnectXToY x y) LT
(ConnectAll to rest o) => ConnectAll to (Cons from ignore rest) (Tuple (ConnectXToY from to) o)
(ConnectAndDisconnect to Nil rest o) => ConnectAndDisconnect to Nil (Cons from ignore rest) (Tuple (ConnectXToY from to) o)
ConnectAndDisconnect' GT to i0 rest0 i1 rest1 (Tuple (ConnectXToY i1 to) Unit) (Cons i0 Unit rest0) rest1
(IsSymbol from, IsSymbol to, ToGraphEffects rest) => ToGraphEffects (Tuple (ConnectXToY from to) rest)
#DisconnectXFromY Source
data DisconnectXFromY (x :: Symbol) (y :: Symbol)
Constructors
DisconnectXFromY (Proxy x) (Proxy y)
Instances
CompInstr (DisconnectXFromY x y) z LT
CompInstr z (DisconnectXFromY x y) GT
(DisconnectAll to rest o) => DisconnectAll to (Cons from ignore rest) (Tuple (DisconnectXFromY from to) o)
(ConnectAndDisconnect to rest Nil o) => ConnectAndDisconnect to (Cons from ignore rest) Nil (Tuple (DisconnectXFromY from to) o)
ConnectAndDisconnect' LT to i0 rest0 i1 rest1 (Tuple (DisconnectXFromY i0 to) Unit) rest0 (Cons i1 Unit rest1)
(IsSymbol from, IsSymbol to, ToGraphEffects rest) => ToGraphEffects (Tuple (DisconnectXFromY from to) rest)
#DestroyUnit Source
data DestroyUnit (x :: Symbol)
Constructors
DestroyUnit (Proxy x)
Instances
CompInstr (DestroyUnit x) z LT
CompInstr z (DestroyUnit x) GT
(RowToList me meList, DisconnectAll destroy meList disconnectInstructions) => OldToNew LT destroy (Tuple u (Record me)) thanks newSymbol newDef newRest (Tuple (DestroyUnit destroy) disconnectInstructions) thanks (Cons newSymbol newDef newRest)
(RowToList toDisconnect toDisconnectList, DisconnectAll symbol toDisconnectList disconnectInstructions, RowToList toConnect toConnectList, ConnectAll symbol toConnectList connectInstructions, DoCreate symbol create c, HListAppend disconnectInstructions connectInstructions o) => OldToNewEq False symbol (Tuple destroy (Record toDisconnect)) (Tuple create (Record toConnect)) (Tuple (DestroyUnit symbol) (Tuple c o))
(RowToList me meList, DisconnectAll destroy meList disconnectInstructions, PatchRL thanks Nil rest, HListAppend disconnectInstructions rest o) => PatchRL (Cons destroy (Tuple u (Record me)) thanks) Nil (Tuple (DestroyUnit destroy) o)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (DestroyUnit ptr) rest)
#MakeAllpass Source
data MakeAllpass (ptr :: Symbol)
Constructors
MakeAllpass (Proxy ptr)
Instances
DoCreate ptr TAllpass (MakeAllpass ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeAllpass ptr) rest)
#MakeBandpass Source
data MakeBandpass (ptr :: Symbol)
Constructors
MakeBandpass (Proxy ptr)
Instances
DoCreate ptr TBandpass (MakeBandpass ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeBandpass ptr) rest)
#MakeConstant Source
data MakeConstant (ptr :: Symbol)
Constructors
MakeConstant (Proxy ptr)
Instances
DoCreate ptr TConstant (MakeConstant ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeConstant ptr) rest)
#MakeConvolver Source
data MakeConvolver (ptr :: Symbol) (sym :: Symbol)
Constructors
MakeConvolver (Proxy ptr) (Proxy sym)
Instances
DoCreate ptr (TConvolver sym) (MakeConvolver ptr sym)
(IsSymbol ptr, IsSymbol sym, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeConvolver ptr sym) rest)
#MakeDynamicsCompressor Source
data MakeDynamicsCompressor (ptr :: Symbol)
Constructors
MakeDynamicsCompressor (Proxy ptr)
Instances
DoCreate ptr TDynamicsCompressor (MakeDynamicsCompressor ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeDynamicsCompressor ptr) rest)
#MakeHighpass Source
data MakeHighpass (ptr :: Symbol)
Constructors
MakeHighpass (Proxy ptr)
Instances
DoCreate ptr THighpass (MakeHighpass ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeHighpass ptr) rest)
#MakeHighshelf Source
data MakeHighshelf (ptr :: Symbol)
Constructors
MakeHighshelf (Proxy ptr)
Instances
DoCreate ptr THighshelf (MakeHighshelf ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeHighshelf ptr) rest)
#MakeLoopBuf Source
data MakeLoopBuf (ptr :: Symbol)
Constructors
MakeLoopBuf (Proxy ptr)
Instances
DoCreate ptr TLoopBuf (MakeLoopBuf ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeLoopBuf ptr) rest)
#MakeLowpass Source
data MakeLowpass (ptr :: Symbol)
Constructors
MakeLowpass (Proxy ptr)
Instances
DoCreate ptr TLowpass (MakeLowpass ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeLowpass ptr) rest)
#MakeLowshelf Source
data MakeLowshelf (ptr :: Symbol)
Constructors
MakeLowshelf (Proxy ptr)
Instances
DoCreate ptr TLowshelf (MakeLowshelf ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeLowshelf ptr) rest)
#MakeMicrophone Source
data MakeMicrophone
Constructors
Instances
DoCreate "microphone" TMicrophone MakeMicrophone
(ToGraphEffects rest) => ToGraphEffects (Tuple MakeMicrophone rest)
#MakePeaking Source
data MakePeaking (ptr :: Symbol)
Constructors
MakePeaking (Proxy ptr)
Instances
DoCreate ptr TPeaking (MakePeaking ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakePeaking ptr) rest)
#MakePeriodicOsc Source
data MakePeriodicOsc (ptr :: Symbol)
Constructors
MakePeriodicOsc (Proxy ptr)
Instances
DoCreate ptr TPeriodicOsc (MakePeriodicOsc ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakePeriodicOsc ptr) rest)
#MakePlayBuf Source
data MakePlayBuf (ptr :: Symbol)
Constructors
MakePlayBuf (Proxy ptr)
Instances
DoCreate ptr TPlayBuf (MakePlayBuf ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakePlayBuf ptr) rest)
#MakeRecorder Source
data MakeRecorder (ptr :: Symbol) (sym :: Symbol)
Constructors
MakeRecorder (Proxy ptr) (Proxy sym)
Instances
DoCreate ptr (TRecorder sym) (MakeRecorder ptr sym)
(IsSymbol ptr, IsSymbol sym, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeRecorder ptr sym) rest)
#MakeSawtoothOsc Source
data MakeSawtoothOsc (ptr :: Symbol)
Constructors
MakeSawtoothOsc (Proxy ptr)
Instances
DoCreate ptr TSawtoothOsc (MakeSawtoothOsc ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeSawtoothOsc ptr) rest)
#MakeSinOsc Source
data MakeSinOsc (ptr :: Symbol)
Constructors
MakeSinOsc (Proxy ptr)
Instances
DoCreate ptr TSinOsc (MakeSinOsc ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeSinOsc ptr) rest)
#MakeSquareOsc Source
data MakeSquareOsc (ptr :: Symbol)
Constructors
MakeSquareOsc (Proxy ptr)
Instances
DoCreate ptr TSquareOsc (MakeSquareOsc ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeSquareOsc ptr) rest)
#MakeSpeaker Source
data MakeSpeaker
Constructors
Instances
DoCreate "speaker" TSpeaker MakeSpeaker
(ToGraphEffects rest) => ToGraphEffects (Tuple MakeSpeaker rest)
#MakeStereoPanner Source
data MakeStereoPanner (ptr :: Symbol)
Constructors
MakeStereoPanner (Proxy ptr)
Instances
DoCreate ptr TStereoPanner (MakeStereoPanner ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeStereoPanner ptr) rest)
#MakeTriangleOsc Source
data MakeTriangleOsc (ptr :: Symbol)
Constructors
MakeTriangleOsc (Proxy ptr)
Instances
DoCreate ptr TTriangleOsc (MakeTriangleOsc ptr)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeTriangleOsc ptr) rest)
#MakeWaveShaper Source
data MakeWaveShaper (ptr :: Symbol) (sym :: Symbol) (oversample :: Type)
Constructors
MakeWaveShaper (Proxy ptr) (Proxy sym) oversample
Instances
DoCreate ptr (TWaveShaper sym overdrive) (MakeWaveShaper ptr sym overdrive)
(IsSymbol ptr, IsSymbol sym, IsOversample oversample, Monoid oversample, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeWaveShaper ptr sym oversample) rest)
#CompInstr Source
class CompInstr (a :: Type) (b :: Type) (o :: Ordering) | a b -> o
Instances
CompInstr (DisconnectXFromY x y) z LT
CompInstr z (DisconnectXFromY x y) GT
CompInstr (ConnectXToY x y) z GT
CompInstr z (ConnectXToY x y) LT
CompInstr (DestroyUnit x) z LT
CompInstr z (DestroyUnit x) GT
CompInstr a b EQ
#SortInstructions Source
class SortInstructions (i :: Type) (o :: Type) | i -> o
Instances
SortInstructions Unit Unit
(GetLR a b l' r', SortInstructions l' l, SortInstructions r' r, HListAppend l (Tuple a r) o) => SortInstructions (Tuple a b) o
#HListAppend Source
class HListAppend (l :: Type) (r :: Type) (o :: Type) | l r -> o
Instances
(HListAppend b c o) => HListAppend (Tuple a b) c (Tuple a o)
HListAppend Unit c c
#DoCreate Source
class DoCreate (sym :: Symbol) (i :: Type) (o :: Type) | sym i -> o
Instances
DoCreate ptr TAllpass (MakeAllpass ptr)
DoCreate ptr TBandpass (MakeBandpass ptr)
DoCreate ptr TConstant (MakeConstant ptr)
DoCreate ptr (TConvolver sym) (MakeConvolver ptr sym)
DoCreate ptr TDelay (MakeDelay ptr)
DoCreate ptr TDynamicsCompressor (MakeDynamicsCompressor ptr)
DoCreate ptr TGain (MakeGain ptr)
DoCreate ptr THighpass (MakeHighpass ptr)
DoCreate ptr THighshelf (MakeHighshelf ptr)
DoCreate ptr TLoopBuf (MakeLoopBuf ptr)
DoCreate ptr TLowpass (MakeLowpass ptr)
DoCreate ptr TLowshelf (MakeLowshelf ptr)
DoCreate "microphone" TMicrophone MakeMicrophone
DoCreate ptr TNotch (MakeNotch ptr)
DoCreate ptr TPeaking (MakePeaking ptr)
DoCreate ptr TPeriodicOsc (MakePeriodicOsc ptr)
DoCreate ptr TPlayBuf (MakePlayBuf ptr)
DoCreate ptr (TRecorder sym) (MakeRecorder ptr sym)
DoCreate ptr TSawtoothOsc (MakeSawtoothOsc ptr)
DoCreate ptr TSinOsc (MakeSinOsc ptr)
DoCreate ptr TSquareOsc (MakeSquareOsc ptr)
DoCreate "speaker" TSpeaker MakeSpeaker
DoCreate ptr TStereoPanner (MakeStereoPanner ptr)
DoCreate ptr TTriangleOsc (MakeTriangleOsc ptr)
DoCreate ptr (TWaveShaper sym overdrive) (MakeWaveShaper ptr sym overdrive)
#DisconnectAll Source
class DisconnectAll (to :: Symbol) (froms :: RowList Type) (i :: Type) | to froms -> i
Instances
DisconnectAll to Nil Unit
(DisconnectAll to rest o) => DisconnectAll to (Cons from ignore rest) (Tuple (DisconnectXFromY from to) o)
#ConnectAll Source
class ConnectAll (to :: Symbol) (froms :: RowList Type) (i :: Type) | to froms -> i
Instances
ConnectAll to Nil Unit
(ConnectAll to rest o) => ConnectAll to (Cons from ignore rest) (Tuple (ConnectXToY from to) o)
#OldToNew Source
class OldToNew (symComp :: Ordering) (oldSymbol :: Symbol) (oldDef :: Type) (oldRest :: RowList Type) (newSymbol :: Symbol) (newDef :: Type) (newRest :: RowList Type) (instructions :: Type) (oldList :: RowList Type) (newList :: RowList Type) | symComp oldSymbol oldDef oldRest newSymbol newDef newRest -> instructions oldList newList
Instances
(RowToList me meList, DisconnectAll destroy meList disconnectInstructions) => OldToNew LT destroy (Tuple u (Record me)) thanks newSymbol newDef newRest (Tuple (DestroyUnit destroy) disconnectInstructions) thanks (Cons newSymbol newDef newRest)
(RowToList me meList, ConnectAll create meList connectInstructions, DoCreate create u c) => OldToNew GT oldSymbol oldDef oldRest create (Tuple u (Record me)) thanks (Tuple c connectInstructions) (Cons oldSymbol oldDef oldRest) thanks
(TypeEqualTF oldDef newDef tf, OldToNewEq tf oldSymbol (Tuple oldDef od) (Tuple newDef nd) instructions) => OldToNew EQ oldSymbol (Tuple oldDef od) oldRest newSymbol (Tuple newDef nd) newRest instructions oldRest newRest
#ConnectAndDisconnect Source
class ConnectAndDisconnect (symbol :: Symbol) (oldConnectionsList :: RowList Type) (newConnectionsList :: RowList Type) (instructions :: Type) | symbol oldConnectionsList newConnectionsList -> instructions
Instances
ConnectAndDisconnect symbol Nil Nil Unit
(ConnectAndDisconnect to rest Nil o) => ConnectAndDisconnect to (Cons from ignore rest) Nil (Tuple (DisconnectXFromY from to) o)
(ConnectAndDisconnect to Nil rest o) => ConnectAndDisconnect to Nil (Cons from ignore rest) (Tuple (ConnectXToY from to) o)
(Compare i0 i1 comp, ConnectAndDisconnect' comp to i0 rest0 i1 rest1 o oldNext newNext, ConnectAndDisconnect to oldNext newNext instr, HListAppend o instr oo) => ConnectAndDisconnect to (Cons i0 ignore0 rest0) (Cons i1 ignore1 rest1) oo
#ConnectAndDisconnect' Source
class ConnectAndDisconnect' (comp :: Ordering) (symbol :: Symbol) (old :: Symbol) (oldRest :: RowList Type) (new :: Symbol) (newRest :: RowList Type) (instructions :: Type) (oldCont :: RowList Type) (newCont :: RowList Type) | comp symbol old oldRest new newRest -> instructions oldCont newCont
Instances
ConnectAndDisconnect' LT to i0 rest0 i1 rest1 (Tuple (DisconnectXFromY i0 to) Unit) rest0 (Cons i1 Unit rest1)
ConnectAndDisconnect' GT to i0 rest0 i1 rest1 (Tuple (ConnectXToY i1 to) Unit) (Cons i0 Unit rest0) rest1
ConnectAndDisconnect' EQ to i0 rest0 i1 rest1 Unit rest0 rest1
#OldToNewEq Source
class OldToNewEq (tf :: Type) (symbol :: Symbol) (oldDef :: Type) (newDef :: Type) (instructions :: Type) | tf symbol oldDef newDef -> instructions
Instances
(RowToList toDisconnect toDisconnectList, DisconnectAll symbol toDisconnectList disconnectInstructions, RowToList toConnect toConnectList, ConnectAll symbol toConnectList connectInstructions, DoCreate symbol create c, HListAppend disconnectInstructions connectInstructions o) => OldToNewEq False symbol (Tuple destroy (Record toDisconnect)) (Tuple create (Record toConnect)) (Tuple (DestroyUnit symbol) (Tuple c o))
(RowToList oldConnections oldConnectionsList, RowToList newConnections newConnectionsList, ConnectAndDisconnect symbol oldConnectionsList newConnectionsList instructions) => OldToNewEq True symbol (Tuple u0 (Record oldConnections)) (Tuple u0 (Record newConnections)) instructions
#PatchRL Source
class PatchRL (old :: RowList Type) (new :: RowList Type) (i :: Type) | old new -> i
Instances
PatchRL Nil Nil Unit
(RowToList me meList, DisconnectAll destroy meList disconnectInstructions, PatchRL thanks Nil rest, HListAppend disconnectInstructions rest o) => PatchRL (Cons destroy (Tuple u (Record me)) thanks) Nil (Tuple (DestroyUnit destroy) o)
(RowToList me meList, ConnectAll create meList connectInstructions, PatchRL Nil thanks rest, HListAppend connectInstructions rest o, DoCreate create u c) => PatchRL Nil (Cons create (Tuple u (Record me)) thanks) (Tuple c o)
(Compare oldSymbol newSymbol symComp, OldToNew symComp oldSymbol oldDef oldRest newSymbol newDef newRest instructions oldList newList, PatchRL oldList newList rest, HListAppend instructions rest o) => PatchRL (Cons oldSymbol oldDef oldRest) (Cons newSymbol newDef newRest) o
#ToGraphEffects Source
class ToGraphEffects (i :: Type) where
Members
toGraphEffects :: forall audio engine. AudioInterpret audio engine => Proxy i -> { instructions :: Array (audio -> engine) } -> { instructions :: Array (audio -> engine) }
Instances
ToGraphEffects Unit
(IsSymbol from, IsSymbol to, ToGraphEffects rest) => ToGraphEffects (Tuple (ConnectXToY from to) rest)
(IsSymbol from, IsSymbol to, ToGraphEffects rest) => ToGraphEffects (Tuple (DisconnectXFromY from to) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (DestroyUnit ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeAllpass ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeBandpass ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeConstant ptr) rest)
(IsSymbol ptr, IsSymbol sym, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeConvolver ptr sym) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeDelay ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeDynamicsCompressor ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeGain ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeHighpass ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeHighshelf ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeLoopBuf ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeLowpass ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeLowshelf ptr) rest)
(ToGraphEffects rest) => ToGraphEffects (Tuple MakeMicrophone rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeNotch ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakePeaking ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakePeriodicOsc ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakePlayBuf ptr) rest)
(IsSymbol ptr, IsSymbol sym, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeRecorder ptr sym) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeSawtoothOsc ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeSinOsc ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeSquareOsc ptr) rest)
(ToGraphEffects rest) => ToGraphEffects (Tuple MakeSpeaker rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeStereoPanner ptr) rest)
(IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeTriangleOsc ptr) rest)
(IsSymbol ptr, IsSymbol sym, IsOversample oversample, Monoid oversample, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeWaveShaper ptr sym oversample) rest)
#Patch Source
class Patch g0 g1 where
Members
patch :: forall audio engine proof res a. AudioInterpret audio engine => WAG audio engine proof res (Record g0) a -> WAG audio engine proof res (Record g1) a
Instances
(RowToList old oldList, RowToList new newList, PatchRL oldList newList instructions', SortInstructions instructions' instructions, ToGraphEffects instructions) => Patch old new
- Modules
- FRP.
Event. MIDI - WAGS.
Change - WAGS.
Change. Optionals - WAGS.
Comonad - WAGS.
Connect - WAGS.
Control. Functions - WAGS.
Control. Functions. Validated - WAGS.
Control. Indexed - WAGS.
Control. Types - WAGS.
Create - WAGS.
Create. Optionals - WAGS.
CreateT - WAGS.
Debug - WAGS.
Destroy - WAGS.
Disconnect - WAGS.
Edgeable - WAGS.
Graph. AudioUnit - WAGS.
Graph. Edge - WAGS.
Graph. Graph - WAGS.
Graph. Node - WAGS.
Graph. Oversample - WAGS.
Graph. Paramable - WAGS.
Graph. Parameter - WAGS.
Interpret - WAGS.
Math - WAGS.
Patch - WAGS.
Rendered - WAGS.
Run - WAGS.
Util - WAGS.
Validation
Take any frame from
g0
tog1
. The compiler automatically determines the necessary operations to perform the transformation.