Copyright	(c) Sterling Clover 2008-2011 Kevin Charter 2011
License	BSD 3 Clause
Maintainer	s.clover@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Algorithm.Diff

Contents

Comparing lists for differences
Finding chunks of differences

Description

This is an implementation of the diff algorithm as described in "An $ O(ND) $ Difference Algorithm and Its Variations (1986)" http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.6927. For inputs of size $ O(N) $ with the number of differences $ D $ it has $ O(ND) $ time and $ O(D^2) $ space complexity.

Synopsis

type Diff a = PolyDiff a a
data PolyDiff a b
- = First a
- | Second b
- | Both a b
getDiff :: Eq a => [a] -> [a] -> [Diff a]
getDiffBy :: (a -> b -> Bool) -> [a] -> [b] -> [PolyDiff a b]
getGroupedDiff :: Eq a => [a] -> [a] -> [Diff [a]]
getGroupedDiffBy :: (a -> b -> Bool) -> [a] -> [b] -> [PolyDiff [a] [b]]

Documentation

type Diff a = PolyDiff a a #

This is PolyDiff specialized so both sides are the same type.

data PolyDiff a b #

A value is either from the First list, the Second or from Both. Both contains both the left and right values, in case you are using a form of equality that doesn't check all data (for example, if you are using a newtype to only perform equality on side of a tuple).

Constructors

First a
Second b
Both a b

Instances

Instances details

Bifunctor PolyDiff #
Instance details Defined in Data.Algorithm.Diff Methods bimap :: (a -> b) -> (c -> d) -> PolyDiff a c -> PolyDiff b d # first :: (a -> b) -> PolyDiff a c -> PolyDiff b c # second :: (b -> c) -> PolyDiff a b -> PolyDiff a c #
Functor (PolyDiff a) #
Instance details Defined in Data.Algorithm.Diff Methods fmap :: (a0 -> b) -> PolyDiff a a0 -> PolyDiff a b # (<$) :: a0 -> PolyDiff a b -> PolyDiff a a0 #
(Show a, Show b) => Show (PolyDiff a b) #
Instance details Defined in Data.Algorithm.Diff Methods showsPrec :: Int -> PolyDiff a b -> ShowS # show :: PolyDiff a b -> String # showList :: [PolyDiff a b] -> ShowS #
(Eq a, Eq b) => Eq (PolyDiff a b) #
Instance details Defined in Data.Algorithm.Diff Methods (==) :: PolyDiff a b -> PolyDiff a b -> Bool # (/=) :: PolyDiff a b -> PolyDiff a b -> Bool #

Comparing lists for differences

getDiff :: Eq a => [a] -> [a] -> [Diff a] #

Takes two lists and returns a list of differences between them. This is getDiffBy with == used as predicate.

getDiffBy :: (a -> b -> Bool) -> [a] -> [b] -> [PolyDiff a b] #

A form of getDiff with no Eq constraint. Instead, an equality predicate is taken as the first argument.

Finding chunks of differences

getGroupedDiff :: Eq a => [a] -> [a] -> [Diff [a]] #

Takes two lists and returns a list of differences between them, grouped into chunks. This is getGroupedDiffBy with == used as predicate.

getGroupedDiffBy :: (a -> b -> Bool) -> [a] -> [b] -> [PolyDiff [a] [b]] #