Changelog of @hackage/id 0.0.6

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.