Safe Haskell | Safe-Inferred |
---|---|
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 and the rest are ignored.
AuthCheck | |
|
Instances
MonadFail AuthCheck Source # | |
Defined in Servant.Auth.Server.Internal.Types | |
MonadIO AuthCheck Source # | |
Defined in Servant.Auth.Server.Internal.Types | |
Alternative AuthCheck Source # | |
Applicative AuthCheck Source # | |
Defined in Servant.Auth.Server.Internal.Types | |
Functor AuthCheck Source # | |
Monad AuthCheck Source # | |
MonadPlus AuthCheck Source # | |
MonadTime AuthCheck Source # | |
Defined in Servant.Auth.Server.Internal.Types | |
MonadReader Request AuthCheck Source # | |
Monoid (AuthCheck val) Source # | |
Semigroup (AuthCheck val) Source # | |
Generic (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.8.0-8L5vtqr1C5zDwDS3Ywk23Y" 'True) (C1 ('MetaCons "AuthCheck" 'PrefixI 'True) (S1 ('MetaSel ('Just "runAuthCheck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Request -> IO (AuthResult val))))) |