Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- authAppMiddleware :: HasAuthKey principal => AuthChecker principal -> AppMiddleware
- data CheckAuth (principal :: *)
- class HasAuthKey principal where
- authKey :: Key (AuthChecker principal)
- toLog :: principal -> Text
- newtype AuthChecker principal = AuthChecker {
- runCheckAuth :: Request -> App principal
Auth Middleware
authAppMiddleware :: HasAuthKey principal => AuthChecker principal -> AppMiddleware Source #
data CheckAuth (principal :: *) Source #
Instances
(HasSwagger api, ToParamSchema principal) => HasSwagger (CheckAuth principal :> api :: Type) Source # | |
(HasContextEntry context Env, HasServer api context, HasAuthKey principal) => HasServer (CheckAuth principal :> api :: Type) context Source # | |
Defined in Yam.Middleware.Auth route :: Proxy (CheckAuth principal :> api) -> Context context -> Delayed env (Server (CheckAuth principal :> api)) -> Router env # hoistServerWithContext :: Proxy (CheckAuth principal :> api) -> Proxy context -> (forall x. m x -> n x) -> ServerT (CheckAuth principal :> api) m -> ServerT (CheckAuth principal :> api) n # | |
type ServerT (CheckAuth principal :> api :: Type) m Source # | |
class HasAuthKey principal where Source #
newtype AuthChecker principal Source #
AuthChecker | |
|
Instances
Default (AuthChecker principal) Source # | |
Defined in Yam.Middleware.Auth def :: AuthChecker principal # |