Stability | experimental |
---|---|
Safe Haskell | None |
Language | Haskell2010 |
This module contains functions to further decode
FIDO Metadata Statement
IDL types defined in IDL
into the Haskell-specific types defined in Types
Synopsis
- decodeMetadataStatement :: forall p. SingI p => MetadataStatement -> Either (Maybe Text) (MetadataStatement p)
- decodeAAGUID :: AAGUID -> Either Text (AuthenticatorIdentifier 'Fido2)
- decodeSubjectKeyIdentifier :: DOMString -> Either Text (AuthenticatorIdentifier 'FidoU2F)
- decodeCertificate :: DOMString -> Either Text SignedCertificate
Documentation
decodeMetadataStatement Source #
:: forall p. SingI p | |
=> MetadataStatement | The raw metadata statement, directly parsed from JSON |
-> Either (Maybe Text) (MetadataStatement p) | Either an early exit with |
Fully decodes a MetadataStatement.
The p
type parameter is the ProtocolFamily
that this metadata statement is for.
decodeAAGUID :: AAGUID -> Either Text (AuthenticatorIdentifier 'Fido2) Source #
decodeSubjectKeyIdentifier :: DOMString -> Either Text (AuthenticatorIdentifier 'FidoU2F) Source #
Decodes a SubjectKeyIdentifier
from an attestationCertificateKeyIdentifiers field of a metadata statement or an attestationCertificateKeyIdentifiers field of a metadata service payload entry
decodeCertificate :: DOMString -> Either Text SignedCertificate Source #
Decodes a SignedCertificate
from an attestationRootCertificates field of a metadata statement or the certificate field of a metadata service status report