| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Servant.Server.Experimental.Auth
Contents
- type family AuthServerData a :: *
- newtype AuthHandler r usr = AuthHandler {
- unAuthHandler :: r -> Handler usr
- mkAuthHandler :: (r -> Handler usr) -> AuthHandler r usr
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 # | |
| type Rep (AuthHandler r usr) Source # | |
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. |