Servant.Auth.Server.Internal.Class

Documentation

class IsAuth a v where

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.

Minimal complete definition

runAuth

Associated Types

type AuthArgs a :: [*]

Methods

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

Instances

FromJWT usr => IsAuth JWT usr

Defined in Servant.Auth.Server.Internal.Class

Associated Types

type AuthArgs JWT :: [*]

Methods

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

FromJWT usr => IsAuth Cookie usr

Defined in Servant.Auth.Server.Internal.Class

Associated Types

type AuthArgs Cookie :: [*]

Methods

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

FromBasicAuthData usr => IsAuth BasicAuth usr

Defined in Servant.Auth.Server.Internal.Class

Associated Types

type AuthArgs BasicAuth :: [*]

Methods

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

Helper

class AreAuths (as :: [*]) (ctxs :: [*]) v where

Minimal complete definition

runAuths

Methods

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

Instances

AreAuths ([] :: [*]) ctxs v

Defined in Servant.Auth.Server.Internal.Class

Methods

runAuths :: proxy [] -> Context ctxs -> AuthCheck v

(AuthCheck v ~ App (AuthArgs a) (Unapp (AuthArgs a) (AuthCheck v)), IsAuth a v, AreAuths as ctxs v, AppCtx ctxs (AuthArgs a) (Unapp (AuthArgs a) (AuthCheck v))) => AreAuths (a ': as) ctxs v

Defined in Servant.Auth.Server.Internal.Class

Methods

runAuths :: proxy (a ': as) -> Context ctxs -> AuthCheck v

type family Unapp ls res where ...

Equations

Unapp '[] res = res

Unapp (arg1 ': rest) res = arg1 -> Unapp rest res

type family App ls res where ...

Equations

App '[] res = res

App (arg1 ': rest) (arg1 -> res) = App rest res

class AppCtx ctx ls res where

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

Minimal complete definition

appCtx

Methods

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

Instances

AppCtx ctx ([] :: [*]) res

Defined in Servant.Auth.Server.Internal.Class

Methods

appCtx :: proxy [] -> Context ctx -> res -> App [] res

(HasContextEntry ctxs ctx, AppCtx ctxs rest res) => AppCtx ctxs (ctx ': rest) (ctx -> res)

Defined in Servant.Auth.Server.Internal.Class

Methods

appCtx :: proxy (ctx ': rest) -> Context ctxs -> (ctx -> res) -> App (ctx ': rest) (ctx -> res)