servant-server-0.8.1: A family of combinators for defining webservices APIs and serving them

Safe HaskellNone
LanguageHaskell2010

Servant.Server.Experimental.Auth

Contents

Synopsis

General Auth

type family AuthServerData a :: * Source #

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 Source #

Handlers for AuthProtected resources

NOTE: THIS API IS EXPERIMENTAL AND SUBJECT TO CHANGE

Constructors

AuthHandler 

Fields

Instances

Generic (AuthHandler r usr) Source # 

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) Source # 
type Rep (AuthHandler r usr) = D1 (MetaData "AuthHandler" "Servant.Server.Experimental.Auth" "servant-server-0.8.1-CdBEcjuv8MIATsrh5CEXHO" 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 Source #

NOTE: THIS API IS EXPERIMENTAL AND SUBJECT TO CHANGE

Orphan instances

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

Known orphan instance.

Associated Types

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

Methods

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