Documentation

class MuRef ty h whereSource

Associated Types

type DeRef h :: (* -> *) -> * -> *Source

Methods

mapDeRef :: forall m v. Applicative m => (forall a. ty a -> h a -> m (v a)) -> forall a. ty a -> h a -> m (DeRef h v a)Source

Instances

MuRef Ty (E v)

module Data.Reify.TGraph

reifyGraph :: (IsTy ty, MuRef ty h) => ty a -> h a -> IO (Graph ty (DeRef h) a)Source

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