Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data AuthorizationRequestParam = AuthorizationRequestParam {}
- class HasAuthorizeRequest a where
- mkAuthorizationRequest :: HasAuthorizeRequest a => IdpApplication i a -> URI
- class HasAuthorizeRequest a => HasPkceAuthorizeRequest a where
- mkPkceAuthorizeRequestParam :: MonadIO m => a -> m (AuthorizationRequestParam, CodeVerifier)
- mkPkceAuthorizeRequest :: (MonadIO m, HasPkceAuthorizeRequest a) => IdpApplication i a -> m (URI, CodeVerifier)
Documentation
data AuthorizationRequestParam Source #
AuthorizationRequestParam | |
|
Instances
class HasAuthorizeRequest a where Source #
mkAuthorizationRequestParam :: a -> AuthorizationRequestParam Source #
Constructs Authorization Code request parameters | https://www.rfc-editor.org/rfc/rfc6749#section-4.1.1
mkAuthorizationRequest :: HasAuthorizeRequest a => IdpApplication i a -> URI Source #
Constructs Authorization Code request URI https://www.rfc-editor.org/rfc/rfc6749#section-4.1.1
class HasAuthorizeRequest a => HasPkceAuthorizeRequest a where Source #
mkPkceAuthorizeRequestParam :: MonadIO m => a -> m (AuthorizationRequestParam, CodeVerifier) Source #
mkPkceAuthorizeRequest :: (MonadIO m, HasPkceAuthorizeRequest a) => IdpApplication i a -> m (URI, CodeVerifier) Source #
Constructs Authorization Code (PKCE) request URI and the Code Verifier. https://datatracker.ietf.org/doc/html/rfc7636