graphql-engine-1.0.0: GraphQL API over Postgres
Safe HaskellNone
LanguageHaskell2010

Hasura.Backends.DataConnector.IR.Scalar.Value

Synopsis

Documentation

data Value Source #

Literal scalar values that can appear as leaf nodes in expressions

NOTE: This type shouldn't _need_ ser/de instances, but they're imposed by the Backend class.

Constructors

String Text 
Number Scientific 
Boolean Bool 
Null 

Instances

Instances details
Eq Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

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

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

Data Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.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 :: forall r r'. (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 #

Ord Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

compare :: Value -> Value -> Ordering #

(<) :: Value -> Value -> Bool #

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

(>) :: Value -> Value -> Bool #

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

max :: Value -> Value -> Value #

min :: Value -> Value -> Value #

Show Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

showsPrec :: Int -> Value -> ShowS #

show :: Value -> String #

showList :: [Value] -> ShowS #

Generic Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Associated Types

type Rep Value :: Type -> Type #

Methods

from :: Value -> Rep Value x #

to :: Rep Value x -> Value #

NFData Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

rnf :: Value -> () #

Hashable Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

hashWithSalt :: Int -> Value -> Int

hash :: Value -> Int

FromJSON Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

parseJSON :: Value0 -> Parser Value

parseJSONList :: Value0 -> Parser [Value]

ToJSON Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

toJSON :: Value -> Value0

toEncoding :: Value -> Encoding

toJSONList :: [Value] -> Value0

toEncodingList :: [Value] -> Encoding

Cacheable Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

From Value Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

from :: Value0 -> Value

From Value Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

from :: Value -> Value0

type Rep Value Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

type Rep Value = D1 ('MetaData "Value" "Hasura.Backends.DataConnector.IR.Scalar.Value" "graphql-engine-1.0.0-inplace" 'False) ((C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Number" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Scientific))) :+: (C1 ('MetaCons "Boolean" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type)))

data Literal Source #

Instances

Instances details
Eq Literal Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

(==) :: Literal -> Literal -> Bool #

(/=) :: Literal -> Literal -> Bool #

Ord Literal Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Show Literal Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Generic Literal Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Associated Types

type Rep Literal :: Type -> Type #

Methods

from :: Literal -> Rep Literal x #

to :: Rep Literal x -> Literal #

NFData Literal Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

rnf :: Literal -> () #

Hashable Literal Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

hashWithSalt :: Int -> Literal -> Int

hash :: Literal -> Int

ToJSON Literal Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

Methods

toJSON :: Literal -> Value

toEncoding :: Literal -> Encoding

toJSONList :: [Literal] -> Value

toEncodingList :: [Literal] -> Encoding

Cacheable Literal Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

type Rep Literal Source # 
Instance details

Defined in Hasura.Backends.DataConnector.IR.Scalar.Value

type Rep Literal = D1 ('MetaData "Literal" "Hasura.Backends.DataConnector.IR.Scalar.Value" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "ValueLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Value)) :+: C1 ('MetaCons "ArrayLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Value])))

parseValue :: Type -> Value -> Parser Value Source #