github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00
Code Issues Projects Releases Wiki Activity

Interpretation.

Browse Source
This commit is contained in:
Rob Rix 2015-11-17 17:13:48 -08:00
parent 7c09fd1503
commit 16e4bf891d
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Interpreter.hs
View File

@ -11,6 +11,10 @@ recur a b =
run algorithm where
algorithm = Free $ Recursive a b Pure
run :: Algorithm a (Diff a) -> Maybe (Diff a)
run (Pure diff) = Just diff
interpret :: Term a Info -> Term a Info -> Diff a
interpret a b = maybeReplace $ recur a b where
maybeReplace (Just a) = a
maybeReplace Nothing = Just a </> Just b