Stability | experimental |
---|---|
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
This module contains additional Haskell-specific type definitions for the FIDO Metadata Service specification
Synopsis
- data MetadataServiceRegistry = MetadataServiceRegistry {}
- data MetadataPayload = MetadataPayload {
- mpLegalHeader :: Maybe Text
- mpNo :: Int
- mpNextUpdate :: Date
- mpEntries :: [SomeMetadataEntry]
- data MetadataEntry (p :: ProtocolKind) = MetadataEntry {}
- data SomeMetadataEntry = forall p.SingI p => SomeMetadataEntry (MetadataEntry p)
- data StatusReport = StatusReport {
- srStatus :: AuthenticatorStatus
- srEffectiveDate :: Maybe Date
- srAuthenticatorVersion :: Maybe Word32
- srCertificate :: Maybe SignedCertificate
- srUrl :: Maybe Text
- srCertificationDescriptor :: Maybe Text
- srCertificateNumber :: Maybe Text
- srCertificationPolicyVersion :: Maybe Text
- srCertificationRequirementsVersion :: Maybe Text
Documentation
data MetadataServiceRegistry Source #
A registry of MetadataEntry
s, allowing fast lookup using AAGUID
s or
SubjectKeyIdentifier
s. This is used by verifyRegistrationResponse
as a way to look up root certificates of authenticators and return meta information.
Using createMetadataRegistry
it's also possible to create additional custom entries, which can be merged
with <>
. Meanwhile mempty
can be used if no metadata is needed.
data MetadataPayload Source #
(spec) Same as MetadataBLOBPayload
, but fully decoded. However all
entries
not relevant for webauthn are discarded
MetadataPayload | |
|
data MetadataEntry (p :: ProtocolKind) Source #
(spec) Same as MetadataBLOBPayloadEntry
, but fully decoded. This type
is parametrized over the ProtocolFamily
this metadata entry is for
Instances
data SomeMetadataEntry Source #
Same as MetadataEntry
, but with its type parameter erased
forall p.SingI p => SomeMetadataEntry (MetadataEntry p) |
data StatusReport Source #
(spec) Same as StatusReport
, but fully decoded.