these-1: CHANGELOG.md

# 1

This is major package reogranisation. Old `these` were split into

- `these` providing only `These` type and some combinators
- `these-lens` providing *lens* combinators
- `semialign` providing `Semialign`, `Align`, `Zip`, `Unalign` and `Unzip` classes
- `semialign-indexed` providing `SemialignWithIndex` (`izipWith` and `ialignWith` members).
- `monad-chronicle` providing `ChronicleT` and `MonadChronicle`

Also noticeable change is `unalign :: f (These a b) -> (f a, f b)`.
For the old `f (These a b) -> (f (Maybe a), f (Maybe b))` use `unzipWith (unalign . Just)`.

- Many instances are added.
- Since annotations are removed for all but `these` package.

# 0.8.1

- Add `Semialign` `Tree`, `Tagged`, `(->) e`; `Align` `Compose` and `Proxy` instances
- Allow `semigroups-0.19` and `hashable-1.3`

# 0.8.0

- Split `align` and `alignWith` into own class: `Semialign`.
- `ialign` has default implementation
- Add `Semialign` `NonEmpty` and `Identity` instances
- Add `Swap` and `Assoc` instances (type classes from `assoc` package)
- Move optics into `Data.These.Lens` module,
  and and some combinators `Data.These.Combinators`.
  Also some combinators are renamed, so naming is now consistent.
  As the result `Data.These` has very minimal exports.
- Change type of `partitionThese` (nested pairs to triple)
- Add `partitionHereThere :: [These a b] -> ([a],[b])`

# 0.7.6

- Tigthen lower bounds
- Add dependency on `lens`
- Add `assoc`, `reassoc`, `swap` and `Swapped` instance
- Add since annotations for things added in 0.7.x
- Add `AlignWithKey ZipList` instance
- Add `Data.Align.Indexed` module.
- Add `Data.Functor.These` with `These1` data type.
- Add associativity law
- Add `toList` property to enforce "align"-feel.
- `Map` and `IntMap` `Align` instances implemented using merge combinators
  (when available)

# 0.7.5

- Add `Compose` and `(,)` `Crosswalk` instances
- Add `bitraverseThese`
- GHC-8.6 support

# 0.7.4

- `QuickCheck-2.10` support: `Arbitrary1/2` instances
- GHC-8.2 support

# 0.7.3

- Add `salign :: (Align f, Semigroup a) => f a -> f a -> f a`

# 0.7.2

- Support `aeson-1`: add `FromJSON1`, `FromJSON2` `ToJSON1`, and `ToJSON2` `These` instances.

# 0.7.1

- Add `AlignWithKey` in `Data.Align.Key` (added dependency `keys`)
- Add `These` instances for
    - `binary`: `Binary`
    - `aeson`: `FromJSON`, `ToJSON`
    - `QuickCheck`: `Arbitrary`, `CoArbitrary`, `Function`
    - `deepseq`: `NFData`

# 0.7

- Breaking change: Generalized `Monad`, `Applicative` instances of `These` and `Chronicle` to require only a `Semigroup` constraint
- More efficient `Align Seq` implementation
- Add `Crosswalk Seq` and `Vector` instances

# 0.6.2.1

- Support quickcheck-instances-0.3.12 (tests)

# 0.6.2.0

- Add support to bifunctors-5.1