Conformance.TestUtils
shouldConformStrict :: (Show ue, Show fe, Show w) => Conform ue fe w a -> IO a Source #
shouldConformTStrict :: (Show ue, Show fe, Show w, MonadIO m) => ConformT ue fe w m a -> m a Source #
assertStrictResultSucceeded :: (Show ue, Show fe, Show w) => Either (Either ue (Notes fe w)) a -> IO a Source #
shouldConform :: (Show ue, Show fe) => Conform ue fe w a -> IO a Source #
shouldConformT :: (Show ue, Show fe, MonadIO m) => ConformT ue fe w m a -> m a Source #
shouldConformLenient :: Show ue => Conform ue fe w a -> IO a Source #
shouldConformTLenient :: (Show ue, MonadIO m) => ConformT ue fe w m a -> m a Source #
assertLenientResultSucceeded :: Show ue => Either ue (a, Notes fe w) -> IO a Source #