summaryrefslogtreecommitdiff
path: root/ghc/compiler/utils/Digraph.hi
diff options
context:
space:
mode:
Diffstat (limited to 'ghc/compiler/utils/Digraph.hi')
-rw-r--r--ghc/compiler/utils/Digraph.hi11
1 files changed, 11 insertions, 0 deletions
diff --git a/ghc/compiler/utils/Digraph.hi b/ghc/compiler/utils/Digraph.hi
new file mode 100644
index 0000000000..98e65fecc1
--- /dev/null
+++ b/ghc/compiler/utils/Digraph.hi
@@ -0,0 +1,11 @@
+{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
+interface Digraph where
+import Maybes(MaybeErr)
+data MaybeErr a b {-# GHC_PRAGMA Succeeded a | Failed b #-}
+dfs :: (a -> a -> Bool) -> (a -> [a]) -> ([a], [a]) -> [a] -> ([a], [a])
+ {-# GHC_PRAGMA _A_ 4 _U_ 2211 _N_ _S_ "LLU(LL)S" {_A_ 5 _U_ 22221 _N_ _N_ _N_ _N_} _N_ _N_ #-}
+stronglyConnComp :: (a -> a -> Bool) -> [(a, a)] -> [a] -> [[a]]
+ {-# GHC_PRAGMA _A_ 3 _U_ 221 _N_ _S_ "LLS" _N_ _N_ #-}
+topologicalSort :: (a -> a -> Bool) -> [(a, a)] -> [a] -> MaybeErr [a] [[a]]
+ {-# GHC_PRAGMA _A_ 3 _U_ 221 _N_ _S_ "LLS" _N_ _N_ #-}
+