
19 May
2010
19 May
'10
4:02 a.m.
Ivan Lazar Miljenovic wrote:
Heinrich Apfelmus writes:
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 ;-)
Yup. ;) Regards, Heinrich Apfelmus -- http://apfelmus.nfshost.com