Changelog for kan-extensions-5.2.6
5.2.6 [2024.05.04]
-
Drop support for GHC 8.2 and earlier.
-
Generalize instances in
Control.Monad.Codensity
to be of the form:instance (f ~~ f', MonadFail f') => MonadFail (Codensity (f :: k -> TYPE rep))
This avoids having to constrain
k ~ Type
andrep ~ LiftedRep
, which could potentially harm type inference. -
Explicitly implement
liftA2
in theApplicative
instance forData.Functor.Day.Curried
. -
Add an
Adjunction
instance forData.Functor.Day
. -
Add
Adjunction
andDivisible
instances forData.Functor.Contravariant.Day
. -
Add an
Apply
instance forData.Functor.Day.Curried
.
5.2.5 [2022.06.26]
- Only require a
Functor
constraint in theEq
andOrd
instances forCoyoneda
when building againsttransformers-0.4.*
.
5.2.4 [2022.05.07]
- Allow building with
transformers-0.6.*
andmtl-2.3.*
.
5.2.3 [2021.07.27]
- Add
shift
andreset
toControl.Monad.Codensity
.
5.2.2 [2021.02.17]
- Add
hoistCoyoneda
toData.Functor.Contravariant.Coyoneda
.
5.2.1 [2020.10.01]
- Allow building with GHC 9.0.
5.2 [2018.07.03]
- Make
Codensity
levity polymorphic. - Add the
Data.Functor.Invariant.Day
module, which combines the covariant and contravariant versions ofDay
. As a result,kan-extensions
now depends on theinvariant
package. - Add a
wrapCodensity
function. - More efficient
Eq1
,Ord1
, andAdjunction
instances forCoyoneda
. - Add
INLINE
pragmas on more functions. - Allow building with
containers-0.6
.
5.1 [2018.01.28]
- Make
Density
,Codensity
,Kan
andLan
polykinded. - Add
Eq1
,Ord1
,Read1
andShow1
instances forCoyoneda
andYoneda
. - Change contexts of
Eq
andOrd
instances ofCoyoneda
andYoneda
(and theShow
instance forCoyoneda
) to require lifted class instances, e.g.Eq1 f, Eq a
. - Allow
free-5
.
5.0.2
- Added
hoistCoyoneda
5.0.1
- Removed some redundant constraints
5
- Move
Data.Functor.Kan.Rift
toData.Functor.Day.Curried
4.2.3
- Builds clean on GHC 7.10
4.2.2
semigroupoids
5 support
4.2.1
- Add
liftRift
andlowerRift
4.2
- Remove pointed dependency
4.1.1
- Added
Applicative
instance forDay
- Added
Typeable
instance forCodensity
4.1.0.1
- Added
tagged
dependency
4.1
- Moved co- and contra- variant
Day
convolution fromcontravariant
to here. Day convolution is intimately connected toRift
.
4.0.3
- Added
liftCoT0M
,liftCoT1M
,diter
anddctrlM
for usingCoT w m
to model a state machine with states inw
and effects inm
.
4.0.2
- Made fixes necessary to work around changes in
ImpredicativeTypes
for GHC 7.8.1rc2
4.0.1
- Bug fix so we can compile on GHC 7.4
4.0
- Removed
keys
dependency - Now compatible with
adjunctions
4.0
3.7
- Moved all the
Yoneda
variants around again. - Improved haddocks
3.6.2
- Added
Data.Functor.Contravariant.Yoneda
to complete the set of Yoneda embeddings/reductions.
3.6.1
- Added several missing isomorphisms
3.6
instance Monad m => MonadSpec (Yoneda m)
3.5.1
- Fixed a bug in the signature for
composedRepToCodensity
.
3.5
- More combinators for
Rift
/Lift
. - Added combinators for working with representable functors rather than just adjoint functors.
- Split
Data.Functor.KanExtension
intoData.Functor.Kan.Ran
andData.Functor.Kan.Lan
- Split
Data.Functor.KanLift
intoData.Functor.Kan.Rift
andData.Functor.Kan.Lift
- Moved from
Data.Functor.Yoneda.Contravariant
toData.Functor.Yoneda.Reduction
adopting terminology from Todd Trimble. - Added various missing isomorphisms.
- Greatly improved the Haddocks for this package stating laws and derivations where we can (especially for 'Rift' and 'Ran').
3.3
- Rift is now
Applicative
. Addedrap
.
3.2
- Added right and left Kan lifts under
Data.Functor.KanLift
. - Decreased reliance on the
Composition
class where unnecessary in the API
3.1.2
- Marked modules
Trustworthy
as required forSafeHaskell
in the presence of these extensions.
3.1.1
- Refactored build system
- IRC build-bot notification
- Removed upper bounds on dependencies on my other packages
3.1
- Moved
Control.Monad.Free.Church
over to thefree
package instead and removed it fromkan-extensions