Crypto.WebAuthn.Metadata.Statement.Types

This module contains additional Haskell-specific type definitions for the FIDO Metadata Statement specification

Documentation

data MetadataStatement (p :: ProtocolKind)

(spec)

Constructors

MetadataStatement

Fields

• msLegalHeader :: Text

  (spec)

• msDescription :: Text

  (spec)

• msAlternativeDescriptions :: Maybe AlternativeDescriptions

  (spec)

• msAuthenticatorVersion :: Word32

  (spec)

• msUpv :: NonEmpty (ProtocolVersion p)

  (spec)

• msAuthenticationAlgorithms :: NonEmpty AuthenticationAlgorithm

  (spec)

• msPublicKeyAlgAndEncodings :: NonEmpty PublicKeyRepresentationFormat

  (spec)

• msAttestationTypes :: NonEmpty WebauthnAttestationType

  (spec)

• msUserVerificationDetails :: NonEmpty VerificationMethodANDCombinations

  (spec)

• msKeyProtection :: NonEmpty KeyProtectionType

  (spec)

• msIsKeyRestricted :: Maybe Bool

  (spec)

• msIsFreshUserVerificationRequired :: Maybe Bool

  (spec)

• msMatcherProtection :: NonEmpty MatcherProtectionType

  (spec)

• msCryptoStrength :: Maybe Word16

  (spec)

• msAttachmentHint :: NonEmpty AuthenticatorAttachmentHint

  (spec)

• msTcDisplay :: [TransactionConfirmationDisplayType]

  (spec)

• msTcDisplayContentType :: Maybe Text

  (spec)

• msTcDisplayPNGCharacteristics :: Maybe (NonEmpty DisplayPNGCharacteristicsDescriptor)

  (spec)

• msAttestationRootCertificates :: NonEmpty SignedCertificate

  (spec)

• msIcon :: Maybe ByteString

  (spec)

• msSupportedExtensions :: Maybe (NonEmpty ExtensionDescriptor)

  (spec)

• msAuthenticatorGetInfo :: Maybe AuthenticatorGetInfo

  (spec)

Instances

Eq (MetadataStatement p)

Defined in Crypto.WebAuthn.Metadata.Statement.Types

Methods

(==) :: MetadataStatement p -> MetadataStatement p -> Bool

(/=) :: MetadataStatement p -> MetadataStatement p -> Bool

Show (MetadataStatement p)

Defined in Crypto.WebAuthn.Metadata.Statement.Types

Methods

showsPrec :: Int -> MetadataStatement p -> ShowS

show :: MetadataStatement p -> String

showList :: [MetadataStatement p] -> ShowS

Generic (MetadataStatement p)

Defined in Crypto.WebAuthn.Metadata.Statement.Types

Associated Types

type Rep (MetadataStatement p) :: Type -> Type

Methods

from :: MetadataStatement p -> Rep (MetadataStatement p) x

to :: Rep (MetadataStatement p) x -> MetadataStatement p

ToJSON (MetadataStatement p)

Defined in Crypto.WebAuthn.Metadata.Statement.Types

Methods

toJSON :: MetadataStatement p -> Value

toEncoding :: MetadataStatement p -> Encoding

toJSONList :: [MetadataStatement p] -> Value

toEncodingList :: [MetadataStatement p] -> Encoding

type Rep (MetadataStatement p)

Defined in Crypto.WebAuthn.Metadata.Statement.Types

type Rep (MetadataStatement p) = D1 ('MetaData "MetadataStatement" "Crypto.WebAuthn.Metadata.Statement.Types" "webauthn-0.1.0.0-inplace" 'False) (C1 ('MetaCons "MetadataStatement" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "msLegalHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "msDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "msAlternativeDescriptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AlternativeDescriptions)) :*: (S1 ('MetaSel ('Just "msAuthenticatorVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: S1 ('MetaSel ('Just "msUpv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (ProtocolVersion p)))))) :*: ((S1 ('MetaSel ('Just "msAuthenticationAlgorithms") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty AuthenticationAlgorithm)) :*: (S1 ('MetaSel ('Just "msPublicKeyAlgAndEncodings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty PublicKeyRepresentationFormat)) :*: S1 ('MetaSel ('Just "msAttestationTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty WebauthnAttestationType)))) :*: (S1 ('MetaSel ('Just "msUserVerificationDetails") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty VerificationMethodANDCombinations)) :*: (S1 ('MetaSel ('Just "msKeyProtection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty KeyProtectionType)) :*: S1 ('MetaSel ('Just "msIsKeyRestricted") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))))) :*: (((S1 ('MetaSel ('Just "msIsFreshUserVerificationRequired") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Just "msMatcherProtection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty MatcherProtectionType))) :*: (S1 ('MetaSel ('Just "msCryptoStrength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word16)) :*: (S1 ('MetaSel ('Just "msAttachmentHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty AuthenticatorAttachmentHint)) :*: S1 ('MetaSel ('Just "msTcDisplay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TransactionConfirmationDisplayType])))) :*: ((S1 ('MetaSel ('Just "msTcDisplayContentType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "msTcDisplayPNGCharacteristics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (NonEmpty DisplayPNGCharacteristicsDescriptor))) :*: S1 ('MetaSel ('Just "msAttestationRootCertificates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty SignedCertificate)))) :*: (S1 ('MetaSel ('Just "msIcon") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ByteString)) :*: (S1 ('MetaSel ('Just "msSupportedExtensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (NonEmpty ExtensionDescriptor))) :*: S1 ('MetaSel ('Just "msAuthenticatorGetInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AuthenticatorGetInfo))))))))

data ProtocolVersion (p :: ProtocolKind) where

FIDO protocol versions, parametrized by the protocol family

Constructors

U2F1_0 :: ProtocolVersion 'FidoU2F

FIDO U2F 1.0

U2F1_1 :: ProtocolVersion 'FidoU2F

FIDO U2F 1.1

U2F1_2 :: ProtocolVersion 'FidoU2F

FIDO U2F 1.2

CTAP2_0 :: ProtocolVersion 'Fido2

FIDO 2, CTAP 2.0

CTAP2_1 :: ProtocolVersion 'Fido2

FIDO 2, CTAP 2.1

Instances

Eq (ProtocolVersion p)

Defined in Crypto.WebAuthn.Metadata.Statement.Types

Methods

(==) :: ProtocolVersion p -> ProtocolVersion p -> Bool

(/=) :: ProtocolVersion p -> ProtocolVersion p -> Bool

Show (ProtocolVersion p)

Defined in Crypto.WebAuthn.Metadata.Statement.Types

Methods

showsPrec :: Int -> ProtocolVersion p -> ShowS

show :: ProtocolVersion p -> String

showList :: [ProtocolVersion p] -> ShowS

ToJSON (ProtocolVersion p)

Defined in Crypto.WebAuthn.Metadata.Statement.Types

Methods

toJSON :: ProtocolVersion p -> Value

toEncoding :: ProtocolVersion p -> Encoding

toJSONList :: [ProtocolVersion p] -> Value

toEncodingList :: [ProtocolVersion p] -> Encoding

data WebauthnAttestationType

Values of AuthenticatorAttestationType but limited to the ones possible with Webauthn, see https://www.w3.org/TR/webauthn-2/#sctn-attestation-types

Constructors

WebauthnAttestationBasic

WebauthnAttestationAttCA

Instances

Eq WebauthnAttestationType

Defined in Crypto.WebAuthn.Metadata.Statement.Types

Methods

(==) :: WebauthnAttestationType -> WebauthnAttestationType -> Bool

(/=) :: WebauthnAttestationType -> WebauthnAttestationType -> Bool

Show WebauthnAttestationType

Defined in Crypto.WebAuthn.Metadata.Statement.Types

Methods

showsPrec :: Int -> WebauthnAttestationType -> ShowS

show :: WebauthnAttestationType -> String

showList :: [WebauthnAttestationType] -> ShowS

Generic WebauthnAttestationType

Defined in Crypto.WebAuthn.Metadata.Statement.Types

Associated Types

type Rep WebauthnAttestationType :: Type -> Type

Methods

from :: WebauthnAttestationType -> Rep WebauthnAttestationType x

to :: Rep WebauthnAttestationType x -> WebauthnAttestationType

ToJSON WebauthnAttestationType

Defined in Crypto.WebAuthn.Metadata.Statement.Types

Methods

toJSON :: WebauthnAttestationType -> Value

toEncoding :: WebauthnAttestationType -> Encoding

toJSONList :: [WebauthnAttestationType] -> Value

toEncodingList :: [WebauthnAttestationType] -> Encoding

type Rep WebauthnAttestationType

Defined in Crypto.WebAuthn.Metadata.Statement.Types

type Rep WebauthnAttestationType = D1 ('MetaData "WebauthnAttestationType" "Crypto.WebAuthn.Metadata.Statement.Types" "webauthn-0.1.0.0-inplace" 'False) (C1 ('MetaCons "WebauthnAttestationBasic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WebauthnAttestationAttCA" 'PrefixI 'False) (U1 :: Type -> Type))