Safe Haskell | None |
---|---|
Language | Haskell2010 |
Laws for 'MonadBase.
Documentation
liftBase_return :: forall m n a. MonadBase n m => a -> Equation (m a) Source #
liftBase_bind :: forall m n a b. MonadBase n m => n a -> (a -> n b) -> Equation (m b) Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Laws for 'MonadBase.
liftBase_return :: forall m n a. MonadBase n m => a -> Equation (m a) Source #
liftBase_bind :: forall m n a b. MonadBase n m => n a -> (a -> n b) -> Equation (m b) Source #