Ideas.Text.JSON

Support for JavaScript Object Notation (JSON) and remote procedure calls using JSON. JSON is a lightweight alternative for XML.

Documentation

data JSON

Constructors

Number Number

String String

Boolean Bool

Array [JSON]

Object [(Key, JSON)]

Null

Instances

Eq JSON

Defined in Ideas.Text.JSON

Methods

(==) :: JSON -> JSON -> Bool

(/=) :: JSON -> JSON -> Bool

Show JSON

Defined in Ideas.Text.JSON

Methods

showsPrec :: Int -> JSON -> ShowS

show :: JSON -> String

showList :: [JSON] -> ShowS

Arbitrary JSON

Defined in Ideas.Text.JSON

Methods

arbitrary :: Gen JSON

shrink :: JSON -> [JSON]

type Key = String

data Number

Constructors

I Integer

D Double

Instances

Eq Number

Defined in Ideas.Text.JSON

Methods

(==) :: Number -> Number -> Bool

(/=) :: Number -> Number -> Bool

Show Number

Defined in Ideas.Text.JSON

Methods

showsPrec :: Int -> Number -> ShowS

show :: Number -> String

showList :: [Number] -> ShowS

Arbitrary Number

Defined in Ideas.Text.JSON

Methods

arbitrary :: Gen Number

shrink :: Number -> [Number]

class InJSON a where

Minimal complete definition

toJSON, fromJSON

Methods

toJSON :: a -> JSON

listToJSON :: [a] -> JSON

fromJSON :: Monad m => JSON -> m a

listFromJSON :: Monad m => JSON -> m [a]

Instances

InJSON Bool

Defined in Ideas.Text.JSON

Methods

toJSON :: Bool -> JSON

listToJSON :: [Bool] -> JSON

fromJSON :: Monad m => JSON -> m Bool

listFromJSON :: Monad m => JSON -> m [Bool]

InJSON Char

Defined in Ideas.Text.JSON

Methods

toJSON :: Char -> JSON

listToJSON :: [Char] -> JSON

fromJSON :: Monad m => JSON -> m Char

listFromJSON :: Monad m => JSON -> m [Char]

InJSON Double

Defined in Ideas.Text.JSON

Methods

toJSON :: Double -> JSON

listToJSON :: [Double] -> JSON

fromJSON :: Monad m => JSON -> m Double

listFromJSON :: Monad m => JSON -> m [Double]

InJSON Int

Defined in Ideas.Text.JSON

Methods

toJSON :: Int -> JSON

listToJSON :: [Int] -> JSON

fromJSON :: Monad m => JSON -> m Int

listFromJSON :: Monad m => JSON -> m [Int]

InJSON Integer

Defined in Ideas.Text.JSON

Methods

toJSON :: Integer -> JSON

listToJSON :: [Integer] -> JSON

fromJSON :: Monad m => JSON -> m Integer

listFromJSON :: Monad m => JSON -> m [Integer]

InJSON RPCResponse

Defined in Ideas.Text.JSON

Methods

toJSON :: RPCResponse -> JSON

listToJSON :: [RPCResponse] -> JSON

fromJSON :: Monad m => JSON -> m RPCResponse

listFromJSON :: Monad m => JSON -> m [RPCResponse]

InJSON a => InJSON [a]

Defined in Ideas.Text.JSON

Methods

toJSON :: [a] -> JSON

listToJSON :: [[a]] -> JSON

fromJSON :: Monad m => JSON -> m [a]

listFromJSON :: Monad m => JSON -> m [[a]]

(InJSON a, InJSON b) => InJSON (a, b)

Defined in Ideas.Text.JSON

Methods

toJSON :: (a, b) -> JSON

listToJSON :: [(a, b)] -> JSON

fromJSON :: Monad m => JSON -> m (a, b)

listFromJSON :: Monad m => JSON -> m [(a, b)]

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

Defined in Ideas.Text.JSON

Methods

toJSON :: (a, b, c) -> JSON

listToJSON :: [(a, b, c)] -> JSON

fromJSON :: Monad m => JSON -> m (a, b, c)

listFromJSON :: Monad m => JSON -> m [(a, b, c)]

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

Defined in Ideas.Text.JSON

Methods

toJSON :: (a, b, c, d) -> JSON

listToJSON :: [(a, b, c, d)] -> JSON

fromJSON :: Monad m => JSON -> m (a, b, c, d)

listFromJSON :: Monad m => JSON -> m [(a, b, c, d)]

lookupM :: Monad m => String -> JSON -> m JSON

parseJSON :: String -> Either String JSON

compactJSON :: JSON -> String

jsonRPC :: JSON -> RPCHandler -> IO RPCResponse

type RPCHandler = String -> JSON -> IO JSON

data RPCResponse

Constructors

Response

Fields

• responseResult :: JSON
• responseError :: JSON
• responseId :: JSON

Instances

Show RPCResponse

Defined in Ideas.Text.JSON

Methods

showsPrec :: Int -> RPCResponse -> ShowS

show :: RPCResponse -> String

showList :: [RPCResponse] -> ShowS

InJSON RPCResponse

Defined in Ideas.Text.JSON

Methods

toJSON :: RPCResponse -> JSON

listToJSON :: [RPCResponse] -> JSON

fromJSON :: Monad m => JSON -> m RPCResponse

listFromJSON :: Monad m => JSON -> m [RPCResponse]

propEncoding :: Property