Safe Haskell | None |
---|---|

Language | Haskell98 |

- class Diffable a b | a -> b where
- data DiffResult d
- type T0Diff = DiffResult (Term0 (T DiffResult))
- type F0Diff = DiffResult (Formula0 (T DiffResult) (F DiffResult))
- isSame :: forall t. DiffResult t -> Bool
- diffGenF :: Gen Formula
- diffGenT :: Gen Term
- printSampleDiffs :: IO ()

# Documentation

data DiffResult d Source #

Same | Both arguments are the same. |

SameHead d | The arguments are recursive expressions of the same form, but their subterms differ. Return a "decorated" term that shows where the differences are |

Differ d d | The arguments differ and are not of similar form (don't recurse) |

DontCare |

Functor DiffResult Source # | |

Pretty F0Diff Source # | |

Pretty T0Diff Source # | |

Diffable Term (T DiffResult) Source # | |

Diffable Formula (F DiffResult) Source # | |

Eq d => Eq (DiffResult d) Source # | |

Data d => Data (DiffResult d) Source # | |

Ord d => Ord (DiffResult d) Source # | |

Read d => Read (DiffResult d) Source # | |

Show (T DiffResult) Source # | |

Show (F DiffResult) Source # | |

Show d => Show (DiffResult d) Source # | |

Pretty (T DiffResult) Source # | |

Pretty (F DiffResult) Source # | |

Pretty (WithEnclosing (T DiffResult)) Source # | |

Pretty (WithEnclosing (F DiffResult)) Source # | |

Pretty (WithEnclosing F0Diff) Source # | |

Pretty (WithEnclosing T0Diff) Source # | |

type T0Diff = DiffResult (Term0 (T DiffResult)) Source #

type F0Diff = DiffResult (Formula0 (T DiffResult) (F DiffResult)) Source #

isSame :: forall t. DiffResult t -> Bool Source #

diffGenF :: Gen Formula Source #

Less random generator for generating formulae suitable for testing diff

printSampleDiffs :: IO () Source #