Control.Monad.Logic.Sequence.Compat

Documentation

fromSeqT :: (Monad m, Monad (t m), MonadTrans t, Alternative (t m)) => SeqT m a -> t m a

Convert SeqT m a to t m a when t is some other logic monad transformer.

toLogicT :: Monad m => SeqT m a -> LogicT m a

Convert SeqT m a to LogicT m a.

 toLogicT = fromSeqT

fromLogicT :: Monad m => LogicT m a -> SeqT m a

observeT :: MonadFail m => SeqT m a -> m a

observe :: Seq a -> a