github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 18:06:14 +03:00
Code Issues Projects Releases Wiki Activity

Alias the comparison function’s type.

Browse Source
This commit is contained in:
Rob Rix 2015-11-18 10:28:07 -08:00
parent e7e2f280e1
commit ad0c9ca4b2
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/SES.hs
View File

@ -1,11 +1,13 @@
module SES (ses) where
module SES (ses, Compare) where
import Patch
import Diff
import Control.Monad.Free
import Control.Comonad.Cofree
ses :: (Term a Info -> Term a Info -> Maybe (Diff a)) -> [Term a Info] -> [Term a Info] -> [Diff a]
type Compare a = Term a Info -> Term a Info -> Maybe (Diff a)
ses :: Compare a -> [Term a Info] -> [Term a Info] -> [Diff a]
ses _ [] b = (Pure . Insert) <$> b
ses _ a [] = (Pure . Delete) <$> a
ses recur (a : as) (b : bs) = case recur a b of