
18 May
2010
18 May
'10
5:17 a.m.
Heinrich Apfelmus
Yes; what I mean is that you can retrofit a custom vertex type to any graph implementation that uses a fixed vertex type. So, let's say that
data Gr a b = .. -- graph with vertex type Vertex Gr = Int
then
type Gr' node a b = CustomVertex node Gr a b
data CustomVertex node gr a b = CV (gr a b) (Map node (Vertex gr))
is a graph with custom vertex type node .
Sounds like it's more complicated than it's worth tbh ;-) -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com