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

Define maxBoundMetavariable using a helper.

Browse Source
This commit is contained in:
Rob Rix 2017-09-10 19:55:08 +01:00
parent 3e2c883b3a
commit d68a8790ce
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Diff.hs
View File

@ -54,9 +54,12 @@ freeMetavariables = cata $ \ diff -> case diff of
maxBoundMetavariable :: (Foldable syntax, Functor syntax) => Diff syntax ann -> Maybe Metavar maxBoundMetavariable :: (Foldable syntax, Functor syntax) => Diff syntax ann -> Maybe Metavar
maxBoundMetavariable = cata $ \ diff -> case diff of maxBoundMetavariable = cata $ \ diff -> case diff of
Copy bindings _ -> foldr (max . Just . fst) Nothing bindings Copy bindings _ -> foldMaxMap (Just . fst) bindings
Var _ -> Nothing Var _ -> Nothing
Patch patch -> foldr (max . foldr max Nothing) Nothing patch Patch patch -> foldMaxMap (foldMaxMap id) patch
foldMaxMap :: (Foldable t, Ord b) => (a -> Maybe b) -> t a -> Maybe b
foldMaxMap f = foldr (max . f) Nothing
newtype Env a = Env { unEnv :: [(Metavar, a)] } newtype Env a = Env { unEnv :: [(Metavar, a)] }