Control.Monad.LogicState

A backtracking, logic programming monad partially derived and on top of logict, adding backtrackable state.

LogicT (and thus this library as well) is adapted from the paper /Backtracking, Interleaving, and Terminating Monad Transformers/, by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry (http://www.cs.rutgers.edu/~ccshan/logicprog/LogicT-icfp2005.pdf).

Documentation

module Control.Monad.Logic.Class

module Control.Monad

module Control.Monad.Trans

module Control.Monad.LogicState.Class

module Control.Monad.TransLogicState.Class

The LogicState monad

type LogicState gs bs = LogicStateT gs bs Identity

The basic LogicVar monad, for performing backtracking computations returning values of type a

newtype LogicStateT gs bs m a

A monad transformer for performing backtracking computations layered over another monad m, with propagation of global and backtracking state, e.g. resp. for freshness/uniqueness and maintaining variable mappings.

Constructors

LogicStateT

Fields

unLogicStateT :: forall r. LogicContS gs bs r m a

Instances

MonadReader r m => MonadReader r (LogicStateT gs bs m)

MonadTrans (LogicStateT gs bs)

TransLogicState (gs, bs) (LogicStateT gs bs)

Monad m => MonadState (gs, bs) (LogicStateT gs bs m)

Monad m => MonadLogicState (gs, bs) (LogicStateT gs bs m)

Monad (LogicStateT gs bs m)

Functor (LogicStateT gs bs f)

Applicative (LogicStateT gs bs f)

Alternative (LogicStateT gs bs f)

MonadPlus (LogicStateT gs bs m)

MonadIO m => MonadIO (LogicStateT gs bs m)

Monad m => MonadLogic (LogicStateT gs bs m)