Safe Haskell	Safe-Inferred
Language	Haskell2010

HaskellCI.Diagnostics

Documentation

class Monad m => MonadDiagnostics m where Source #

Methods

putStrLnErr :: String -> m a Source #

putStrLnErrs :: NonEmpty String -> m a Source #

putStrLnWarn :: String -> m () Source #

putStrLnInfo :: String -> m () Source #

Instances

Instances details

MonadDiagnostics IO Source #
Instance details Defined in HaskellCI.Diagnostics Methods putStrLnErr :: String -> IO a Source # putStrLnErrs :: NonEmpty String -> IO a Source # putStrLnWarn :: String -> IO () Source # putStrLnInfo :: String -> IO () Source #
Monad m => MonadDiagnostics (DiagnosticsT m) Source #
Instance details Defined in HaskellCI.Diagnostics Methods putStrLnErr :: String -> DiagnosticsT m a Source # putStrLnErrs :: NonEmpty String -> DiagnosticsT m a Source # putStrLnWarn :: String -> DiagnosticsT m () Source # putStrLnInfo :: String -> DiagnosticsT m () Source #

newtype DiagnosticsT m a Source #

Constructors

Diagnostics
Fields unDiagnostics :: MaybeT (WriterT [String] m) a

Instances

Instances details

MonadIO m => MonadIO (DiagnosticsT m) Source #
Instance details Defined in HaskellCI.Diagnostics Methods liftIO :: IO a -> DiagnosticsT m a #
Monad m => Applicative (DiagnosticsT m) Source #
Instance details Defined in HaskellCI.Diagnostics Methods pure :: a -> DiagnosticsT m a # (<>) :: DiagnosticsT m (a -> b) -> DiagnosticsT m a -> DiagnosticsT m b # liftA2 :: (a -> b -> c) -> DiagnosticsT m a -> DiagnosticsT m b -> DiagnosticsT m c # (>) :: DiagnosticsT m a -> DiagnosticsT m b -> DiagnosticsT m b # (<*) :: DiagnosticsT m a -> DiagnosticsT m b -> DiagnosticsT m a #
Functor m => Functor (DiagnosticsT m) Source #
Instance details Defined in HaskellCI.Diagnostics Methods fmap :: (a -> b) -> DiagnosticsT m a -> DiagnosticsT m b # (<$) :: a -> DiagnosticsT m b -> DiagnosticsT m a #
Monad m => Monad (DiagnosticsT m) Source #
Instance details Defined in HaskellCI.Diagnostics Methods (>>=) :: DiagnosticsT m a -> (a -> DiagnosticsT m b) -> DiagnosticsT m b # (>>) :: DiagnosticsT m a -> DiagnosticsT m b -> DiagnosticsT m b # return :: a -> DiagnosticsT m a #
MonadCatch m => MonadCatch (DiagnosticsT m) Source #
Instance details Defined in HaskellCI.Diagnostics Methods catch :: (HasCallStack, Exception e) => DiagnosticsT m a -> (e -> DiagnosticsT m a) -> DiagnosticsT m a #
MonadMask m => MonadMask (DiagnosticsT m) Source #
Instance details Defined in HaskellCI.Diagnostics Methods mask :: HasCallStack => ((forall a. DiagnosticsT m a -> DiagnosticsT m a) -> DiagnosticsT m b) -> DiagnosticsT m b # uninterruptibleMask :: HasCallStack => ((forall a. DiagnosticsT m a -> DiagnosticsT m a) -> DiagnosticsT m b) -> DiagnosticsT m b # generalBracket :: HasCallStack => DiagnosticsT m a -> (a -> ExitCase b -> DiagnosticsT m c) -> (a -> DiagnosticsT m b) -> DiagnosticsT m (b, c) #
MonadThrow m => MonadThrow (DiagnosticsT m) Source #
Instance details Defined in HaskellCI.Diagnostics Methods throwM :: (HasCallStack, Exception e) => e -> DiagnosticsT m a #
Monad m => MonadDiagnostics (DiagnosticsT m) Source #
Instance details Defined in HaskellCI.Diagnostics Methods putStrLnErr :: String -> DiagnosticsT m a Source # putStrLnErrs :: NonEmpty String -> DiagnosticsT m a Source # putStrLnWarn :: String -> DiagnosticsT m () Source # putStrLnInfo :: String -> DiagnosticsT m () Source #

runDiagnosticsT :: DiagnosticsT m a -> m (Maybe a, [String]) Source #