Documentation

(^?=) :: (Eq a, Show a) => IO a -> a -> b -> IO () Source

type Given m a = Monad m => m a Source

type Then m a = Monad m => a -> m () Source

type When m a = Monad m => m a Source

andAfter_ :: m a -> (a -> m ()) -> (m a, a -> m ()) infixl 2 Source

expectError_ :: MonadError e m => When m a -> Then m e -> When m () Source

given_ :: (StorableAsGivenWithTeardown m g, Monad m) => GivenWithTeardown m -> g -> GivenWithTeardown m infixl 1 Source

noError :: Then m a Source

testThat :: GivenWithTeardown m Source

then_ :: When m a -> Then m a -> When m a infixl 2 Source

when_ :: Monad m => GivenWithTeardown m -> When m b -> m b infixl 1 Source