Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- controlTToIO :: Bool -> ControlT IO a -> IO a
- controlTToIOWithoutLogs :: ControlT IO a -> IO a
- controlTToIOWithLogs :: ControlT IO a -> IO a
- controlToIO :: Control a -> IO a
- runControlT :: ControlT m a -> m $ SafeWithMessages a
- runControl :: Control a -> SafeWithMessages a
- safeWithMessagesToText :: SafeWithMessages a -> Text
- controlT :: Monad m => m a -> ControlT m a
- control :: a -> Control a
- safeWithMessages :: a -> SafeWithMessages a
- type MonadControl m = (MonadLogger m, MonadSafe m)
- type ControlT m = SafeT (LoggerT m)
- type Control a = Logger $ Safe a
- type UnitSafeWithMessages = SafeWithMessages ()
- type SafeWithMessages a = WithMessages (Safe a)
Documentation
controlTToIOWithoutLogs :: ControlT IO a -> IO a #
controlTToIOWithLogs :: ControlT IO a -> IO a #
controlToIO :: Control a -> IO a #
runControlT :: ControlT m a -> m $ SafeWithMessages a #
runControl :: Control a -> SafeWithMessages a #
safeWithMessagesToText :: SafeWithMessages a -> Text #
safeWithMessages :: a -> SafeWithMessages a #
type MonadControl m = (MonadLogger m, MonadSafe m) #
Types
type UnitSafeWithMessages = SafeWithMessages () #
type SafeWithMessages a = WithMessages (Safe a) #