Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data AuthResult val
- = BadPassword
- | NoSuchUser
- | Authenticated val
- | Indefinite
- newtype AuthCheck val = AuthCheck {
- runAuthCheck :: Request -> IO (AuthResult val)
Documentation
data AuthResult val Source #
The result of an authentication attempt.
BadPassword | |
NoSuchUser | |
Authenticated val | Authentication succeeded. |
Indefinite | If an authentication procedure cannot be carried out - if for example it
expects a password and username in a header that is not present -
|
Instances
newtype AuthCheck val Source #
An AuthCheck
is the function used to decide the authentication status
(the AuthResult
) of a request. Different AuthCheck
s may be combined as a
Monoid or Alternative; the semantics of this is that the *first*
non-Indefinite
result from left to right is used.
AuthCheck | |
|
Instances
Monad AuthCheck Source # | |
Functor AuthCheck Source # | |
Applicative AuthCheck Source # | |
Defined in Servant.Auth.Server.Internal.Types | |
Alternative AuthCheck Source # | |
MonadPlus AuthCheck Source # | |
MonadIO AuthCheck Source # | |
Defined in Servant.Auth.Server.Internal.Types | |
MonadTime AuthCheck Source # | |
Defined in Servant.Auth.Server.Internal.Types | |
MonadReader Request AuthCheck Source # | |
Generic (AuthCheck val) Source # | |
Semigroup (AuthCheck val) Source # | |
Monoid (AuthCheck val) Source # | |
type Rep (AuthCheck val) Source # | |
Defined in Servant.Auth.Server.Internal.Types type Rep (AuthCheck val) = D1 (MetaData "AuthCheck" "Servant.Auth.Server.Internal.Types" "servant-auth-server-0.4.0.1-B5Ah7vB7bwPHTsml18azdn" True) (C1 (MetaCons "AuthCheck" PrefixI True) (S1 (MetaSel (Just "runAuthCheck") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Request -> IO (AuthResult val))))) |