Polysemy.Test.Assert

Documentation

data ValueIsNothing

Constructors

ValueIsNothing

Instances

Show ValueIsNothing

Defined in Polysemy.Test.Assert

Methods

showsPrec :: Int -> ValueIsNothing -> ShowS

show :: ValueIsNothing -> String

showList :: [ValueIsNothing] -> ShowS

assertRight :: Eq a => Show a => Show e => Monad m => a -> Either e a -> TestT m ()

assertJust :: Eq a => Show a => Monad m => a -> Maybe a -> TestT m ()

evalMaybe :: Monad m => Maybe a -> TestT m a

assert :: (MonadTest m, HasCallStack) => Bool -> m ()

evalEither :: (MonadTest m, Show x, HasCallStack) => Either x a -> m a

(===) :: (MonadTest m, Eq a, Show a, HasCallStack) => a -> a -> m ()