Documentation

businessTToIO :: Bool -> BusinessT IO a -> IO a #

businessTToIOWithoutLogs :: BusinessT IO a -> IO a #

businessTToIOWithLogs :: BusinessT IO a -> IO a #

businessToIO :: Business a -> IO a #

runBusinessT :: BusinessT m a -> m $ SafeWithMessages a #

runBusiness :: Business a -> SafeWithMessages a #

safeWithMessagesToText :: SafeWithMessages a -> Text #

businessT :: Monad m => m a -> BusinessT m a #

business :: a -> Business a #

safeWithMessages :: a -> SafeWithMessages a #

type MonadBusiness m = (MonadLogger m, MonadSafe m) #

type BusinessT m = SafeT (LoggerT m) #

type Business a = Logger $ Safe a #

type UnitSafeWithMessages = SafeWithMessages () #

type SafeWithMessages a = WithMessages (Safe a) #