test-monad-laws-0.0.0.0: Laws for mtl classes as QuickCheck properties.

Safe HaskellNone
LanguageHaskell2010

Test.Monad.Base

Description

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 #