| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Web.Minion.Auth.Jwt
Documentation
data JwtAuthSettings m payload a Source #
Constructors
| JwtAuthSettings | |
Fields
| |
defaultJwtAuthSettings Source #
Arguments
| :: MonadIO m | |
| => m JWK | |
| -> (StringOrURI -> Bool) | Audience predicate |
| -> (MakeError -> Either JWTError (JwtPayload payload) -> m (AuthResult a)) | |
| -> JwtAuthSettings m payload a |
data JwtPayload a Source #
Constructors
| JwtPayload | |
Instances
| FromJSON a => FromJSON (JwtPayload a) Source # | |
Defined in Web.Minion.Auth.Jwt Methods parseJSON :: Value -> Parser (JwtPayload a) # parseJSONList :: Value -> Parser [JwtPayload a] # omittedField :: Maybe (JwtPayload a) # | |
| HasClaimsSet (JwtPayload a) Source # | |
Defined in Web.Minion.Auth.Jwt Methods claimsSet :: Lens' (JwtPayload a) ClaimsSet # claimIss :: Lens' (JwtPayload a) (Maybe StringOrURI) # claimSub :: Lens' (JwtPayload a) (Maybe StringOrURI) # claimAud :: Lens' (JwtPayload a) (Maybe Audience) # claimExp :: Lens' (JwtPayload a) (Maybe NumericDate) # claimNbf :: Lens' (JwtPayload a) (Maybe NumericDate) # claimIat :: Lens' (JwtPayload a) (Maybe NumericDate) # | |
Instances
| (MonadIO m, FromJSON payload) => IsAuth (Bearer payload) m a Source # | |
Defined in Web.Minion.Auth.Jwt Methods toAuth :: Settings (Bearer payload) m a -> ErrorBuilder -> Request -> m (AuthResult a) # | |
| type Settings (Bearer payload) m a Source # | |
Defined in Web.Minion.Auth.Jwt | |