HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulehoauth2-2.15.2Haskell2010

Network.OAuth2.Experiment.Types

Contents
  1. Idp App
  2. Scope
  3. Grant Type value
  4. Credentials
  5. Query parameters
Synopsis
  • Packagehoauth2-2.15.2
  • Exports12
  • LanguageHaskell2010
  • LicenceMIT
  • SourceTypes.hs

Idp App

datadata Idp (i :: k)

Idp i consists various endpoints endpoints.

The i is actually phantom type for information only (Idp name) at this moment. And it is PolyKinds.

Hence whenever Idp i or IdpApplication i a is used as function parameter, PolyKinds need to be enabled.

Constructors

datadata IdpApplication (i :: k) a

An OAuth2 Application "a" of IdP "i". "a" can be one of following type:

  • Network.OAuth2.Experiment.AuthorizationCodeApplication

  • Network.OAuth2.Experiment.DeviceAuthorizationApplication

  • Network.OAuth2.Experiment.ClientCredentialsApplication

  • Network.OAuth2.Experiment.ResourceOwnerPasswordApplication

  • Network.OAuth2.Experiment.JwtBearerApplication

Constructors

Scope

newtypenewtype Scope
#

Constructors

Instances5Eq, Ord, Show, IsString, ToQueryParam
  • Eq ScopeDefined in hoauth2-2.15.2 · Network.OAuth2.Experiment.Types
  • Ord ScopeDefined in hoauth2-2.15.2 · Network.OAuth2.Experiment.Types
  • Show ScopeDefined in hoauth2-2.15.2 · Network.OAuth2.Experiment.Types
  • IsString ScopeDefined in hoauth2-2.15.2 · Network.OAuth2.Experiment.Types
  • ToQueryParam (Set Scope)Defined in hoauth2-2.15.2 · Network.OAuth2.Experiment.Types

Grant Type value

datadata GrantTypeValue

Grant type query parameter has association with different GrantType flows but not completely strict.

e.g. Both AuthorizationCode and ResourceOwnerPassword flow could support refresh token flow.

Instances3Eq, Show, ToQueryParam

Credentials

Query parameters

classclass ToQueryParam a where
#

Methods

Instances24ToQueryParam, …