Data.TreeDiff.List

A list diff.

Documentation

diffBy :: forall a. Show a => (a -> a -> Bool) -> [a] -> [a] -> [Edit a]

List difference.

>>> diffBy (==) "hello" "world"
[Swp 'h' 'w',Swp 'e' 'o',Swp 'l' 'r',Cpy 'l',Swp 'o' 'd']

>>> diffBy (==) "kitten" "sitting"
[Swp 'k' 's',Cpy 'i',Cpy 't',Cpy 't',Swp 'e' 'i',Cpy 'n',Ins 'g']

\xs ys -> length (diffBy (==) xs ys) >= max (length xs) (length (ys :: String))

\xs ys -> length (diffBy (==) xs ys) <= length xs + length (ys :: String)

data Edit a

List edit operations

The Swp constructor is redundant, but it let us spot a recursion point when performing tree diffs.

Constructors

Ins a

insert

Del a

delete

Cpy a

copy unchanged

Swp a a

swap, i.e. delete + insert

Instances

Eq a => Eq (Edit a)

Defined in Data.TreeDiff.List

Methods

(==) :: Edit a -> Edit a -> Bool

(/=) :: Edit a -> Edit a -> Bool

Show a => Show (Edit a)

Defined in Data.TreeDiff.List

Methods

showsPrec :: Int -> Edit a -> ShowS

show :: Edit a -> String

showList :: [Edit a] -> ShowS

NFData a => NFData (Edit a)

Defined in Data.TreeDiff.List

Methods

rnf :: Edit a -> ()