WAGS.Disconnect

idisconnect :: forall proxy source dest audio engine proof res i o. AudioInterpret audio engine => Disconnect source dest i o => { dest :: proxy dest, source :: proxy source } -> IxWAG audio engine proof res (Record i) (Record o) Unit

class Disconnect (source :: Symbol) (dest :: Symbol) (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 proxy audio engine proof res. AudioInterpret audio engine => WAG audio engine proof res (Record i) { dest :: proxy dest, source :: proxy source } -> WAG audio engine proof res (Record o) Unit

Instances

• (IsSymbol from, IsSymbol to, Cons from ignore0 ignore1 graphi, Cons to (NodeC n (Record e)) newg graphi, Cons from Unit e' e, Lacks from e', Cons to (NodeC n (Record e')) newg grapho) => Disconnect from to graphi grapho