Modulehackage-security-0.6.3.2Haskell2010

Hackage.Security.JSON

Hackage-specific wrappers around the Util.JSON module

9 types
6 classes
26 values

Packagehackage-security-0.6.3.2
Exports41
LanguageHaskell2010
LicenceBSD-3-Clause
SourceJSON.hs

Deserialization errors

3 declarations

datadata DeserializationError

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.

Instances6Show, Exception, Pretty, MonadError

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

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

valueverifyType

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

MonadKeys

5 declarations

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

MonadReader-like monad, specialized to key environments

Methods

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

Instances2MonadKeys

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

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

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

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

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

Reader monads

6 declarations

newtypenewtype ReadJSON_Keys_Layout a

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

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

newtypenewtype ReadJSON_Keys_NoLayout a

Instances6Monad, Functor, Applicative, MonadKeys, ReportSchemaErrors, MonadError

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

newtypenewtype ReadJSON_NoKeys_NoLayout a

Instances5Monad, Functor, Applicative, ReportSchemaErrors, MonadError

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

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

Utility

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)

Writing

2 declarations

newtypenewtype WriteJSON a

Instances4Monad, Functor, Applicative, MonadReader

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

valuerunWriteJSON :: RepoLayout -> WriteJSON a -> a

Utility

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

Render to canonical JSON format

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

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

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

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

valuewriteKeyAsId :: Some PublicKey -> JSValue

Re-exports

14 declarations

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

Methods

toJSON :: a -> m JSValue

Instances40ToJSON, …

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

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

Methods

fromJSON :: JSValue -> m a

Instances39FromJSON, …

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

datadata JSValue

Constructors

Instances6Eq, Ord, Read, Show, FromJSON, ToJSON

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

newtypenewtype Int54

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.

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

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

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

Used in the ToJSON instance for Map

Methods

toObjectKey :: a -> m String

Instances5ToObjectKey

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

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

Used in the FromJSON instance for Map

Methods

fromObjectKey :: String -> m (Maybe a)

Instances5FromObjectKey

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

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

Monads in which we can report schema errors

Methods

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

Instances3ReportSchemaErrors

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

typetype Expected = String

typetype Got = String

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

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

valuefromJSField

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

Extract a field from a JSON object

valuefromJSOptField

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

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