github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity

Generalize runFile over the name type.

Browse Source
This commit is contained in:
Rob Rix 2019-10-11 11:32:55 -04:00
parent ee292476e2
commit a4b016d3df
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 13 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
semantic-core/src/Analysis/ScopeGraph.hs
View File

@ -1,4 +1,4 @@
{-# LANGUAGE FlexibleContexts, OverloadedStrings, RankNTypes, RecordWildCards, TypeApplications, TypeOperators #-}
{-# LANGUAGE FlexibleContexts, OverloadedStrings, RankNTypes, RecordWildCards, ScopedTypeVariables, TypeApplications, TypeOperators #-}
module Analysis.ScopeGraph
( ScopeGraph(..)
, Ref (..)
@ -68,27 +68,29 @@ scopeGraph eval
. traverse (runFile eval)
runFile
:: ( Carrier sig m
:: forall term name m sig
. ( Carrier sig m
, Effect sig
, Member Fresh sig
, Member (State (Heap Name (ScopeGraph Name))) sig
, Ord (term Name)
, Member (State (Heap name (ScopeGraph name))) sig
, Ord name
, Ord (term name)
)
=> (forall sig m
. (Carrier sig m, Member (Reader Path.AbsRelFile) sig, Member (Reader Span) sig, MonadFail m)
=> Analysis term Name Name (ScopeGraph Name) m
-> (term Name -> m (ScopeGraph Name))
-> (term Name -> m (ScopeGraph Name))
=> Analysis term name name (ScopeGraph name) m
-> (term name -> m (ScopeGraph name))
-> (term name -> m (ScopeGraph name))
)
-> File (term Name)
-> m (File (Either (Path.AbsRelFile, Span, String) (ScopeGraph Name)))
-> File (term name)
-> m (File (Either (Path.AbsRelFile, Span, String) (ScopeGraph name)))
runFile eval file = traverse run file
where run = runReader (filePath file)
. runReader (fileSpan file)
. runReader (Map.empty @Name @Ref)
. runReader (Map.empty @name @Ref)
. runFail
. fmap fold
. convergeTerm (Proxy @Name) (fix (cacheTerm . eval scopeGraphAnalysis))
. convergeTerm (Proxy @name) (fix (cacheTerm . eval scopeGraphAnalysis))
scopeGraphAnalysis
:: ( Alternative m