Crypto.Persona

Mozilla Persona (formerly BrowserID) types.

Documentation

data RelativeURI

Newtype of URI resticted to relative URIs.

Instances

Eq RelativeURI

Show RelativeURI

ToJSON RelativeURI

FromJSON RelativeURI

parseRelativeURI :: String -> Maybe RelativeURI

Construct a RelativeURI

newtype DelegatedSupportDocument

Delegated support document

Constructors

DelegatedSupportDocument String

Instances

Eq DelegatedSupportDocument

Show DelegatedSupportDocument

ToJSON DelegatedSupportDocument

FromJSON DelegatedSupportDocument

authority :: Iso' DelegatedSupportDocument String

data SupportDocument

Basic support document.

See https:/developer.mozilla.orgen-USPersona.well-known-browserid.

Instances

ToJSON SupportDocument

FromJSON SupportDocument

publicKey :: Lens' SupportDocument JWK'

authentication :: Lens' SupportDocument RelativeURI

provisioning :: Lens' SupportDocument RelativeURI

supportDocument :: JWK' -> RelativeURI -> RelativeURI -> Maybe SupportDocument

Construct a SupportDocument

The smart constructor is needed to ensure that any private key material is stripped from the key. Although RSA keys always have public material the result is a 'Maybe SupportDocument' to enable a move to the JSON Web Key (JWK) format.

data Principal

Persona identity principal

TODO: actually restrict to email addresses or hostnames.

Constructors

EmailPrincipal Text

HostPrincipal Text

Instances

ToJSON Principal

FromJSON Principal

certify

Arguments

:: CPRG g

=> g

-> JWK'

Signing key

-> StringOrURI

Issuer

-> UTCTime

Current time. Will be used for the "iat" claim and in the calculation of the "exp" claim.

-> Integer

Requested duration. Will be used in the calculation of the "exp" claim.

-> Value

User public key object

-> Principal

Principal

-> (Either Error JWT, g)

Create an identity assertion.

provisioningApiJsUrl :: String

URI to official provisioning JavaScript.

authenticationApiJsUrl :: String

URI to official authentication JavaScript.