Control.Monad.ST.Logic.Internal

Documentation

data LogicT s m a

Instances

Monad (LogicT s m)

Functor (LogicT s m)

MonadST m => MonadPlus (LogicT s m)

Applicative (LogicT s m)

MonadST m => Alternative (LogicT s m)

MonadIO m => MonadIO (LogicT s m)

MonadST m => MonadLogic (LogicT s m)

runLogicT :: MonadST m => (forall s. LogicT s m a) -> (a -> m r -> m r) -> m r -> m r

observeT :: MonadST m => (forall s. LogicT s m a) -> m a

observeAllT :: MonadST m => (forall s. LogicT s m a) -> m [a]

observeManyT :: MonadST m => Int -> (forall s. LogicT s m a) -> m [a]

liftST :: MonadST m => ST (World m) a -> m a

runLogicST :: (forall s. LogicT s (ST s) a) -> (a -> r -> r) -> r -> r

observeST :: (forall s. LogicT s (ST s) a) -> a

observeAllST :: (forall s. LogicT s (ST s) a) -> [a]

observeManyST :: Int -> (forall s. LogicT s (ST s) a) -> [a]

data Ref s m a

newRef :: MonadST m => a -> LogicT s m (Ref s m a)

readRef :: MonadST m => Ref s m a -> LogicT s m a

writeRef :: MonadST m => Ref s m a -> a -> LogicT s m ()

modifyRef :: MonadST m => Ref s m a -> (a -> a) -> LogicT s m ()

modifyRef' :: MonadST m => Ref s m a -> (a -> a) -> LogicT s m ()