Libjwt.FFI.Jwt

Interface to C libraries

Documentation

data JwtIO a

IO restricted to calling libjwt and jsmn

Instances

Monad JwtIO

Defined in Libjwt.FFI.Jwt

Methods

(>>=) :: JwtIO a -> (a -> JwtIO b) -> JwtIO b

(>>) :: JwtIO a -> JwtIO b -> JwtIO b

return :: a -> JwtIO a

Functor JwtIO

Defined in Libjwt.FFI.Jwt

Methods

fmap :: (a -> b) -> JwtIO a -> JwtIO b

(<$) :: a -> JwtIO b -> JwtIO a

Applicative JwtIO

Defined in Libjwt.FFI.Jwt

Methods

pure :: a -> JwtIO a

(<*>) :: JwtIO (a -> b) -> JwtIO a -> JwtIO b

liftA2 :: (a -> b -> c) -> JwtIO a -> JwtIO b -> JwtIO c

(*>) :: JwtIO a -> JwtIO b -> JwtIO b

(<*) :: JwtIO a -> JwtIO b -> JwtIO a

MonadThrow JwtIO

Defined in Libjwt.FFI.Jwt

Methods

throwM :: Exception e => e -> JwtIO a

MonadCatch JwtIO

Defined in Libjwt.FFI.Jwt

Methods

catch :: Exception e => JwtIO a -> (e -> JwtIO a) -> JwtIO a

unsafePerformJwtIO :: JwtIO a -> a

data JwtT

Wrapped pointer to jwt_t with managed lifetime

mkJwtT :: JwtIO JwtT

jwtDecode :: ByteString -> ByteString -> JwtIO JwtT

jwtEncode :: JwtT -> JwtIO ByteString

addGrant :: String -> ByteString -> JwtT -> JwtIO ()

addGrantBool :: String -> Bool -> JwtT -> JwtIO ()

addGrantInt :: String -> Int -> JwtT -> JwtIO ()

addGrantInt64 :: String -> Int64 -> JwtT -> JwtIO ()

addGrantsFromJson :: ByteString -> JwtT -> JwtIO ()

jwtSetAlg :: JwtAlgT -> ByteString -> JwtT -> JwtIO ()

addHeader :: String -> ByteString -> JwtT -> JwtIO ()

getGrant :: String -> JwtT -> JwtIO (Maybe ByteString)

getGrantBool :: String -> JwtT -> JwtIO (Maybe Bool)

getGrantInt :: String -> JwtT -> JwtIO (Maybe Int)

getGrantInt64 :: String -> JwtT -> JwtIO (Maybe Int64)

getGrantAsJson :: String -> JwtT -> JwtIO (Maybe ByteString)

jwtGetAlg :: JwtT -> JwtIO JwtAlgT

getHeader :: String -> JwtT -> JwtIO (Maybe ByteString)

unsafeAddGrant :: Addr# -> ByteString -> JwtT -> JwtIO ()

unsafeAddGrantBool :: Addr# -> Bool -> JwtT -> JwtIO ()

unsafeAddGrantInt :: Addr# -> Int -> JwtT -> JwtIO ()

unsafeAddGrantInt64 :: Addr# -> Int64 -> JwtT -> JwtIO ()

unsafeAddHeader :: Addr# -> ByteString -> JwtT -> JwtIO ()

unsafeGetGrant :: Addr# -> JwtT -> JwtIO (Maybe ByteString)

unsafeGetGrantBool :: Addr# -> JwtT -> JwtIO (Maybe Bool)

unsafeGetGrantInt :: Addr# -> JwtT -> JwtIO (Maybe Int)

unsafeGetGrantInt64 :: Addr# -> JwtT -> JwtIO (Maybe Int64)

unsafeGetGrantAsJson :: Addr# -> JwtT -> JwtIO (Maybe ByteString)

unsafeGetHeader :: Addr# -> JwtT -> JwtIO (Maybe ByteString)

data JsonToken

Low-level representation of JSON tokenization. Tokens are an exact representation of the underlying JSON, ie no conversions or unescaping has been performed.

The only exception is JsStr which is already unquoted (JsStr value is the string between the first and last quotation marks of the corresponding JSON string).

JSON objects are not parsed at all, but presented as one byte string (JsBlob).

Constructors

JsStr ByteString

JsNum ByteString

JsTrue

JsFalse

JsNull

JsArray [JsonToken]

JsBlob ByteString

unsafeMapTokenizedJsonArray :: (JsonToken -> b) -> ByteString -> JwtIO (Maybe [b])