HaskellCI.Diagnostics

Documentation

class Monad m => MonadDiagnostics m where

Methods

putStrLnErr :: String -> m a

putStrLnErrs :: NonEmpty String -> m a

putStrLnWarn :: String -> m ()

putStrLnInfo :: String -> m ()

Instances

MonadDiagnostics IO

Defined in HaskellCI.Diagnostics

Methods

putStrLnErr :: String -> IO a

putStrLnErrs :: NonEmpty String -> IO a

putStrLnWarn :: String -> IO ()

putStrLnInfo :: String -> IO ()

Monad m => MonadDiagnostics (DiagnosticsT m)

Defined in HaskellCI.Diagnostics

Methods

putStrLnErr :: String -> DiagnosticsT m a

putStrLnErrs :: NonEmpty String -> DiagnosticsT m a

putStrLnWarn :: String -> DiagnosticsT m ()

putStrLnInfo :: String -> DiagnosticsT m ()

newtype DiagnosticsT m a

Constructors

Diagnostics

Fields

• unDiagnostics :: MaybeT (WriterT [String] m) a

Instances

Monad m => Monad (DiagnosticsT m)

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

fail :: String -> DiagnosticsT m a

Functor m => Functor (DiagnosticsT m)

Defined in HaskellCI.Diagnostics

Methods

fmap :: (a -> b) -> DiagnosticsT m a -> DiagnosticsT m b

(<$) :: a -> DiagnosticsT m b -> DiagnosticsT m a

Monad m => Applicative (DiagnosticsT m)

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

MonadIO m => MonadIO (DiagnosticsT m)

Defined in HaskellCI.Diagnostics

Methods

liftIO :: IO a -> DiagnosticsT m a

MonadThrow m => MonadThrow (DiagnosticsT m)

Defined in HaskellCI.Diagnostics

Methods

throwM :: Exception e => e -> DiagnosticsT m a

MonadCatch m => MonadCatch (DiagnosticsT m)

Defined in HaskellCI.Diagnostics

Methods

catch :: Exception e => DiagnosticsT m a -> (e -> DiagnosticsT m a) -> DiagnosticsT m a

MonadMask m => MonadMask (DiagnosticsT m)

Defined in HaskellCI.Diagnostics

Methods

mask :: ((forall a. DiagnosticsT m a -> DiagnosticsT m a) -> DiagnosticsT m b) -> DiagnosticsT m b

uninterruptibleMask :: ((forall a. DiagnosticsT m a -> DiagnosticsT m a) -> DiagnosticsT m b) -> DiagnosticsT m b

generalBracket :: DiagnosticsT m a -> (a -> ExitCase b -> DiagnosticsT m c) -> (a -> DiagnosticsT m b) -> DiagnosticsT m (b, c)

Monad m => MonadDiagnostics (DiagnosticsT m)

Defined in HaskellCI.Diagnostics

Methods

putStrLnErr :: String -> DiagnosticsT m a

putStrLnErrs :: NonEmpty String -> DiagnosticsT m a

putStrLnWarn :: String -> DiagnosticsT m ()

putStrLnInfo :: String -> DiagnosticsT m ()

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