| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Crypto.JOSE.Compact
Description
JWS, JWE and some related specifications provide for "compact" representations of certain types. This module defines classes and functions for working with such data.
Synopsis
- class FromCompact a where
- fromCompact :: (AsError e, MonadError e m) => [ByteString] -> m a
- decodeCompact :: (FromCompact a, AsError e, MonadError e m) => ByteString -> m a
- class ToCompact a where
- toCompact :: a -> [ByteString]
- encodeCompact :: ToCompact a => a -> ByteString
Documentation
class FromCompact a where Source #
Data that can be parsed from a compact representation.
Methods
fromCompact :: (AsError e, MonadError e m) => [ByteString] -> m a Source #
Instances
| HasParams a => FromCompact (JWS Identity RequiredProtection a) Source # | |
Defined in Crypto.JOSE.JWS Methods fromCompact :: (AsError e, MonadError e m) => [ByteString] -> m (JWS Identity RequiredProtection a) Source # | |
decodeCompact :: (FromCompact a, AsError e, MonadError e m) => ByteString -> m a Source #
Decode a compact representation.
class ToCompact a where Source #
Data that can be converted to a compact representation.
Methods
toCompact :: a -> [ByteString] Source #
Instances
| HasParams a => ToCompact (JWS Identity RequiredProtection a) Source # | |
Defined in Crypto.JOSE.JWS Methods toCompact :: JWS Identity RequiredProtection a -> [ByteString] Source # | |
encodeCompact :: ToCompact a => a -> ByteString Source #
Encode data to a compact representation.