Data.Relational.Value

Deprecated: This module will be replaced in a future release.

Value from aeson for use in tuples and relations.

Documentation

data Value :: *

A JSON value represented as a Haskell value.

Constructors

Object ~Object

Array ~Array

String ~Text

Number ~Scientific

Bool ~Bool

Null

Instances

Eq Value

Methods

(==) :: Value -> Value -> Bool

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

Data Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value

toConstr :: Value -> Constr

dataTypeOf :: Value -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Value)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value)

gmapT :: (forall b. Data b => b -> b) -> Value -> Value

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r

gmapQ :: (forall d. Data d => d -> u) -> Value -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value

Read Value

Methods

readsPrec :: Int -> ReadS Value

readList :: ReadS [Value]

readPrec :: ReadPrec Value

readListPrec :: ReadPrec [Value]

Show Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

IsString Value

Methods

fromString :: String -> Value

Lift Value

Methods

lift :: Value -> Q Exp

Hashable Value

Methods

hashWithSalt :: Int -> Value -> Int

hash :: Value -> Int

FromJSON Value

Methods

parseJSON :: Value -> Parser Value

parseJSONList :: Value -> Parser [Value]

ToJSON Value

Methods

toJSON :: Value -> Value

toEncoding :: Value -> Encoding

toJSONList :: [Value] -> Value

toEncodingList :: [Value] -> Encoding

KeyValue Pair

Methods

(.=) :: ToJSON v => Text -> v -> Pair

NFData Value

Methods

rnf :: Value -> ()

asValue

Arguments

:: String

The string.

-> Value

The value.

Read a value.

valueAsRealFloat :: RealFloat a => Value -> a

Convert a numeric value.

asRealFloat :: (RealFloat a, Read a) => String -> a

Read a numeric value.

valueAsString :: Value -> String

Convert to a string value.

string :: String -> Value

Convert a string to a value.

number :: RealFloat a => a -> Value

Convert a number to a value.

number' :: String -> Value

Convert a number to a value.

enum :: (Enum a, Show a) => a -> Value

Convert an enumeration to a value.

valueAsEnum :: (Enum a, Read a) => Value -> a

Convert a value to an enumeration.

readTable

Arguments

:: (Attribute r ~ Value, Tuple r)

=> FilePath

The file path.

-> IO (Table r)

Action to read the table.

Read a table.

writeTable

Arguments

:: (Attribute r ~ Value, Tuple r)

=> FilePath

The file path.

-> Table r

The table.

-> IO ()

Action to write the table.

Write a table.