Moduleservant-auth-server-0.4.9.0Haskell2010

Servant.Auth.Server.Internal.Class

3 classes

Packageservant-auth-server-0.4.9.0
Exports5
LanguageHaskell2010
LicenceBSD-3-Clause
SourceClass.hs

classclass 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.

Associated types

type family AuthArgs a :: [Type]

Methods

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

Instances3IsAuth

FromJWT usr => IsAuth Cookie usrDefined in servant-auth-server-0.4.9.0 · Servant.Auth.Server.Internal.Class
FromJWT usr => IsAuth JWT usrDefined in servant-auth-server-0.4.9.0 · Servant.Auth.Server.Internal.Class
FromBasicAuthData usr => IsAuth BasicAuth usrDefined in servant-auth-server-0.4.9.0 · Servant.Auth.Server.Internal.Class

Helper

4 declarations

classclass AreAuths (as :: [Type]) (ctxs :: [Type]) v where

Methods

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

Instances2AreAuths

AreAuths '[] ctxs vDefined in servant-auth-server-0.4.9.0 · Servant.Auth.Server.Internal.Class
(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 vDefined in servant-auth-server-0.4.9.0 · Servant.Auth.Server.Internal.Class

familytype family Unapp (ls :: [Type]) res where

Equations

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

familytype family App (ls :: [Type]) res where

Equations

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

classclass AppCtx (ctx :: [Type]) (ls :: [Type]) res where

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

Instances2AppCtx

AppCtx ctx '[] resDefined in servant-auth-server-0.4.9.0 · Servant.Auth.Server.Internal.Class
(HasContextEntry ctxs ctx, AppCtx ctxs rest res) => AppCtx ctxs (ctx ': rest) (ctx -> res)Defined in servant-auth-server-0.4.9.0 · Servant.Auth.Server.Internal.Class