Generics.Instant.GDiff

Documentation

diff :: GDiff a => a -> a -> EditScript

Generic diff

patch :: GDiff a => EditScript -> a -> Maybe a

Generic diff

diffLen :: GDiff a => a -> a -> Float

Edit distance

class (Typeable a, SEq a, Children a, Build a) => GDiff a

Tying the recursive knot

Instances

GDiff Char

GDiff Int

GDiff a => GDiff [a]

class SEq a where

Shallow equality: compare the constructor name only

Methods

shallowEq :: a -> a -> Bool

Instances

SEq Char

SEq Int

SEq [a]

shallowEqDef :: (Representable a, SEq' (Rep a)) => a -> a -> Bool

class Build a where

Rebuilds a term, replacing the children with elements from the list

Methods

build :: a -> [Ex] -> Maybe (a, [Ex])

Instances

Build Char

Build Int

Typeable a => Build [a]

buildDef :: (Representable a, Build' (Rep a)) => a -> [Ex] -> Maybe (a, [Ex])

class Children a where

Gets all the immediate children of a term

Methods

children :: a -> [Ex]

Instances

Children Char

Children Int

GDiff a => Children [a]

childrenDef :: (Representable a, Children' (Rep a)) => a -> [Ex]

data Ex where

Existentials

Constructors

Ex :: GDiff a => !a -> Ex

Instances

Show Ex