Version 1.5.3.1
- Bumped the upper bound of the
template-haskell dependency.
Version 1.5.3
- Fixed compilation with GHC 9.8.1 and
template-haskell 2.22
Version 1.5.2
- Fixed the generated TH instance contexts for GADTs.
- Fixed the generated signature of the
deliver instance method in presence of InstanceSigs.
- Bumped the upper bound of the
template-haskell dependency.
Version 1.5.1
- Fixed the
Rank2.TH templates on GHC < 9.2 with no OverloadedRecordDot support to revert to their
1.4.6 behaviour.
Version 1.5
- The
Rank2.TH templates have changed, are now applicable with DuplicateRecordFields provided that
OverloadedRecordDot is enabled.
Rank2.TH.deriveLogistic also needs ScopedTypeVariables and InstanceSigs extensions to generate
proper record updates.
Version 1.4.6
- Added the
Logistic type class, getters and setters
- Added
Rank2.TH.deriveLogistic, included it in deriveAll
- Compiling with GHC 9.4.2
- Forward compatibility with
TypeFamilies
Version 1.4.4
- Tested with GHC 9.2.1, incremented the upper
template-haskell dependency bound
- Generalized the TH generation to handle PolyRec types
- Incremented the lower bound of rank2classes'
base dependency, thanks to phadej
Version 1.4.3
- Fixed links to standard rank-1 classes in Haddock documentation
- Fixed issue #23 with the
traverse template generated for sum types with a fieldless constructor
- Incremented upper dependency bounds
Version 1.4.2
- Fixed compatibility with GHC 9 - PR by Felix Yan
Version 1.4.1
- Fixed the templates for multi-constructor records
- Made Rank2.TH.unsafeDeriveApply even more unsafe
Version 1.4
- Added Rank2.Compose :: ((* -> *) -> ) -> ( -> ) -> (( -> *) -> *)
- Matched the precedence of <$> and <*> operators with Prelude
- Relaxed the lower bound of base dependency to 4.10
Version 1.3.2.1
- Incremented the upper bound of the template-haskell dependency
Version 1.3.2
- Exported the
$ synonym for apply
Version 1.3.1.2
- Fixed doctest module name issue
- Incremented the lower bound of base dependency
Version 1.3.1.1
- Fixed the doctests after cabal get
Version 1.3.1
- Added missing markdown-unlit dependency
- Strictified one argument of Rank2.<$> and Rank2.<*>
Version 1.3
- Added
newtype Flip to exports - PR by Jeremy List
- Generating INLINE pragmas from Rank2.TH
- Generating the proper constraints on derived instances where needed
Version 1.2.1
Version 1.2
- Added the class instances for Data.Functor.Const
- Fixed and optimized the Foldable/Traversable instance code generated for bare fields in Rank2.TH
Version 1.1
- Replaced own
Product data type by the one from Data.Functor.Product
- Added instances of
Data.Functor.Sum
- Removed the TH generation of partial Apply and Distributive instances
- Covered more constructor cases in TH code
- Added use-template-haskell flag, true by default - PR by Dridus
Version 1.0.2
- Fixed the bounds and
Semigroup to compile with GHC 8.4.1
- Added the ~> type synonym
- Fixed
deriveFunctor for record fields with concrete types - PR by Tom Smalley
Version 1.0.1
Version 1.0
- Swapped
distributeWith with cotraverse
- Documentation improvements
Version 0.2.1.1
Version 0.2.1
- Incremented the dependency bounds for GHC 8.2.1
Version 0.2
- Introduced
DistributiveTraversable as a generalization of Distributive
- Export "cotraverse" and "cotraverseTraversable"
- Added
liftA3, liftA4, liftA5
- Added more convienence functions
- Fixed grammatical errors and overlong lines
Version 0.1.1
- Generalized the classes with
{-# LANGUAGE PolyKinds" #-}
Version 0.1