1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface Digraph where
3 import Maybes(MaybeErr)
5 dfs :: (a -> a -> Bool) -> (a -> [a]) -> ([a], [a]) -> [a] -> ([a], [a])
6 stronglyConnComp :: (a -> a -> Bool) -> [(a, a)] -> [a] -> [[a]]
7 topologicalSort :: (a -> a -> Bool) -> [(a, a)] -> [a] -> MaybeErr [a] [[a]]