← all modules

Sky.Core.Jwt

Sky.Core.Jwt
  Sky.Core.Jwt — JSON Web Tokens (encode + verify).

Types
  type Algorithm = HS256 String | RS256 String
  type Claims = Claims (List ( String, JsonEnc.Value ))

Values
  audience : String -> Claims -> Claims
  claims : Claims
  decode : Algorithm -> Int -> String -> Result Error String
  encode : Algorithm -> Claims -> Result Error String
  expiresAt : Int -> Claims -> Claims
  hs256 : String -> Algorithm
  issuedAt : Int -> Claims -> Claims
  issuer : String -> Claims -> Claims
  jwtId : String -> Claims -> Claims
  notBefore : Int -> Claims -> Claims
  rs256 : String -> Algorithm
  subject : String -> Claims -> Claims
  withClaim : String -> JsonEnc.Value -> Claims -> Claims