| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Servant.Server.Experimental.Auth
Contents
Synopsis
- 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 # | |
|
Defined in Servant.Server.Experimental.Auth Methods from :: AuthHandler r usr -> Rep ( AuthHandler r usr) x Source # to :: Rep ( AuthHandler r usr) x -> AuthHandler r usr Source # |
|
| type Rep ( AuthHandler r usr) Source # | |
|
Defined in Servant.Server.Experimental.Auth
type
Rep
(
AuthHandler
r usr) =
D1
('
MetaData
"AuthHandler" "Servant.Server.Experimental.Auth" "servant-server-0.19.2-G0Z4CBXVk6K3TywlQVHRKg" '
True
) (
C1
('
MetaCons
"AuthHandler" '
PrefixI
'
True
) (
S1
('
MetaSel
('
Just
"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 api context, HasContextEntry context ( AuthHandler Request ( AuthServerData ( AuthProtect tag)))) => HasServer ( AuthProtect tag :> api :: Type ) context Source # |
Known orphan instance. |
|
Associated Types type ServerT ( AuthProtect tag :> api) m Source # Methods route :: Proxy ( AuthProtect tag :> api) -> Context context -> Delayed env ( Server ( AuthProtect tag :> api)) -> Router env Source # hoistServerWithContext :: Proxy ( AuthProtect tag :> api) -> Proxy context -> ( forall x. m x -> n x) -> ServerT ( AuthProtect tag :> api) m -> ServerT ( AuthProtect tag :> api) n Source # |
|