Changelog of @hackage/logict 0.8.0.0

0.8.0.0

  • Breaking change: do not re-export Control.Monad and Control.Monad.Trans from Control.Monad.Logic.
  • Generalize instance Traversable (LogicT Identity) to instance (Traversable m, Monad m) => Traversable (LogicT m).
  • Add conversion functions fromLogicT and fromLogicTWith to facilitate interoperation with list-t and logict-sequence packages.
  • Add hoistLogicT and embedLogicT to convert LogicT computations from one underlying monad to another.

0.7.1.0

  • Improve documentation.
  • Breaking change: relax superclasses of MonadLogic to Monad and Alternative instead of MonadPlus.

0.7.0.3

  • Support GHC 9.0.

0.7.0.2

  • Add Safe pragmas.

0.7.0.1

  • Fix MonadReader r (LogicT m) instance again.

0.7.0.0

  • Remove unlawful MonadLogic (Writer T w m) instances.
  • Fix MonadReader r (LogicT m) instance.
  • Move lnot into MonadLogic class.

0.6.0.3

  • Comply with MonadFail proposal.