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

Add State effect to scopeGraphModule

Browse Source
This commit is contained in:
joshvera 2020-02-07 22:23:22 -05:00
parent 9be4d16eef
commit 08cad385f3
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
semantic-python/src/Language/Python/ScopeGraph.hs
View File

@ -28,6 +28,7 @@ import Control.Effect.ScopeGraph
import qualified Control.Effect.ScopeGraph.Properties.Declaration as Props
import qualified Control.Effect.ScopeGraph.Properties.Function as Props
import qualified Control.Effect.ScopeGraph.Properties.Reference as Props
import Control.Effect.State
import Control.Lens (set, (^.))
import Data.Foldable
import Data.Maybe
@ -50,6 +51,7 @@ import Source.Span (Span, span_)
class (forall a . Show a => Show (t a)) => ToScopeGraph t where
scopeGraph ::
( Has ScopeGraph sig m
, Has (State (ScopeGraph.ScopeGraph Name)) sig m
, Monoid (m Result)
)
=> t Loc
@ -62,6 +64,7 @@ instance (ToScopeGraph l, ToScopeGraph r) => ToScopeGraph (l :+: r) where
onField ::
forall (field :: Symbol) syn sig m r .
( Has ScopeGraph sig m
, Has (State (ScopeGraph.ScopeGraph Name)) sig m
, HasField field (r Loc) (syn Loc)
, ToScopeGraph syn
, Monoid (m Result)
@ -76,6 +79,7 @@ onChildren ::
( Traversable t
, ToScopeGraph syn
, Has ScopeGraph sig m
, Has (State (ScopeGraph.ScopeGraph Name)) sig m
, HasField "extraChildren" (r Loc) (t (syn Loc))
, Monoid (m Result)
)
@ -86,7 +90,7 @@ onChildren
. traverse scopeGraph
. getField @"extraChildren"
scopeGraphModule :: Has ScopeGraph sig m => Py.Module Loc -> m Result
scopeGraphModule :: (Has (State (ScopeGraph.ScopeGraph Name)) sig m, Has ScopeGraph sig m) => Py.Module Loc -> m Result
scopeGraphModule = getAp . scopeGraph
instance ToScopeGraph Py.AssertStatement where scopeGraph = onChildren