- diff :: GDiff a => a -> a -> EditScript
- patch :: GDiff a => EditScript -> a -> Maybe a
- diffLen :: GDiff a => a -> a -> Float
- class (Typeable a, SEq a, Children a, Build a) => GDiff a
- class SEq a where
- shallowEqDef :: (Representable a, SEq' (Rep a)) => a -> a -> Bool
- class Build a where
- buildDef :: (Representable a, Build' (Rep a)) => a -> [Ex] -> Maybe (a, [Ex])
- class Children a where
- childrenDef :: (Representable a, Children' (Rep a)) => a -> [Ex]
- data Ex where

# Documentation

Shallow equality: compare the constructor name only

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

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

Gets all the immediate children of a term

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