logict-0.8.1.0: A backtracking logic-programming monad.

Index

>>-Control.Monad.Logic.Class, Control.Monad.Logic
embedLogicTControl.Monad.Logic
fromLogicTControl.Monad.Logic
fromLogicTWithControl.Monad.Logic
hoistLogicTControl.Monad.Logic
ifteControl.Monad.Logic.Class, Control.Monad.Logic
interleaveControl.Monad.Logic.Class, Control.Monad.Logic
lnotControl.Monad.Logic.Class, Control.Monad.Logic
LogicControl.Monad.Logic
logicControl.Monad.Logic
LogicT 
1 (Type/Class)Control.Monad.Logic
2 (Data Constructor)Control.Monad.Logic
MonadLogicControl.Monad.Logic.Class, Control.Monad.Logic
msplitControl.Monad.Logic.Class, Control.Monad.Logic
observeControl.Monad.Logic
observeAllControl.Monad.Logic
observeAllTControl.Monad.Logic
observeManyControl.Monad.Logic
observeManyTControl.Monad.Logic
observeTControl.Monad.Logic
onceControl.Monad.Logic.Class, Control.Monad.Logic
reflectControl.Monad.Logic.Class, Control.Monad.Logic
runLogicControl.Monad.Logic
runLogicTControl.Monad.Logic
unLogicTControl.Monad.Logic