Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Monad m => MonadLogic l m | l -> m where Source
Monad m => MonadLogic (LogicT m) m |
listLogic :: (MonadLogic l m, MonadLogic l' n) => Iso (l a) (l' b) (m [a]) (n [b]) Source
deduceMany :: MonadLogic l m => Int -> l a -> m [a] Source
deduceAll :: MonadLogic l m => l a -> m [a] Source
choose :: MonadLogic l m => [a] -> l a Source