data-reify-0.3: Reify a recursive data structure into an explicit graph.




class MuRef a whereSource

MuRef is a class that provided a way to reference into a specific type, and a way to map over the deferenced internals.

Associated Types

type DeRef a :: * -> *Source


mapDeRef :: Applicative m => (a -> m u) -> a -> m (DeRef a u)Source

reifyGraph :: MuRef s => s -> IO (Graph (DeRef s))Source

reifyGraph takes a data structure that admits MuRef, and returns a Graph that contains the dereferenced nodes, with their children as Unique rather than recursive values.