Control.Monad.TransLogicState.Class

Documentation

class MonadTrans t => TransLogicState s t where

Additions to MonadTrans specifically useful for LogicState

Minimal complete definition

liftWithState

Methods

observeT :: MonadFail m => s -> t m a -> m a

Extracts the first result from a 't m' computation, failing otherwise.

observeAllT :: Monad m => s -> t m a -> m [a]

Extracts all results from a 't m' computation.

observeStateAllT :: Monad m => s -> t m a -> m ([a], s)

Extracts all results from a 't m' computation.

observeManyT :: forall m a. Monad m => s -> Int -> t m a -> m [a]

Extracts up to a given number of results from a 't m' computation.

observeStateManyT :: forall m a. Monad m => s -> Int -> t m a -> m ([a], s)

Extracts up to a given number of results from a 't m' computation.

liftWithState :: Monad m => (s -> m (a, s)) -> t m a

Lift a monad by threading the state available in the transformed monad through it

Instances

TransLogicState () LogicT

Defined in Control.Monad.LogicState.Logic

Methods

observeT :: MonadFail m => () -> LogicT m a -> m a

observeAllT :: Monad m => () -> LogicT m a -> m [a]

observeStateAllT :: Monad m => () -> LogicT m a -> m ([a], ())

observeManyT :: Monad m => () -> Int -> LogicT m a -> m [a]

observeStateManyT :: Monad m => () -> Int -> LogicT m a -> m ([a], ())

liftWithState :: Monad m => (() -> m (a, ())) -> LogicT m a

TransLogicState (gs, bs) (LogicStateT gs bs)

Defined in Control.Monad.LogicState

Methods

observeT :: MonadFail m => (gs, bs) -> LogicStateT gs bs m a -> m a

observeAllT :: Monad m => (gs, bs) -> LogicStateT gs bs m a -> m [a]

observeStateAllT :: Monad m => (gs, bs) -> LogicStateT gs bs m a -> m ([a], (gs, bs))

observeManyT :: Monad m => (gs, bs) -> Int -> LogicStateT gs bs m a -> m [a]

observeStateManyT :: Monad m => (gs, bs) -> Int -> LogicStateT gs bs m a -> m ([a], (gs, bs))

liftWithState :: Monad m => ((gs, bs) -> m (a, (gs, bs))) -> LogicStateT gs bs m a

observe :: TransLogicState s t => s -> t Maybe a -> Maybe a

Extracts the first result from a LogicVar computation.

observeAll :: TransLogicState s t => s -> t Identity a -> [a]

Extracts all results from a LogicVar computation.

observeMany :: TransLogicState s t => s -> Int -> t Identity a -> [a]

Extracts up to a given number of results from a LogicVar computation.