Safe Haskell	None
Language	Haskell2010

Polysemy.Test.Assert

Documentation

Constructors

Instances details

Show ValueIsNothing Source #
Instance details 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 () Source #

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

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

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 () #