{-# LANGUAGE PatternSynonyms #-}
module Crypto.WebAuthn.Cose.SignAlg
(
CoseSignAlg
( ..,
CoseAlgorithmEdDSA,
CoseAlgorithmES256,
CoseAlgorithmES384,
CoseAlgorithmES512,
CoseAlgorithmRS256,
CoseAlgorithmRS384,
CoseAlgorithmRS512,
CoseAlgorithmRS1
),
fromCoseSignAlg,
toCoseSignAlg,
CoseHashAlgECDSA (..),
CoseHashAlgRSA (..),
)
where
import Codec.CBOR.Decoding (decodeIntCanonical)
import Codec.CBOR.Encoding (encodeInt)
import Codec.Serialise (Serialise)
import Codec.Serialise.Class (decode, encode)
import Data.Aeson (ToJSON)
import Data.Text (Text)
import qualified Data.Text as Text
import GHC.Generics (Generic)
data CoseSignAlg
=
CoseSignAlgEdDSA
|
CoseSignAlgECDSA CoseHashAlgECDSA
|
CoseSignAlgRSA CoseHashAlgRSA
deriving (CoseSignAlg -> CoseSignAlg -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CoseSignAlg -> CoseSignAlg -> Bool
$c/= :: CoseSignAlg -> CoseSignAlg -> Bool
== :: CoseSignAlg -> CoseSignAlg -> Bool
$c== :: CoseSignAlg -> CoseSignAlg -> Bool
Eq, Int -> CoseSignAlg -> ShowS
[CoseSignAlg] -> ShowS
CoseSignAlg -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [CoseSignAlg] -> ShowS
$cshowList :: [CoseSignAlg] -> ShowS
show :: CoseSignAlg -> String
$cshow :: CoseSignAlg -> String
showsPrec :: Int -> CoseSignAlg -> ShowS
$cshowsPrec :: Int -> CoseSignAlg -> ShowS
Show, Eq CoseSignAlg
CoseSignAlg -> CoseSignAlg -> Bool
CoseSignAlg -> CoseSignAlg -> Ordering
CoseSignAlg -> CoseSignAlg -> CoseSignAlg
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: CoseSignAlg -> CoseSignAlg -> CoseSignAlg
$cmin :: CoseSignAlg -> CoseSignAlg -> CoseSignAlg
max :: CoseSignAlg -> CoseSignAlg -> CoseSignAlg
$cmax :: CoseSignAlg -> CoseSignAlg -> CoseSignAlg
>= :: CoseSignAlg -> CoseSignAlg -> Bool
$c>= :: CoseSignAlg -> CoseSignAlg -> Bool
> :: CoseSignAlg -> CoseSignAlg -> Bool
$c> :: CoseSignAlg -> CoseSignAlg -> Bool
<= :: CoseSignAlg -> CoseSignAlg -> Bool
$c<= :: CoseSignAlg -> CoseSignAlg -> Bool
< :: CoseSignAlg -> CoseSignAlg -> Bool
$c< :: CoseSignAlg -> CoseSignAlg -> Bool
compare :: CoseSignAlg -> CoseSignAlg -> Ordering
$ccompare :: CoseSignAlg -> CoseSignAlg -> Ordering
Ord, forall x. Rep CoseSignAlg x -> CoseSignAlg
forall x. CoseSignAlg -> Rep CoseSignAlg x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep CoseSignAlg x -> CoseSignAlg
$cfrom :: forall x. CoseSignAlg -> Rep CoseSignAlg x
Generic, [CoseSignAlg] -> Encoding
[CoseSignAlg] -> Value
CoseSignAlg -> Encoding
CoseSignAlg -> Value
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> ToJSON a
toEncodingList :: [CoseSignAlg] -> Encoding
$ctoEncodingList :: [CoseSignAlg] -> Encoding
toJSONList :: [CoseSignAlg] -> Value
$ctoJSONList :: [CoseSignAlg] -> Value
toEncoding :: CoseSignAlg -> Encoding
$ctoEncoding :: CoseSignAlg -> Encoding
toJSON :: CoseSignAlg -> Value
$ctoJSON :: CoseSignAlg -> Value
ToJSON)
data CoseHashAlgECDSA
=
CoseHashAlgECDSASHA256
|
CoseHashAlgECDSASHA384
|
CoseHashAlgECDSASHA512
deriving (CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
$c/= :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
== :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
$c== :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
Eq, Int -> CoseHashAlgECDSA -> ShowS
[CoseHashAlgECDSA] -> ShowS
CoseHashAlgECDSA -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [CoseHashAlgECDSA] -> ShowS
$cshowList :: [CoseHashAlgECDSA] -> ShowS
show :: CoseHashAlgECDSA -> String
$cshow :: CoseHashAlgECDSA -> String
showsPrec :: Int -> CoseHashAlgECDSA -> ShowS
$cshowsPrec :: Int -> CoseHashAlgECDSA -> ShowS
Show, Eq CoseHashAlgECDSA
CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
CoseHashAlgECDSA -> CoseHashAlgECDSA -> Ordering
CoseHashAlgECDSA -> CoseHashAlgECDSA -> CoseHashAlgECDSA
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> CoseHashAlgECDSA
$cmin :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> CoseHashAlgECDSA
max :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> CoseHashAlgECDSA
$cmax :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> CoseHashAlgECDSA
>= :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
$c>= :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
> :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
$c> :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
<= :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
$c<= :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
< :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
$c< :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Bool
compare :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Ordering
$ccompare :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> Ordering
Ord, Int -> CoseHashAlgECDSA
CoseHashAlgECDSA -> Int
CoseHashAlgECDSA -> [CoseHashAlgECDSA]
CoseHashAlgECDSA -> CoseHashAlgECDSA
CoseHashAlgECDSA -> CoseHashAlgECDSA -> [CoseHashAlgECDSA]
CoseHashAlgECDSA
-> CoseHashAlgECDSA -> CoseHashAlgECDSA -> [CoseHashAlgECDSA]
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
enumFromThenTo :: CoseHashAlgECDSA
-> CoseHashAlgECDSA -> CoseHashAlgECDSA -> [CoseHashAlgECDSA]
$cenumFromThenTo :: CoseHashAlgECDSA
-> CoseHashAlgECDSA -> CoseHashAlgECDSA -> [CoseHashAlgECDSA]
enumFromTo :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> [CoseHashAlgECDSA]
$cenumFromTo :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> [CoseHashAlgECDSA]
enumFromThen :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> [CoseHashAlgECDSA]
$cenumFromThen :: CoseHashAlgECDSA -> CoseHashAlgECDSA -> [CoseHashAlgECDSA]
enumFrom :: CoseHashAlgECDSA -> [CoseHashAlgECDSA]
$cenumFrom :: CoseHashAlgECDSA -> [CoseHashAlgECDSA]
fromEnum :: CoseHashAlgECDSA -> Int
$cfromEnum :: CoseHashAlgECDSA -> Int
toEnum :: Int -> CoseHashAlgECDSA
$ctoEnum :: Int -> CoseHashAlgECDSA
pred :: CoseHashAlgECDSA -> CoseHashAlgECDSA
$cpred :: CoseHashAlgECDSA -> CoseHashAlgECDSA
succ :: CoseHashAlgECDSA -> CoseHashAlgECDSA
$csucc :: CoseHashAlgECDSA -> CoseHashAlgECDSA
Enum, CoseHashAlgECDSA
forall a. a -> a -> Bounded a
maxBound :: CoseHashAlgECDSA
$cmaxBound :: CoseHashAlgECDSA
minBound :: CoseHashAlgECDSA
$cminBound :: CoseHashAlgECDSA
Bounded, forall x. Rep CoseHashAlgECDSA x -> CoseHashAlgECDSA
forall x. CoseHashAlgECDSA -> Rep CoseHashAlgECDSA x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep CoseHashAlgECDSA x -> CoseHashAlgECDSA
$cfrom :: forall x. CoseHashAlgECDSA -> Rep CoseHashAlgECDSA x
Generic, [CoseHashAlgECDSA] -> Encoding
[CoseHashAlgECDSA] -> Value
CoseHashAlgECDSA -> Encoding
CoseHashAlgECDSA -> Value
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> ToJSON a
toEncodingList :: [CoseHashAlgECDSA] -> Encoding
$ctoEncodingList :: [CoseHashAlgECDSA] -> Encoding
toJSONList :: [CoseHashAlgECDSA] -> Value
$ctoJSONList :: [CoseHashAlgECDSA] -> Value
toEncoding :: CoseHashAlgECDSA -> Encoding
$ctoEncoding :: CoseHashAlgECDSA -> Encoding
toJSON :: CoseHashAlgECDSA -> Value
$ctoJSON :: CoseHashAlgECDSA -> Value
ToJSON)
data CoseHashAlgRSA
=
CoseHashAlgRSASHA1
|
CoseHashAlgRSASHA256
|
CoseHashAlgRSASHA384
|
CoseHashAlgRSASHA512
deriving (CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
$c/= :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
== :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
$c== :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
Eq, Int -> CoseHashAlgRSA -> ShowS
[CoseHashAlgRSA] -> ShowS
CoseHashAlgRSA -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [CoseHashAlgRSA] -> ShowS
$cshowList :: [CoseHashAlgRSA] -> ShowS
show :: CoseHashAlgRSA -> String
$cshow :: CoseHashAlgRSA -> String
showsPrec :: Int -> CoseHashAlgRSA -> ShowS
$cshowsPrec :: Int -> CoseHashAlgRSA -> ShowS
Show, Eq CoseHashAlgRSA
CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
CoseHashAlgRSA -> CoseHashAlgRSA -> Ordering
CoseHashAlgRSA -> CoseHashAlgRSA -> CoseHashAlgRSA
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: CoseHashAlgRSA -> CoseHashAlgRSA -> CoseHashAlgRSA
$cmin :: CoseHashAlgRSA -> CoseHashAlgRSA -> CoseHashAlgRSA
max :: CoseHashAlgRSA -> CoseHashAlgRSA -> CoseHashAlgRSA
$cmax :: CoseHashAlgRSA -> CoseHashAlgRSA -> CoseHashAlgRSA
>= :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
$c>= :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
> :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
$c> :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
<= :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
$c<= :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
< :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
$c< :: CoseHashAlgRSA -> CoseHashAlgRSA -> Bool
compare :: CoseHashAlgRSA -> CoseHashAlgRSA -> Ordering
$ccompare :: CoseHashAlgRSA -> CoseHashAlgRSA -> Ordering
Ord, Int -> CoseHashAlgRSA
CoseHashAlgRSA -> Int
CoseHashAlgRSA -> [CoseHashAlgRSA]
CoseHashAlgRSA -> CoseHashAlgRSA
CoseHashAlgRSA -> CoseHashAlgRSA -> [CoseHashAlgRSA]
CoseHashAlgRSA
-> CoseHashAlgRSA -> CoseHashAlgRSA -> [CoseHashAlgRSA]
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
enumFromThenTo :: CoseHashAlgRSA
-> CoseHashAlgRSA -> CoseHashAlgRSA -> [CoseHashAlgRSA]
$cenumFromThenTo :: CoseHashAlgRSA
-> CoseHashAlgRSA -> CoseHashAlgRSA -> [CoseHashAlgRSA]
enumFromTo :: CoseHashAlgRSA -> CoseHashAlgRSA -> [CoseHashAlgRSA]
$cenumFromTo :: CoseHashAlgRSA -> CoseHashAlgRSA -> [CoseHashAlgRSA]
enumFromThen :: CoseHashAlgRSA -> CoseHashAlgRSA -> [CoseHashAlgRSA]
$cenumFromThen :: CoseHashAlgRSA -> CoseHashAlgRSA -> [CoseHashAlgRSA]
enumFrom :: CoseHashAlgRSA -> [CoseHashAlgRSA]
$cenumFrom :: CoseHashAlgRSA -> [CoseHashAlgRSA]
fromEnum :: CoseHashAlgRSA -> Int
$cfromEnum :: CoseHashAlgRSA -> Int
toEnum :: Int -> CoseHashAlgRSA
$ctoEnum :: Int -> CoseHashAlgRSA
pred :: CoseHashAlgRSA -> CoseHashAlgRSA
$cpred :: CoseHashAlgRSA -> CoseHashAlgRSA
succ :: CoseHashAlgRSA -> CoseHashAlgRSA
$csucc :: CoseHashAlgRSA -> CoseHashAlgRSA
Enum, CoseHashAlgRSA
forall a. a -> a -> Bounded a
maxBound :: CoseHashAlgRSA
$cmaxBound :: CoseHashAlgRSA
minBound :: CoseHashAlgRSA
$cminBound :: CoseHashAlgRSA
Bounded, forall x. Rep CoseHashAlgRSA x -> CoseHashAlgRSA
forall x. CoseHashAlgRSA -> Rep CoseHashAlgRSA x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep CoseHashAlgRSA x -> CoseHashAlgRSA
$cfrom :: forall x. CoseHashAlgRSA -> Rep CoseHashAlgRSA x
Generic, [CoseHashAlgRSA] -> Encoding
[CoseHashAlgRSA] -> Value
CoseHashAlgRSA -> Encoding
CoseHashAlgRSA -> Value
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> ToJSON a
toEncodingList :: [CoseHashAlgRSA] -> Encoding
$ctoEncodingList :: [CoseHashAlgRSA] -> Encoding
toJSONList :: [CoseHashAlgRSA] -> Value
$ctoJSONList :: [CoseHashAlgRSA] -> Value
toEncoding :: CoseHashAlgRSA -> Encoding
$ctoEncoding :: CoseHashAlgRSA -> Encoding
toJSON :: CoseHashAlgRSA -> Value
$ctoJSON :: CoseHashAlgRSA -> Value
ToJSON)
pattern CoseAlgorithmEdDSA :: CoseSignAlg
pattern $bCoseAlgorithmEdDSA :: CoseSignAlg
$mCoseAlgorithmEdDSA :: forall {r}. CoseSignAlg -> ((# #) -> r) -> ((# #) -> r) -> r
CoseAlgorithmEdDSA = CoseSignAlgEdDSA
pattern CoseAlgorithmES256 :: CoseSignAlg
pattern $bCoseAlgorithmES256 :: CoseSignAlg
$mCoseAlgorithmES256 :: forall {r}. CoseSignAlg -> ((# #) -> r) -> ((# #) -> r) -> r
CoseAlgorithmES256 = CoseSignAlgECDSA CoseHashAlgECDSASHA256
pattern CoseAlgorithmES384 :: CoseSignAlg
pattern $bCoseAlgorithmES384 :: CoseSignAlg
$mCoseAlgorithmES384 :: forall {r}. CoseSignAlg -> ((# #) -> r) -> ((# #) -> r) -> r
CoseAlgorithmES384 = CoseSignAlgECDSA CoseHashAlgECDSASHA384
pattern CoseAlgorithmES512 :: CoseSignAlg
pattern $bCoseAlgorithmES512 :: CoseSignAlg
$mCoseAlgorithmES512 :: forall {r}. CoseSignAlg -> ((# #) -> r) -> ((# #) -> r) -> r
CoseAlgorithmES512 = CoseSignAlgECDSA CoseHashAlgECDSASHA512
pattern CoseAlgorithmRS256 :: CoseSignAlg
pattern $bCoseAlgorithmRS256 :: CoseSignAlg
$mCoseAlgorithmRS256 :: forall {r}. CoseSignAlg -> ((# #) -> r) -> ((# #) -> r) -> r
CoseAlgorithmRS256 = CoseSignAlgRSA CoseHashAlgRSASHA256
pattern CoseAlgorithmRS384 :: CoseSignAlg
pattern $bCoseAlgorithmRS384 :: CoseSignAlg
$mCoseAlgorithmRS384 :: forall {r}. CoseSignAlg -> ((# #) -> r) -> ((# #) -> r) -> r
CoseAlgorithmRS384 = CoseSignAlgRSA CoseHashAlgRSASHA384
pattern CoseAlgorithmRS512 :: CoseSignAlg
pattern $bCoseAlgorithmRS512 :: CoseSignAlg
$mCoseAlgorithmRS512 :: forall {r}. CoseSignAlg -> ((# #) -> r) -> ((# #) -> r) -> r
CoseAlgorithmRS512 = CoseSignAlgRSA CoseHashAlgRSASHA512
pattern CoseAlgorithmRS1 :: CoseSignAlg
pattern $bCoseAlgorithmRS1 :: CoseSignAlg
$mCoseAlgorithmRS1 :: forall {r}. CoseSignAlg -> ((# #) -> r) -> ((# #) -> r) -> r
CoseAlgorithmRS1 = CoseSignAlgRSA CoseHashAlgRSASHA1
instance Serialise CoseSignAlg where
encode :: CoseSignAlg -> Encoding
encode = Int -> Encoding
encodeInt forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall p. Num p => CoseSignAlg -> p
fromCoseSignAlg
decode :: forall s. Decoder s CoseSignAlg
decode = do
Int
int <- forall s. Decoder s Int
decodeIntCanonical
case forall a. (Eq a, Num a, Show a) => a -> Either Text CoseSignAlg
toCoseSignAlg Int
int of
Right CoseSignAlg
res -> forall (f :: * -> *) a. Applicative f => a -> f a
pure CoseSignAlg
res
Left Text
err -> forall (m :: * -> *) a. MonadFail m => String -> m a
fail forall a b. (a -> b) -> a -> b
$ Text -> String
Text.unpack Text
err
fromCoseSignAlg :: Num p => CoseSignAlg -> p
fromCoseSignAlg :: forall p. Num p => CoseSignAlg -> p
fromCoseSignAlg (CoseSignAlgRSA CoseHashAlgRSA
CoseHashAlgRSASHA1) = -p
65535
fromCoseSignAlg (CoseSignAlgRSA CoseHashAlgRSA
CoseHashAlgRSASHA512) = -p
259
fromCoseSignAlg (CoseSignAlgRSA CoseHashAlgRSA
CoseHashAlgRSASHA384) = -p
258
fromCoseSignAlg (CoseSignAlgRSA CoseHashAlgRSA
CoseHashAlgRSASHA256) = -p
257
fromCoseSignAlg (CoseSignAlgECDSA CoseHashAlgECDSA
CoseHashAlgECDSASHA512) = -p
36
fromCoseSignAlg (CoseSignAlgECDSA CoseHashAlgECDSA
CoseHashAlgECDSASHA384) = -p
35
fromCoseSignAlg CoseSignAlg
CoseSignAlgEdDSA = -p
8
fromCoseSignAlg (CoseSignAlgECDSA CoseHashAlgECDSA
CoseHashAlgECDSASHA256) = -p
7
toCoseSignAlg :: (Eq a, Num a, Show a) => a -> Either Text CoseSignAlg
toCoseSignAlg :: forall a. (Eq a, Num a, Show a) => a -> Either Text CoseSignAlg
toCoseSignAlg (-65535) = forall (f :: * -> *) a. Applicative f => a -> f a
pure (CoseHashAlgRSA -> CoseSignAlg
CoseSignAlgRSA CoseHashAlgRSA
CoseHashAlgRSASHA1)
toCoseSignAlg (-259) = forall (f :: * -> *) a. Applicative f => a -> f a
pure (CoseHashAlgRSA -> CoseSignAlg
CoseSignAlgRSA CoseHashAlgRSA
CoseHashAlgRSASHA512)
toCoseSignAlg (-258) = forall (f :: * -> *) a. Applicative f => a -> f a
pure (CoseHashAlgRSA -> CoseSignAlg
CoseSignAlgRSA CoseHashAlgRSA
CoseHashAlgRSASHA384)
toCoseSignAlg (-257) = forall (f :: * -> *) a. Applicative f => a -> f a
pure (CoseHashAlgRSA -> CoseSignAlg
CoseSignAlgRSA CoseHashAlgRSA
CoseHashAlgRSASHA256)
toCoseSignAlg (-36) = forall (f :: * -> *) a. Applicative f => a -> f a
pure (CoseHashAlgECDSA -> CoseSignAlg
CoseSignAlgECDSA CoseHashAlgECDSA
CoseHashAlgECDSASHA512)
toCoseSignAlg (-35) = forall (f :: * -> *) a. Applicative f => a -> f a
pure (CoseHashAlgECDSA -> CoseSignAlg
CoseSignAlgECDSA CoseHashAlgECDSA
CoseHashAlgECDSASHA384)
toCoseSignAlg (-8) = forall (f :: * -> *) a. Applicative f => a -> f a
pure CoseSignAlg
CoseSignAlgEdDSA
toCoseSignAlg (-7) = forall (f :: * -> *) a. Applicative f => a -> f a
pure (CoseHashAlgECDSA -> CoseSignAlg
CoseSignAlgECDSA CoseHashAlgECDSA
CoseHashAlgECDSASHA256)
toCoseSignAlg a
value = forall a b. a -> Either a b
Left forall a b. (a -> b) -> a -> b
$ Text
"Unknown COSE algorithm value " forall a. Semigroup a => a -> a -> a
<> String -> Text
Text.pack (forall a. Show a => a -> String
show a
value)