mirror of
https://github.com/github/semantic.git
synced 2024-12-26 08:25:19 +03:00
060c8f50ff
The `BlobPair` type is defined as an alias for `Join These Blob`. Though this sacrifices a degree of type safety, it's extremely convenient, as you can get to a Functor and Bifunctor instance very quickly. Pattern-matching on `BlobPair` is less elegant though, as it requires a nested Join then a match on `These`, which is not immediately indicative of what a given pair might do. This adds pattern synonyms for the `Inserting`, `Deleting`, and `Diffing` cases, and removes the less-expressive functions returning such. |
||
---|---|---|
.. | ||
CLI | ||
IO | ||
Stat | ||
Spec.hs |