Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data JwtAuthSettings m payload a Source #
JwtAuthSettings | |
|
defaultJwtAuthSettings Source #
:: MonadIO m | |
=> m JWK | |
-> (StringOrURI -> Bool) | Audience predicate |
-> (MakeError -> Either JWTError (JwtPayload payload) -> m (AuthResult a)) | |
-> JwtAuthSettings m payload a |
data JwtPayload a Source #
Instances
FromJSON a => FromJSON (JwtPayload a) Source # | |
Defined in Web.Minion.Auth.Jwt parseJSON :: Value -> Parser (JwtPayload a) # parseJSONList :: Value -> Parser [JwtPayload a] # omittedField :: Maybe (JwtPayload a) # | |
HasClaimsSet (JwtPayload a) Source # | |
Defined in Web.Minion.Auth.Jwt 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 toAuth :: Settings (Bearer payload) m a -> ErrorBuilder -> Request -> m (AuthResult a) # | |
type Settings (Bearer payload) m a Source # | |
Defined in Web.Minion.Auth.Jwt |