WAGS.Destroy

idestroy :: forall proxy ptr audio engine proof res i o. AudioInterpret audio engine => Destroy ptr i o => proxy ptr -> IxWAG audio engine proof res (Record i) (Record o) Unit

class Destroy (ptr :: Symbol) (i :: Graph) (o :: Graph) | ptr i -> o where

Destroy node ptr in graph i, resulting in graph o. Note that, to destroy a node, it must have no outgoing or incoming edges. This is achieved via use of disconnect. Failure to disconnect nodes before destroying will result in a compile-time error during graph validation.

Members

• destroy :: forall proxy audio engine proof res. AudioInterpret audio engine => WAG audio engine proof res (Record i) (proxy ptr) -> WAG audio engine proof res (Record o) Unit

Instances

• (IsSymbol ptr, Cons ptr (Tuple node (Record ())) grapho graphi, RowToList graphi nodeListI, PointerNotPresentInAnyEdgeList ptr nodeListI) => Destroy ptr graphi grapho

class PointerNotPresentInAnyEdgeList (ptr :: Symbol) (i :: NodeList) 

Internal helper class used for destroing audio nodes.

Instances

• PointerNotPresentInAnyEdgeList a Nil
• (Lacks a l, PointerNotPresentInAnyEdgeList a tail) => PointerNotPresentInAnyEdgeList a (Cons h (NodeC n (Record l)) tail)