Safe Haskell	None
Language	Haskell2010

SDJWT.Internal.Types

Description

Core data types for SD-JWT (Selective Disclosure for JSON Web Tokens).

This module defines all the data types used throughout the SD-JWT library, including hash algorithms, disclosures, SD-JWT structures, and error types. These types correspond to the structures defined in RFC 9901.

Synopsis

data HashAlgorithm
- = SHA256
- | SHA384
- | SHA512
newtype Salt = Salt {
- unSalt :: ByteString
}
newtype Digest = Digest {
- unDigest :: Text
}
data ObjectDisclosure = ObjectDisclosure {
- disclosureSalt :: Salt
- disclosureName :: Text
- disclosureValue :: Value
}
data ArrayDisclosure = ArrayDisclosure {
- arraySalt :: Salt
- arrayValue :: Value
}
data Disclosure
- = DisclosureObject ObjectDisclosure
- | DisclosureArray ArrayDisclosure
newtype EncodedDisclosure = EncodedDisclosure {
- unEncodedDisclosure :: Text
}
data SDJWTPayload = SDJWTPayload {
- sdAlg :: Maybe HashAlgorithm
- payloadValue :: Value
}
newtype KeyBindingInfo = KeyBindingInfo {
- kbPublicKey :: Text
}
data SDJWT = SDJWT {
- issuerSignedJWT :: Text
- disclosures :: [EncodedDisclosure]
}
data SDJWTPresentation = SDJWTPresentation {
- presentationJWT :: Text
- selectedDisclosures :: [EncodedDisclosure]
- keyBindingJWT :: Maybe Text
}
data ProcessedSDJWTPayload = ProcessedSDJWTPayload {
- processedClaims :: Object
- keyBindingInfo :: Maybe KeyBindingInfo
}
data SDJWTError
- = InvalidDisclosureFormat Text
- | InvalidDigest Text
- | MissingDisclosure Text
- | DuplicateDisclosure Text
- | InvalidSignature Text
- | InvalidKeyBinding Text
- | InvalidHashAlgorithm Text
- | InvalidClaimName Text
- | SaltGenerationError Text
- | JSONParseError Text
- | SerializationError Text
- | VerificationError Text

Documentation

data HashAlgorithm Source #

Hash algorithm identifier for computing disclosure digests.

All three algorithms (SHA-256, SHA-384, SHA-512) must be supported. SHA-256 is the default when _sd_alg is not specified in the SD-JWT.

Constructors

SHA256	SHA-256 (default, required)
SHA384	SHA-384
SHA512	SHA-512

Instances

Instances details

Generic HashAlgorithm Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep HashAlgorithm
Instance details Defined in SDJWT.Internal.Types type Rep HashAlgorithm = D1 ('MetaData "HashAlgorithm" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "SHA256" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SHA384" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SHA512" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: HashAlgorithm -> Rep HashAlgorithm x #

to :: Rep HashAlgorithm x -> HashAlgorithm #

Read HashAlgorithm Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

readsPrec :: Int -> ReadS HashAlgorithm #

readList :: ReadS [HashAlgorithm] #

readPrec :: ReadPrec HashAlgorithm #

readListPrec :: ReadPrec [HashAlgorithm] #

Show HashAlgorithm Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> HashAlgorithm -> ShowS #

show :: HashAlgorithm -> String #

showList :: [HashAlgorithm] -> ShowS #

Eq HashAlgorithm Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: HashAlgorithm -> HashAlgorithm -> Bool #

(/=) :: HashAlgorithm -> HashAlgorithm -> Bool #

type Rep HashAlgorithm Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep HashAlgorithm = D1 ('MetaData "HashAlgorithm" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "SHA256" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SHA384" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SHA512" 'PrefixI 'False) (U1 :: Type -> Type)))

newtype Salt Source #

Salt value (cryptographically secure random).

Salts are used when creating disclosures to prevent brute-force attacks. RFC 9901 recommends 128 bits (16 bytes) of entropy.

Constructors

Salt
Fields unSalt :: ByteString

Instances

Instances details

Generic Salt Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep Salt
Instance details Defined in SDJWT.Internal.Types type Rep Salt = D1 ('MetaData "Salt" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'True) (C1 ('MetaCons "Salt" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSalt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from :: Salt -> Rep Salt x #

to :: Rep Salt x -> Salt #

Show Salt Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> Salt -> ShowS #

show :: Salt -> String #

showList :: [Salt] -> ShowS #

Eq Salt Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: Salt -> Salt -> Bool #

(/=) :: Salt -> Salt -> Bool #

type Rep Salt Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep Salt = D1 ('MetaData "Salt" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'True) (C1 ('MetaCons "Salt" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSalt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype Digest Source #

Digest (base64url-encoded hash).

A digest is the base64url-encoded hash of a disclosure. Digests replace claim values in the SD-JWT payload to enable selective disclosure.

Constructors

Digest
Fields unDigest :: Text

Instances

Instances details

Generic Digest Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep Digest
Instance details Defined in SDJWT.Internal.Types type Rep Digest = D1 ('MetaData "Digest" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'True) (C1 ('MetaCons "Digest" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDigest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: Digest -> Rep Digest x #

to :: Rep Digest x -> Digest #

Show Digest Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> Digest -> ShowS #

show :: Digest -> String #

showList :: [Digest] -> ShowS #

Eq Digest Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: Digest -> Digest -> Bool #

(/=) :: Digest -> Digest -> Bool #

type Rep Digest Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep Digest = D1 ('MetaData "Digest" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'True) (C1 ('MetaCons "Digest" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDigest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data ObjectDisclosure Source #

Disclosure for object properties: [salt, claim_name, claim_value]

Constructors

ObjectDisclosure
Fields disclosureSalt :: Salt disclosureName :: Text disclosureValue :: Value

Instances

Instances details

Generic ObjectDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep ObjectDisclosure

Instance details

Defined in SDJWT.Internal.Types

type Rep ObjectDisclosure = D1 ('MetaData "ObjectDisclosure" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "ObjectDisclosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "disclosureSalt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Salt) :*: (S1 ('MetaSel ('Just "disclosureName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "disclosureValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

Methods

from :: ObjectDisclosure -> Rep ObjectDisclosure x #

to :: Rep ObjectDisclosure x -> ObjectDisclosure #

Show ObjectDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> ObjectDisclosure -> ShowS #

show :: ObjectDisclosure -> String #

showList :: [ObjectDisclosure] -> ShowS #

Eq ObjectDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: ObjectDisclosure -> ObjectDisclosure -> Bool #

(/=) :: ObjectDisclosure -> ObjectDisclosure -> Bool #

type Rep ObjectDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep ObjectDisclosure = D1 ('MetaData "ObjectDisclosure" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "ObjectDisclosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "disclosureSalt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Salt) :*: (S1 ('MetaSel ('Just "disclosureName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "disclosureValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

data ArrayDisclosure Source #

Disclosure for array elements: [salt, claim_value]

Constructors

ArrayDisclosure
Fields arraySalt :: Salt arrayValue :: Value

Instances

Instances details

Generic ArrayDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep ArrayDisclosure

Instance details

Defined in SDJWT.Internal.Types

type Rep ArrayDisclosure = D1 ('MetaData "ArrayDisclosure" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "ArrayDisclosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "arraySalt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Salt) :*: S1 ('MetaSel ('Just "arrayValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

Methods

from :: ArrayDisclosure -> Rep ArrayDisclosure x #

to :: Rep ArrayDisclosure x -> ArrayDisclosure #

Show ArrayDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> ArrayDisclosure -> ShowS #

show :: ArrayDisclosure -> String #

showList :: [ArrayDisclosure] -> ShowS #

Eq ArrayDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: ArrayDisclosure -> ArrayDisclosure -> Bool #

(/=) :: ArrayDisclosure -> ArrayDisclosure -> Bool #

type Rep ArrayDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep ArrayDisclosure = D1 ('MetaData "ArrayDisclosure" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "ArrayDisclosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "arraySalt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Salt) :*: S1 ('MetaSel ('Just "arrayValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

data Disclosure Source #

Unified disclosure type

Constructors

DisclosureObject ObjectDisclosure
DisclosureArray ArrayDisclosure

Instances

Instances details

Generic Disclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep Disclosure

Instance details

Defined in SDJWT.Internal.Types

type Rep Disclosure = D1 ('MetaData "Disclosure" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "DisclosureObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectDisclosure)) :+: C1 ('MetaCons "DisclosureArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArrayDisclosure)))

Methods

from :: Disclosure -> Rep Disclosure x #

to :: Rep Disclosure x -> Disclosure #

Show Disclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> Disclosure -> ShowS #

show :: Disclosure -> String #

showList :: [Disclosure] -> ShowS #

Eq Disclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: Disclosure -> Disclosure -> Bool #

(/=) :: Disclosure -> Disclosure -> Bool #

type Rep Disclosure Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep Disclosure = D1 ('MetaData "Disclosure" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "DisclosureObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectDisclosure)) :+: C1 ('MetaCons "DisclosureArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArrayDisclosure)))

newtype EncodedDisclosure Source #

Encoded disclosure (base64url string)

Constructors

EncodedDisclosure
Fields unEncodedDisclosure :: Text

Instances

Instances details

Generic EncodedDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep EncodedDisclosure
Instance details Defined in SDJWT.Internal.Types type Rep EncodedDisclosure = D1 ('MetaData "EncodedDisclosure" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'True) (C1 ('MetaCons "EncodedDisclosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEncodedDisclosure") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: EncodedDisclosure -> Rep EncodedDisclosure x #

to :: Rep EncodedDisclosure x -> EncodedDisclosure #

Show EncodedDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> EncodedDisclosure -> ShowS #

show :: EncodedDisclosure -> String #

showList :: [EncodedDisclosure] -> ShowS #

Eq EncodedDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: EncodedDisclosure -> EncodedDisclosure -> Bool #

(/=) :: EncodedDisclosure -> EncodedDisclosure -> Bool #

type Rep EncodedDisclosure Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep EncodedDisclosure = D1 ('MetaData "EncodedDisclosure" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'True) (C1 ('MetaCons "EncodedDisclosure" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEncodedDisclosure") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data SDJWTPayload Source #

SD-JWT payload structure Note: This is a simplified representation. The actual payload is a JSON object with _sd arrays and ... objects for arrays.

Constructors

SDJWTPayload
Fields sdAlg :: Maybe HashAlgorithm _sd_alg claim payloadValue :: Value The actual JSON payload

Instances

Instances details

Generic SDJWTPayload Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep SDJWTPayload

Instance details

Defined in SDJWT.Internal.Types

type Rep SDJWTPayload = D1 ('MetaData "SDJWTPayload" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "SDJWTPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "sdAlg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe HashAlgorithm)) :*: S1 ('MetaSel ('Just "payloadValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

Methods

from :: SDJWTPayload -> Rep SDJWTPayload x #

to :: Rep SDJWTPayload x -> SDJWTPayload #

Show SDJWTPayload Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> SDJWTPayload -> ShowS #

show :: SDJWTPayload -> String #

showList :: [SDJWTPayload] -> ShowS #

Eq SDJWTPayload Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: SDJWTPayload -> SDJWTPayload -> Bool #

(/=) :: SDJWTPayload -> SDJWTPayload -> Bool #

type Rep SDJWTPayload Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep SDJWTPayload = D1 ('MetaData "SDJWTPayload" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "SDJWTPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "sdAlg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe HashAlgorithm)) :*: S1 ('MetaSel ('Just "payloadValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

newtype KeyBindingInfo Source #

Key Binding information from cnf claim

The public key is stored as a JWK JSON string (Text), which is compatible with JWKLike. This allows users to work with JWKs without requiring a direct dependency on the jose library.

Constructors

KeyBindingInfo
Fields kbPublicKey :: Text Holder's public key from cnf claim (JWK JSON string)

Instances

Instances details

Generic KeyBindingInfo Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep KeyBindingInfo
Instance details Defined in SDJWT.Internal.Types type Rep KeyBindingInfo = D1 ('MetaData "KeyBindingInfo" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'True) (C1 ('MetaCons "KeyBindingInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "kbPublicKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: KeyBindingInfo -> Rep KeyBindingInfo x #

to :: Rep KeyBindingInfo x -> KeyBindingInfo #

Show KeyBindingInfo Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> KeyBindingInfo -> ShowS #

show :: KeyBindingInfo -> String #

showList :: [KeyBindingInfo] -> ShowS #

Eq KeyBindingInfo Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: KeyBindingInfo -> KeyBindingInfo -> Bool #

(/=) :: KeyBindingInfo -> KeyBindingInfo -> Bool #

type Rep KeyBindingInfo Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep KeyBindingInfo = D1 ('MetaData "KeyBindingInfo" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'True) (C1 ('MetaCons "KeyBindingInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "kbPublicKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data SDJWT Source #

Complete SD-JWT structure (as issued)

Constructors

SDJWT
Fields issuerSignedJWT :: Text The signed JWT (compact serialization) disclosures :: [EncodedDisclosure] All disclosures

Instances

Instances details

Generic SDJWT Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep SDJWT

Instance details

Defined in SDJWT.Internal.Types

type Rep SDJWT = D1 ('MetaData "SDJWT" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "SDJWT" 'PrefixI 'True) (S1 ('MetaSel ('Just "issuerSignedJWT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "disclosures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [EncodedDisclosure])))

Methods

from :: SDJWT -> Rep SDJWT x #

to :: Rep SDJWT x -> SDJWT #

Show SDJWT Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> SDJWT -> ShowS #

show :: SDJWT -> String #

showList :: [SDJWT] -> ShowS #

Eq SDJWT Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: SDJWT -> SDJWT -> Bool #

(/=) :: SDJWT -> SDJWT -> Bool #

type Rep SDJWT Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep SDJWT = D1 ('MetaData "SDJWT" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "SDJWT" 'PrefixI 'True) (S1 ('MetaSel ('Just "issuerSignedJWT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "disclosures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [EncodedDisclosure])))

data SDJWTPresentation Source #

SD-JWT presentation (with selected disclosures)

Constructors

SDJWTPresentation
Fields presentationJWT :: Text selectedDisclosures :: [EncodedDisclosure] keyBindingJWT :: Maybe Text KB-JWT if present

Instances

Instances details

Generic SDJWTPresentation Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep SDJWTPresentation

Instance details

Defined in SDJWT.Internal.Types

type Rep SDJWTPresentation = D1 ('MetaData "SDJWTPresentation" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "SDJWTPresentation" 'PrefixI 'True) (S1 ('MetaSel ('Just "presentationJWT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "selectedDisclosures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [EncodedDisclosure]) :*: S1 ('MetaSel ('Just "keyBindingJWT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

Methods

from :: SDJWTPresentation -> Rep SDJWTPresentation x #

to :: Rep SDJWTPresentation x -> SDJWTPresentation #

Show SDJWTPresentation Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> SDJWTPresentation -> ShowS #

show :: SDJWTPresentation -> String #

showList :: [SDJWTPresentation] -> ShowS #

Eq SDJWTPresentation Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: SDJWTPresentation -> SDJWTPresentation -> Bool #

(/=) :: SDJWTPresentation -> SDJWTPresentation -> Bool #

type Rep SDJWTPresentation Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep SDJWTPresentation = D1 ('MetaData "SDJWTPresentation" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "SDJWTPresentation" 'PrefixI 'True) (S1 ('MetaSel ('Just "presentationJWT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "selectedDisclosures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [EncodedDisclosure]) :*: S1 ('MetaSel ('Just "keyBindingJWT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data ProcessedSDJWTPayload Source #

Processed SD-JWT payload (after verification)

Constructors

ProcessedSDJWTPayload
Fields processedClaims :: Object Processed claims as a JSON object keyBindingInfo :: Maybe KeyBindingInfo Key binding information if KB-JWT was present and verified

Instances

Instances details

Generic ProcessedSDJWTPayload Source #

Instance details

Defined in SDJWT.Internal.Types

Associated Types

type Rep ProcessedSDJWTPayload

Instance details

Defined in SDJWT.Internal.Types

type Rep ProcessedSDJWTPayload = D1 ('MetaData "ProcessedSDJWTPayload" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "ProcessedSDJWTPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "processedClaims") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object) :*: S1 ('MetaSel ('Just "keyBindingInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe KeyBindingInfo))))

Methods

from :: ProcessedSDJWTPayload -> Rep ProcessedSDJWTPayload x #

to :: Rep ProcessedSDJWTPayload x -> ProcessedSDJWTPayload #

Show ProcessedSDJWTPayload Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

showsPrec :: Int -> ProcessedSDJWTPayload -> ShowS #

show :: ProcessedSDJWTPayload -> String #

showList :: [ProcessedSDJWTPayload] -> ShowS #

Eq ProcessedSDJWTPayload Source #

Instance details

Defined in SDJWT.Internal.Types

Methods

(==) :: ProcessedSDJWTPayload -> ProcessedSDJWTPayload -> Bool #

(/=) :: ProcessedSDJWTPayload -> ProcessedSDJWTPayload -> Bool #

type Rep ProcessedSDJWTPayload Source #

Instance details

Defined in SDJWT.Internal.Types

type Rep ProcessedSDJWTPayload = D1 ('MetaData "ProcessedSDJWTPayload" "SDJWT.Internal.Types" "sd-jwt-0.1.0.0-Ha5SFOF1e9zHZXFdSA7HZR" 'False) (C1 ('MetaCons "ProcessedSDJWTPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "processedClaims") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object) :*: S1 ('MetaSel ('Just "keyBindingInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe KeyBindingInfo))))

data SDJWTError Source #

SD-JWT errors

Instances

Instances details

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

InvalidDisclosureFormat Text
InvalidDigest Text
MissingDisclosure Text
DuplicateDisclosure Text
InvalidSignature Text
InvalidKeyBinding Text
InvalidHashAlgorithm Text
InvalidClaimName Text
SaltGenerationError Text
JSONParseError Text
SerializationError Text
VerificationError Text