What can I use for a weighted graph? I thought Data.Graph would work but I see no provision for edge weights?

Hi What can I use for a weighted graph? I thought Data.Graph would work but I see no provision for edge weights?

Thank you! On Fri., Jul. 9, 2021, 11:27 p.m. Henning Thielemann, < lemming@henning-thielemann.de> wrote:
On Fri, 9 Jul 2021, Casey Hawthorne wrote:
What can I use for a weighted graph? I thought Data.Graph would work but I see no provision for edge weights?
fgl or my comfort-graph package

Hi
Can't I use Data.Graph and use Data.Map to hold the edge weights and have
operations that tie the edges to their weights in a combined data structure?
FDS ~ Functional Data Structure
Making a FDS using two or more FDS's
On Fri., Jul. 9, 2021, 11:47 p.m. Casey Hawthorne,
Thank you!
On Fri., Jul. 9, 2021, 11:27 p.m. Henning Thielemann, < lemming@henning-thielemann.de> wrote:
On Fri, 9 Jul 2021, Casey Hawthorne wrote:
What can I use for a weighted graph? I thought Data.Graph would work but I see no provision for edge weights?
fgl or my comfort-graph package
participants (2)
-
Casey Hawthorne
-
Henning Thielemann