Portability	portable
Stability	provisional
Maintainer	Sigbjorn Finne <sof@galois.com>
Safe Haskell	None

Text.JSON.Generic

Description

JSON serializer and deserializer using Data.Generics. The functions here handle algebraic data types and primitive types. It uses the same representation as Text.JSON for Prelude types.

Synopsis

Documentation

module Text.JSON

class Typeable a => Data a

Instances

Data Bool
Data Char
Data Double
Data Float
Data Int
Data Int8
Data Int16
Data Int32
Data Int64
Data Integer
Data Ordering
Data Word
Data Word8
Data Word16
Data Word32
Data Word64
Data ()
Data DataType
Data TyCon
Data TypeRep
Data Handle
Data ByteString
Data ByteString
Data Text
Data IntSet
Data ThreadId
Data a => Data [a]
(Data a, Integral a) => Data (Ratio a)
Typeable a => Data (StablePtr a)
Typeable a => Data (IO a)
Typeable a => Data (Ptr a)
Data a => Data (Maybe a)
Typeable a => Data (MVar a)
Typeable a => Data (IORef a)
Typeable a => Data (STM a)
Typeable a => Data (ForeignPtr a)
(Data a, Ord a) => Data (Set a)
Data a => Data (IntMap a)
Typeable a => Data (TVar a)
(Data a, Data b) => Data (a -> b)
(Data a, Data b) => Data (Either a b)
(Data a, Data b) => Data (a, b)
(Typeable s, Typeable a) => Data (ST s a)
(Typeable a, Data b, Ix a) => Data (Array a b)
(Data k, Data a, Ord k) => Data (Map k a)
(Data a, Data b, Data c) => Data (a, b, c)
(Data a, Data b, Data c, Data d) => Data (a, b, c, d)
(Data a, Data b, Data c, Data d, Data e) => Data (a, b, c, d, e)
(Data a, Data b, Data c, Data d, Data e, Data f) => Data (a, b, c, d, e, f)
(Data a, Data b, Data c, Data d, Data e, Data f, Data g) => Data (a, b, c, d, e, f, g)

class Typeable a

Instances

Typeable Bool
Typeable Char
Typeable Double
Typeable Float
Typeable Int
Typeable Int8
Typeable Int16
Typeable Int32
Typeable Int64
Typeable Integer
Typeable Ordering
Typeable RealWorld
Typeable Word
Typeable Word8
Typeable Word16
Typeable Word32
Typeable Word64
Typeable ()
Typeable DataType
Typeable TyCon
Typeable TypeRep
Typeable Handle
Typeable ByteString
Typeable ByteString
Typeable Text
Typeable JSString
Typeable JSValue
Typeable IntSet
Typeable ThreadId
Typeable Handle__
(Typeable1 s, Typeable a) => Typeable (s a)

toJSON :: Data a => a -> JSValue

Convert anything to a JSON value.

fromJSON :: Data a => JSValue -> Result a

Convert a JSON value to anything (fails if the types do not match).

encodeJSON :: Data a => a -> String

Encode a value as a string.

decodeJSON :: Data a => String -> a

Decode a string as a value.

toJSON_generic :: Data a => a -> JSValue

fromJSON_generic :: Data a => JSValue -> Result a