Safe Haskell | Safe-Inferred |
---|---|
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 {}
- 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 {}
- newtype Where = Where [Expression]
- newtype With = With (NonEmpty (Aliased CTEBody))
- data CTEBody
- data TempTableDDL
- = CreateTemp { }
- | InsertTemp { }
- | DropTemp { }
- data Declare = Declare {
- dName :: Text
- dType :: ScalarType
- dValue :: Expression
- 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
- data Countable name
- = StarCountable
- | NonNullFieldCountable name
- | DistinctCountable name
- data From
- fromAlias :: From -> EntityAlias
- data OpenJson = OpenJson {}
- data JsonFieldSpec
- data Aliased a = Aliased {
- aliasedThing :: a
- aliasedAlias :: Text
- newtype SchemaName = SchemaName {}
- data TableName = TableName {}
- data FieldName = FieldName {
- fieldName :: Text
- fieldNameEntity :: Text
- data Comment
- newtype EntityAlias = EntityAlias {}
- columnNameToFieldName :: ColumnName -> EntityAlias -> FieldName
- data Op
- data SpatialOp
- newtype ColumnName = ColumnName {}
- newtype ConstraintName = ConstraintName {}
- data FunctionName = FunctionName {}
- data QueryWithDDL a = QueryWithDDL {
- qwdBeforeSteps :: [TempTableDDL]
- qwdQuery :: a
- qwdAfterSteps :: [TempTableDDL]
- 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
- mkMSSQLScalarTypeName :: MonadError QErr m => ScalarType -> m Name
- parseScalarType :: Text -> ScalarType
- parseScalarValue :: ScalarType -> Value -> Either QErr Value
- isComparableType :: ScalarType -> Bool
- isNumType :: ScalarType -> Bool
- getGQLTableName :: TableName -> Either QErr Name
- getGQLFunctionName :: FunctionName -> Either QErr Name
- snakeCaseName :: Text -> SchemaName -> 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
FromJSON UnifiedOn Source # | |
Data UnifiedOn 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) -> UnifiedOn -> c UnifiedOn # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnifiedOn # toConstr :: UnifiedOn -> Constr # dataTypeOf :: UnifiedOn -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UnifiedOn) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnifiedOn) # gmapT :: (forall b. Data b => b -> b) -> UnifiedOn -> UnifiedOn # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnifiedOn -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnifiedOn -> r # gmapQ :: (forall d. Data d => d -> u) -> UnifiedOn -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UnifiedOn -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnifiedOn -> m UnifiedOn # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnifiedOn -> m UnifiedOn # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnifiedOn -> m UnifiedOn # | |
Generic UnifiedOn Source # | |
Show UnifiedOn Source # | |
NFData UnifiedOn Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq UnifiedOn Source # | |
Ord UnifiedOn Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable UnifiedOn Source # | |
type Rep UnifiedOn Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep UnifiedOn = D1 ('MetaData "UnifiedOn" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "UnifiedOn" 'PrefixI 'True) (S1 ('MetaSel ('Just "table") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UnifiedTableName) :*: S1 ('MetaSel ('Just "column") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))) |
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
Data InsertOutput 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) -> InsertOutput -> c InsertOutput # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InsertOutput # toConstr :: InsertOutput -> Constr # dataTypeOf :: InsertOutput -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InsertOutput) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InsertOutput) # gmapT :: (forall b. Data b => b -> b) -> InsertOutput -> InsertOutput # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InsertOutput -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InsertOutput -> r # gmapQ :: (forall d. Data d => d -> u) -> InsertOutput -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InsertOutput -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InsertOutput -> m InsertOutput # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InsertOutput -> m InsertOutput # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InsertOutput -> m InsertOutput # | |
Data Inserted 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) -> Inserted -> c Inserted # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inserted # toConstr :: Inserted -> Constr # dataTypeOf :: Inserted -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inserted) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Inserted) # gmapT :: (forall b. Data b => b -> b) -> Inserted -> Inserted # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inserted -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inserted -> r # gmapQ :: (forall d. Data d => d -> u) -> Inserted -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Inserted -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inserted -> m Inserted # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inserted -> m Inserted # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inserted -> m Inserted # | |
Generic InsertOutput Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Associated Types type Rep InsertOutput :: Type -> Type # | |
Generic Inserted Source # | |
Show InsertOutput Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods showsPrec :: Int -> InsertOutput -> ShowS # show :: InsertOutput -> String # showList :: [InsertOutput] -> ShowS # | |
Show Inserted Source # | |
NFData InsertOutput Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances Methods rnf :: InsertOutput -> () # | |
NFData Inserted Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq InsertOutput Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq Inserted Source # | |
Hashable InsertOutput Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Hashable Inserted Source # | |
type Rep Inserted Source # | |
Constructors
Deleted |
Instances
Constructors
Output | |
Fields
|
Instances
type InsertOutput = Output Inserted Source #
Constructors
Values [Expression] |
Instances
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 # | |
Generic Values Source # | |
Show Values Source # | |
NFData Values Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq Values Source # | |
Hashable 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
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 # | |
Generic Insert Source # | |
Show Insert Source # | |
NFData Insert Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq Insert Source # | |
Hashable 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
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 # | |
Generic Delete Source # | |
Show Delete Source # | |
NFData Delete Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq Delete Source # | |
Hashable 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
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 # | |
Generic MergeOn Source # | |
Show MergeOn Source # | |
NFData MergeOn Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq MergeOn Source # | |
Hashable 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
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 # | |
Generic TempTable Source # | |
Show TempTable Source # | |
NFData TempTable Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq TempTable Source # | |
Hashable 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
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 # | |
Generic Reselect Source # | |
Show Reselect Source # | |
NFData Reselect Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq Reselect Source # | |
Hashable 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
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 # | |
Generic OrderBy Source # | |
Show OrderBy Source # | |
NFData OrderBy Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq OrderBy Source # | |
Hashable 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
FromJSON Order Source # | |
ToJSON 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 # | |
Generic Order Source # | |
Show Order Source # | |
NFData Order Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq Order Source # | |
Hashable Order Source # | |
Lift Order Source # | |
type Rep Order Source # | |
data NullsOrder Source #
Constructors
NullsFirst | |
NullsLast | |
NullsAnyOrder |
Instances
Instances
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 # | |
Generic For Source # | |
Show For Source # | |
NFData For Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq For Source # | |
Hashable 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
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 # | |
Generic ForJson Source # | |
Show ForJson Source # | |
NFData ForJson Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq ForJson Source # | |
Hashable 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
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 # | |
Generic Root Source # | |
Show Root Source # | |
NFData Root Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq Root Source # | |
Hashable 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
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 # | |
Generic Join Source # | |
Show Join Source # | |
NFData Join Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq Join Source # | |
Hashable 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) :*: S1 ('MetaSel ('Just "joinWhere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Where)))) |
data JoinSource Source #
Constructors
JoinSelect Select | |
JoinReselect Reselect |
Instances
Constructors
JoinAlias | |
Fields |
Instances
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 # | |
Generic JoinAlias Source # | |
Show JoinAlias Source # | |
NFData JoinAlias Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq JoinAlias Source # | |
Hashable 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
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 # | |
Monoid Where Source # | |
Semigroup Where Source # | |
Generic Where Source # | |
Show Where Source # | |
NFData Where Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq Where Source # | |
Hashable 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
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 # | |
Semigroup With Source # | |
Generic With Source # | |
Show With Source # | |
NFData With Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq With Source # | |
Hashable With Source # | |
type Rep With Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances |
Something that can appear in a CTE body.
Constructors
CTESelect Select | |
CTEUnsafeRawSQL (InterpolatedQuery Expression) |
Instances
Data CTEBody 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) -> CTEBody -> c CTEBody # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CTEBody # toConstr :: CTEBody -> Constr # dataTypeOf :: CTEBody -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CTEBody) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CTEBody) # gmapT :: (forall b. Data b => b -> b) -> CTEBody -> CTEBody # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CTEBody -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CTEBody -> r # gmapQ :: (forall d. Data d => d -> u) -> CTEBody -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CTEBody -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CTEBody -> m CTEBody # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CTEBody -> m CTEBody # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CTEBody -> m CTEBody # | |
Generic CTEBody Source # | |
Show CTEBody Source # | |
NFData CTEBody Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq CTEBody Source # | |
Hashable CTEBody Source # | |
type Rep CTEBody Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances type Rep CTEBody = D1 ('MetaData "CTEBody" "Hasura.Backends.MSSQL.Types.Internal" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "CTESelect" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Select)) :+: C1 ('MetaCons "CTEUnsafeRawSQL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (InterpolatedQuery Expression)))) |
data TempTableDDL Source #
Extra query steps that can be emitted from the main query to do things like setup temp tables
Constructors
CreateTemp | create a temp table |
Fields | |
InsertTemp | insert output of a statement into a temp table |
Fields | |
DropTemp | Drop a temp table |
Fields |
Constructors
Declare | |
Fields
|
Instances
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 # | |
Monoid Top Source # | |
Semigroup Top Source # | |
Generic Top Source # | |
Show Top Source # | |
NFData Top Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq Top Source # | |
Hashable 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 # | |
FromJSON n => FromJSON (Countable n) Source # | |
ToJSON n => ToJSON (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) # | |
Generic (Countable n) Source # | |
Show n => Show (Countable n) Source # | |
NFData n => NFData (Countable n) Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq n => Eq (Countable n) Source # | |
Hashable n => Hashable (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
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 # | |
Generic OpenJson Source # | |
Show OpenJson Source # | |
NFData OpenJson Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq OpenJson Source # | |
Hashable 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 # | |
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) # | |
Generic (Aliased a) Source # | |
Show a => Show (Aliased a) Source # | |
NFData a => NFData (Aliased a) Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq a => Eq (Aliased a) Source # | |
Hashable a => Hashable (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
FromJSON FieldName Source # | |
ToJSON 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 # | |
Generic FieldName Source # | |
Show FieldName Source # | |
NFData FieldName Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq FieldName Source # | |
Hashable 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
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 # | |
Generic Op Source # | |
Show Op Source # | |
NFData Op Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq Op Source # | |
Hashable 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
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 # | |
Generic SpatialOp Source # | |
Show SpatialOp Source # | |
NFData SpatialOp Source # | |
Defined in Hasura.Backends.MSSQL.Types.Instances | |
Eq SpatialOp Source # | |
Hashable 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
data FunctionName Source #
Constructors
FunctionName | |
Fields |
Instances
data QueryWithDDL a Source #
type for a query generated from IR along with any DDL actions
Constructors
QueryWithDDL | |
Fields
|
data ScalarType Source #
Derived from the odbc package.
Constructors
Instances
scalarTypeDBName :: DataLength -> ScalarType -> Text Source #
mkMSSQLScalarTypeName :: MonadError QErr m => ScalarType -> m Name Source #
parseScalarType :: Text -> ScalarType Source #
parseScalarValue :: ScalarType -> Value -> Either QErr Value Source #
isComparableType :: ScalarType -> Bool Source #
isNumType :: ScalarType -> Bool Source #
snakeCaseName :: Text -> SchemaName -> Text Source #
stringTypes :: [ScalarType] Source #
geoTypes :: [ScalarType] Source #