suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Introduced scoped type variables into the signature of flowAlgorithm

Browse Source
This commit is contained in:
Neil Brown 2007-11-07 13:00:10 +00:00
parent 13cf7df8bf
commit 4539745dff
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
common/FlowAlgorithms.hs
View File

@ -38,7 +38,7 @@ data GraphFuncs n e a = GF {
-- | Given the graph functions, a list of nodes and an entry node, performs
-- an iterative data-flow analysis.
flowAlgorithm :: (Ord n, Show n, Eq a) => GraphFuncs n e a -> [n] -> n -> Either String (Map.Map n a)
flowAlgorithm :: forall n e a. (Ord n, Show n, Eq a) => GraphFuncs n e a -> [n] -> n -> Either String (Map.Map n a)
flowAlgorithm funcs nodes startNode
= iterate
(Set.fromList nonStartNodes)
@ -53,13 +53,13 @@ flowAlgorithm funcs nodes startNode
= do b' <- f b ma
foldWithMaybe f (Just b') bs
-- iterateNode :: Map.Map n a -> (n,e) -> Maybe a -> Either String a
iterateNode :: Map.Map n a -> (n,e) -> Maybe a -> Either String a
iterateNode vals ne ma
= case Map.lookup (fst ne) vals of
Nothing -> throwError $ "Value not found for node edge: " ++ show (fst ne)
Just v -> return $ nodeFunc funcs ne v ma
-- iterate :: Ord n => Set.Set n -> Map.Map n a -> Either String (Map.Map n a)
iterate :: Set.Set n -> Map.Map n a -> Either String (Map.Map n a)
iterate workList vals
| Set.null workList = Right vals
| otherwise