| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Util.Monad.Logic.Class
Documentation
(\/) :: MonadLogic m => m a -> m a -> m a infixr 7 Source #
(><) :: MonadLogic m => m a -> m b -> m (a, b) infixr 8 Source #
(<~>) :: MonadLogic m => m (a -> b) -> m a -> m b infixl 4 Source #
liftL2 :: MonadLogic m => (a -> b -> c) -> m a -> m b -> m c Source #
liftL3 :: MonadLogic m => (a -> b -> c -> d) -> m a -> m b -> m c -> m d Source #