- Start supporting GHC 9.6. See #72.
- Drop
MonadTrans (ExceptT e)instance to allowtransformers-0.6.1. See #70.
- Start supporting GHC 9.4. See #66.
- Add
ComposeTraversable. See #65. - Make the
Applicativeinstance ofComposeEithermore interesting by relying on theSelective fconstraint. See #64. - Make the
Liftinstance lazier. See #63. - Stop supporting GHC <= 8.6. See #62.
- Add
Control.Selective.Trans.Excepttransformer. See #39.
- Allow
transformers-0.6, see #47. - Drop dependencies on
mtlandtasty. See #45, #46. - Derive the stock
EqandOrdinstances forValidation, see #43. - Add
selectT, see #42. - Add more general instances for
IdentityTandReaderT. This is technically a breaking change becauseSelectiveis not a superclass ofMonad. See #38.
- Allow newer QuickCheck.
- Add multi-way selective functors:
Control.Selective.Multi.
- Add freer rigid selective functors:
Control.Selective.Rigid.Freer. - Rename
Control.Selective.Free.RigidtoControl.Selective.Rigid.Free. - Add free selective functors:
Control.Selective.Free. - Switch to more conventional field names in
SelectAandSelectM.
- Make compatible with GHC >= 8.0.2.
- Add another free construction
Control.Selective.Free. - Add several new
Selectiveinstances.