Safe Haskell	None
Language	GHC2024

Napkin.Run.Types.NapkinMonad

Documentation

runNapkinExceptM :: LogEnv -> NapkinExceptM a -> IO (Either NapkinError a) #

startNapkinExceptM :: LogOptions -> NapkinExceptM a -> IO (Either NapkinError a) #

type NapkinExceptM = NapkinExceptM' NapkinError #

newtype NapkinExceptM' e a #

Constructors

NapkinExceptM (NapkinExceptT e a)

Instances

Instances details

MonadError e (NapkinExceptM' e) #
Instance details Defined in Napkin.Run.Types.NapkinMonad Methods throwError :: e -> NapkinExceptM' e a # catchError :: NapkinExceptM' e a -> (e -> NapkinExceptM' e a) -> NapkinExceptM' e a #
Applicative (NapkinExceptM' e) #
Instance details Defined in Napkin.Run.Types.NapkinMonad Methods pure :: a -> NapkinExceptM' e a # (<>) :: NapkinExceptM' e (a -> b) -> NapkinExceptM' e a -> NapkinExceptM' e b # liftA2 :: (a -> b -> c) -> NapkinExceptM' e a -> NapkinExceptM' e b -> NapkinExceptM' e c # (>) :: NapkinExceptM' e a -> NapkinExceptM' e b -> NapkinExceptM' e b # (<*) :: NapkinExceptM' e a -> NapkinExceptM' e b -> NapkinExceptM' e a #
Functor (NapkinExceptM' e) #
Instance details Defined in Napkin.Run.Types.NapkinMonad Methods fmap :: (a -> b) -> NapkinExceptM' e a -> NapkinExceptM' e b # (<$) :: a -> NapkinExceptM' e b -> NapkinExceptM' e a #
Monad (NapkinExceptM' e) #
Instance details Defined in Napkin.Run.Types.NapkinMonad Methods (>>=) :: NapkinExceptM' e a -> (a -> NapkinExceptM' e b) -> NapkinExceptM' e b # (>>) :: NapkinExceptM' e a -> NapkinExceptM' e b -> NapkinExceptM' e b # return :: a -> NapkinExceptM' e a #
MonadIO (NapkinExceptM' e) #
Instance details Defined in Napkin.Run.Types.NapkinMonad Methods liftIO :: IO a -> NapkinExceptM' e a #
Katip (NapkinExceptM' e) #
Instance details Defined in Napkin.Run.Types.NapkinMonad Methods getLogEnv :: NapkinExceptM' e LogEnv # localLogEnv :: (LogEnv -> LogEnv) -> NapkinExceptM' e a -> NapkinExceptM' e a #
MonadResource (NapkinExceptM' e) #
Instance details Defined in Napkin.Run.Types.NapkinMonad Methods liftResourceT :: ResourceT IO a -> NapkinExceptM' e a #

type NapkinExceptT e = ExceptT e (KatipT (ResourceT IO)) #

module Napkin.Run.Types.ErrorReporting