Test.Bdd

Documentation

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

type Given m a = Monad m => m a

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

type When m a = Monad m => m a

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

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

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

noError :: Then m a

testThat :: GivenWithTeardown m

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

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