Documentation

safeIOToPTextIO :: Show a => IO (Safe a) -> IO Text #

safeIOToIO :: IO (Safe a) -> IO a #

safeToIO :: Safe a -> IO a #

safeTToIO :: SafeT IO a -> IO a #

runSafeT :: SafeT m a -> m (Safe a) #

runSafe :: Safe a -> Safe a #

safeToText :: Safe a -> Text #

safeToEitherLegacy :: Safe a -> EitherLegacy a #

orErrorTuple :: MessageTuple -> Safe a -> a #

orError :: Show e => e -> Safe a -> a #

unsafe :: Safe a -> a #

nonEmptyFromList :: MonadSafe m => Text -> [a] -> m $ NonEmpty a #

maybeOrError :: Show e => e -> Maybe a -> Safe a #

maybeToSafe :: Message -> Maybe a -> Safe a #

safeT :: Monad m => m a -> SafeT m a #

liftExceptT :: MonadError e m => ExceptT e m a -> m a #

liftSafe :: MonadSafe m => Safe a -> m a #

liftEitherError :: MonadSafe m => EitherError a -> m a #

liftEitherLegacy :: MonadSafe m => EitherLegacy a -> m a #

liftMaybeOrErrorTupleList :: MonadSafe m => [MessageTuple] -> Maybe a -> m a #

liftMaybeOrErrorTuple :: MonadSafe m => MessageTuple -> Maybe a -> m a #

liftMaybeOrError :: MonadSafe m => Message -> Maybe a -> m a #

liftErrorWithTupleList :: MonadSafe m => Message -> [MessageTuple] -> m a #

liftErrorTupleList :: MonadSafe m => [MessageTuple] -> m a #

liftErrorWithPrefix :: MonadSafe m => Message -> Message -> m a #

liftErrorTuple :: MonadSafe m => MessageTuple -> m a #

liftError :: MonadSafe m => Message -> m a #

appendErrorTupleList :: MonadSafe m => [MessageTuple] -> m a -> m a #

appendErrorTuple :: MonadSafe m => MessageTuple -> m a -> m a #

appendError :: MonadSafe m => Message -> m a -> m a #

(<?>) :: MonadSafe m => m a -> Message -> m a infix 0 #

type MonadSafe (m :: Type -> Type) = MonadError Messages m #

type SafeT (m :: Type -> Type) = ExceptT Messages m #

type EitherLegacy = Either String #

type EitherError = Either Text #

type Safe = Either Messages #