Safe Haskell	None
Language	Haskell2010

U2F.Types

Synopsis

data U2FError
data Transport
- = BT
- | BLE
- | NFC
- | USB
data Request = Request {
- appId :: Text
- version :: Text
- challenge :: Text
- keyHandle :: Maybe Text
}
data RegisterRequest = RegisterRequest {
- registerRequest_version :: Text
- registerRequest_challenge :: Text
}
data RegisteredKey = RegisteredKey {
- registeredKey_version :: Text
- registeredKey_keyHandle :: Text
- registeredKey_transports :: Maybe [Transport]
- registeredKey_appId :: Maybe Text
}
data Registration = Registration {
- registration_registrationData :: Text
- registration_challenge :: Text
- registration_version :: Maybe Text
- registration_appId :: Text
- registration_clientData :: Text
- registration_sessionID :: Maybe Text
}
data RegistrationData = RegistrationData {
}
data Signin = Signin {
- signin_keyHandle :: Text
- signin_clientData :: Text
- signin_signatureData :: Text
}
data ClientData = ClientData {
- clientData_typ :: Text
- clientData_challenge :: Text
- clientData_origin :: Text
- clientData_cid_pubkey :: Text
}
data SignatureData = SignatureData {
}

Documentation

data U2FError Source #

Constructors

RegistrationParseError
RegistrationDataParseError
RegistrationCertificateParseError
PubKeyParsingError
SignatureParseError
ChallengeMismatchError
FailedVerificationError
SigninParseError
ClientDataParseError
RequestParseError
RegisterRequestParseError

Instances

Eq U2FError Source #
Instance details Defined in U2F.Types Methods (==) :: U2FError -> U2FError -> Bool # (/=) :: U2FError -> U2FError -> Bool #
Show U2FError Source #
Instance details Defined in U2F.Types Methods showsPrec :: Int -> U2FError -> ShowS # show :: U2FError -> String # showList :: [U2FError] -> ShowS #

data Transport Source #

Constructors

BT	Bluetooth Classic (Bluetooth BR/EDR)
BLE	Bluetooth Low Energy (Bluetooth Smart)
NFC	Near-Field Communications
USB	USB HID (Human Interface Device)

Instances

Eq Transport Source #
Instance details Defined in U2F.Types Methods (==) :: Transport -> Transport -> Bool # (/=) :: Transport -> Transport -> Bool #
Show Transport Source #
Instance details Defined in U2F.Types Methods showsPrec :: Int -> Transport -> ShowS # show :: Transport -> String # showList :: [Transport] -> ShowS #

data Request Source #

Generic request for old version of protocol. Probably want to remove

Constructors

Request
Fields appId :: Text version :: Text challenge :: Text keyHandle :: Maybe Text

Instances

Eq Request Source #
Instance details Defined in U2F.Types Methods (==) :: Request -> Request -> Bool # (/=) :: Request -> Request -> Bool #
Show Request Source #
Instance details Defined in U2F.Types Methods showsPrec :: Int -> Request -> ShowS # show :: Request -> String # showList :: [Request] -> ShowS #
Generic Request Source #
Instance details Defined in U2F.Types Associated Types type Rep Request :: Type -> Type # Methods from :: Request -> Rep Request x # to :: Rep Request x -> Request #
ToJSON Request Source #
Instance details Defined in U2F.Types Methods toJSON :: Request -> Value # toEncoding :: Request -> Encoding # toJSONList :: [Request] -> Value # toEncodingList :: [Request] -> Encoding #
FromJSON Request Source #
Instance details Defined in U2F.Types Methods parseJSON :: Value -> Parser Request # parseJSONList :: Value -> Parser [Request] #
type Rep Request Source #
Instance details Defined in U2F.Types type Rep Request = D1 (MetaData "Request" "U2F.Types" "u2f-0.1.0.2-Ca4t7X9j6IGJduo5uSifb6" False) (C1 (MetaCons "Request" PrefixI True) ((S1 (MetaSel (Just "appId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "challenge") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "keyHandle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))))

data RegisterRequest Source #

Constructors

RegisterRequest
Fields registerRequest_version :: Text registerRequest_challenge :: Text

Instances

Show RegisterRequest Source #
Instance details Defined in U2F.Types Methods showsPrec :: Int -> RegisterRequest -> ShowS # show :: RegisterRequest -> String # showList :: [RegisterRequest] -> ShowS #
Generic RegisterRequest Source #
Instance details Defined in U2F.Types Associated Types type Rep RegisterRequest :: Type -> Type # Methods from :: RegisterRequest -> Rep RegisterRequest x # to :: Rep RegisterRequest x -> RegisterRequest #
ToJSON RegisterRequest Source #
Instance details Defined in U2F.Types Methods toJSON :: RegisterRequest -> Value # toEncoding :: RegisterRequest -> Encoding # toJSONList :: [RegisterRequest] -> Value # toEncodingList :: [RegisterRequest] -> Encoding #
FromJSON RegisterRequest Source #
Instance details Defined in U2F.Types Methods parseJSON :: Value -> Parser RegisterRequest # parseJSONList :: Value -> Parser [RegisterRequest] #
type Rep RegisterRequest Source #
Instance details Defined in U2F.Types type Rep RegisterRequest = D1 (MetaData "RegisterRequest" "U2F.Types" "u2f-0.1.0.2-Ca4t7X9j6IGJduo5uSifb6" False) (C1 (MetaCons "RegisterRequest" PrefixI True) (S1 (MetaSel (Just "registerRequest_version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "registerRequest_challenge") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data RegisteredKey Source #

Constructors

RegisteredKey
Fields registeredKey_version :: Text registeredKey_keyHandle :: Text registeredKey_transports :: Maybe [Transport] registeredKey_appId :: Maybe Text

Instances

Eq RegisteredKey Source #
Instance details Defined in U2F.Types Methods (==) :: RegisteredKey -> RegisteredKey -> Bool # (/=) :: RegisteredKey -> RegisteredKey -> Bool #
Show RegisteredKey Source #
Instance details Defined in U2F.Types Methods showsPrec :: Int -> RegisteredKey -> ShowS # show :: RegisteredKey -> String # showList :: [RegisteredKey] -> ShowS #
Generic RegisteredKey Source #
Instance details Defined in U2F.Types Associated Types type Rep RegisteredKey :: Type -> Type # Methods from :: RegisteredKey -> Rep RegisteredKey x # to :: Rep RegisteredKey x -> RegisteredKey #
type Rep RegisteredKey Source #
Instance details Defined in U2F.Types type Rep RegisteredKey = D1 (MetaData "RegisteredKey" "U2F.Types" "u2f-0.1.0.2-Ca4t7X9j6IGJduo5uSifb6" False) (C1 (MetaCons "RegisteredKey" PrefixI True) ((S1 (MetaSel (Just "registeredKey_version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "registeredKey_keyHandle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "registeredKey_transports") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Transport])) :*: S1 (MetaSel (Just "registeredKey_appId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))))

data Registration Source #

Constructors

Registration
Fields registration_registrationData :: Text registration_challenge :: Text registration_version :: Maybe Text registration_appId :: Text registration_clientData :: Text registration_sessionID :: Maybe Text

Instances

Show Registration Source #
Instance details Defined in U2F.Types Methods showsPrec :: Int -> Registration -> ShowS # show :: Registration -> String # showList :: [Registration] -> ShowS #
Generic Registration Source #
Instance details Defined in U2F.Types Associated Types type Rep Registration :: Type -> Type # Methods from :: Registration -> Rep Registration x # to :: Rep Registration x -> Registration #
ToJSON Registration Source #
Instance details Defined in U2F.Types Methods toJSON :: Registration -> Value # toEncoding :: Registration -> Encoding # toJSONList :: [Registration] -> Value # toEncodingList :: [Registration] -> Encoding #
FromJSON Registration Source #
Instance details Defined in U2F.Types Methods parseJSON :: Value -> Parser Registration # parseJSONList :: Value -> Parser [Registration] #
type Rep Registration Source #
Instance details Defined in U2F.Types type Rep Registration = D1 (MetaData "Registration" "U2F.Types" "u2f-0.1.0.2-Ca4t7X9j6IGJduo5uSifb6" False) (C1 (MetaCons "Registration" PrefixI True) ((S1 (MetaSel (Just "registration_registrationData") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "registration_challenge") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "registration_version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: (S1 (MetaSel (Just "registration_appId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "registration_clientData") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "registration_sessionID") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))))))

data RegistrationData Source #

Constructors

RegistrationData
Fields registrationData_reserved :: ByteString registrationData_publicKey :: ByteString registrationData_keyHandle :: ByteString registrationData_certificate :: ByteString registrationData_signature :: ByteString

Instances

Show RegistrationData Source #
Instance details Defined in U2F.Types Methods showsPrec :: Int -> RegistrationData -> ShowS # show :: RegistrationData -> String # showList :: [RegistrationData] -> ShowS #
Generic RegistrationData Source #
Instance details Defined in U2F.Types Associated Types type Rep RegistrationData :: Type -> Type # Methods from :: RegistrationData -> Rep RegistrationData x # to :: Rep RegistrationData x -> RegistrationData #
type Rep RegistrationData Source #
Instance details Defined in U2F.Types type Rep RegistrationData = D1 (MetaData "RegistrationData" "U2F.Types" "u2f-0.1.0.2-Ca4t7X9j6IGJduo5uSifb6" False) (C1 (MetaCons "RegistrationData" PrefixI True) ((S1 (MetaSel (Just "registrationData_reserved") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString) :: S1 (MetaSel (Just "registrationData_publicKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)) :: (S1 (MetaSel (Just "registrationData_keyHandle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString) :: (S1 (MetaSel (Just "registrationData_certificate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString) :: S1 (MetaSel (Just "registrationData_signature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))))

data Signin Source #

Constructors

Signin
Fields signin_keyHandle :: Text signin_clientData :: Text signin_signatureData :: Text

Instances

Eq Signin Source #
Instance details Defined in U2F.Types Methods (==) :: Signin -> Signin -> Bool # (/=) :: Signin -> Signin -> Bool #
Show Signin Source #
Instance details Defined in U2F.Types Methods showsPrec :: Int -> Signin -> ShowS # show :: Signin -> String # showList :: [Signin] -> ShowS #
Generic Signin Source #
Instance details Defined in U2F.Types Associated Types type Rep Signin :: Type -> Type # Methods from :: Signin -> Rep Signin x # to :: Rep Signin x -> Signin #
FromJSON Signin Source #
Instance details Defined in U2F.Types Methods parseJSON :: Value -> Parser Signin # parseJSONList :: Value -> Parser [Signin] #
type Rep Signin Source #
Instance details Defined in U2F.Types type Rep Signin = D1 (MetaData "Signin" "U2F.Types" "u2f-0.1.0.2-Ca4t7X9j6IGJduo5uSifb6" False) (C1 (MetaCons "Signin" PrefixI True) (S1 (MetaSel (Just "signin_keyHandle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "signin_clientData") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "signin_signatureData") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))

data ClientData Source #

Constructors

ClientData
Fields clientData_typ :: Text clientData_challenge :: Text clientData_origin :: Text clientData_cid_pubkey :: Text

Instances

Eq ClientData Source #
Instance details Defined in U2F.Types Methods (==) :: ClientData -> ClientData -> Bool # (/=) :: ClientData -> ClientData -> Bool #
Show ClientData Source #
Instance details Defined in U2F.Types Methods showsPrec :: Int -> ClientData -> ShowS # show :: ClientData -> String # showList :: [ClientData] -> ShowS #
Generic ClientData Source #
Instance details Defined in U2F.Types Associated Types type Rep ClientData :: Type -> Type # Methods from :: ClientData -> Rep ClientData x # to :: Rep ClientData x -> ClientData #
FromJSON ClientData Source #
Instance details Defined in U2F.Types Methods parseJSON :: Value -> Parser ClientData # parseJSONList :: Value -> Parser [ClientData] #
type Rep ClientData Source #
Instance details Defined in U2F.Types type Rep ClientData = D1 (MetaData "ClientData" "U2F.Types" "u2f-0.1.0.2-Ca4t7X9j6IGJduo5uSifb6" False) (C1 (MetaCons "ClientData" PrefixI True) ((S1 (MetaSel (Just "clientData_typ") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "clientData_challenge") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "clientData_origin") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "clientData_cid_pubkey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))

data SignatureData Source #

Constructors

SignatureData
Fields signatureData_userPresenceFlag :: ByteString signatureData_counter :: ByteString signatureData_signature :: ByteString

Instances

Show SignatureData Source #
Instance details Defined in U2F.Types Methods showsPrec :: Int -> SignatureData -> ShowS # show :: SignatureData -> String # showList :: [SignatureData] -> ShowS #
Generic SignatureData Source #
Instance details Defined in U2F.Types Associated Types type Rep SignatureData :: Type -> Type # Methods from :: SignatureData -> Rep SignatureData x # to :: Rep SignatureData x -> SignatureData #
type Rep SignatureData Source #
Instance details Defined in U2F.Types type Rep SignatureData = D1 (MetaData "SignatureData" "U2F.Types" "u2f-0.1.0.2-Ca4t7X9j6IGJduo5uSifb6" False) (C1 (MetaCons "SignatureData" PrefixI True) (S1 (MetaSel (Just "signatureData_userPresenceFlag") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString) :: (S1 (MetaSel (Just "signatureData_counter") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString) :: S1 (MetaSel (Just "signatureData_signature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))))