0.8.2.0
- Add instances for
MonadThrow and MonadCatch.
- Add instances
Eq, Ord, Show, Read, IsList for Logic a.
- Speed up
instance MonadLogic Logic with a trick to determine whether a callback is a constant failure.
0.8.1.0
- Add
instance MonadLogic (Control.Monad.Writer.CPS.WriterT w m).
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
0.7.0.2
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.