WAGS.Connect

class Connect (source :: Ptr) (dest :: Ptr) (i :: Graph) (o :: Graph) | source dest i -> o where

Connect node source from node dest in graph i, resulting in output graph o.

Members

• connect :: forall env audio engine proof m res currentIdx changeBit skolems. Monad m => AudioInterpret audio engine => AudioUnitRef source -> AudioUnitRef dest -> FrameT env audio engine proof m res (UniverseC currentIdx i changeBit skolems) (UniverseC currentIdx o changeBit skolems) Unit

Instances

• (BinToInt from, BinToInt to, GraphToNodeList graphi nodeListI, AddPointerToNodes from to nodeListI nodeListO True, GraphToNodeList grapho nodeListO) => Connect from to graphi grapho

class AddPointerToNode (from :: Ptr) (to :: Ptr) (i :: Node) (o :: Node) (tf :: Type) | from to i -> o tf

Internal helper class used for connecting.

Instances

• AddPointerToNode from to (NodeC (TAllpass to) NoEdge) (NodeC (TAllpass to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TBandpass to) NoEdge) (NodeC (TBandpass to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TConvolver to name) NoEdge) (NodeC (TConvolver to name) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TDelay to) NoEdge) (NodeC (TDelay to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TDynamicsCompressor to) NoEdge) (NodeC (TDynamicsCompressor to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TGain to) NoEdge) (NodeC (TGain to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TGain to) (SingleEdge e)) (NodeC (TGain to) (ManyEdges from (PtrListCons e PtrListNil))) True
• AddPointerToNode from to (NodeC (TGain to) (ManyEdges e l)) (NodeC (TGain to) (ManyEdges from (PtrListCons e l))) True
• AddPointerToNode from to (NodeC (THighpass to) NoEdge) (NodeC (THighpass to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (THighshelf to) NoEdge) (NodeC (THighshelf to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TLowpass to) NoEdge) (NodeC (TLowpass to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TLowshelf to) NoEdge) (NodeC (TLowshelf to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TNotch to) NoEdge) (NodeC (TNotch to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TPeaking to) NoEdge) (NodeC (TPeaking to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TRecorder to name) NoEdge) (NodeC (TRecorder to name) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TSpeaker to) NoEdge) (NodeC (TSpeaker to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TSpeaker to) (SingleEdge e)) (NodeC (TSpeaker to) (ManyEdges from (PtrListCons e PtrListNil))) True
• AddPointerToNode from to (NodeC (TSpeaker to) (ManyEdges e l)) (NodeC (TSpeaker to) (ManyEdges from (PtrListCons e l))) True
• AddPointerToNode from to (NodeC (TStereoPanner to) NoEdge) (NodeC (TStereoPanner to) (SingleEdge from)) True
• AddPointerToNode from to (NodeC (TWaveShaper to name) NoEdge) (NodeC (TWaveShaper to name) (SingleEdge from)) True
• AddPointerToNode from to i i False

class AddPointerToNodes (from :: Ptr) (to :: Ptr) (i :: NodeList) (o :: NodeList) (tf :: Type) | from to i -> o tf

Internal helper class used for connecting.

Instances

• AddPointerToNodes a b NodeListNil NodeListNil False
• (AddPointerToNode a b head headRes tf0, AddPointerToNodes a b tail tailRes tf1, Or tf0 tf1 fin) => AddPointerToNodes a b (NodeListCons head tail) (NodeListCons headRes tailRes) fin