Servant.Server.Experimental.Auth

General Auth

type family AuthServerData a :: *

Specify the type of data returned after we've authenticated a request. quite often this is some User datatype.

NOTE: THIS API IS EXPERIMENTAL AND SUBJECT TO CHANGE

newtype AuthHandler r usr

Handlers for AuthProtected resources

NOTE: THIS API IS EXPERIMENTAL AND SUBJECT TO CHANGE

Constructors

AuthHandler

Fields

• unAuthHandler :: r -> Handler usr

Instances

Generic (AuthHandler r usr)

Associated Types

type Rep (AuthHandler r usr) :: * -> *

Methods

from :: AuthHandler r usr -> Rep (AuthHandler r usr) x

to :: Rep (AuthHandler r usr) x -> AuthHandler r usr

type Rep (AuthHandler r usr)

type Rep (AuthHandler r usr) = D1 * (MetaData "AuthHandler" "Servant.Server.Experimental.Auth" "servant-server-0.14-5VwspDG59ZEK2gBEF6EIcJ" True) (C1 * (MetaCons "AuthHandler" PrefixI True) (S1 * (MetaSel (Just Symbol "unAuthHandler") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (r -> Handler usr))))

mkAuthHandler :: (r -> Handler usr) -> AuthHandler r usr

NOTE: THIS API IS EXPERIMENTAL AND SUBJECT TO CHANGE

Orphan instances

(HasServer * api context, HasContextEntry context (AuthHandler Request (AuthServerData (AuthProtect k tag)))) => HasServer * ((:>) * (AuthProtect k tag) api) context

Known orphan instance.

Associated Types

type ServerT ((* :> AuthProtect k tag) api) (context :: (* :> AuthProtect k tag) api) (m :: * -> *) :: *

Methods

route :: Proxy ((* :> AuthProtect k tag) api) context -> Context context -> Delayed env (Server ((* :> AuthProtect k tag) api) context) -> Router env

hoistServerWithContext :: Proxy ((* :> AuthProtect k tag) api) context -> Proxy [*] context -> (forall x. m x -> n x) -> ServerT ((* :> AuthProtect k tag) api) context m -> ServerT ((* :> AuthProtect k tag) api) context n