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

Define a function computing the maximum metavariable bound in a diff.

Browse Source
This commit is contained in:
Rob Rix 2017-09-10 19:50:01 +01:00
parent 7ada1dea20
commit 3e2c883b3a
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Diff.hs
View File

@ -52,6 +52,12 @@ freeMetavariables = cata $ \ diff -> case diff of
Var v -> Set.singleton v Var v -> Set.singleton v
Patch patch -> foldMap fold patch Patch patch -> foldMap fold patch
maxBoundMetavariable :: (Foldable syntax, Functor syntax) => Diff syntax ann -> Maybe Metavar
maxBoundMetavariable = cata $ \ diff -> case diff of
Copy bindings _ -> foldr (max . Just . fst) Nothing bindings
Var _ -> Nothing
Patch patch -> foldr (max . foldr max Nothing) Nothing patch
newtype Env a = Env { unEnv :: [(Metavar, a)] } newtype Env a = Env { unEnv :: [(Metavar, a)] }
deriving (Eq, Foldable, Functor, Monoid, Ord, Show, Traversable) deriving (Eq, Foldable, Functor, Monoid, Ord, Show, Traversable)