module Crypto.JOSE.Types
(
Base64Integer(..)
, SizedBase64Integer(..)
, Base64UrlString(..)
, Base64Octets(..)
, Base64SHA1(..)
, Base64SHA256(..)
, Base64X509(..)
, URI
) where
import Control.Applicative
import Data.Aeson
import Data.Byteable
import qualified Data.ByteString as B
import qualified Data.ByteString.Base64.URL as B64U
import Data.X509
import Network.URI (URI)
import Crypto.JOSE.Types.Internal
import Crypto.JOSE.Types.Orphans ()
newtype Base64Integer = Base64Integer Integer
deriving (Eq, Show)
instance FromJSON Base64Integer where
parseJSON = withText "base64url integer" $ parseB64Url $
pure . Base64Integer . bsToInteger
instance ToJSON Base64Integer where
toJSON (Base64Integer x) = encodeB64Url $ integerToBS x
data SizedBase64Integer = SizedBase64Integer Int Integer
deriving (Eq, Show)
instance FromJSON SizedBase64Integer where
parseJSON = withText "full size base64url integer" $ parseB64Url (\bytes ->
pure $ SizedBase64Integer (B.length bytes) (bsToInteger bytes))
instance ToJSON SizedBase64Integer where
toJSON (SizedBase64Integer s x) = encodeB64Url $ zeroPad $ integerToBS x
where zeroPad xs = B.replicate (s B.length xs) 0 `B.append` xs
newtype Base64UrlString = Base64UrlString B.ByteString
deriving (Eq, Show)
instance FromJSON Base64UrlString where
parseJSON = withText "base64url string" $ parseB64Url $ pure . Base64UrlString
newtype Base64Octets = Base64Octets B.ByteString
deriving (Eq, Show)
instance Byteable Base64Octets where
toBytes (Base64Octets s) = unpad $ B64U.encode s
instance FromJSON Base64Octets where
parseJSON = withText "Base64Octets" $ parseB64Url (pure . Base64Octets)
instance ToJSON Base64Octets where
toJSON (Base64Octets bytes) = encodeB64Url bytes
newtype Base64SHA1 = Base64SHA1 B.ByteString
deriving (Eq, Show)
instance FromJSON Base64SHA1 where
parseJSON = withText "base64url SHA-1" $ parseB64Url (\bytes ->
case B.length bytes of
20 -> pure $ Base64SHA1 bytes
_ -> fail "incorrect number of bytes")
instance ToJSON Base64SHA1 where
toJSON (Base64SHA1 bytes) = encodeB64Url bytes
newtype Base64SHA256 = Base64SHA256 B.ByteString
deriving (Eq, Show)
instance FromJSON Base64SHA256 where
parseJSON = withText "base64url SHA-256" $ parseB64Url (\bytes ->
case B.length bytes of
32 -> pure $ Base64SHA256 bytes
_ -> fail "incorrect number of bytes")
instance ToJSON Base64SHA256 where
toJSON (Base64SHA256 bytes) = encodeB64Url bytes
newtype Base64X509 = Base64X509 SignedCertificate
deriving (Eq, Show)
instance FromJSON Base64X509 where
parseJSON = withText "base64url X.509 certificate" $ parseB64 $
either fail (pure . Base64X509) . decodeSignedCertificate
instance ToJSON Base64X509 where
toJSON (Base64X509 x509) = encodeB64 $ encodeSignedObject x509