github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity

format

Browse Source
This commit is contained in:
joshvera 2018-03-29 11:28:01 -04:00
parent 9832779676
commit bcd202d442
1 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/Analysis/Abstract/ImportGraph.hs
View File

@ -1,4 +1,5 @@
{-# LANGUAGE DataKinds, GeneralizedNewtypeDeriving, MultiParamTypeClasses, ScopedTypeVariables, StandaloneDeriving, TypeFamilies, TypeOperators, UndecidableInstances #-} {-# LANGUAGE DataKinds, GeneralizedNewtypeDeriving, MultiParamTypeClasses, ScopedTypeVariables, StandaloneDeriving,
TypeFamilies, TypeOperators, UndecidableInstances #-}
module Analysis.Abstract.ImportGraph module Analysis.Abstract.ImportGraph
( ImportGraph(..) ( ImportGraph(..)
, renderImportGraph , renderImportGraph
@ -6,13 +7,13 @@ module Analysis.Abstract.ImportGraph
) where ) where
import qualified Algebra.Graph as G import qualified Algebra.Graph as G
import Algebra.Graph.Class import Algebra.Graph.Class
import Algebra.Graph.Export.Dot import Algebra.Graph.Export.Dot
import Control.Abstract.Analysis import Control.Abstract.Analysis
import Data.Abstract.FreeVariables import Data.Abstract.Evaluatable (LoadError (..))
import Data.Abstract.Module import Data.Abstract.FreeVariables
import Data.Abstract.Evaluatable (LoadError(..)) import Data.Abstract.Module
import Prologue hiding (empty) import Prologue hiding (empty)
-- | The graph of function definitions to symbols used in a given program. -- | The graph of function definitions to symbols used in a given program.
newtype ImportGraph = ImportGraph { unImportGraph :: G.Graph Name } newtype ImportGraph = ImportGraph { unImportGraph :: G.Graph Name }