Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
specM' :: (MonadSpec m, Eq a) => a -> a -> m aSource
As per spec
, without the check for whether or not the second argument
is already evaluated.
specOnM :: (MonadSpec m, Eq c) => (a -> c) -> a -> a -> m aSource
spec'
with a user supplied comparison function
specOnM' :: (MonadSpec m, Eq c) => (a -> c) -> a -> a -> m aSource
spec'
with a user supplied comparison function