Modulecanonical-json-0.6.0.1Haskell2010

Text.JSON.Canonical.Class

Type classes and utilities for converting to and from JSValue.

Type classes

8 declarations

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

Instances6ToJSON

Monad m => ToJSON m Int54Defined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
Monad m => ToJSON m JSStringDefined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
Monad m => ToJSON m JSValueDefined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
Monad m => ToJSON m StringDefined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
(Monad m, ToJSON m a) => ToJSON m [a]Defined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
(Monad m, ToObjectKey m k, ToJSON m a) => ToJSON m (Map k a)Defined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class

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

Instances6FromJSON

ReportSchemaErrors m => FromJSON m Int54Defined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
ReportSchemaErrors m => FromJSON m JSStringDefined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
ReportSchemaErrors m => FromJSON m StringDefined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
Monad m => FromJSON m JSValueDefined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
(ReportSchemaErrors m, FromJSON m a) => FromJSON m [a]Defined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
(ReportSchemaErrors m, Ord k, FromObjectKey m k, FromJSON m a) => FromJSON m (Map k a)Defined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class

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

Used in the ToJSON instance for Map

Instances2ToObjectKey

Monad m => ToObjectKey m JSStringDefined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
Monad m => ToObjectKey m StringDefined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class

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

Used in the FromJSON instance for Map

Instances2FromObjectKey

Monad m => FromObjectKey m JSStringDefined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class
Monad m => FromObjectKey m StringDefined in canonical-json-0.6.0.1 · Text.JSON.Canonical.Class

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

Monads in which we can report schema errors

typetype Expected = String

typetype Got = String

valueexpectedButGotValue :: ReportSchemaErrors m => Expected -> JSValue -> m a

4 declarations

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

valuefromJSField

Extract a field from a JSON object

valuefromJSOptField

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