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.