yam-0.5.5: Yam Web

Safe HaskellNone
LanguageHaskell2010

Yam.Types

Contents

Synopsis

AppM Monad

data App a Source #

Instances
Monad App Source # 
Instance details

Defined in Yam.Types

Methods

(>>=) :: App a -> (a -> App b) -> App b #

(>>) :: App a -> App b -> App b #

return :: a -> App a #

fail :: String -> App a #

Functor App Source # 
Instance details

Defined in Yam.Types

Methods

fmap :: (a -> b) -> App a -> App b #

(<$) :: a -> App b -> App a #

Applicative App Source # 
Instance details

Defined in Yam.Types

Methods

pure :: a -> App a #

(<*>) :: App (a -> b) -> App a -> App b #

liftA2 :: (a -> b -> c) -> App a -> App b -> App c #

(*>) :: App a -> App b -> App b #

(<*) :: App a -> App b -> App a #

MonadIO App Source # 
Instance details

Defined in Yam.Types

Methods

liftIO :: IO a -> App a #

MonadUnliftIO App Source # 
Instance details

Defined in Yam.Types

Methods

askUnliftIO :: App (UnliftIO App) #

withRunInIO :: ((forall a. App a -> IO a) -> IO b) -> App b #

MonadLogger App Source # 
Instance details

Defined in Yam.Types

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> App () #

MonadLoggerIO App Source # 
Instance details

Defined in Yam.Types

Methods

askLoggerIO :: App (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) #

MonadTracing App Source # 
Instance details

Defined in Yam.Middleware.Trace

Methods

runInSpan :: SpanName -> (Span -> App ()) -> (Span -> App a) -> App a Source #

MonadTracer App Source # 
Instance details

Defined in Yam.Middleware.Trace

Methods

askSpanContext :: App SpanContext Source #

MonadReader Env App Source # 
Instance details

Defined in Yam.Types

Methods

ask :: App Env #

local :: (Env -> Env) -> App a -> App a #

reader :: (Env -> a) -> App a #

runApp :: Env -> App a -> IO a Source #

askAttr :: Key a -> App (Maybe a) Source #

withAttr :: Key a -> a -> App b -> App b Source #