HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulehoauth2-2.15.2Haskell2010

Network.OAuth2.Experiment.Types

  • 11 types
  • 1 class
  • Packagehoauth2-2.15.2
  • Exports12
  • LanguageHaskell2010
  • LicenceMIT
  • SourceTypes.hs

Idp App

2 declarations
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

1 declaration
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

2 declarations
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

6 declarations

Query parameters

1 declaration
classclass ToQueryParam a where
#

Methods

Instances24ToQueryParam, …