Safe Haskell	None
Language	Haskell2010

Servant.Auth.Server.Internal.Class

Contents

Helper

Synopsis

class IsAuth a v where
- type AuthArgs a :: [Type]
- runAuth :: proxy a -> proxy v -> Unapp (AuthArgs a) (AuthCheck v)
class AreAuths (as :: [Type]) (ctxs :: [Type]) v where
- runAuths :: proxy as -> Context ctxs -> AuthCheck v
type family Unapp (ls :: [Type]) res where ...
type family App (ls :: [Type]) res where ...
class AppCtx (ctx :: [Type]) (ls :: [Type]) res where
- appCtx :: proxy ls -> Context ctx -> res -> App ls res

Documentation

class IsAuth a v where Source #

IsAuth a ctx v indicates that a is an auth type that expects all elements of ctx to be the in the Context and whose authentication check returns an AuthCheck v.

Associated Types

type AuthArgs a :: [Type] Source #

Methods

runAuth :: proxy a -> proxy v -> Unapp (AuthArgs a) (AuthCheck v) Source #

Instances

Instances details

FromBasicAuthData usr => IsAuth BasicAuth usr Source #

Instance details

Defined in Servant.Auth.Server.Internal.Class

Associated Types

type AuthArgs BasicAuth
Instance details Defined in Servant.Auth.Server.Internal.Class type AuthArgs BasicAuth = '[BasicAuthCfg]

Methods

runAuth :: proxy BasicAuth -> proxy usr -> Unapp (AuthArgs BasicAuth) (AuthCheck usr) Source #

FromJWT usr => IsAuth Cookie usr Source #

Instance details

Defined in Servant.Auth.Server.Internal.Class

Associated Types

type AuthArgs Cookie
Instance details Defined in Servant.Auth.Server.Internal.Class type AuthArgs Cookie = '[CookieSettings, JWTSettings]

Methods

runAuth :: proxy Cookie -> proxy usr -> Unapp (AuthArgs Cookie) (AuthCheck usr) Source #

FromJWT usr => IsAuth JWT usr Source #

Instance details

Defined in Servant.Auth.Server.Internal.Class

Associated Types

type AuthArgs JWT
Instance details Defined in Servant.Auth.Server.Internal.Class type AuthArgs JWT = '[JWTSettings]

Methods

runAuth :: proxy JWT -> proxy usr -> Unapp (AuthArgs JWT) (AuthCheck usr) Source #

Helper

class AreAuths (as :: [Type]) (ctxs :: [Type]) v where Source #

Methods

runAuths :: proxy as -> Context ctxs -> AuthCheck v Source #

Instances

Instances details

AreAuths ('[] :: [Type]) ctxs v Source #
Instance details Defined in Servant.Auth.Server.Internal.Class Methods runAuths :: proxy ('[] :: [Type]) -> Context ctxs -> AuthCheck v Source #
(AppCtx ctxs (AuthArgs a) (Unapp (AuthArgs a) (AuthCheck v)), AreAuths as ctxs v, AuthCheck v ~ App (AuthArgs a) (Unapp (AuthArgs a) (AuthCheck v)), IsAuth a v) => AreAuths (a ': as) ctxs v Source #
Instance details Defined in Servant.Auth.Server.Internal.Class Methods runAuths :: proxy (a ': as) -> Context ctxs -> AuthCheck v Source #

type family Unapp (ls :: [Type]) res where ... Source #

Equations

Unapp ('[] :: [Type]) res = res
Unapp (arg1 ': rest) res = arg1 -> Unapp rest res

type family App (ls :: [Type]) res where ... Source #

Equations

App ('[] :: [Type]) res = res
App (arg1 ': rest) (arg1 -> res) = App rest res

class AppCtx (ctx :: [Type]) (ls :: [Type]) res where Source #

AppCtx applies the function res to the arguments in ls by taking the values from the Context provided.

Methods

appCtx :: proxy ls -> Context ctx -> res -> App ls res Source #

Instances

Instances details

AppCtx ctx ('[] :: [Type]) res Source #
Instance details Defined in Servant.Auth.Server.Internal.Class Methods appCtx :: proxy ('[] :: [Type]) -> Context ctx -> res -> App ('[] :: [Type]) res Source #
(AppCtx ctxs rest res, HasContextEntry ctxs ctx) => AppCtx ctxs (ctx ': rest) (ctx -> res) Source #
Instance details Defined in Servant.Auth.Server.Internal.Class Methods appCtx :: proxy (ctx ': rest) -> Context ctxs -> (ctx -> res) -> App (ctx ': rest) (ctx -> res) Source #