WAGS.Patch

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)

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)

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)

data MakeAllpass (ptr :: Symbol)

Constructors

• MakeAllpass (Proxy ptr)

Instances

• DoCreate ptr TAllpass (MakeAllpass ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeAllpass ptr) rest)

data MakeBandpass (ptr :: Symbol)

Constructors

• MakeBandpass (Proxy ptr)

Instances

• DoCreate ptr TBandpass (MakeBandpass ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeBandpass ptr) rest)

data MakeConstant (ptr :: Symbol)

Constructors

• MakeConstant (Proxy ptr)

Instances

• DoCreate ptr TConstant (MakeConstant ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeConstant ptr) rest)

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)

data MakeDelay (ptr :: Symbol)

Constructors

• MakeDelay (Proxy ptr)

Instances

• DoCreate ptr TDelay (MakeDelay ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeDelay ptr) rest)

data MakeDynamicsCompressor (ptr :: Symbol)

Constructors

• MakeDynamicsCompressor (Proxy ptr)

Instances

• DoCreate ptr TDynamicsCompressor (MakeDynamicsCompressor ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeDynamicsCompressor ptr) rest)

data MakeGain (ptr :: Symbol)

Constructors

• MakeGain (Proxy ptr)

Instances

• DoCreate ptr TGain (MakeGain ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeGain ptr) rest)

data MakeHighpass (ptr :: Symbol)

Constructors

• MakeHighpass (Proxy ptr)

Instances

• DoCreate ptr THighpass (MakeHighpass ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeHighpass ptr) rest)

data MakeHighshelf (ptr :: Symbol)

Constructors

• MakeHighshelf (Proxy ptr)

Instances

• DoCreate ptr THighshelf (MakeHighshelf ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeHighshelf ptr) rest)

data MakeLoopBuf (ptr :: Symbol)

Constructors

• MakeLoopBuf (Proxy ptr)

Instances

• DoCreate ptr TLoopBuf (MakeLoopBuf ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeLoopBuf ptr) rest)

data MakeLowpass (ptr :: Symbol)

Constructors

• MakeLowpass (Proxy ptr)

Instances

• DoCreate ptr TLowpass (MakeLowpass ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeLowpass ptr) rest)

data MakeLowshelf (ptr :: Symbol)

Constructors

• MakeLowshelf (Proxy ptr)

Instances

• DoCreate ptr TLowshelf (MakeLowshelf ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeLowshelf ptr) rest)

data MakeMicrophone

Constructors

• MakeMicrophone

Instances

• DoCreate "microphone" TMicrophone MakeMicrophone
• (ToGraphEffects rest) => ToGraphEffects (Tuple MakeMicrophone rest)

data MakeNotch (ptr :: Symbol)

Constructors

• MakeNotch (Proxy ptr)

Instances

• DoCreate ptr TNotch (MakeNotch ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeNotch ptr) rest)

data MakePeaking (ptr :: Symbol)

Constructors

• MakePeaking (Proxy ptr)

Instances

• DoCreate ptr TPeaking (MakePeaking ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakePeaking ptr) rest)

data MakePeriodicOsc (ptr :: Symbol)

Constructors

• MakePeriodicOsc (Proxy ptr)

Instances

• DoCreate ptr TPeriodicOsc (MakePeriodicOsc ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakePeriodicOsc ptr) rest)

data MakePlayBuf (ptr :: Symbol)

Constructors

• MakePlayBuf (Proxy ptr)

Instances

• DoCreate ptr TPlayBuf (MakePlayBuf ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakePlayBuf ptr) rest)

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)

data MakeSawtoothOsc (ptr :: Symbol)

Constructors

• MakeSawtoothOsc (Proxy ptr)

Instances

• DoCreate ptr TSawtoothOsc (MakeSawtoothOsc ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeSawtoothOsc ptr) rest)

data MakeSinOsc (ptr :: Symbol)

Constructors

• MakeSinOsc (Proxy ptr)

Instances

• DoCreate ptr TSinOsc (MakeSinOsc ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeSinOsc ptr) rest)

data MakeSquareOsc (ptr :: Symbol)

Constructors

• MakeSquareOsc (Proxy ptr)

Instances

• DoCreate ptr TSquareOsc (MakeSquareOsc ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeSquareOsc ptr) rest)

data MakeSpeaker

Constructors

• MakeSpeaker

Instances

• DoCreate "speaker" TSpeaker MakeSpeaker
• (ToGraphEffects rest) => ToGraphEffects (Tuple MakeSpeaker rest)

data MakeStereoPanner (ptr :: Symbol)

Constructors

• MakeStereoPanner (Proxy ptr)

Instances

• DoCreate ptr TStereoPanner (MakeStereoPanner ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeStereoPanner ptr) rest)

data MakeTriangleOsc (ptr :: Symbol)

Constructors

• MakeTriangleOsc (Proxy ptr)

Instances

• DoCreate ptr TTriangleOsc (MakeTriangleOsc ptr)
• (IsSymbol ptr, ToGraphEffects rest) => ToGraphEffects (Tuple (MakeTriangleOsc ptr) rest)

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)

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

class GetLR (a :: Type) (b :: Type) (l :: Type) (r :: Type) | a b -> l r

Instances

• GetLR a Unit Unit Unit
• (CompInstr a b cmp, GetLRCmp cmp a b c l r) => GetLR a (Tuple b c) l r

class GetLRCmp (cmp :: Ordering) (a :: Type) (b :: Type) (c :: Type) (l :: Type) (r :: Type) | cmp a b c -> l r

Instances

• (GetLR a c l r) => GetLRCmp EQ a b c (Tuple b l) r
• (GetLR a c l r) => GetLRCmp LT a b c l (Tuple b r)
• (GetLR a c l r) => GetLRCmp GT a b c (Tuple b l) r

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

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

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)

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)

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)

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

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

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

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

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

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)

ipatch :: forall audio engine proof res g0 g1. Patch g0 g1 => AudioInterpret audio engine => IxWAG audio engine proof res (Record g0) (Record g1) Unit

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

  Take any frame from g0 to g1. The compiler automatically determines the necessary operations to perform the transformation.

Instances

• (RowToList old oldList, RowToList new newList, PatchRL oldList newList instructions', SortInstructions instructions' instructions, ToGraphEffects instructions) => Patch old new