Documentation

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 #