Yam.Types

AppM Monad

data App a

Instances

Monad App

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

Defined in Yam.Types

Methods

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

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

Applicative App

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

Defined in Yam.Types

Methods

liftIO :: IO a -> App a

MonadUnliftIO App

Defined in Yam.Types

Methods

askUnliftIO :: App (UnliftIO App)

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

MonadLogger App

Defined in Yam.Types

Methods

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

MonadLoggerIO App

Defined in Yam.Types

Methods

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

MonadTracing App

Defined in Yam.Middleware.Trace

Methods

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

MonadTracer App

Defined in Yam.Middleware.Trace

Methods

askSpanContext :: App SpanContext

MonadReader Env App

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

askApp :: App AppConfig

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

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

requireAttr :: Key a -> App a

module Yam.Types.Env

module Yam.Types.Prelude