Change log

0.7.0.1

• Start supporting GHC 9.6. See #72.

0.7

• Drop MonadTrans (ExceptT e) instance to allow transformers-0.6.1. See #70.

0.6

• Start supporting GHC 9.4. See #66.
• Add ComposeTraversable. See #65.
• Make the Applicative instance of ComposeEither more interesting by relying on the Selective f constraint. See #64.
• Make the Lift instance lazier. See #63.
• Stop supporting GHC <= 8.6. See #62.
• Add Control.Selective.Trans.Except transformer. See #39.

0.5

• Allow transformers-0.6, see #47.
• Drop dependencies on mtl and tasty. See #45, #46.
• Derive the stock Eq and Ord instances for Validation, see #43.
• Add selectT, see #42.
• Add more general instances for IdentityT and ReaderT. This is technically a breaking change because Selective is not a superclass of Monad. See #38.

0.4.1

• Allow newer QuickCheck.

0.4

• Add multi-way selective functors: Control.Selective.Multi.

0.3

• Add freer rigid selective functors: Control.Selective.Rigid.Freer.
• Rename Control.Selective.Free.Rigid to Control.Selective.Rigid.Free.
• Add free selective functors: Control.Selective.Free.
• Switch to more conventional field names in SelectA and SelectM.

0.2

• Make compatible with GHC >= 8.0.2.
• Add another free construction Control.Selective.Free.
• Add several new Selective instances.