Safe Haskell | None |
---|---|
Language | Haskell2010 |
Hasura.Backends.MSSQL.Types.Internal
Description
MSSQL Types Internal
Types for Transact-SQL aka T-SQL; the language of SQL Server.
In this module we define various MS SQL Server specific data types used for T-SQL generation.
These types are also used as underlying types in the Backend 'MSSQL
instance
which is defined in Hasura.Backends.MSSQL.Instances.Types.
We convert RQL IR ASTs to types defined here in the Hasura.Backends.MSSQL.FromIr module, and we implement pretty-printing for these types in the Hasura.Backends.MSSQL.ToQuery module.
NOTE: Various type class instances (including simple once such as Eq and Show) are implemented in the Hasura.Backends.MSSQL.Types.Instances module.
Synopsis
- type Column (b :: BackendType) = ColumnName
- type ColumnType (b :: BackendType) = ScalarType
- type Value = Value
- data UnifiedColumn = UnifiedColumn {
- name :: ColumnName
- type' :: ScalarType
- data UnifiedTableName = UnifiedTableName {}
- data UnifiedObjectRelationship = UnifiedObjectRelationship {
- using :: UnifiedUsing
- name :: Text
- data UnifiedArrayRelationship = UnifiedArrayRelationship {
- using :: UnifiedUsing
- name :: Text
- newtype UnifiedUsing = UnifiedUsing {}
- data UnifiedOn = UnifiedOn {
- table :: UnifiedTableName
- column :: Text
- data BooleanOperators a
- = ASTContains a
- | ASTCrosses a
- | ASTEquals a
- | ASTIntersects a
- | ASTOverlaps a
- | ASTTouches a
- | ASTWithin a
- data Select = Select {
- selectWith :: Maybe With
- selectTop :: Top
- selectProjections :: [Projection]
- selectFrom :: Maybe From
- selectJoins :: [Join]
- selectWhere :: Where
- selectFor :: For
- selectOrderBy :: Maybe (NonEmpty OrderBy)
- selectOffset :: Maybe Expression
- emptySelect :: Select
- newtype OutputColumn = OutputColumn {}
- data Inserted = Inserted
- data Deleted = Deleted
- data Output t = Output {
- outputType :: t
- outputColumns :: [OutputColumn]
- type InsertOutput = Output Inserted
- newtype Values = Values [Expression]
- data Insert = Insert {}
- data SetValue
- data SetIdentityInsert = SetIdentityInsert {}
- type DeleteOutput = Output Deleted
- data Delete = Delete {}
- data Merge = Merge {}
- data MergeUsing = MergeUsing {}
- data MergeOn = MergeOn {
- mergeOnColumns :: [ColumnName]
- data MergeWhenMatched = MergeWhenMatched {
- mwmUpdateColumns :: [ColumnName]
- mwmCondition :: Expression
- mwmUpdatePreset :: HashMap ColumnName Expression
- newtype MergeWhenNotMatched = MergeWhenNotMatched {}
- data SelectIntoTempTable = SelectIntoTempTable {}
- data SITTConstraints
- data InsertValuesIntoTempTable = InsertValuesIntoTempTable {}
- newtype TempTableName = TempTableName Text
- data SomeTableName
- data TempTable = TempTable {
- ttName :: TempTableName
- ttColumns :: [ColumnName]
- data Reselect = Reselect {}
- data OrderBy = OrderBy {}
- data Order
- data NullsOrder
- data For
- data ForJson = ForJson {}
- data Root
- data JsonCardinality
- data Projection
- data Join = Join {}
- data JoinSource
- data JoinAlias = JoinAlias {
- joinAliasEntity :: Text
- joinAliasField :: Maybe Text
- newtype Where = Where [Expression]
- newtype With = With (NonEmpty (Aliased Select))
- data Top
- data Expression
- = ValueExpression Value
- | AndExpression [Expression]
- | OrExpression [Expression]
- | NotExpression Expression
- | ExistsExpression Select
- | SelectExpression Select
- | IsNullExpression Expression
- | IsNotNullExpression Expression
- | ColumnExpression FieldName
- | JsonQueryExpression Expression
- | ToStringExpression Expression
- | MethodApplicationExpression Expression MethodApplicationExpression
- | FunctionApplicationExpression FunctionApplicationExpression
- | JsonValueExpression Expression JsonPath
- | OpExpression Op Expression Expression
- | ListExpression [Expression]
- | STOpExpression SpatialOp Expression Expression
- | CastExpression Expression ScalarType DataLength
- | ConditionalExpression Expression Expression Expression
- | DefaultExpression
- data DataLength
- data FunctionApplicationExpression = FunExpISNULL Expression Expression
- data MethodApplicationExpression = MethExpSTAsText
- data JsonPath
- data Aggregate
- = CountAggregate (Countable FieldName)
- | OpAggregate Text [Expression]
- | TextAggregate Text
- data Countable name
- = StarCountable
- | NonNullFieldCountable name
- | DistinctCountable name
- data From
- fromAlias :: From -> EntityAlias
- data OpenJson = OpenJson {}
- data JsonFieldSpec
- = ScalarField ScalarType DataLength Text (Maybe JsonPath)
- | JsonField Text (Maybe JsonPath)
- | StringField Text (Maybe JsonPath)
- data Aliased a = Aliased {
- aliasedThing :: a
- aliasedAlias :: Text
- newtype SchemaName = SchemaName {
- _unSchemaName :: Text
- data TableName = TableName {
- tableName :: Text
- tableSchema :: SchemaName
- data FieldName = FieldName {
- fieldName :: Text
- fieldNameEntity :: Text
- data Comment
- newtype EntityAlias = EntityAlias {
- entityAliasText :: Text
- columnNameToFieldName :: ColumnName -> EntityAlias -> FieldName
- data Op
- data SpatialOp
- newtype ColumnName = ColumnName {
- columnNameText :: Text
- newtype ConstraintName = ConstraintName {
- constraintNameText :: Text
- newtype FunctionName = FunctionName {
- functionNameText :: Text
- data ScalarType
- = CharType
- | NumericType
- | DecimalType
- | IntegerType
- | SmallintType
- | FloatType
- | RealType
- | DateType
- | Ss_time2Type
- | VarcharType
- | WcharType
- | WvarcharType
- | WtextType
- | TimestampType
- | TextType
- | BinaryType
- | VarbinaryType
- | BigintType
- | TinyintType
- | BitType
- | GuidType
- | GeographyType
- | GeometryType
- | UnknownType Text
- scalarTypeDBName :: DataLength -> ScalarType -> Text
- fromDataLength :: DataLength -> Text
- mkMSSQLScalarTypeName :: MonadError QErr m => ScalarType -> m Name
- parseScalarValue :: ScalarType -> Value -> Either QErr Value
- isComparableType :: ScalarType -> Bool
- isNumType :: ScalarType -> Bool
- getGQLTableName :: TableName -> Either QErr Name
- snakeCaseTableName :: TableName -> Text
- getTableIdentifier :: TableName -> Either QErr GQLNameIdentifier
- namingConventionSupport :: SupportedNamingCase
- stringTypes :: [ScalarType]
- geoTypes :: [ScalarType]
Documentation
type Column (b :: BackendType) = ColumnName Source #
type ColumnType (b :: BackendType) = ScalarType Source #
data UnifiedColumn Source #
Constructors
UnifiedColumn | |
Fields
|
Instances
data UnifiedTableName Source #
Constructors
UnifiedTableName | |
Instances
data UnifiedObjectRelationship Source #
Constructors
UnifiedObjectRelationship | |
Fields
|
Instances
data UnifiedArrayRelationship Source #
Constructors
UnifiedArrayRelationship | |
Fields
|
Instances
newtype UnifiedUsing Source #
Constructors
UnifiedUsing | |
Fields |
Instances
Constructors
UnifiedOn | |
Fields
|
Instances
data BooleanOperators a Source #
Constructors
ASTContains a | |
ASTCrosses a | |
ASTEquals a | |
ASTIntersects a | |
ASTOverlaps a | |
ASTTouches a | |
ASTWithin a |
Instances
Constructors
Select | |
Fields
|
Instances
emptySelect :: Select Source #
newtype OutputColumn Source #
Constructors
OutputColumn | |
Fields |
Instances
Constructors
Inserted |
Instances
Constructors
Deleted |
Instances
Constructors
Output | |
Fields
|
Instances
type InsertOutput = Output Inserted Source #
Constructors
Values [Expression] |
Instances
Eq Values Source # | |
Data Values Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Values -> c Values # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Values # toConstr :: Values -> Constr # dataTypeOf :: Values -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Values) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Values) # gmapT :: (forall b. Data b => b -> b) -> Values -> Values # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Values -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Values -> r # gmapQ :: (forall d. Data d => d -> u) -> Values -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Values -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Values -> m Values # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Values -> m Values # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Values -> m Values # | |
Show Values Source # | |
Generic Values Source # | |
NFData Values Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable Values | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable Values Source # | |
type Rep Values Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep Values = D1 ('MetaData "Values" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "Values" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Expression]))) |
Constructors
Insert | |
Fields
|
Instances
Eq Insert Source # | |
Data Insert Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Insert -> c Insert # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Insert # toConstr :: Insert -> Constr # dataTypeOf :: Insert -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Insert) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Insert) # gmapT :: (forall b. Data b => b -> b) -> Insert -> Insert # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Insert -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Insert -> r # gmapQ :: (forall d. Data d => d -> u) -> Insert -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Insert -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Insert -> m Insert # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Insert -> m Insert # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Insert -> m Insert # | |
Show Insert Source # | |
Generic Insert Source # | |
NFData Insert Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable Insert | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable Insert Source # | |
type Rep Insert Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep Insert = D1 ('MetaData "Insert" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "Insert" 'PrefixI 'True) ((S1 ('MetaSel ('Just "insertTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TableName) :*: S1 ('MetaSel ('Just "insertColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ColumnName])) :*: (S1 ('MetaSel ('Just "insertOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 InsertOutput) :*: (S1 ('MetaSel ('Just "insertTempTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TempTable) :*: S1 ('MetaSel ('Just "insertValues") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Values]))))) |
data SetIdentityInsert Source #
Constructors
SetIdentityInsert | |
Fields |
type DeleteOutput = Output Deleted Source #
Constructors
Delete | |
Fields |
Instances
Eq Delete Source # | |
Data Delete Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Delete -> c Delete # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Delete # toConstr :: Delete -> Constr # dataTypeOf :: Delete -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Delete) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Delete) # gmapT :: (forall b. Data b => b -> b) -> Delete -> Delete # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Delete -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Delete -> r # gmapQ :: (forall d. Data d => d -> u) -> Delete -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Delete -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Delete -> m Delete # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Delete -> m Delete # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Delete -> m Delete # | |
Show Delete Source # | |
Generic Delete Source # | |
NFData Delete Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable Delete | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable Delete Source # | |
type Rep Delete Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep Delete = D1 ('MetaData "Delete" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "Delete" 'PrefixI 'True) ((S1 ('MetaSel ('Just "deleteTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Aliased TableName)) :*: S1 ('MetaSel ('Just "deleteOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 DeleteOutput)) :*: (S1 ('MetaSel ('Just "deleteTempTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TempTable) :*: S1 ('MetaSel ('Just "deleteWhere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Where)))) |
MERGE statement. Used for upserts and is responsible for actually inserting or updating the data in the table.
Constructors
Merge | |
Instances
data MergeUsing Source #
The USING
section of a MERGE
statement.
Specifies the temp table schema where the input values are.
Constructors
MergeUsing | |
Fields |
Instances
The ON
section of a MERGE
statement.
Which columns to match on?
Constructors
MergeOn | |
Fields
|
Instances
Eq MergeOn Source # | |
Data MergeOn Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MergeOn -> c MergeOn # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MergeOn # toConstr :: MergeOn -> Constr # dataTypeOf :: MergeOn -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MergeOn) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MergeOn) # gmapT :: (forall b. Data b => b -> b) -> MergeOn -> MergeOn # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MergeOn -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MergeOn -> r # gmapQ :: (forall d. Data d => d -> u) -> MergeOn -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MergeOn -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MergeOn -> m MergeOn # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MergeOn -> m MergeOn # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MergeOn -> m MergeOn # | |
Show MergeOn Source # | |
Generic MergeOn Source # | |
NFData MergeOn Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable MergeOn | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable MergeOn Source # | |
type Rep MergeOn Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep MergeOn = D1 ('MetaData "MergeOn" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "MergeOn" 'PrefixI 'True) (S1 ('MetaSel ('Just "mergeOnColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ColumnName]))) |
data MergeWhenMatched Source #
The WHEN MATCHED
section of a MERGE
statement.
Which columns to update when match_columns
match (including presets),
and on which condition to actually update the values.
Constructors
MergeWhenMatched | |
Fields
|
Instances
newtype MergeWhenNotMatched Source #
The WHEN MATCHED
section of a MERGE
statement.
Which columns to insert?
Constructors
MergeWhenNotMatched | |
Fields |
Instances
data SelectIntoTempTable Source #
SELECT INTO temporary table statement without values. Used to create a temporary table with the same schema as an existing table.
Constructors
SelectIntoTempTable | |
Instances
data SITTConstraints Source #
When creating a temporary table from an existing table schema,
what should we do with the constraints (such as IDENTITY
?)
Constructors
KeepConstraints | |
RemoveConstraints |
Instances
data InsertValuesIntoTempTable Source #
Simple insert into a temporary table.
Constructors
InsertValuesIntoTempTable | |
Fields
|
Instances
newtype TempTableName Source #
A temporary table name is prepended by a hash-sign
Constructors
TempTableName Text |
Instances
data SomeTableName Source #
A name of a regular table or temporary table
Constructors
RegularTableName TableName | |
TemporaryTableName TempTableName |
Instances
Constructors
TempTable | |
Fields
|
Instances
Eq TempTable Source # | |
Data TempTable Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TempTable -> c TempTable # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TempTable # toConstr :: TempTable -> Constr # dataTypeOf :: TempTable -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TempTable) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TempTable) # gmapT :: (forall b. Data b => b -> b) -> TempTable -> TempTable # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TempTable -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TempTable -> r # gmapQ :: (forall d. Data d => d -> u) -> TempTable -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TempTable -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TempTable -> m TempTable # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TempTable -> m TempTable # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TempTable -> m TempTable # | |
Show TempTable Source # | |
Generic TempTable Source # | |
NFData TempTable Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable TempTable | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable TempTable Source # | |
type Rep TempTable Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep TempTable = D1 ('MetaData "TempTable" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "TempTable" 'PrefixI 'True) (S1 ('MetaSel ('Just "ttName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TempTableName) :*: S1 ('MetaSel ('Just "ttColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ColumnName]))) |
A version of Select
without a FROM
clause. This means it can only project expressions already selected in adjacent join clauses, hence the name reselect
.
Constructors
Reselect | |
Fields
|
Instances
Eq Reselect Source # | |
Data Reselect Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Reselect -> c Reselect # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Reselect # toConstr :: Reselect -> Constr # dataTypeOf :: Reselect -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Reselect) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Reselect) # gmapT :: (forall b. Data b => b -> b) -> Reselect -> Reselect # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Reselect -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Reselect -> r # gmapQ :: (forall d. Data d => d -> u) -> Reselect -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Reselect -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Reselect -> m Reselect # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Reselect -> m Reselect # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Reselect -> m Reselect # | |
Show Reselect Source # | |
Generic Reselect Source # | |
NFData Reselect Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable Reselect | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable Reselect Source # | |
type Rep Reselect Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep Reselect = D1 ('MetaData "Reselect" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "Reselect" 'PrefixI 'True) (S1 ('MetaSel ('Just "reselectProjections") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Projection]) :*: (S1 ('MetaSel ('Just "reselectFor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 For) :*: S1 ('MetaSel ('Just "reselectWhere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Where)))) |
Constructors
OrderBy | |
Fields |
Instances
Eq OrderBy Source # | |
Data OrderBy Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderBy -> c OrderBy # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderBy # toConstr :: OrderBy -> Constr # dataTypeOf :: OrderBy -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderBy) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderBy) # gmapT :: (forall b. Data b => b -> b) -> OrderBy -> OrderBy # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderBy -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderBy -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderBy -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderBy -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderBy -> m OrderBy # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderBy -> m OrderBy # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderBy -> m OrderBy # | |
Show OrderBy Source # | |
Generic OrderBy Source # | |
NFData OrderBy Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable OrderBy | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable OrderBy Source # | |
type Rep OrderBy Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep OrderBy = D1 ('MetaData "OrderBy" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "OrderBy" 'PrefixI 'True) ((S1 ('MetaSel ('Just "orderByFieldName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FieldName) :*: S1 ('MetaSel ('Just "orderByOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Order)) :*: (S1 ('MetaSel ('Just "orderByNullsOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NullsOrder) :*: S1 ('MetaSel ('Just "orderByType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ScalarType))))) |
Instances
Eq Order Source # | |
Data Order Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Order -> c Order # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Order # dataTypeOf :: Order -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Order) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Order) # gmapT :: (forall b. Data b => b -> b) -> Order -> Order # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Order -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Order -> r # gmapQ :: (forall d. Data d => d -> u) -> Order -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Order -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Order -> m Order # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Order -> m Order # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Order -> m Order # | |
Show Order Source # | |
Generic Order Source # | |
NFData Order Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable Order | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
FromJSON Order | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
ToJSON Order | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods toEncoding :: Order -> Encoding toJSONList :: [Order] -> Value toEncodingList :: [Order] -> Encoding | |
Cacheable Order Source # | |
Lift Order Source # | |
type Rep Order Source # | |
data NullsOrder Source #
Constructors
NullsFirst | |
NullsLast | |
NullsAnyOrder |
Instances
Instances
Eq For Source # | |
Data For Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> For -> c For # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c For # dataTypeOf :: For -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c For) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c For) # gmapT :: (forall b. Data b => b -> b) -> For -> For # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> For -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> For -> r # gmapQ :: (forall d. Data d => d -> u) -> For -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> For -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> For -> m For # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> For -> m For # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> For -> m For # | |
Show For Source # | |
Generic For Source # | |
NFData For Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable For | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable For Source # | |
type Rep For Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep For = D1 ('MetaData "For" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "JsonFor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ForJson)) :+: C1 ('MetaCons "NoFor" 'PrefixI 'False) (U1 :: Type -> Type)) |
Constructors
ForJson | |
Fields |
Instances
Eq ForJson Source # | |
Data ForJson Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForJson -> c ForJson # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ForJson # toConstr :: ForJson -> Constr # dataTypeOf :: ForJson -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ForJson) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ForJson) # gmapT :: (forall b. Data b => b -> b) -> ForJson -> ForJson # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForJson -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForJson -> r # gmapQ :: (forall d. Data d => d -> u) -> ForJson -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForJson -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForJson -> m ForJson # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForJson -> m ForJson # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForJson -> m ForJson # | |
Show ForJson Source # | |
Generic ForJson Source # | |
NFData ForJson Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable ForJson | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable ForJson Source # | |
type Rep ForJson Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep ForJson = D1 ('MetaData "ForJson" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "ForJson" 'PrefixI 'True) (S1 ('MetaSel ('Just "jsonCardinality") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 JsonCardinality) :*: S1 ('MetaSel ('Just "jsonRoot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Root))) |
Instances
Eq Root Source # | |
Data Root Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Root -> c Root # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Root # dataTypeOf :: Root -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Root) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Root) # gmapT :: (forall b. Data b => b -> b) -> Root -> Root # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Root -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Root -> r # gmapQ :: (forall d. Data d => d -> u) -> Root -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Root -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Root -> m Root # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Root -> m Root # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Root -> m Root # | |
Show Root Source # | |
Generic Root Source # | |
NFData Root Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable Root | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable Root Source # | |
type Rep Root Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep Root = D1 ('MetaData "Root" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "NoRoot" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Root" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))) |
data JsonCardinality Source #
Constructors
JsonArray | |
JsonSingleton |
Instances
data Projection Source #
Constructors
ExpressionProjection (Aliased Expression) | |
FieldNameProjection (Aliased FieldName) | |
AggregateProjection (Aliased Aggregate) | |
StarProjection |
Instances
Constructors
Join | |
Fields |
Instances
Eq Join Source # | |
Data Join Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Join -> c Join # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Join # dataTypeOf :: Join -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Join) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Join) # gmapT :: (forall b. Data b => b -> b) -> Join -> Join # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Join -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Join -> r # gmapQ :: (forall d. Data d => d -> u) -> Join -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Join -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Join -> m Join # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Join -> m Join # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Join -> m Join # | |
Show Join Source # | |
Generic Join Source # | |
NFData Join Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable Join | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable Join Source # | |
type Rep Join Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep Join = D1 ('MetaData "Join" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "Join" 'PrefixI 'True) (S1 ('MetaSel ('Just "joinSource") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 JoinSource) :*: S1 ('MetaSel ('Just "joinJoinAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 JoinAlias))) |
data JoinSource Source #
Constructors
JoinSelect Select | |
JoinReselect Reselect |
Instances
Constructors
JoinAlias | |
Fields
|
Instances
Eq JoinAlias Source # | |
Data JoinAlias Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JoinAlias -> c JoinAlias # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JoinAlias # toConstr :: JoinAlias -> Constr # dataTypeOf :: JoinAlias -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JoinAlias) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JoinAlias) # gmapT :: (forall b. Data b => b -> b) -> JoinAlias -> JoinAlias # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JoinAlias -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JoinAlias -> r # gmapQ :: (forall d. Data d => d -> u) -> JoinAlias -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> JoinAlias -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> JoinAlias -> m JoinAlias # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JoinAlias -> m JoinAlias # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JoinAlias -> m JoinAlias # | |
Show JoinAlias Source # | |
Generic JoinAlias Source # | |
NFData JoinAlias Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable JoinAlias | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable JoinAlias Source # | |
type Rep JoinAlias Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep JoinAlias = D1 ('MetaData "JoinAlias" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "JoinAlias" 'PrefixI 'True) (S1 ('MetaSel ('Just "joinAliasEntity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "joinAliasField") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)))) |
Constructors
Where [Expression] |
Instances
Eq Where Source # | |
Data Where Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Where -> c Where # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Where # dataTypeOf :: Where -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Where) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Where) # gmapT :: (forall b. Data b => b -> b) -> Where -> Where # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Where -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Where -> r # gmapQ :: (forall d. Data d => d -> u) -> Where -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Where -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Where -> m Where # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Where -> m Where # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Where -> m Where # | |
Show Where Source # | |
Generic Where Source # | |
Semigroup Where Source # | |
Monoid Where Source # | |
NFData Where Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable Where | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable Where Source # | |
type Rep Where Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep Where = D1 ('MetaData "Where" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "Where" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Expression]))) |
Instances
Eq With Source # | |
Data With Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> With -> c With # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c With # dataTypeOf :: With -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c With) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c With) # gmapT :: (forall b. Data b => b -> b) -> With -> With # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> With -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> With -> r # gmapQ :: (forall d. Data d => d -> u) -> With -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> With -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> With -> m With # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> With -> m With # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> With -> m With # | |
Show With Source # | |
Generic With Source # | |
NFData With Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable With | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable With Source # | |
type Rep With Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances |
Instances
Eq Top Source # | |
Data Top Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Top -> c Top # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Top # dataTypeOf :: Top -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Top) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Top) # gmapT :: (forall b. Data b => b -> b) -> Top -> Top # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Top -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Top -> r # gmapQ :: (forall d. Data d => d -> u) -> Top -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Top -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Top -> m Top # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Top -> m Top # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Top -> m Top # | |
Show Top Source # | |
Generic Top Source # | |
Semigroup Top Source # | |
Monoid Top Source # | |
NFData Top Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable Top | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable Top Source # | |
type Rep Top Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep Top = D1 ('MetaData "Top" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "NoTop" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Top" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))) |
data Expression Source #
Constructors
ValueExpression Value | |
AndExpression [Expression] | |
OrExpression [Expression] | |
NotExpression Expression | |
ExistsExpression Select | |
SelectExpression Select | |
IsNullExpression Expression | |
IsNotNullExpression Expression | |
ColumnExpression FieldName | |
JsonQueryExpression Expression | This one acts like a "cast to JSON" and makes SQL Server behave like it knows your field is JSON and not double-encode it. |
ToStringExpression Expression | |
MethodApplicationExpression Expression MethodApplicationExpression | |
FunctionApplicationExpression FunctionApplicationExpression | |
JsonValueExpression Expression JsonPath | This is for getting actual atomic values out of a JSON string. |
OpExpression Op Expression Expression | |
ListExpression [Expression] | |
STOpExpression SpatialOp Expression Expression | |
CastExpression Expression ScalarType DataLength | |
ConditionalExpression Expression Expression Expression | "CASE WHEN (expression) THEN (expression) ELSE (expression) END" |
DefaultExpression | The |
Instances
data DataLength Source #
Data type describing the length of a datatype. Used in CastExpression
s.
Constructors
DataLengthUnspecified | |
DataLengthInt Int | |
DataLengthMax |
Instances
data FunctionApplicationExpression Source #
SQL functions application: some_function(e1, e2, ..)
.
Constructors
FunExpISNULL Expression Expression |
Instances
data MethodApplicationExpression Source #
Object expression method application: (expression).text(e1, e2, ..)
Constructors
MethExpSTAsText |
Instances
Instances
Constructors
CountAggregate (Countable FieldName) | |
OpAggregate Text [Expression] | |
TextAggregate Text |
Instances
Constructors
StarCountable | |
NonNullFieldCountable name | |
DistinctCountable name |
Instances
Functor Countable Source # | |
Eq n => Eq (Countable n) Source # | |
Data n => Data (Countable n) Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Countable n -> c (Countable n) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Countable n) # toConstr :: Countable n -> Constr # dataTypeOf :: Countable n -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Countable n)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Countable n)) # gmapT :: (forall b. Data b => b -> b) -> Countable n -> Countable n # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Countable n -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Countable n -> r # gmapQ :: (forall d. Data d => d -> u) -> Countable n -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Countable n -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Countable n -> m (Countable n) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Countable n -> m (Countable n) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Countable n -> m (Countable n) # | |
Show n => Show (Countable n) Source # | |
Generic (Countable n) Source # | |
NFData n => NFData (Countable n) Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable n => Hashable (Countable n) | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
FromJSON n => FromJSON (Countable n) | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
ToJSON n => ToJSON (Countable n) | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods toJSON :: Countable n -> Value toEncoding :: Countable n -> Encoding toJSONList :: [Countable n] -> Value toEncodingList :: [Countable n] -> Encoding | |
Cacheable n => Cacheable (Countable n) Source # | |
type Rep (Countable n) Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep (Countable n) = D1 ('MetaData "Countable" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "StarCountable" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NonNullFieldCountable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 n)) :+: C1 ('MetaCons "DistinctCountable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 n)))) |
Constructors
FromQualifiedTable (Aliased TableName) | |
FromOpenJson (Aliased OpenJson) | |
FromSelect (Aliased Select) | |
FromIdentifier Text | |
FromTempTable (Aliased TempTableName) |
Instances
fromAlias :: From -> EntityAlias Source #
Extract the name bound in a From
clause as an EntityAlias
.
Constructors
OpenJson | |
Fields |
Instances
Eq OpenJson Source # | |
Data OpenJson Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OpenJson -> c OpenJson # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OpenJson # toConstr :: OpenJson -> Constr # dataTypeOf :: OpenJson -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OpenJson) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OpenJson) # gmapT :: (forall b. Data b => b -> b) -> OpenJson -> OpenJson # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OpenJson -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OpenJson -> r # gmapQ :: (forall d. Data d => d -> u) -> OpenJson -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OpenJson -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OpenJson -> m OpenJson # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OpenJson -> m OpenJson # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OpenJson -> m OpenJson # | |
Show OpenJson Source # | |
Generic OpenJson Source # | |
NFData OpenJson Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable OpenJson | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable OpenJson Source # | |
type Rep OpenJson Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep OpenJson = D1 ('MetaData "OpenJson" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "OpenJson" 'PrefixI 'True) (S1 ('MetaSel ('Just "openJsonExpression") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Expression) :*: S1 ('MetaSel ('Just "openJsonWith") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (NonEmpty JsonFieldSpec))))) |
data JsonFieldSpec Source #
Constructors
ScalarField ScalarType DataLength Text (Maybe JsonPath) | |
JsonField Text (Maybe JsonPath) | |
StringField Text (Maybe JsonPath) |
Instances
Constructors
Aliased | |
Fields
|
Instances
Functor Aliased Source # | |
Eq a => Eq (Aliased a) Source # | |
Data a => Data (Aliased a) Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Aliased a -> c (Aliased a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Aliased a) # toConstr :: Aliased a -> Constr # dataTypeOf :: Aliased a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Aliased a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Aliased a)) # gmapT :: (forall b. Data b => b -> b) -> Aliased a -> Aliased a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Aliased a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Aliased a -> r # gmapQ :: (forall d. Data d => d -> u) -> Aliased a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Aliased a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Aliased a -> m (Aliased a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Aliased a -> m (Aliased a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Aliased a -> m (Aliased a) # | |
Show a => Show (Aliased a) Source # | |
Generic (Aliased a) Source # | |
NFData a => NFData (Aliased a) Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable a => Hashable (Aliased a) | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable a => Cacheable (Aliased a) Source # | |
type Rep (Aliased a) Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep (Aliased a) = D1 ('MetaData "Aliased" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "Aliased" 'PrefixI 'True) (S1 ('MetaSel ('Just "aliasedThing") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "aliasedAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))) |
newtype SchemaName Source #
Constructors
SchemaName | |
Fields
|
Instances
Constructors
TableName | |
Fields
|
Instances
Constructors
FieldName | |
Fields
|
Instances
Eq FieldName Source # | |
Data FieldName Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldName -> c FieldName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldName # toConstr :: FieldName -> Constr # dataTypeOf :: FieldName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FieldName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldName) # gmapT :: (forall b. Data b => b -> b) -> FieldName -> FieldName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldName -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldName -> m FieldName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldName -> m FieldName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldName -> m FieldName # | |
Show FieldName Source # | |
Generic FieldName Source # | |
NFData FieldName Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable FieldName | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
FromJSON FieldName | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
ToJSON FieldName | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods toEncoding :: FieldName -> Encoding toJSONList :: [FieldName] -> Value toEncodingList :: [FieldName] -> Encoding | |
Cacheable FieldName Source # | |
type Rep FieldName Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep FieldName = D1 ('MetaData "FieldName" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "FieldName" 'PrefixI 'True) (S1 ('MetaSel ('Just "fieldName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "fieldNameEntity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))) |
Constructors
DueToPermission | |
RequestedSingleObject |
newtype EntityAlias Source #
Constructors
EntityAlias | |
Fields
|
Instances
Instances
Eq Op Source # | |
Data Op Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Op -> c Op # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Op # dataTypeOf :: Op -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Op) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Op) # gmapT :: (forall b. Data b => b -> b) -> Op -> Op # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Op -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Op -> r # gmapQ :: (forall d. Data d => d -> u) -> Op -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Op -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Op -> m Op # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Op -> m Op # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Op -> m Op # | |
Show Op Source # | |
Generic Op Source # | |
NFData Op Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable Op | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable Op Source # | |
type Rep Op Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep Op = D1 ('MetaData "Op" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (((C1 ('MetaCons "LT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LTE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GTE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IN" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "LIKE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NLIKE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NIN" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EQ'" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NEQ'" 'PrefixI 'False) (U1 :: Type -> Type))))) |
Supported operations for spatial data types
Constructors
STEquals | |
STContains | |
STCrosses | |
STIntersects | |
STOverlaps | |
STWithin | |
STTouches |
Instances
Eq SpatialOp Source # | |
Data SpatialOp Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SpatialOp -> c SpatialOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SpatialOp # toConstr :: SpatialOp -> Constr # dataTypeOf :: SpatialOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SpatialOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SpatialOp) # gmapT :: (forall b. Data b => b -> b) -> SpatialOp -> SpatialOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SpatialOp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SpatialOp -> r # gmapQ :: (forall d. Data d => d -> u) -> SpatialOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SpatialOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SpatialOp -> m SpatialOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SpatialOp -> m SpatialOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SpatialOp -> m SpatialOp # | |
Show SpatialOp Source # | |
Generic SpatialOp Source # | |
NFData SpatialOp Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable SpatialOp | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Cacheable SpatialOp Source # | |
type Rep SpatialOp Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep SpatialOp = D1 ('MetaData "SpatialOp" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) ((C1 ('MetaCons "STEquals" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "STContains" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "STCrosses" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "STIntersects" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "STOverlaps" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "STWithin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "STTouches" 'PrefixI 'False) (U1 :: Type -> Type)))) |
newtype ColumnName Source #
Column name of some database table -- this differs to FieldName that is used for referring to things within a query.
Constructors
ColumnName | |
Fields
|
Instances
newtype ConstraintName Source #
Constructors
ConstraintName | |
Fields
|
Instances
newtype FunctionName Source #
Constructors
FunctionName | |
Fields
|
Instances
data ScalarType Source #
Derived from the odbc package.
Constructors
Instances
scalarTypeDBName :: DataLength -> ScalarType -> Text Source #
fromDataLength :: DataLength -> Text Source #
mkMSSQLScalarTypeName :: MonadError QErr m => ScalarType -> m Name Source #
parseScalarValue :: ScalarType -> Value -> Either QErr Value Source #
isComparableType :: ScalarType -> Bool Source #
isNumType :: ScalarType -> Bool Source #
snakeCaseTableName :: TableName -> Text Source #
stringTypes :: [ScalarType] Source #
geoTypes :: [ScalarType] Source #