Text.HJson

JSON data type

data Json

Constructors

JString String

JNumber Rational

JObject (Map String Json)

JBool Bool

JNull

JArray [Json]

Instances

Eq Json

Data Json

Show Json

Typeable Json

Jsonable Json

fromString :: String -> Either ParseError Json

Parses JSON string

toString :: Json -> String

Renders JSON to String

escapeJString :: String -> String

Escapes string for inclusion in JSON

jsonParser :: Monad m => ParsecT String s m Json

Parsec parser for JSON

Type class for objects [de]serialization

class Jsonable a where

Class of types that can be converted to or from JSON

Methods

toJson :: a -> Json

Convert value to JSON representation

fromJson :: Json -> Maybe a

Deserialize value. Returns Nothing in case of failure. Default implementation always returns Nothing

Instances

Jsonable Bool

Jsonable Double

Jsonable Float

Jsonable Int

Jsonable Integer

Jsonable String

Jsonable IntSet

Jsonable Json

Jsonable a => Jsonable (Maybe a)

Jsonable a => Jsonable (Seq a)

Jsonable a => Jsonable (IntMap a)

(Jsonable a, Ord a) => Jsonable (Set a)

Jsonable a => Jsonable (LaxObject a)

Jsonable a => Jsonable (Object a)

Jsonable a => Jsonable (List a)

(Jsonable a, Jsonable b) => Jsonable (Either a b)

(Jsonable a, Jsonable b) => Jsonable (a, b)

(Jsonable a, Ord a, Jsonable b) => Jsonable (Map a b)

(Jsonable a, Jsonable b, Jsonable c) => Jsonable (a, b, c)

(Jsonable a, Jsonable b, Jsonable c, Jsonable d) => Jsonable (a, b, c, d)

(Jsonable a, Jsonable b, Jsonable c, Jsonable d, Jsonable e) => Jsonable (a, b, c, d, e)

newtype List a

Newtype wrapper for list. It's user to avoid overlapping instances for string

Constructors

List

Fields

asList :: [a]

Instances

Eq a => Eq (List a)

Ord a => Ord (List a)

Show a => Show (List a)

Jsonable a => Jsonable (List a)

newtype Object a

Newtype wrapper for Map String a. Similarly it's used to avoid overlapping instances for more generic Map a b instance.

Jsonable instance for this type require that every JSON value in map should be properly decoded.

Constructors

Object

Fields

asMap :: Map String a

Instances

Eq a => Eq (Object a)

Show a => Show (Object a)

Jsonable a => Jsonable (Object a)

newtype LaxObject a

Another wrapper for Map String a. It have different Jsonable instance. Undecodable values in JObject are ignored.

Constructors

LaxObject

Fields

asLaxMap :: Map String a

Instances

Eq a => Eq (LaxObject a)

Show a => Show (LaxObject a)

Jsonable a => Jsonable (LaxObject a)