Text.JSON.Canonical.Class

Type classes and utilities for converting to and from JSValue.

Type classes

class ToJSON m a where

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 JSString

Defined in Text.JSON.Canonical.Class

Methods

toJSON :: JSString -> m JSValue

Monad m => ToJSON m JSValue

Defined in Text.JSON.Canonical.Class

Methods

toJSON :: JSValue -> m JSValue

Monad m => ToJSON m String

Defined in Text.JSON.Canonical.Class

Methods

toJSON :: String -> 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

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 JSString

Defined in Text.JSON.Canonical.Class

Methods

fromJSON :: JSValue -> m JSString

Monad m => FromJSON m JSValue

Defined in Text.JSON.Canonical.Class

Methods

fromJSON :: JSValue -> m JSValue

ReportSchemaErrors m => FromJSON m String

Defined in Text.JSON.Canonical.Class

Methods

fromJSON :: JSValue -> m String

(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

Methods

toObjectKey :: a -> m JSString

Instances

Monad m => ToObjectKey m JSString

Defined in Text.JSON.Canonical.Class

Methods

toObjectKey :: JSString -> m JSString

Monad m => ToObjectKey m String

Defined in Text.JSON.Canonical.Class

Methods

toObjectKey :: String -> m JSString

class FromObjectKey m a where

Used in the FromJSON instance for Map

Methods

fromObjectKey :: JSString -> m (Maybe a)

Instances

Monad m => FromObjectKey m JSString

Defined in Text.JSON.Canonical.Class

Methods

fromObjectKey :: JSString -> m (Maybe JSString)

Monad m => FromObjectKey m String

Defined in Text.JSON.Canonical.Class

Methods

fromObjectKey :: JSString -> m (Maybe String)

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

Monads in which we can report schema errors

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 [(JSString, JSValue)]

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

Extract a field from a JSON object

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

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