- 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
Applicative
instance ofComposeEither
more interesting by relying on theSelective 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.
- Allow
transformers-0.6
, see #47. - Drop dependencies on
mtl
andtasty
. See #45, #46. - Derive the stock
Eq
andOrd
instances forValidation
, see #43. - Add
selectT
, see #42. - Add more general instances for
IdentityT
andReaderT
. This is technically a breaking change becauseSelective
is 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.Rigid
toControl.Selective.Rigid.Free
. - Add free selective functors:
Control.Selective.Free
. - Switch to more conventional field names in
SelectA
andSelectM
.
- Make compatible with GHC >= 8.0.2.
- Add another free construction
Control.Selective.Free
. - Add several new
Selective
instances.