diff --git a/src/Analysis/Abstract/ImportGraph.hs b/src/Analysis/Abstract/ImportGraph.hs index e04afad1c..6b55b42f5 100644 --- a/src/Analysis/Abstract/ImportGraph.hs +++ b/src/Analysis/Abstract/ImportGraph.hs @@ -41,6 +41,11 @@ instance ( Member (State ImportGraph) effects evaluateModule m@Module{..} = ImportGraphing (evaluateModule m) +(><) :: Graph a => a -> a -> a +(><) = connect + +infixr 7 >< + modifyImportGraph :: (Effectful (m term value), Member (State ImportGraph) effects) => (ImportGraph -> ImportGraph) -> ImportGraphing m term value effects () modifyImportGraph = raise . modify