id-0.0.6: changelog.md

0.0.6

* Add BiIdIdentityLeft and BiIdIdentityRight type aliases
* Add identityLeft optic family (identityLeftProfunctor, identityLeftProfunctorBifunctor, identityLeftBifunctorProfunctor, identityLeftBifunctor)
* Add identityRight optic family (identityRightProfunctor, identityRightProfunctorBifunctor, identityRightBifunctorProfunctor, identityRightBifunctor)

0.0.5

* Use deriving for standard instances where possible
* Fix documentation
* Enable -Werror flag for development builds

0.0.4

* Add Data.BiId module with BiId p s t a b newtype and full instance coverage
* Add INLINE pragmas to all functions and instance methods in Data.Id and Data.BiId
* Add SPECIALIZE pragmas on identity isos for common concrete types ((,), Either, (->))
* Add Comonad instance for Id

0.0.3

* Add __Unwrapped iso (dual of __Wrapped) with specializations for all type aliases
* Change ReviewId target from (f x) to (Id f x)
* Add GetterId, HasId, ReviewId, AsId instances for canonical functors: Identity, Maybe, [], NonEmpty, Either e, (,) w, Const c, Proxy, Tagged s

0.0.2

* Add type classes: GetterId, HasId, ReviewId, AsId
* Add type aliases: IdProxy, IdMaybe, IdIdentity, IdEither, IdWriter, IdList, IdNonEmpty, IdConst, IdTagged
* Add functions: unId, mapId
* Add __Wrapped iso (fully type-changing) with specializations for all type aliases
* Add optics: idTagged, idProxy, just, rejust, nothing, renothing
* Add instances: Read, Data, Generic1, Eq1, Ord1, Show1, Read1, Selective, MonadFix, MonadFail, MonadPlus, MonadZip, Contravariant, Divisible, Decidable, Plus, Extend, FunctorWithIndex, FoldableWithIndex, TraversableWithIndex
* Add efficiency methods for Applicative and Foldable
* Fix MonadRWS instance to use distinct type variables
* Add contravariant dependency
* Add doctest suite, CI, ormolu/hlint configuration

0.0.1

* The initial version of id.