Module

WAGS.Universe.Universe

data Universe

The Universe is the top-level indexed construct for a Frame.

data UniverseC :: Ptr -> Graph -> Nat -> SkolemList -> Universe

The sole constructor for a Universe is UniverseC. It takes the following parameters:

currentIdx - the current auto-incrementing index for pointers into the graph
graph - the audio graph
changeBit - how many times a given graph's control rate values have changed
skolems - used internally to hold skolem variables in the graph, which is necessary for recursive and duplicated audio units during the creation phase

class GetGraph (u :: Universe) (g :: Graph) | u -> g

Get the graph from a universe