From bc094e60148aba1ce190cd9fd5b099e47828a252 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 23 Oct 2018 09:43:26 -0400 Subject: [PATCH] Add some Effect constraints. --- src/Semantic/Graph.hs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/Semantic/Graph.hs b/src/Semantic/Graph.hs index 7f75f4a44..0793f1b74 100644 --- a/src/Semantic/Graph.hs +++ b/src/Semantic/Graph.hs @@ -65,7 +65,7 @@ data GraphType = ImportGraph | CallGraph type AnalysisClasses = '[ Declarations1, Eq1, Evaluatable, FreeVariables1, Foldable, Functor, Ord1, Show1 ] -runGraph :: (Member Distribute sig, Member (Error SomeException) sig, Member Resolution sig, Member Task sig, Member Trace sig, Carrier sig m, Monad m) +runGraph :: (Member Distribute sig, Member (Error SomeException) sig, Member Resolution sig, Member Task sig, Member Trace sig, Carrier sig m, Monad m, Effect sig) => GraphType -> Bool -> Project @@ -94,6 +94,7 @@ runCallGraph :: ( VertexDeclarationWithStrategy (VertexDeclarationStrategy synta , HasPostlude lang , Member Trace sig , Carrier sig m + , Effect sig ) => Proxy lang -> Bool @@ -138,6 +139,7 @@ runImportGraphToModuleInfos :: ( Declarations term , Recursive term , Carrier sig m , Show term + , Effect sig ) => Proxy lang -> Package term @@ -154,6 +156,7 @@ runImportGraphToModules :: ( Declarations term , Recursive term , Carrier sig m , Show term + , Effect sig ) => Proxy lang -> Package term @@ -170,6 +173,7 @@ runImportGraph :: ( Declarations term , Recursive term , Carrier sig m , Show term + , Effect sig ) => Proxy lang -> Package term