logict-0.8.0.0: A backtracking logic-programming monad.

Index

>>- | Control.Monad.Logic.Class, Control.Monad.Logic
embedLogicT | Control.Monad.Logic
fromLogicT | Control.Monad.Logic
fromLogicTWith | Control.Monad.Logic
hoistLogicT | Control.Monad.Logic
ifte | Control.Monad.Logic.Class, Control.Monad.Logic
interleave | Control.Monad.Logic.Class, Control.Monad.Logic
lnot | Control.Monad.Logic.Class, Control.Monad.Logic
Logic | Control.Monad.Logic
logic | Control.Monad.Logic
LogicT |
1 (Type/Class) | Control.Monad.Logic
2 (Data Constructor) | Control.Monad.Logic
MonadLogic | Control.Monad.Logic.Class, Control.Monad.Logic
msplit | Control.Monad.Logic.Class, Control.Monad.Logic
observe | Control.Monad.Logic
observeAll | Control.Monad.Logic
observeAllT | Control.Monad.Logic
observeMany | Control.Monad.Logic
observeManyT | Control.Monad.Logic
observeT | Control.Monad.Logic
once | Control.Monad.Logic.Class, Control.Monad.Logic
reflect | Control.Monad.Logic.Class, Control.Monad.Logic
runLogic | Control.Monad.Logic
runLogicT | Control.Monad.Logic
unLogicT | Control.Monad.Logic