Safe Haskell | None |
---|
- class MuRef a where
- data ReifyGraph e = ReifyGraph [(Unique, e Unique)]
- reifyGraphs :: (MuRef s, Traversable t) => [t s] -> IO (ReifyGraph (DeRef s), [t Int])
Documentation
data ReifyGraph e Source
ReifyGraph [(Unique, e Unique)] |
reifyGraphs :: (MuRef s, Traversable t) => [t s] -> IO (ReifyGraph (DeRef s), [t Int])Source
reifyGraph
takes a data structure that admits MuRef
, and returns a ReifyGraph
that contains
the dereferenced nodes, with their children as Int
rather than recursive values.