ghc/compiler/utils/Digraph.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface Digraph where
   3 import Maybes(MaybeErr)
   4 data MaybeErr a b       {-# GHC_PRAGMA Succeeded a | Failed b #-}
   5 dfs :: (a -> a -> Bool) -> (a -> [a]) -> ([a], [a]) -> [a] -> ([a], [a])
   6         {-# GHC_PRAGMA _A_ 4 _U_ 2211 _N_ _S_ "LLU(LL)S" {_A_ 5 _U_ 22221 _N_ _N_ _N_ _N_} _N_ _N_ #-}
   7 stronglyConnComp :: (a -> a -> Bool) -> [(a, a)] -> [a] -> [[a]]
   8         {-# GHC_PRAGMA _A_ 3 _U_ 221 _N_ _S_ "LLS" _N_ _N_ #-}
   9 topologicalSort :: (a -> a -> Bool) -> [(a, a)] -> [a] -> MaybeErr [a] [[a]]
  10         {-# GHC_PRAGMA _A_ 3 _U_ 221 _N_ _S_ "LLS" _N_ _N_ #-}
  11