Modularise graph functions

This commit is contained in:
jgk
2021-04-03 12:14:53 +02:00
parent 29e7909db2
commit d65b099c0d
4 changed files with 25 additions and 10 deletions
+21
View File
@@ -0,0 +1,21 @@
module Dodge.Graph
where
import Data.Function (on)
import Data.List
import Data.Graph
pairsToIncidence :: (Eq a,Ord a) => [(a,a)] -> [(a,[a])]
pairsToIncidence = map ((\(xs,ys) -> (head xs,ys)) . unzip)
. groupBy ( (==) `on` fst)
. sort
incidenceToFunction :: Eq a => [(a,[a])] -> a -> [a]
incidenceToFunction xs a = case lookup a xs of Just ys -> ys
Nothing -> []
mkNode :: (a,[a]) -> (a,a,[a])
mkNode (x,xs) = (x,x,xs)
pairsToSCC :: (Eq a, Ord a) => [(a,a)] -> [SCC a]
pairsToSCC = stronglyConnComp . map mkNode . pairsToIncidence