Data.Unsafe.Reify

Documentation

class MuRef a where

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 :: * -> *

Methods

deRef :: a -> DeRef a a

mapDeRef :: Monad m => (a -> m Unique) -> DeRef a a -> m (DeRef a Unique)

data Graph e

Constructors

Graph [(Unique, e Unique)] Unique

Instances

(Functor e, Show (e Int)) => Show (Graph e)

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

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.