Text.JSON.Canonical.Class

Type classes and utilities for converting to and from JSValue.

Type classes

class ToJSON m a where

Minimal complete definition

toJSON

Methods

toJSON :: a -> m JSValue

Instances

Monad m => ToJSON m Int54

Defined in Text.JSON.Canonical.Class

Methods

toJSON :: Int54 -> m JSValue

Monad m => ToJSON m String

Defined in Text.JSON.Canonical.Class

Methods

toJSON :: String -> m JSValue

Monad m => ToJSON m JSValue

Defined in Text.JSON.Canonical.Class

Methods

toJSON :: JSValue -> m JSValue

(Monad m, ToJSON m a) => ToJSON m [a]

Defined in Text.JSON.Canonical.Class

Methods

toJSON :: [a] -> m JSValue

(Monad m, ToObjectKey m k, ToJSON m a) => ToJSON m (Map k a)

Defined in Text.JSON.Canonical.Class

Methods

toJSON :: Map k a -> m JSValue

class FromJSON m a where

Minimal complete definition

fromJSON

Methods

fromJSON :: JSValue -> m a

Instances

ReportSchemaErrors m => FromJSON m Int54

Defined in Text.JSON.Canonical.Class

Methods

fromJSON :: JSValue -> m Int54

ReportSchemaErrors m => FromJSON m String

Defined in Text.JSON.Canonical.Class

Methods

fromJSON :: JSValue -> m String

Monad m => FromJSON m JSValue

Defined in Text.JSON.Canonical.Class

Methods

fromJSON :: JSValue -> m JSValue

(ReportSchemaErrors m, FromJSON m a) => FromJSON m [a]

Defined in Text.JSON.Canonical.Class

Methods

fromJSON :: JSValue -> m [a]

(ReportSchemaErrors m, Ord k, FromObjectKey m k, FromJSON m a) => FromJSON m (Map k a)

Defined in Text.JSON.Canonical.Class

Methods

fromJSON :: JSValue -> m (Map k a)

class ToObjectKey m a where

Used in the ToJSON instance for Map

Minimal complete definition

toObjectKey

Methods

toObjectKey :: a -> m String

Instances

Monad m => ToObjectKey m String

Defined in Text.JSON.Canonical.Class

Methods

toObjectKey :: String -> m String

class FromObjectKey m a where

Used in the FromJSON instance for Map

Minimal complete definition

fromObjectKey

Methods

fromObjectKey :: String -> m (Maybe a)

Instances

Monad m => FromObjectKey m String

Defined in Text.JSON.Canonical.Class

Methods

fromObjectKey :: String -> m (Maybe String)

class (Applicative m, Monad m) => ReportSchemaErrors m where

Monads in which we can report schema errors

Minimal complete definition

expected

Methods

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

type Expected = String

type Got = String

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

Utility

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

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

Extract a field from a JSON object

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

mkObject :: forall m. Monad m => [(String, m JSValue)] -> m JSValue