Portability | to be determined. |
---|---|

Stability | highly unstable |

Maintainer | Stephen Tetley <stephen.tetley@gmail.com> |

- data Property n = Property {}
- data Edit a
- difference :: (a -> a -> Bool) -> (a -> a -> Bool) -> [a] -> [a] -> [Edit a]
- diffProperty :: (n -> n -> b) -> Property n -> Property n -> b
- addedRemoved :: [Edit a] -> ([a], [a])
- summarizeAddedRemoved :: String -> String -> (a -> String) -> [Edit a] -> ShowS
- summarizeConflictRemoved :: String -> String -> (a -> String) -> [Edit a] -> ShowS
- summarizeAddedConflictRemoved :: String -> String -> (a -> String) -> [Edit a] -> ShowS

# Property type

# Edit type

# Edit operations

difference :: (a -> a -> Bool) -> (a -> a -> Bool) -> [a] -> [a] -> [Edit a]Source

diffProperty :: (n -> n -> b) -> Property n -> Property n -> bSource

addedRemoved :: [Edit a] -> ([a], [a])Source