Module

WAGS.Disconnect

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

#Disconnect Source

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

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

Members

disconnect :: 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, RemovePointerFromNodes from to nodeListI nodeListO True, GraphToNodeList grapho nodeListO) => Disconnect from to graphi grapho

#RemovePtrFromList Source

class RemovePtrFromList (ptr :: Ptr) (i :: PtrList) (o :: PtrList) | ptr i -> o

Internal helper class used for disconnecting.

Instances

RemovePtrFromList ptr PtrListNil PtrListNil
(BinEq ptr head tf, RemovePtrFromList ptr tail newTail, Gate tf newTail (PtrListCons head newTail) o) => RemovePtrFromList ptr (PtrListCons head tail) o

#RemovePointerFromNode Source

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

Internal helper class used for disconnecting.

Instances

RemovePointerFromNode from to (NodeC (TAllpass to) (SingleEdge from)) (NodeC (TAllpass to) NoEdge) True
RemovePointerFromNode from to (NodeC (TBandpass to) (SingleEdge from)) (NodeC (TBandpass to) NoEdge) True
RemovePointerFromNode from to (NodeC (TConvolver to name) (SingleEdge from)) (NodeC (TConvolver to name) NoEdge) True
RemovePointerFromNode from to (NodeC (TDelay to) (SingleEdge from)) (NodeC (TDelay to) NoEdge) True
RemovePointerFromNode from to (NodeC (TDynamicsCompressor to) (SingleEdge from)) (NodeC (TDynamicsCompressor to) NoEdge) True
RemovePointerFromNode from to (NodeC (TGain to) (SingleEdge from)) (NodeC (TGain to) NoEdge) True
(RemovePtrFromList from (PtrListCons e (PtrListCons l (PtrListCons r0 r1))) (PtrListCons head tail)) => RemovePointerFromNode from to (NodeC (TGain to) (ManyEdges e (PtrListCons l (PtrListCons r0 r1)))) (NodeC (TGain to) (ManyEdges head tail)) True
(RemovePtrFromList from (PtrListCons e (PtrListCons l PtrListNil)) (PtrListCons head PtrListNil)) => RemovePointerFromNode from to (NodeC (TGain to) (ManyEdges e (PtrListCons l PtrListNil))) (NodeC (TGain to) (SingleEdge head)) True
RemovePointerFromNode from to (NodeC (THighpass to) (SingleEdge from)) (NodeC (THighpass to) NoEdge) True
RemovePointerFromNode from to (NodeC (THighshelf to) (SingleEdge from)) (NodeC (THighshelf to) NoEdge) True
RemovePointerFromNode from to (NodeC (TLowpass to) (SingleEdge from)) (NodeC (TLowpass to) NoEdge) True
RemovePointerFromNode from to (NodeC (TLowshelf to) (SingleEdge from)) (NodeC (TLowshelf to) NoEdge) True
RemovePointerFromNode from to (NodeC (TNotch to) (SingleEdge from)) (NodeC (TNotch to) NoEdge) True
RemovePointerFromNode from to (NodeC (TPeaking to) (SingleEdge from)) (NodeC (TPeaking to) NoEdge) True
RemovePointerFromNode from to (NodeC (TRecorder to name) (SingleEdge from)) (NodeC (TRecorder to name) NoEdge) True
RemovePointerFromNode from to (NodeC (TSpeaker to) (SingleEdge from)) (NodeC (TSpeaker to) NoEdge) True
(RemovePtrFromList from (PtrListCons e (PtrListCons l (PtrListCons r0 r1))) (PtrListCons head tail)) => RemovePointerFromNode from to (NodeC (TSpeaker to) (ManyEdges e (PtrListCons l (PtrListCons r0 r1)))) (NodeC (TSpeaker to) (ManyEdges head tail)) True
(RemovePtrFromList from (PtrListCons e (PtrListCons l PtrListNil)) (PtrListCons head PtrListNil)) => RemovePointerFromNode from to (NodeC (TSpeaker to) (ManyEdges e (PtrListCons l PtrListNil))) (NodeC (TSpeaker to) (SingleEdge head)) True
RemovePointerFromNode from to (NodeC (TStereoPanner to) (SingleEdge from)) (NodeC (TStereoPanner to) NoEdge) True
RemovePointerFromNode from to (NodeC (TWaveShaper to name) (SingleEdge from)) (NodeC (TWaveShaper to name) NoEdge) True
RemovePointerFromNode from to i i False

#RemovePointerFromNodes Source

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

Internal helper class used for disconnecting.

Instances

RemovePointerFromNodes a b NodeListNil NodeListNil False
(RemovePointerFromNode a b head headRes tf0, RemovePointerFromNodes a b tail tailRes tf1, Or tf0 tf1 fin) => RemovePointerFromNodes a b (NodeListCons head tail) (NodeListCons headRes tailRes) fin