Safe Haskell	Safe-Inferred
Language	Haskell2010

Crypto.JOSE.JWA.JWK

Contents

Type classes
Parameters for Elliptic Curve Keys
Parameters for RSA Keys
Parameters for Symmetric Keys
Parameters for CFRG EC keys (RFC 8037)
Key generation
Signing and verification

Description

Cryptographic Algorithms for Keys.

Synopsis

class AsPublicKey k where
- asPublicKey :: Getter k (Maybe k)
data Crv
- = P_256
- | P_384
- | P_521
- | Secp256k1
data ECKeyParameters
ecCrv :: Getter ECKeyParameters Crv
ecX :: Getter ECKeyParameters SizedBase64Integer
ecY :: Getter ECKeyParameters SizedBase64Integer
ecD :: Getter ECKeyParameters (Maybe SizedBase64Integer)
curve :: Crv -> Curve
point :: ECKeyParameters -> Point
ecPrivateKey :: (MonadError e m, AsError e) => ECKeyParameters -> m Integer
ecParametersFromX509 :: (MonadError e m, AsError e) => PubKeyEC -> m ECKeyParameters
genEC :: MonadRandom m => Crv -> m ECKeyParameters
data RSAPrivateKeyOthElem = RSAPrivateKeyOthElem {
- rOth :: Base64Integer
- dOth :: Base64Integer
- tOth :: Base64Integer
}
data RSAPrivateKeyOptionalParameters = RSAPrivateKeyOptionalParameters {
- rsaP :: Base64Integer
- rsaQ :: Base64Integer
- rsaDp :: Base64Integer
- rsaDq :: Base64Integer
- rsaQi :: Base64Integer
- rsaOth :: Maybe (NonEmpty RSAPrivateKeyOthElem)
}
data RSAPrivateKeyParameters = RSAPrivateKeyParameters {
- rsaD :: Base64Integer
- rsaOptionalParameters :: Maybe RSAPrivateKeyOptionalParameters
}
data RSAKeyParameters = RSAKeyParameters Base64Integer Base64Integer (Maybe RSAPrivateKeyParameters)
toRSAKeyParameters :: PrivateKey -> RSAKeyParameters
toRSAPublicKeyParameters :: PublicKey -> RSAKeyParameters
rsaE :: Lens' RSAKeyParameters Base64Integer
rsaN :: Lens' RSAKeyParameters Base64Integer
rsaPrivateKeyParameters :: Lens' RSAKeyParameters (Maybe RSAPrivateKeyParameters)
rsaPublicKey :: RSAKeyParameters -> PublicKey
genRSA :: MonadRandom m => Int -> m RSAKeyParameters
newtype OctKeyParameters = OctKeyParameters Base64Octets
octK :: Iso' OctKeyParameters Base64Octets
data OKPKeyParameters
- = Ed25519Key PublicKey (Maybe SecretKey)
- | Ed448Key PublicKey (Maybe SecretKey)
- | X25519Key PublicKey (Maybe SecretKey)
- | X448Key PublicKey (Maybe SecretKey)
data OKPCrv
- = Ed25519
- | Ed448
- | X25519
- | X448
genOKP :: MonadRandom m => OKPCrv -> m OKPKeyParameters
data KeyMaterialGenParam
- = ECGenParam Crv
- | RSAGenParam Int
- | OctGenParam Int
- | OKPGenParam OKPCrv
data KeyMaterial
- = ECKeyMaterial ECKeyParameters
- | RSAKeyMaterial RSAKeyParameters
- | OctKeyMaterial OctKeyParameters
- | OKPKeyMaterial OKPKeyParameters
genKeyMaterial :: MonadRandom m => KeyMaterialGenParam -> m KeyMaterial
sign :: (MonadRandom m, MonadError e m, AsError e) => Alg -> KeyMaterial -> ByteString -> m ByteString
verify :: (MonadError e m, AsError e) => Alg -> KeyMaterial -> ByteString -> ByteString -> m Bool
module Crypto.Random

Type classes

class AsPublicKey k where Source #

Keys that may have have public material

Methods

asPublicKey :: Getter k (Maybe k) Source #

Get the public key

Instances

Instances details

AsPublicKey ECKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods asPublicKey :: Getter ECKeyParameters (Maybe ECKeyParameters) Source #
AsPublicKey KeyMaterial Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods asPublicKey :: Getter KeyMaterial (Maybe KeyMaterial) Source #
AsPublicKey OKPKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods asPublicKey :: Getter OKPKeyParameters (Maybe OKPKeyParameters) Source #
AsPublicKey RSAKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods asPublicKey :: Getter RSAKeyParameters (Maybe RSAKeyParameters) Source #
AsPublicKey JWK Source #
Instance details Defined in Crypto.JOSE.JWK Methods asPublicKey :: Getter JWK (Maybe JWK) Source #

Parameters for Elliptic Curve Keys

data Crv Source #

"crv" (Curve) Parameter

Constructors

P_256
P_384
P_521
Secp256k1

Instances

Instances details

FromJSON Crv Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods parseJSON :: Value -> Parser Crv # parseJSONList :: Value -> Parser [Crv] #
ToJSON Crv Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods toJSON :: Crv -> Value # toEncoding :: Crv -> Encoding # toJSONList :: [Crv] -> Value # toEncodingList :: [Crv] -> Encoding #
Show Crv Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods showsPrec :: Int -> Crv -> ShowS # show :: Crv -> String # showList :: [Crv] -> ShowS #
Eq Crv Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods (==) :: Crv -> Crv -> Bool # (/=) :: Crv -> Crv -> Bool #
Ord Crv Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods compare :: Crv -> Crv -> Ordering # (<) :: Crv -> Crv -> Bool # (<=) :: Crv -> Crv -> Bool # (>) :: Crv -> Crv -> Bool # (>=) :: Crv -> Crv -> Bool # max :: Crv -> Crv -> Crv # min :: Crv -> Crv -> Crv #

data ECKeyParameters Source #

Parameters for Elliptic Curve Keys

Instances

Instances details

FromJSON ECKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods parseJSON :: Value -> Parser ECKeyParameters # parseJSONList :: Value -> Parser [ECKeyParameters] #
ToJSON ECKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods toJSON :: ECKeyParameters -> Value # toEncoding :: ECKeyParameters -> Encoding # toJSONList :: [ECKeyParameters] -> Value # toEncodingList :: [ECKeyParameters] -> Encoding #
Show ECKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods showsPrec :: Int -> ECKeyParameters -> ShowS # show :: ECKeyParameters -> String # showList :: [ECKeyParameters] -> ShowS #
Eq ECKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods (==) :: ECKeyParameters -> ECKeyParameters -> Bool # (/=) :: ECKeyParameters -> ECKeyParameters -> Bool #
AsPublicKey ECKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods asPublicKey :: Getter ECKeyParameters (Maybe ECKeyParameters) Source #

ecCrv :: Getter ECKeyParameters Crv Source #

ecX :: Getter ECKeyParameters SizedBase64Integer Source #

ecY :: Getter ECKeyParameters SizedBase64Integer Source #

ecD :: Getter ECKeyParameters (Maybe SizedBase64Integer) Source #

curve :: Crv -> Curve Source #

point :: ECKeyParameters -> Point Source #

ecPrivateKey :: (MonadError e m, AsError e) => ECKeyParameters -> m Integer Source #

ecParametersFromX509 :: (MonadError e m, AsError e) => PubKeyEC -> m ECKeyParameters Source #

genEC :: MonadRandom m => Crv -> m ECKeyParameters Source #

Parameters for RSA Keys

data RSAPrivateKeyOthElem Source #

"oth" (Other Primes Info) Parameter

Constructors

RSAPrivateKeyOthElem
Fields rOth :: Base64Integer dOth :: Base64Integer tOth :: Base64Integer

Instances

Instances details

FromJSON RSAPrivateKeyOthElem Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods parseJSON :: Value -> Parser RSAPrivateKeyOthElem # parseJSONList :: Value -> Parser [RSAPrivateKeyOthElem] #
ToJSON RSAPrivateKeyOthElem Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods toJSON :: RSAPrivateKeyOthElem -> Value # toEncoding :: RSAPrivateKeyOthElem -> Encoding # toJSONList :: [RSAPrivateKeyOthElem] -> Value # toEncodingList :: [RSAPrivateKeyOthElem] -> Encoding #
Show RSAPrivateKeyOthElem Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods showsPrec :: Int -> RSAPrivateKeyOthElem -> ShowS # show :: RSAPrivateKeyOthElem -> String # showList :: [RSAPrivateKeyOthElem] -> ShowS #
Eq RSAPrivateKeyOthElem Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods (==) :: RSAPrivateKeyOthElem -> RSAPrivateKeyOthElem -> Bool # (/=) :: RSAPrivateKeyOthElem -> RSAPrivateKeyOthElem -> Bool #

data RSAPrivateKeyOptionalParameters Source #

Optional parameters for RSA private keys

Constructors

RSAPrivateKeyOptionalParameters
Fields rsaP :: Base64Integer rsaQ :: Base64Integer rsaDp :: Base64Integer rsaDq :: Base64Integer rsaQi :: Base64Integer rsaOth :: Maybe (NonEmpty RSAPrivateKeyOthElem)

Instances

Instances details

FromJSON RSAPrivateKeyOptionalParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods parseJSON :: Value -> Parser RSAPrivateKeyOptionalParameters # parseJSONList :: Value -> Parser [RSAPrivateKeyOptionalParameters] #
ToJSON RSAPrivateKeyOptionalParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods toJSON :: RSAPrivateKeyOptionalParameters -> Value # toEncoding :: RSAPrivateKeyOptionalParameters -> Encoding # toJSONList :: [RSAPrivateKeyOptionalParameters] -> Value # toEncodingList :: [RSAPrivateKeyOptionalParameters] -> Encoding #
Show RSAPrivateKeyOptionalParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods showsPrec :: Int -> RSAPrivateKeyOptionalParameters -> ShowS # show :: RSAPrivateKeyOptionalParameters -> String # showList :: [RSAPrivateKeyOptionalParameters] -> ShowS #
Eq RSAPrivateKeyOptionalParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods (==) :: RSAPrivateKeyOptionalParameters -> RSAPrivateKeyOptionalParameters -> Bool # (/=) :: RSAPrivateKeyOptionalParameters -> RSAPrivateKeyOptionalParameters -> Bool #

data RSAPrivateKeyParameters Source #

RSA private key parameters

Constructors

RSAPrivateKeyParameters
Fields rsaD :: Base64Integer rsaOptionalParameters :: Maybe RSAPrivateKeyOptionalParameters

Instances

Instances details

FromJSON RSAPrivateKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods parseJSON :: Value -> Parser RSAPrivateKeyParameters # parseJSONList :: Value -> Parser [RSAPrivateKeyParameters] #
ToJSON RSAPrivateKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods toJSON :: RSAPrivateKeyParameters -> Value # toEncoding :: RSAPrivateKeyParameters -> Encoding # toJSONList :: [RSAPrivateKeyParameters] -> Value # toEncodingList :: [RSAPrivateKeyParameters] -> Encoding #
Show RSAPrivateKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods showsPrec :: Int -> RSAPrivateKeyParameters -> ShowS # show :: RSAPrivateKeyParameters -> String # showList :: [RSAPrivateKeyParameters] -> ShowS #
Eq RSAPrivateKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods (==) :: RSAPrivateKeyParameters -> RSAPrivateKeyParameters -> Bool # (/=) :: RSAPrivateKeyParameters -> RSAPrivateKeyParameters -> Bool #

data RSAKeyParameters Source #

Parameters for RSA Keys

Constructors

RSAKeyParameters Base64Integer Base64Integer (Maybe RSAPrivateKeyParameters)

Instances

Instances details

FromJSON RSAKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods parseJSON :: Value -> Parser RSAKeyParameters # parseJSONList :: Value -> Parser [RSAKeyParameters] #
ToJSON RSAKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods toJSON :: RSAKeyParameters -> Value # toEncoding :: RSAKeyParameters -> Encoding # toJSONList :: [RSAKeyParameters] -> Value # toEncodingList :: [RSAKeyParameters] -> Encoding #
Show RSAKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods showsPrec :: Int -> RSAKeyParameters -> ShowS # show :: RSAKeyParameters -> String # showList :: [RSAKeyParameters] -> ShowS #
Eq RSAKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods (==) :: RSAKeyParameters -> RSAKeyParameters -> Bool # (/=) :: RSAKeyParameters -> RSAKeyParameters -> Bool #
AsPublicKey RSAKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods asPublicKey :: Getter RSAKeyParameters (Maybe RSAKeyParameters) Source #

toRSAKeyParameters :: PrivateKey -> RSAKeyParameters Source #

toRSAPublicKeyParameters :: PublicKey -> RSAKeyParameters Source #

rsaE :: Lens' RSAKeyParameters Base64Integer Source #

rsaN :: Lens' RSAKeyParameters Base64Integer Source #

rsaPrivateKeyParameters :: Lens' RSAKeyParameters (Maybe RSAPrivateKeyParameters) Source #

rsaPublicKey :: RSAKeyParameters -> PublicKey Source #

genRSA :: MonadRandom m => Int -> m RSAKeyParameters Source #

Parameters for Symmetric Keys

newtype OctKeyParameters Source #

Symmetric key parameters data.

Constructors

OctKeyParameters Base64Octets

Instances

Instances details

FromJSON OctKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods parseJSON :: Value -> Parser OctKeyParameters # parseJSONList :: Value -> Parser [OctKeyParameters] #
ToJSON OctKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods toJSON :: OctKeyParameters -> Value # toEncoding :: OctKeyParameters -> Encoding # toJSONList :: [OctKeyParameters] -> Value # toEncodingList :: [OctKeyParameters] -> Encoding #
Show OctKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods showsPrec :: Int -> OctKeyParameters -> ShowS # show :: OctKeyParameters -> String # showList :: [OctKeyParameters] -> ShowS #
Eq OctKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods (==) :: OctKeyParameters -> OctKeyParameters -> Bool # (/=) :: OctKeyParameters -> OctKeyParameters -> Bool #

octK :: Iso' OctKeyParameters Base64Octets Source #

Parameters for CFRG EC keys (RFC 8037)

data OKPKeyParameters Source #

Constructors

Ed25519Key PublicKey (Maybe SecretKey)
Ed448Key PublicKey (Maybe SecretKey)
X25519Key PublicKey (Maybe SecretKey)
X448Key PublicKey (Maybe SecretKey)

Instances

Instances details

FromJSON OKPKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods parseJSON :: Value -> Parser OKPKeyParameters # parseJSONList :: Value -> Parser [OKPKeyParameters] #
ToJSON OKPKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods toJSON :: OKPKeyParameters -> Value # toEncoding :: OKPKeyParameters -> Encoding # toJSONList :: [OKPKeyParameters] -> Value # toEncodingList :: [OKPKeyParameters] -> Encoding #
Show OKPKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods showsPrec :: Int -> OKPKeyParameters -> ShowS # show :: OKPKeyParameters -> String # showList :: [OKPKeyParameters] -> ShowS #
Eq OKPKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods (==) :: OKPKeyParameters -> OKPKeyParameters -> Bool # (/=) :: OKPKeyParameters -> OKPKeyParameters -> Bool #
AsPublicKey OKPKeyParameters Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods asPublicKey :: Getter OKPKeyParameters (Maybe OKPKeyParameters) Source #

data OKPCrv Source #

Constructors

Ed25519
Ed448
X25519
X448

Instances

Instances details

Show OKPCrv Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods showsPrec :: Int -> OKPCrv -> ShowS # show :: OKPCrv -> String # showList :: [OKPCrv] -> ShowS #
Eq OKPCrv Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods (==) :: OKPCrv -> OKPCrv -> Bool # (/=) :: OKPCrv -> OKPCrv -> Bool #

genOKP :: MonadRandom m => OKPCrv -> m OKPKeyParameters Source #

Key generation

data KeyMaterialGenParam Source #

Keygen parameters.

Constructors

ECGenParam Crv	Generate an EC key with specified curve.
RSAGenParam Int	Generate an RSA key with specified size in bytes.
OctGenParam Int	Generate a symmetric key with specified size in bytes.
OKPGenParam OKPCrv	Generate an EdDSA or Edwards ECDH key with specified curve.

Instances

Instances details

Show KeyMaterialGenParam Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods showsPrec :: Int -> KeyMaterialGenParam -> ShowS # show :: KeyMaterialGenParam -> String # showList :: [KeyMaterialGenParam] -> ShowS #
Eq KeyMaterialGenParam Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods (==) :: KeyMaterialGenParam -> KeyMaterialGenParam -> Bool # (/=) :: KeyMaterialGenParam -> KeyMaterialGenParam -> Bool #

data KeyMaterial Source #

Key material sum type.

Constructors

ECKeyMaterial ECKeyParameters
RSAKeyMaterial RSAKeyParameters
OctKeyMaterial OctKeyParameters
OKPKeyMaterial OKPKeyParameters

Instances

Instances details

FromJSON KeyMaterial Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods parseJSON :: Value -> Parser KeyMaterial # parseJSONList :: Value -> Parser [KeyMaterial] #
ToJSON KeyMaterial Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods toJSON :: KeyMaterial -> Value # toEncoding :: KeyMaterial -> Encoding # toJSONList :: [KeyMaterial] -> Value # toEncodingList :: [KeyMaterial] -> Encoding #
Show KeyMaterial Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods showsPrec :: Int -> KeyMaterial -> ShowS # show :: KeyMaterial -> String # showList :: [KeyMaterial] -> ShowS #
Eq KeyMaterial Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods (==) :: KeyMaterial -> KeyMaterial -> Bool # (/=) :: KeyMaterial -> KeyMaterial -> Bool #
AsPublicKey KeyMaterial Source #
Instance details Defined in Crypto.JOSE.JWA.JWK Methods asPublicKey :: Getter KeyMaterial (Maybe KeyMaterial) Source #

genKeyMaterial :: MonadRandom m => KeyMaterialGenParam -> m KeyMaterial Source #

Signing and verification

sign :: (MonadRandom m, MonadError e m, AsError e) => Alg -> KeyMaterial -> ByteString -> m ByteString Source #

verify :: (MonadError e m, AsError e) => Alg -> KeyMaterial -> ByteString -> ByteString -> m Bool Source #

module Crypto.Random