Safe Haskell	None
Language	Haskell2010

Hackage.Security.JSON

Contents

Deserialization errors
MonadKeys
Reader monads
- Utility
Writing
- Utility
Re-exports

Description

Hackage-specific wrappers around the Util.JSON module

Synopsis

data DeserializationError
- = DeserializationErrorMalformed String
- | DeserializationErrorSchema String
- | DeserializationErrorUnknownKey KeyId
- | DeserializationErrorValidation String
- | DeserializationErrorFileType String String
validate :: MonadError DeserializationError m => String -> Bool -> m ()
verifyType :: (ReportSchemaErrors m, MonadError DeserializationError m) => JSValue -> String -> m ()
class (ReportSchemaErrors m, MonadError DeserializationError m) => MonadKeys (m :: Type -> Type) where
- localKeys :: (KeyEnv -> KeyEnv) -> m a -> m a
- askKeys :: m KeyEnv
addKeys :: MonadKeys m => KeyEnv -> m a -> m a
withKeys :: MonadKeys m => KeyEnv -> m a -> m a
lookupKey :: MonadKeys m => KeyId -> m (Some PublicKey)
readKeyAsId :: MonadKeys m => JSValue -> m (Some PublicKey)
data ReadJSON_Keys_Layout a
data ReadJSON_Keys_NoLayout a
data ReadJSON_NoKeys_NoLayout a
runReadJSON_Keys_Layout :: KeyEnv -> RepoLayout -> ReadJSON_Keys_Layout a -> Either DeserializationError a
runReadJSON_Keys_NoLayout :: KeyEnv -> ReadJSON_Keys_NoLayout a -> Either DeserializationError a
runReadJSON_NoKeys_NoLayout :: ReadJSON_NoKeys_NoLayout a -> Either DeserializationError a
parseJSON_Keys_Layout :: FromJSON ReadJSON_Keys_Layout a => KeyEnv -> RepoLayout -> ByteString -> Either DeserializationError a
parseJSON_Keys_NoLayout :: FromJSON ReadJSON_Keys_NoLayout a => KeyEnv -> ByteString -> Either DeserializationError a
parseJSON_NoKeys_NoLayout :: FromJSON ReadJSON_NoKeys_NoLayout a => ByteString -> Either DeserializationError a
readJSON_Keys_Layout :: (FsRoot root, FromJSON ReadJSON_Keys_Layout a) => KeyEnv -> RepoLayout -> Path root -> IO (Either DeserializationError a)
readJSON_Keys_NoLayout :: (FsRoot root, FromJSON ReadJSON_Keys_NoLayout a) => KeyEnv -> Path root -> IO (Either DeserializationError a)
readJSON_NoKeys_NoLayout :: (FsRoot root, FromJSON ReadJSON_NoKeys_NoLayout a) => Path root -> IO (Either DeserializationError a)
data WriteJSON a
runWriteJSON :: RepoLayout -> WriteJSON a -> a
renderJSON :: ToJSON WriteJSON a => RepoLayout -> a -> ByteString
renderJSON_NoLayout :: ToJSON Identity a => a -> ByteString
writeJSON :: ToJSON WriteJSON a => RepoLayout -> Path Absolute -> a -> IO ()
writeJSON_NoLayout :: ToJSON Identity a => Path Absolute -> a -> IO ()
writeKeyAsId :: Some PublicKey -> JSValue
class ToJSON (m :: Type -> Type) a where
- toJSON :: a -> m JSValue
class FromJSON (m :: Type -> Type) a where
- fromJSON :: JSValue -> m a
data JSValue
- = JSNull
- | JSBool !Bool
- | JSNum !Int54
- | JSString String
- | JSArray [JSValue]
- | JSObject [(String, JSValue)]
data Int54
class ToObjectKey (m :: Type -> Type) a where
- toObjectKey :: a -> m String
class FromObjectKey (m :: Type -> Type) a where
- fromObjectKey :: String -> m (Maybe a)
class (Applicative m, Monad m) => ReportSchemaErrors (m :: Type -> Type) where
- expected :: Expected -> Maybe Got -> m a
type Expected = String
type Got = String
expected' :: ReportSchemaErrors m => Expected -> JSValue -> m a
fromJSObject :: ReportSchemaErrors m => JSValue -> m [(String, JSValue)]
fromJSField :: (ReportSchemaErrors m, FromJSON m a) => JSValue -> String -> m a
fromJSOptField :: (ReportSchemaErrors m, FromJSON m a) => JSValue -> String -> m (Maybe a)
mkObject :: Monad m => [(String, m JSValue)] -> m JSValue

Deserialization errors

data DeserializationError Source #

Constructors

DeserializationErrorMalformed String	Malformed JSON has syntax errors in the JSON itself (i.e., we cannot even parse it to a JSValue)
DeserializationErrorSchema String	Invalid JSON has valid syntax but invalid structure The string gives a hint about what we expected instead
DeserializationErrorUnknownKey KeyId	The JSON file contains a key ID of an unknown key
DeserializationErrorValidation String	Some verification step failed
DeserializationErrorFileType String String	Wrong file type Records actual and expected types.

Instances

Instances details

Exception DeserializationError Source #
Instance details Defined in Hackage.Security.JSON Methods toException :: DeserializationError -> SomeException # fromException :: SomeException -> Maybe DeserializationError # displayException :: DeserializationError -> String #
Show DeserializationError Source #
Instance details Defined in Hackage.Security.JSON Methods showsPrec :: Int -> DeserializationError -> ShowS # show :: DeserializationError -> String # showList :: [DeserializationError] -> ShowS #
Pretty DeserializationError Source #
Instance details Defined in Hackage.Security.JSON Methods pretty :: DeserializationError -> String Source #
MonadError DeserializationError ReadJSON_Keys_Layout Source #
Instance details Defined in Hackage.Security.JSON Methods throwError :: DeserializationError -> ReadJSON_Keys_Layout a # catchError :: ReadJSON_Keys_Layout a -> (DeserializationError -> ReadJSON_Keys_Layout a) -> ReadJSON_Keys_Layout a #
MonadError DeserializationError ReadJSON_Keys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods throwError :: DeserializationError -> ReadJSON_Keys_NoLayout a # catchError :: ReadJSON_Keys_NoLayout a -> (DeserializationError -> ReadJSON_Keys_NoLayout a) -> ReadJSON_Keys_NoLayout a #
MonadError DeserializationError ReadJSON_NoKeys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods throwError :: DeserializationError -> ReadJSON_NoKeys_NoLayout a # catchError :: ReadJSON_NoKeys_NoLayout a -> (DeserializationError -> ReadJSON_NoKeys_NoLayout a) -> ReadJSON_NoKeys_NoLayout a #

validate :: MonadError DeserializationError m => String -> Bool -> m () Source #

verifyType :: (ReportSchemaErrors m, MonadError DeserializationError m) => JSValue -> String -> m () Source #

MonadKeys

class (ReportSchemaErrors m, MonadError DeserializationError m) => MonadKeys (m :: Type -> Type) where Source #

MonadReader-like monad, specialized to key environments

Methods

localKeys :: (KeyEnv -> KeyEnv) -> m a -> m a Source #

askKeys :: m KeyEnv Source #

Instances

Instances details

MonadKeys ReadJSON_Keys_Layout Source #
Instance details Defined in Hackage.Security.JSON Methods localKeys :: (KeyEnv -> KeyEnv) -> ReadJSON_Keys_Layout a -> ReadJSON_Keys_Layout a Source # askKeys :: ReadJSON_Keys_Layout KeyEnv Source #
MonadKeys ReadJSON_Keys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods localKeys :: (KeyEnv -> KeyEnv) -> ReadJSON_Keys_NoLayout a -> ReadJSON_Keys_NoLayout a Source # askKeys :: ReadJSON_Keys_NoLayout KeyEnv Source #

addKeys :: MonadKeys m => KeyEnv -> m a -> m a Source #

withKeys :: MonadKeys m => KeyEnv -> m a -> m a Source #

lookupKey :: MonadKeys m => KeyId -> m (Some PublicKey) Source #

readKeyAsId :: MonadKeys m => JSValue -> m (Some PublicKey) Source #

Reader monads

data ReadJSON_Keys_Layout a Source #

Instances

Instances details

Applicative ReadJSON_Keys_Layout Source #
Instance details Defined in Hackage.Security.JSON Methods pure :: a -> ReadJSON_Keys_Layout a # (<>) :: ReadJSON_Keys_Layout (a -> b) -> ReadJSON_Keys_Layout a -> ReadJSON_Keys_Layout b # liftA2 :: (a -> b -> c) -> ReadJSON_Keys_Layout a -> ReadJSON_Keys_Layout b -> ReadJSON_Keys_Layout c # (>) :: ReadJSON_Keys_Layout a -> ReadJSON_Keys_Layout b -> ReadJSON_Keys_Layout b # (<*) :: ReadJSON_Keys_Layout a -> ReadJSON_Keys_Layout b -> ReadJSON_Keys_Layout a #
Functor ReadJSON_Keys_Layout Source #
Instance details Defined in Hackage.Security.JSON Methods fmap :: (a -> b) -> ReadJSON_Keys_Layout a -> ReadJSON_Keys_Layout b # (<$) :: a -> ReadJSON_Keys_Layout b -> ReadJSON_Keys_Layout a #
Monad ReadJSON_Keys_Layout Source #
Instance details Defined in Hackage.Security.JSON Methods (>>=) :: ReadJSON_Keys_Layout a -> (a -> ReadJSON_Keys_Layout b) -> ReadJSON_Keys_Layout b # (>>) :: ReadJSON_Keys_Layout a -> ReadJSON_Keys_Layout b -> ReadJSON_Keys_Layout b # return :: a -> ReadJSON_Keys_Layout a #
MonadKeys ReadJSON_Keys_Layout Source #
Instance details Defined in Hackage.Security.JSON Methods localKeys :: (KeyEnv -> KeyEnv) -> ReadJSON_Keys_Layout a -> ReadJSON_Keys_Layout a Source # askKeys :: ReadJSON_Keys_Layout KeyEnv Source #
ReportSchemaErrors ReadJSON_Keys_Layout Source #
Instance details Defined in Hackage.Security.JSON Methods expected :: Expected -> Maybe Got -> ReadJSON_Keys_Layout a Source #
MonadError DeserializationError ReadJSON_Keys_Layout Source #
Instance details Defined in Hackage.Security.JSON Methods throwError :: DeserializationError -> ReadJSON_Keys_Layout a # catchError :: ReadJSON_Keys_Layout a -> (DeserializationError -> ReadJSON_Keys_Layout a) -> ReadJSON_Keys_Layout a #
MonadReader RepoLayout ReadJSON_Keys_Layout Source #
Instance details Defined in Hackage.Security.JSON Methods ask :: ReadJSON_Keys_Layout RepoLayout # local :: (RepoLayout -> RepoLayout) -> ReadJSON_Keys_Layout a -> ReadJSON_Keys_Layout a # reader :: (RepoLayout -> a) -> ReadJSON_Keys_Layout a #

data ReadJSON_Keys_NoLayout a Source #

Instances

Instances details

Applicative ReadJSON_Keys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods pure :: a -> ReadJSON_Keys_NoLayout a # (<>) :: ReadJSON_Keys_NoLayout (a -> b) -> ReadJSON_Keys_NoLayout a -> ReadJSON_Keys_NoLayout b # liftA2 :: (a -> b -> c) -> ReadJSON_Keys_NoLayout a -> ReadJSON_Keys_NoLayout b -> ReadJSON_Keys_NoLayout c # (>) :: ReadJSON_Keys_NoLayout a -> ReadJSON_Keys_NoLayout b -> ReadJSON_Keys_NoLayout b # (<*) :: ReadJSON_Keys_NoLayout a -> ReadJSON_Keys_NoLayout b -> ReadJSON_Keys_NoLayout a #
Functor ReadJSON_Keys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods fmap :: (a -> b) -> ReadJSON_Keys_NoLayout a -> ReadJSON_Keys_NoLayout b # (<$) :: a -> ReadJSON_Keys_NoLayout b -> ReadJSON_Keys_NoLayout a #
Monad ReadJSON_Keys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods (>>=) :: ReadJSON_Keys_NoLayout a -> (a -> ReadJSON_Keys_NoLayout b) -> ReadJSON_Keys_NoLayout b # (>>) :: ReadJSON_Keys_NoLayout a -> ReadJSON_Keys_NoLayout b -> ReadJSON_Keys_NoLayout b # return :: a -> ReadJSON_Keys_NoLayout a #
MonadKeys ReadJSON_Keys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods localKeys :: (KeyEnv -> KeyEnv) -> ReadJSON_Keys_NoLayout a -> ReadJSON_Keys_NoLayout a Source # askKeys :: ReadJSON_Keys_NoLayout KeyEnv Source #
ReportSchemaErrors ReadJSON_Keys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods expected :: Expected -> Maybe Got -> ReadJSON_Keys_NoLayout a Source #
MonadError DeserializationError ReadJSON_Keys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods throwError :: DeserializationError -> ReadJSON_Keys_NoLayout a # catchError :: ReadJSON_Keys_NoLayout a -> (DeserializationError -> ReadJSON_Keys_NoLayout a) -> ReadJSON_Keys_NoLayout a #

data ReadJSON_NoKeys_NoLayout a Source #

Instances

Instances details

Applicative ReadJSON_NoKeys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods pure :: a -> ReadJSON_NoKeys_NoLayout a # (<>) :: ReadJSON_NoKeys_NoLayout (a -> b) -> ReadJSON_NoKeys_NoLayout a -> ReadJSON_NoKeys_NoLayout b # liftA2 :: (a -> b -> c) -> ReadJSON_NoKeys_NoLayout a -> ReadJSON_NoKeys_NoLayout b -> ReadJSON_NoKeys_NoLayout c # (>) :: ReadJSON_NoKeys_NoLayout a -> ReadJSON_NoKeys_NoLayout b -> ReadJSON_NoKeys_NoLayout b # (<*) :: ReadJSON_NoKeys_NoLayout a -> ReadJSON_NoKeys_NoLayout b -> ReadJSON_NoKeys_NoLayout a #
Functor ReadJSON_NoKeys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods fmap :: (a -> b) -> ReadJSON_NoKeys_NoLayout a -> ReadJSON_NoKeys_NoLayout b # (<$) :: a -> ReadJSON_NoKeys_NoLayout b -> ReadJSON_NoKeys_NoLayout a #
Monad ReadJSON_NoKeys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods (>>=) :: ReadJSON_NoKeys_NoLayout a -> (a -> ReadJSON_NoKeys_NoLayout b) -> ReadJSON_NoKeys_NoLayout b # (>>) :: ReadJSON_NoKeys_NoLayout a -> ReadJSON_NoKeys_NoLayout b -> ReadJSON_NoKeys_NoLayout b # return :: a -> ReadJSON_NoKeys_NoLayout a #
ReportSchemaErrors ReadJSON_NoKeys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods expected :: Expected -> Maybe Got -> ReadJSON_NoKeys_NoLayout a Source #
MonadError DeserializationError ReadJSON_NoKeys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods throwError :: DeserializationError -> ReadJSON_NoKeys_NoLayout a # catchError :: ReadJSON_NoKeys_NoLayout a -> (DeserializationError -> ReadJSON_NoKeys_NoLayout a) -> ReadJSON_NoKeys_NoLayout a #

runReadJSON_Keys_Layout :: KeyEnv -> RepoLayout -> ReadJSON_Keys_Layout a -> Either DeserializationError a Source #

runReadJSON_Keys_NoLayout :: KeyEnv -> ReadJSON_Keys_NoLayout a -> Either DeserializationError a Source #

runReadJSON_NoKeys_NoLayout :: ReadJSON_NoKeys_NoLayout a -> Either DeserializationError a Source #

Utility

parseJSON_Keys_Layout :: FromJSON ReadJSON_Keys_Layout a => KeyEnv -> RepoLayout -> ByteString -> Either DeserializationError a Source #

parseJSON_Keys_NoLayout :: FromJSON ReadJSON_Keys_NoLayout a => KeyEnv -> ByteString -> Either DeserializationError a Source #

parseJSON_NoKeys_NoLayout :: FromJSON ReadJSON_NoKeys_NoLayout a => ByteString -> Either DeserializationError a Source #

readJSON_Keys_Layout :: (FsRoot root, FromJSON ReadJSON_Keys_Layout a) => KeyEnv -> RepoLayout -> Path root -> IO (Either DeserializationError a) Source #

readJSON_Keys_NoLayout :: (FsRoot root, FromJSON ReadJSON_Keys_NoLayout a) => KeyEnv -> Path root -> IO (Either DeserializationError a) Source #

readJSON_NoKeys_NoLayout :: (FsRoot root, FromJSON ReadJSON_NoKeys_NoLayout a) => Path root -> IO (Either DeserializationError a) Source #

Writing

data WriteJSON a Source #

Instances

Instances details

Applicative WriteJSON Source #
Instance details Defined in Hackage.Security.JSON Methods pure :: a -> WriteJSON a # (<>) :: WriteJSON (a -> b) -> WriteJSON a -> WriteJSON b # liftA2 :: (a -> b -> c) -> WriteJSON a -> WriteJSON b -> WriteJSON c # (>) :: WriteJSON a -> WriteJSON b -> WriteJSON b # (<*) :: WriteJSON a -> WriteJSON b -> WriteJSON a #
Functor WriteJSON Source #
Instance details Defined in Hackage.Security.JSON Methods fmap :: (a -> b) -> WriteJSON a -> WriteJSON b # (<$) :: a -> WriteJSON b -> WriteJSON a #
Monad WriteJSON Source #
Instance details Defined in Hackage.Security.JSON Methods (>>=) :: WriteJSON a -> (a -> WriteJSON b) -> WriteJSON b # (>>) :: WriteJSON a -> WriteJSON b -> WriteJSON b # return :: a -> WriteJSON a #
MonadReader RepoLayout WriteJSON Source #
Instance details Defined in Hackage.Security.JSON Methods ask :: WriteJSON RepoLayout # local :: (RepoLayout -> RepoLayout) -> WriteJSON a -> WriteJSON a # reader :: (RepoLayout -> a) -> WriteJSON a #

runWriteJSON :: RepoLayout -> WriteJSON a -> a Source #

Utility

renderJSON :: ToJSON WriteJSON a => RepoLayout -> a -> ByteString Source #

Render to canonical JSON format

renderJSON_NoLayout :: ToJSON Identity a => a -> ByteString Source #

Variation on renderJSON for files that don't require the repo layout

writeJSON :: ToJSON WriteJSON a => RepoLayout -> Path Absolute -> a -> IO () Source #

writeJSON_NoLayout :: ToJSON Identity a => Path Absolute -> a -> IO () Source #

writeKeyAsId :: Some PublicKey -> JSValue Source #

Re-exports

class ToJSON (m :: Type -> Type) a where Source #

Methods

toJSON :: a -> m JSValue Source #

Instances

Instances details

Monad m => ToJSON m KeyEnv Source #
Instance details Defined in Hackage.Security.Key.Env Methods toJSON :: KeyEnv -> m JSValue Source #
Monad m => ToJSON m FileLength Source #
Instance details Defined in Hackage.Security.TUF.Common Methods toJSON :: FileLength -> m JSValue Source #
Monad m => ToJSON m Hash Source #
Instance details Defined in Hackage.Security.TUF.Common Methods toJSON :: Hash -> m JSValue Source #
Monad m => ToJSON m KeyThreshold Source #
Instance details Defined in Hackage.Security.TUF.Common Methods toJSON :: KeyThreshold -> m JSValue Source #
Monad m => ToJSON m FileInfo Source #
Instance details Defined in Hackage.Security.TUF.FileInfo Methods toJSON :: FileInfo -> m JSValue Source #
Monad m => ToJSON m FileMap Source #
Instance details Defined in Hackage.Security.TUF.FileMap Methods toJSON :: FileMap -> m JSValue Source #
Monad m => ToJSON m FileExpires Source #
Instance details Defined in Hackage.Security.TUF.Header Methods toJSON :: FileExpires -> m JSValue Source #
Monad m => ToJSON m FileVersion Source #
Instance details Defined in Hackage.Security.TUF.Header Methods toJSON :: FileVersion -> m JSValue Source #
Monad m => ToJSON m Mirror Source #
Instance details Defined in Hackage.Security.TUF.Mirrors Methods toJSON :: Mirror -> m JSValue Source #
Monad m => ToJSON m Mirrors Source #
Instance details Defined in Hackage.Security.TUF.Mirrors Methods toJSON :: Mirrors -> m JSValue Source #
Monad m => ToJSON m Root Source #
Instance details Defined in Hackage.Security.TUF.Root Methods toJSON :: Root -> m JSValue Source #
Monad m => ToJSON m RootRoles Source #
Instance details Defined in Hackage.Security.TUF.Root Methods toJSON :: RootRoles -> m JSValue Source #
Monad m => ToJSON m PreSignature Source #
Instance details Defined in Hackage.Security.TUF.Signed Methods toJSON :: PreSignature -> m JSValue Source #
Monad m => ToJSON m Signatures Source #
Instance details Defined in Hackage.Security.TUF.Signed Methods toJSON :: Signatures -> m JSValue Source #
MonadReader RepoLayout m => ToJSON m Snapshot Source #
Instance details Defined in Hackage.Security.TUF.Snapshot Methods toJSON :: Snapshot -> m JSValue Source #
Monad m => ToJSON m DelegationSpec Source #
Instance details Defined in Hackage.Security.TUF.Targets Methods toJSON :: DelegationSpec -> m JSValue Source #
Monad m => ToJSON m Delegations Source #
Instance details Defined in Hackage.Security.TUF.Targets Methods toJSON :: Delegations -> m JSValue Source #
Monad m => ToJSON m Targets Source #
Instance details Defined in Hackage.Security.TUF.Targets Methods toJSON :: Targets -> m JSValue Source #
MonadReader RepoLayout m => ToJSON m Timestamp Source #
Instance details Defined in Hackage.Security.TUF.Timestamp Methods toJSON :: Timestamp -> m JSValue Source #
Monad m => ToJSON m Int54 Source #
Instance details Defined in Hackage.Security.Util.JSON Methods toJSON :: Int54 -> m JSValue Source #
Monad m => ToJSON m JSValue Source #
Instance details Defined in Hackage.Security.Util.JSON Methods toJSON :: JSValue -> m JSValue Source #
Monad m => ToJSON m URI Source #
Instance details Defined in Hackage.Security.Util.JSON Methods toJSON :: URI -> m JSValue Source #
Monad m => ToJSON m UTCTime Source #
Instance details Defined in Hackage.Security.Util.JSON Methods toJSON :: UTCTime -> m JSValue Source #
Monad m => ToJSON m String Source #
Instance details Defined in Hackage.Security.Util.JSON Methods toJSON :: String -> m JSValue Source #
Monad m => ToJSON m (Key typ) Source #
Instance details Defined in Hackage.Security.Key Methods toJSON :: Key typ -> m JSValue Source #
Monad m => ToJSON m (KeyType typ) Source #
Instance details Defined in Hackage.Security.Key Methods toJSON :: KeyType typ -> m JSValue Source #
Monad m => ToJSON m (PublicKey typ) Source #
Instance details Defined in Hackage.Security.Key Methods toJSON :: PublicKey typ -> m JSValue Source #
Monad m => ToJSON m (RoleSpec a) Source #
Instance details Defined in Hackage.Security.TUF.Root Methods toJSON :: RoleSpec a -> m JSValue Source #
(Monad m, ToJSON m a) => ToJSON m (Signed a) Source #
Instance details Defined in Hackage.Security.TUF.Signed Methods toJSON :: Signed a -> m JSValue Source #
(Monad m, ToJSON m a) => ToJSON m (UninterpretedSignatures a) Source #
Instance details Defined in Hackage.Security.TUF.Signed Methods toJSON :: UninterpretedSignatures a -> m JSValue Source #
Monad m => ToJSON m (Some Key) Source #
Instance details Defined in Hackage.Security.Key Methods toJSON :: Some Key -> m JSValue Source #
Monad m => ToJSON m (Some KeyType) Source #
Instance details Defined in Hackage.Security.Key Methods toJSON :: Some KeyType -> m JSValue Source #
Monad m => ToJSON m (Some PublicKey) Source #
Instance details Defined in Hackage.Security.Key Methods toJSON :: Some PublicKey -> m JSValue Source #
(Monad m, ToJSON m a) => ToJSON m [a] Source #
Instance details Defined in Hackage.Security.Util.JSON Methods toJSON :: [a] -> m JSValue Source #
(Monad m, ToObjectKey m k, ToJSON m a) => ToJSON m (Map k a) Source #
Instance details Defined in Hackage.Security.Util.JSON Methods toJSON :: Map k a -> m JSValue Source #

class FromJSON (m :: Type -> Type) a where Source #

Methods

fromJSON :: JSValue -> m a Source #

Instances

Instances details

ReportSchemaErrors m => FromJSON m KeyEnv Source #
Instance details Defined in Hackage.Security.Key.Env Methods fromJSON :: JSValue -> m KeyEnv Source #
ReportSchemaErrors m => FromJSON m FileLength Source #
Instance details Defined in Hackage.Security.TUF.Common Methods fromJSON :: JSValue -> m FileLength Source #
ReportSchemaErrors m => FromJSON m Hash Source #
Instance details Defined in Hackage.Security.TUF.Common Methods fromJSON :: JSValue -> m Hash Source #
ReportSchemaErrors m => FromJSON m KeyThreshold Source #
Instance details Defined in Hackage.Security.TUF.Common Methods fromJSON :: JSValue -> m KeyThreshold Source #
ReportSchemaErrors m => FromJSON m FileInfo Source #
Instance details Defined in Hackage.Security.TUF.FileInfo Methods fromJSON :: JSValue -> m FileInfo Source #
ReportSchemaErrors m => FromJSON m FileMap Source #
Instance details Defined in Hackage.Security.TUF.FileMap Methods fromJSON :: JSValue -> m FileMap Source #
ReportSchemaErrors m => FromJSON m FileExpires Source #
Instance details Defined in Hackage.Security.TUF.Header Methods fromJSON :: JSValue -> m FileExpires Source #
ReportSchemaErrors m => FromJSON m FileVersion Source #
Instance details Defined in Hackage.Security.TUF.Header Methods fromJSON :: JSValue -> m FileVersion Source #
ReportSchemaErrors m => FromJSON m Header Source #
Instance details Defined in Hackage.Security.TUF.Header Methods fromJSON :: JSValue -> m Header Source #
ReportSchemaErrors m => FromJSON m Mirror Source #
Instance details Defined in Hackage.Security.TUF.Mirrors Methods fromJSON :: JSValue -> m Mirror Source #
(MonadError DeserializationError m, ReportSchemaErrors m) => FromJSON m Mirrors Source #
Instance details Defined in Hackage.Security.TUF.Mirrors Methods fromJSON :: JSValue -> m Mirrors Source #
MonadKeys m => FromJSON m RootRoles Source #
Instance details Defined in Hackage.Security.TUF.Root Methods fromJSON :: JSValue -> m RootRoles Source #
ReportSchemaErrors m => FromJSON m PreSignature Source #
Instance details Defined in Hackage.Security.TUF.Signed Methods fromJSON :: JSValue -> m PreSignature Source #
MonadKeys m => FromJSON m Signatures Source #
Instance details Defined in Hackage.Security.TUF.Signed Methods fromJSON :: JSValue -> m Signatures Source #
(MonadReader RepoLayout m, MonadError DeserializationError m, ReportSchemaErrors m) => FromJSON m Snapshot Source #
Instance details Defined in Hackage.Security.TUF.Snapshot Methods fromJSON :: JSValue -> m Snapshot Source #
MonadKeys m => FromJSON m DelegationSpec Source #
Instance details Defined in Hackage.Security.TUF.Targets Methods fromJSON :: JSValue -> m DelegationSpec Source #
MonadKeys m => FromJSON m Delegations Source #
Instance details Defined in Hackage.Security.TUF.Targets Methods fromJSON :: JSValue -> m Delegations Source #
MonadKeys m => FromJSON m Targets Source #
Instance details Defined in Hackage.Security.TUF.Targets Methods fromJSON :: JSValue -> m Targets Source #
(MonadReader RepoLayout m, MonadError DeserializationError m, ReportSchemaErrors m) => FromJSON m Timestamp Source #
Instance details Defined in Hackage.Security.TUF.Timestamp Methods fromJSON :: JSValue -> m Timestamp Source #
ReportSchemaErrors m => FromJSON m Int54 Source #
Instance details Defined in Hackage.Security.Util.JSON Methods fromJSON :: JSValue -> m Int54 Source #
Monad m => FromJSON m JSValue Source #
Instance details Defined in Hackage.Security.Util.JSON Methods fromJSON :: JSValue -> m JSValue Source #
ReportSchemaErrors m => FromJSON m URI Source #
Instance details Defined in Hackage.Security.Util.JSON Methods fromJSON :: JSValue -> m URI Source #
ReportSchemaErrors m => FromJSON m UTCTime Source #
Instance details Defined in Hackage.Security.Util.JSON Methods fromJSON :: JSValue -> m UTCTime Source #
ReportSchemaErrors m => FromJSON m String Source #
Instance details Defined in Hackage.Security.Util.JSON Methods fromJSON :: JSValue -> m String Source #
MonadKeys m => FromJSON m (RoleSpec a) Source #
Instance details Defined in Hackage.Security.TUF.Root Methods fromJSON :: JSValue -> m (RoleSpec a) Source #
MonadKeys m => FromJSON m (Signed Mirrors) Source #
Instance details Defined in Hackage.Security.TUF.Mirrors Methods fromJSON :: JSValue -> m (Signed Mirrors) Source #
MonadKeys m => FromJSON m (Signed Root) Source #	We give an instance for Signed Root rather than Root because the key environment from the root data is necessary to resolve the explicit sharing in the signatures.
Instance details Defined in Hackage.Security.TUF.Root Methods fromJSON :: JSValue -> m (Signed Root) Source #
(MonadKeys m, MonadReader RepoLayout m) => FromJSON m (Signed Snapshot) Source #
Instance details Defined in Hackage.Security.TUF.Snapshot Methods fromJSON :: JSValue -> m (Signed Snapshot) Source #
MonadKeys m => FromJSON m (Signed Targets) Source #
Instance details Defined in Hackage.Security.TUF.Targets Methods fromJSON :: JSValue -> m (Signed Targets) Source #
(MonadKeys m, MonadReader RepoLayout m) => FromJSON m (Signed Timestamp) Source #
Instance details Defined in Hackage.Security.TUF.Timestamp Methods fromJSON :: JSValue -> m (Signed Timestamp) Source #
(ReportSchemaErrors m, FromJSON m a) => FromJSON m (UninterpretedSignatures a) Source #
Instance details Defined in Hackage.Security.TUF.Signed Methods fromJSON :: JSValue -> m (UninterpretedSignatures a) Source #
ReportSchemaErrors m => FromJSON m (Some Key) Source #
Instance details Defined in Hackage.Security.Key Methods fromJSON :: JSValue -> m (Some Key) Source #
ReportSchemaErrors m => FromJSON m (Some KeyType) Source #
Instance details Defined in Hackage.Security.Key Methods fromJSON :: JSValue -> m (Some KeyType) Source #
ReportSchemaErrors m => FromJSON m (Some PublicKey) Source #
Instance details Defined in Hackage.Security.Key Methods fromJSON :: JSValue -> m (Some PublicKey) Source #
(ReportSchemaErrors m, FromJSON m a) => FromJSON m [a] Source #
Instance details Defined in Hackage.Security.Util.JSON Methods fromJSON :: JSValue -> m [a] Source #
(ReportSchemaErrors m, Ord k, FromObjectKey m k, FromJSON m a) => FromJSON m (Map k a) Source #
Instance details Defined in Hackage.Security.Util.JSON Methods fromJSON :: JSValue -> m (Map k a) Source #

data JSValue Source #

Constructors

JSNull
JSBool !Bool
JSNum !Int54
JSString String
JSArray [JSValue]
JSObject [(String, JSValue)]

Instances

Instances details

Read JSValue Source #
Instance details Defined in Text.JSON.Canonical Methods readsPrec :: Int -> ReadS JSValue # readList :: ReadS [JSValue] # readPrec :: ReadPrec JSValue # readListPrec :: ReadPrec [JSValue] #
Show JSValue Source #
Instance details Defined in Text.JSON.Canonical Methods showsPrec :: Int -> JSValue -> ShowS # show :: JSValue -> String # showList :: [JSValue] -> ShowS #
Eq JSValue Source #
Instance details Defined in Text.JSON.Canonical Methods (==) :: JSValue -> JSValue -> Bool # (/=) :: JSValue -> JSValue -> Bool #
Ord JSValue Source #
Instance details Defined in Text.JSON.Canonical Methods compare :: JSValue -> JSValue -> Ordering # (<) :: JSValue -> JSValue -> Bool # (<=) :: JSValue -> JSValue -> Bool # (>) :: JSValue -> JSValue -> Bool # (>=) :: JSValue -> JSValue -> Bool # max :: JSValue -> JSValue -> JSValue # min :: JSValue -> JSValue -> JSValue #
Monad m => FromJSON m JSValue Source #
Instance details Defined in Hackage.Security.Util.JSON Methods fromJSON :: JSValue -> m JSValue Source #
Monad m => ToJSON m JSValue Source #
Instance details Defined in Hackage.Security.Util.JSON Methods toJSON :: JSValue -> m JSValue Source #

data Int54 Source #

54-bit integer values

JavaScript can only safely represent numbers between -(2^53 - 1) and 2^53 - 1.

TODO: Although we introduce the type here, we don't actually do any bounds checking and just inherit all type class instance from Int64. We should probably define fromInteger to do bounds checking, give different instances for type classes such as Bounded and FiniteBits, etc.

Instances

Instances details

Data Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int54 -> c Int54 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int54 # toConstr :: Int54 -> Constr # dataTypeOf :: Int54 -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int54) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int54) # gmapT :: (forall b. Data b => b -> b) -> Int54 -> Int54 # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int54 -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int54 -> r # gmapQ :: (forall d. Data d => d -> u) -> Int54 -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Int54 -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int54 -> m Int54 # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int54 -> m Int54 # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int54 -> m Int54 #
Storable Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods sizeOf :: Int54 -> Int # alignment :: Int54 -> Int # peekElemOff :: Ptr Int54 -> Int -> IO Int54 # pokeElemOff :: Ptr Int54 -> Int -> Int54 -> IO () # peekByteOff :: Ptr b -> Int -> IO Int54 # pokeByteOff :: Ptr b -> Int -> Int54 -> IO () # peek :: Ptr Int54 -> IO Int54 # poke :: Ptr Int54 -> Int54 -> IO () #
Bits Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods (.&.) :: Int54 -> Int54 -> Int54 # (.\|.) :: Int54 -> Int54 -> Int54 # xor :: Int54 -> Int54 -> Int54 # complement :: Int54 -> Int54 # shift :: Int54 -> Int -> Int54 # rotate :: Int54 -> Int -> Int54 # zeroBits :: Int54 # bit :: Int -> Int54 # setBit :: Int54 -> Int -> Int54 # clearBit :: Int54 -> Int -> Int54 # complementBit :: Int54 -> Int -> Int54 # testBit :: Int54 -> Int -> Bool # bitSizeMaybe :: Int54 -> Maybe Int # bitSize :: Int54 -> Int # isSigned :: Int54 -> Bool # shiftL :: Int54 -> Int -> Int54 # unsafeShiftL :: Int54 -> Int -> Int54 # shiftR :: Int54 -> Int -> Int54 # unsafeShiftR :: Int54 -> Int -> Int54 # rotateL :: Int54 -> Int -> Int54 # rotateR :: Int54 -> Int -> Int54 # popCount :: Int54 -> Int #
FiniteBits Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods finiteBitSize :: Int54 -> Int # countLeadingZeros :: Int54 -> Int # countTrailingZeros :: Int54 -> Int #
Bounded Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods minBound :: Int54 # maxBound :: Int54 #
Enum Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods succ :: Int54 -> Int54 # pred :: Int54 -> Int54 # toEnum :: Int -> Int54 # fromEnum :: Int54 -> Int # enumFrom :: Int54 -> [Int54] # enumFromThen :: Int54 -> Int54 -> [Int54] # enumFromTo :: Int54 -> Int54 -> [Int54] # enumFromThenTo :: Int54 -> Int54 -> Int54 -> [Int54] #
Ix Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods range :: (Int54, Int54) -> [Int54] # index :: (Int54, Int54) -> Int54 -> Int # unsafeIndex :: (Int54, Int54) -> Int54 -> Int # inRange :: (Int54, Int54) -> Int54 -> Bool # rangeSize :: (Int54, Int54) -> Int # unsafeRangeSize :: (Int54, Int54) -> Int #
Num Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods (+) :: Int54 -> Int54 -> Int54 # (-) :: Int54 -> Int54 -> Int54 # (*) :: Int54 -> Int54 -> Int54 # negate :: Int54 -> Int54 # abs :: Int54 -> Int54 # signum :: Int54 -> Int54 # fromInteger :: Integer -> Int54 #
Read Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods readsPrec :: Int -> ReadS Int54 # readList :: ReadS [Int54] # readPrec :: ReadPrec Int54 # readListPrec :: ReadPrec [Int54] #
Integral Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods quot :: Int54 -> Int54 -> Int54 # rem :: Int54 -> Int54 -> Int54 # div :: Int54 -> Int54 -> Int54 # mod :: Int54 -> Int54 -> Int54 # quotRem :: Int54 -> Int54 -> (Int54, Int54) # divMod :: Int54 -> Int54 -> (Int54, Int54) # toInteger :: Int54 -> Integer #
Real Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods toRational :: Int54 -> Rational #
Show Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods showsPrec :: Int -> Int54 -> ShowS # show :: Int54 -> String # showList :: [Int54] -> ShowS #
PrintfArg Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods formatArg :: Int54 -> FieldFormatter # parseFormat :: Int54 -> ModifierParser #
Eq Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods (==) :: Int54 -> Int54 -> Bool # (/=) :: Int54 -> Int54 -> Bool #
Ord Int54 Source #
Instance details Defined in Text.JSON.Canonical Methods compare :: Int54 -> Int54 -> Ordering # (<) :: Int54 -> Int54 -> Bool # (<=) :: Int54 -> Int54 -> Bool # (>) :: Int54 -> Int54 -> Bool # (>=) :: Int54 -> Int54 -> Bool # max :: Int54 -> Int54 -> Int54 # min :: Int54 -> Int54 -> Int54 #
ReportSchemaErrors m => FromJSON m Int54 Source #
Instance details Defined in Hackage.Security.Util.JSON Methods fromJSON :: JSValue -> m Int54 Source #
Monad m => ToJSON m Int54 Source #
Instance details Defined in Hackage.Security.Util.JSON Methods toJSON :: Int54 -> m JSValue Source #

class ToObjectKey (m :: Type -> Type) a where Source #

Used in the ToJSON instance for Map

Methods

toObjectKey :: a -> m String Source #

Instances

Instances details

Monad m => ToObjectKey m KeyId Source #
Instance details Defined in Hackage.Security.Key Methods toObjectKey :: KeyId -> m String Source #
Monad m => ToObjectKey m HashFn Source #
Instance details Defined in Hackage.Security.TUF.FileInfo Methods toObjectKey :: HashFn -> m String Source #
Monad m => ToObjectKey m TargetPath Source #
Instance details Defined in Hackage.Security.TUF.FileMap Methods toObjectKey :: TargetPath -> m String Source #
Monad m => ToObjectKey m String Source #
Instance details Defined in Hackage.Security.Util.JSON Methods toObjectKey :: String -> m String Source #
Monad m => ToObjectKey m (Path root) Source #
Instance details Defined in Hackage.Security.Util.JSON Methods toObjectKey :: Path root -> m String Source #

class FromObjectKey (m :: Type -> Type) a where Source #

Used in the FromJSON instance for Map

Methods

fromObjectKey :: String -> m (Maybe a) Source #

Instances

Instances details

Monad m => FromObjectKey m KeyId Source #
Instance details Defined in Hackage.Security.Key Methods fromObjectKey :: String -> m (Maybe KeyId) Source #
ReportSchemaErrors m => FromObjectKey m HashFn Source #
Instance details Defined in Hackage.Security.TUF.FileInfo Methods fromObjectKey :: String -> m (Maybe HashFn) Source #
ReportSchemaErrors m => FromObjectKey m TargetPath Source #
Instance details Defined in Hackage.Security.TUF.FileMap Methods fromObjectKey :: String -> m (Maybe TargetPath) Source #
Monad m => FromObjectKey m String Source #
Instance details Defined in Hackage.Security.Util.JSON Methods fromObjectKey :: String -> m (Maybe String) Source #
Monad m => FromObjectKey m (Path root) Source #
Instance details Defined in Hackage.Security.Util.JSON Methods fromObjectKey :: String -> m (Maybe (Path root)) Source #

class (Applicative m, Monad m) => ReportSchemaErrors (m :: Type -> Type) where Source #

Monads in which we can report schema errors

Methods

expected :: Expected -> Maybe Got -> m a Source #

Instances

Instances details

ReportSchemaErrors ReadJSON_Keys_Layout Source #
Instance details Defined in Hackage.Security.JSON Methods expected :: Expected -> Maybe Got -> ReadJSON_Keys_Layout a Source #
ReportSchemaErrors ReadJSON_Keys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods expected :: Expected -> Maybe Got -> ReadJSON_Keys_NoLayout a Source #
ReportSchemaErrors ReadJSON_NoKeys_NoLayout Source #
Instance details Defined in Hackage.Security.JSON Methods expected :: Expected -> Maybe Got -> ReadJSON_NoKeys_NoLayout a Source #

type Expected = String Source #

type Got = String Source #

expected' :: ReportSchemaErrors m => Expected -> JSValue -> m a Source #

fromJSObject :: ReportSchemaErrors m => JSValue -> m [(String, JSValue)] Source #

fromJSField :: (ReportSchemaErrors m, FromJSON m a) => JSValue -> String -> m a Source #

Extract a field from a JSON object

fromJSOptField :: (ReportSchemaErrors m, FromJSON m a) => JSValue -> String -> m (Maybe a) Source #

mkObject :: Monad m => [(String, m JSValue)] -> m JSValue Source #