Changelog of @hackage/kan-extensions 3.6

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 into Data.Functor.Kan.Ran and Data.Functor.Kan.Lan
• Split Data.Functor.KanLift into Data.Functor.Kan.Rift and Data.Functor.Kan.Lift
• Moved from Data.Functor.Yoneda.Contravariant to Data.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. Added rap.

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 for SafeHaskell 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 the free package instead and removed it from kan-extensions