Modulehackage-security-0.6.4.0

Hackage.Security.JSON

9 types
6 classes
26 values

Packagehackage-security-0.6.4.0
Exports41
LicenceBSD-3-Clause

valueaddKeys :: MonadKeys m => KeyEnv -> m a -> m a

valuelookupKey :: MonadKeys m => KeyId -> m (Some PublicKey)

valueparseJSON_Keys_Layout

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

valueparseJSON_Keys_NoLayout

:: FromJSON ReadJSON_Keys_NoLayout a
=> KeyEnv
-> ByteString
-> Either DeserializationError a

valueparseJSON_NoKeys_NoLayout

:: FromJSON ReadJSON_NoKeys_NoLayout a
=> ByteString
-> Either DeserializationError a

valuereadJSON_Keys_Layout

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

valuereadJSON_Keys_NoLayout

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

valuereadJSON_NoKeys_NoLayout

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

valuereadKeyAsId :: MonadKeys m => JSValue -> m (Some PublicKey)

valuerenderJSON :: ToJSON WriteJSON a => RepoLayout -> a -> ByteString

valuerenderJSON_NoLayout :: ToJSON Identity a => a -> ByteString

valuerunReadJSON_Keys_Layout

:: KeyEnv
-> RepoLayout
-> ReadJSON_Keys_Layout a
-> Either DeserializationError a

valuerunReadJSON_Keys_NoLayout

:: KeyEnv
-> ReadJSON_Keys_NoLayout a
-> Either DeserializationError a

valuerunReadJSON_NoKeys_NoLayout

:: ReadJSON_NoKeys_NoLayout a
-> Either DeserializationError a

valuerunWriteJSON :: RepoLayout -> WriteJSON a -> a

valuevalidate :: MonadError DeserializationError m => String -> Bool -> m ()

valueverifyType

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

valuewithKeys :: MonadKeys m => KeyEnv -> m a -> m a

valuewriteJSON :: ToJSON WriteJSON a => RepoLayout -> Path Absolute -> a -> IO ()

valuewriteJSON_NoLayout :: ToJSON Identity a => Path Absolute -> a -> IO ()

valuewriteKeyAsId :: Some PublicKey -> JSValue

valueexpected' :: ReportSchemaErrors m => Expected -> JSValue -> m a

valuefromJSField

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

valuefromJSObject :: ReportSchemaErrors m => JSValue -> m [(String, JSValue)]

valuefromJSOptField

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

valuemkObject :: Monad m => [(String, m JSValue)] -> m JSValue

datadata DeserializationError

Constructors

DeserializationErrorMalformed String
DeserializationErrorSchema String
DeserializationErrorUnknownKey KeyId
DeserializationErrorValidation String
DeserializationErrorFileType String String

Instances6Show, Exception, Pretty, MonadError

Show DeserializationErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
Exception DeserializationErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
Pretty DeserializationErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
MonadError DeserializationError ReadJSON_Keys_LayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
MonadError DeserializationError ReadJSON_Keys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
MonadError DeserializationError ReadJSON_NoKeys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON

classclass (ReportSchemaErrors m, MonadError DeserializationError m) => MonadKeys (m :: Type -> Type) where

Methods

localKeys :: (KeyEnv -> KeyEnv) -> m a -> m a
askKeys :: m KeyEnv

Instances2MonadKeys

MonadKeys ReadJSON_Keys_LayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
MonadKeys ReadJSON_Keys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON

newtypenewtype ReadJSON_Keys_Layout a

Instances7Monad, Functor, Applicative, MonadKeys, ReportSchemaErrors, MonadError, …

Monad ReadJSON_Keys_LayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
Functor ReadJSON_Keys_LayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
Applicative ReadJSON_Keys_LayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
MonadKeys ReadJSON_Keys_LayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
ReportSchemaErrors ReadJSON_Keys_LayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
MonadError DeserializationError ReadJSON_Keys_LayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
MonadReader RepoLayout ReadJSON_Keys_LayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON

newtypenewtype ReadJSON_Keys_NoLayout a

Instances6Monad, Functor, Applicative, MonadKeys, ReportSchemaErrors, MonadError

Monad ReadJSON_Keys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
Functor ReadJSON_Keys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
Applicative ReadJSON_Keys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
MonadKeys ReadJSON_Keys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
ReportSchemaErrors ReadJSON_Keys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
MonadError DeserializationError ReadJSON_Keys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON

newtypenewtype ReadJSON_NoKeys_NoLayout a

Instances5Monad, Functor, Applicative, ReportSchemaErrors, MonadError

Monad ReadJSON_NoKeys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
Functor ReadJSON_NoKeys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
Applicative ReadJSON_NoKeys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
ReportSchemaErrors ReadJSON_NoKeys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
MonadError DeserializationError ReadJSON_NoKeys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON

newtypenewtype WriteJSON a

Instances4Monad, Functor, Applicative, MonadReader

Monad WriteJSONDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
Functor WriteJSONDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
Applicative WriteJSONDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
MonadReader RepoLayout WriteJSONDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON

typetype Expected = String

classclass FromJSON (m :: Type -> Type) a where

Methods

fromJSON :: JSValue -> m a

Instances39FromJSON, …

Monad m => FromJSON m JSValueDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
MonadKeys m => FromJSON m RootRolesDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Root
MonadKeys m => FromJSON m SignaturesDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Signed
MonadKeys m => FromJSON m DelegationSpecDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Targets
MonadKeys m => FromJSON m DelegationsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Targets
MonadKeys m => FromJSON m TargetsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Targets
ReportSchemaErrors m => FromJSON m StringDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
ReportSchemaErrors m => FromJSON m KeyEnvDefined in hackage-security-0.6.4.0 · Hackage.Security.Key.Env
ReportSchemaErrors m => FromJSON m FileLengthDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Common
ReportSchemaErrors m => FromJSON m HashDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Common
ReportSchemaErrors m => FromJSON m KeyThresholdDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Common
ReportSchemaErrors m => FromJSON m FileInfoDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileInfo
ReportSchemaErrors m => FromJSON m FileMapDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileMap
ReportSchemaErrors m => FromJSON m FileExpiresDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Header
ReportSchemaErrors m => FromJSON m FileVersionDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Header
ReportSchemaErrors m => FromJSON m HeaderDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Header
ReportSchemaErrors m => FromJSON m MirrorDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Mirrors
ReportSchemaErrors m => FromJSON m PreSignatureDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Signed
ReportSchemaErrors m => FromJSON m Base64Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.Base64
ReportSchemaErrors m => FromJSON m Int54Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
ReportSchemaErrors m => FromJSON m URIDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
ReportSchemaErrors m => FromJSON m UTCTimeDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
(MonadError DeserializationError m, ReportSchemaErrors m) => FromJSON m MirrorsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Mirrors
(MonadReader RepoLayout m, MonadError DeserializationError m, ReportSchemaErrors m) => FromJSON m SnapshotDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Snapshot
(MonadReader RepoLayout m, MonadError DeserializationError m, ReportSchemaErrors m) => FromJSON m TimestampDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Timestamp
MonadKeys m => FromJSON m (RoleSpec a)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Root
MonadKeys m => FromJSON m (Signed Mirrors)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Mirrors
MonadKeys m => FromJSON m (Signed Root)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Root
MonadKeys m => FromJSON m (Signed Targets)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Targets
ReportSchemaErrors m => FromJSON m (Some Key)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
ReportSchemaErrors m => FromJSON m (Some KeyType)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
ReportSchemaErrors m => FromJSON m (Some PublicKey)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
ReportSchemaErrors m => FromJSON m (Some Pattern)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Patterns
ReportSchemaErrors m => FromJSON m (Some Replacement)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Patterns
(MonadKeys m, MonadReader RepoLayout m) => FromJSON m (Signed Snapshot)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Snapshot
(MonadKeys m, MonadReader RepoLayout m) => FromJSON m (Signed Timestamp)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Timestamp
(ReportSchemaErrors m, FromJSON m a) => FromJSON m (UninterpretedSignatures a)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Signed
(ReportSchemaErrors m, FromJSON m a) => FromJSON m [a]Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
(ReportSchemaErrors m, Ord k, FromObjectKey m k, FromJSON m a) => FromJSON m (Map k a)Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON

classclass FromObjectKey (m :: Type -> Type) a where

Methods

fromObjectKey :: String -> m (Maybe a)

Instances5FromObjectKey

Monad m => FromObjectKey m StringDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
Monad m => FromObjectKey m KeyIdDefined in hackage-security-0.6.4.0 · Hackage.Security.Key
ReportSchemaErrors m => FromObjectKey m HashFnDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileInfo
ReportSchemaErrors m => FromObjectKey m TargetPathDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileMap
Monad m => FromObjectKey m (Path root)Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON

typetype Got = String

classclass (Applicative m, Monad m) => ReportSchemaErrors (m :: Type -> Type) where

Methods

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

Instances3ReportSchemaErrors

ReportSchemaErrors ReadJSON_Keys_LayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
ReportSchemaErrors ReadJSON_Keys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON
ReportSchemaErrors ReadJSON_NoKeys_NoLayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSON

classclass ToJSON (m :: Type -> Type) a where

Methods

toJSON :: a -> m JSValue

Instances40ToJSON, …

Monad m => ToJSON m StringDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
Monad m => ToJSON m KeyEnvDefined in hackage-security-0.6.4.0 · Hackage.Security.Key.Env
Monad m => ToJSON m FileLengthDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Common
Monad m => ToJSON m HashDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Common
Monad m => ToJSON m KeyThresholdDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Common
Monad m => ToJSON m FileInfoDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileInfo
Monad m => ToJSON m FileMapDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileMap
Monad m => ToJSON m FileExpiresDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Header
Monad m => ToJSON m FileVersionDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Header
Monad m => ToJSON m MirrorDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Mirrors
Monad m => ToJSON m MirrorsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Mirrors
Monad m => ToJSON m RootDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Root
Monad m => ToJSON m RootRolesDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Root
Monad m => ToJSON m PreSignatureDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Signed
Monad m => ToJSON m SignaturesDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Signed
Monad m => ToJSON m DelegationSpecDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Targets
Monad m => ToJSON m DelegationsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Targets
Monad m => ToJSON m TargetsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Targets
Monad m => ToJSON m Base64Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.Base64
Monad m => ToJSON m Int54Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
Monad m => ToJSON m JSValueDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
Monad m => ToJSON m URIDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
Monad m => ToJSON m UTCTimeDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
MonadReader RepoLayout m => ToJSON m SnapshotDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Snapshot
MonadReader RepoLayout m => ToJSON m TimestampDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Timestamp
Monad m => ToJSON m (Key typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
Monad m => ToJSON m (KeyType typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
Monad m => ToJSON m (PublicKey typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
Monad m => ToJSON m (Pattern typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Patterns
Monad m => ToJSON m (Replacement typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Patterns
Monad m => ToJSON m (RoleSpec a)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Root
Monad m => ToJSON m (Some Key)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
Monad m => ToJSON m (Some KeyType)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
Monad m => ToJSON m (Some PublicKey)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
Monad m => ToJSON m (Some Pattern)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Patterns
Monad m => ToJSON m (Some Replacement)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Patterns
(Monad m, ToJSON m a) => ToJSON m (Signed a)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Signed
(Monad m, ToJSON m a) => ToJSON m (UninterpretedSignatures a)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Signed
(Monad m, ToJSON m a) => ToJSON m [a]Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
(Monad m, ToObjectKey m k, ToJSON m a) => ToJSON m (Map k a)Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON

classclass ToObjectKey (m :: Type -> Type) a where

Methods

toObjectKey :: a -> m String

Instances5ToObjectKey

Monad m => ToObjectKey m StringDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
Monad m => ToObjectKey m KeyIdDefined in hackage-security-0.6.4.0 · Hackage.Security.Key
Monad m => ToObjectKey m HashFnDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileInfo
Monad m => ToObjectKey m TargetPathDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileMap
Monad m => ToObjectKey m (Path root)Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON

newtypenewtype Int54

Instances17Bounded, Enum, Eq, Integral, Data, Num, …

Bounded Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Enum Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Eq Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Integral Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Data Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Num Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Ord Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Read Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Real Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Show Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Ix Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Bits Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
FiniteBits Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Storable Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
PrintfArg Int54Defined in hackage-security-0.6.4.0 · Text.JSON.Canonical
ReportSchemaErrors m => FromJSON m Int54Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
Monad m => ToJSON m Int54Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON

datadata JSValue

Constructors

Instances6Eq, Ord, Read, Show, FromJSON, ToJSON

Eq JSValueDefined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Ord JSValueDefined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Read JSValueDefined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Show JSValueDefined in hackage-security-0.6.4.0 · Text.JSON.Canonical
Monad m => FromJSON m JSValueDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON
Monad m => ToJSON m JSValueDefined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON