Database.Sql.Util.Scope

Documentation

runResolverWarn :: Dialect d => Resolver r a -> Proxy d -> Catalog -> (Either (ResolutionError a) (r a), [Either (ResolutionError a) (ResolutionSuccess a)])

runResolverWError :: Dialect d => Resolver r a -> Proxy d -> Catalog -> Either [ResolutionError a] (r a, [ResolutionSuccess a])

runResolverNoWarn :: Dialect d => Resolver r a -> Proxy d -> Catalog -> Either (ResolutionError a) (r a)

data WithColumns r a

Constructors

WithColumns

Fields

• withColumnsValue :: r a
• withColumnsColumns :: ColumnSet a

queryColumnNames :: Query ResolvedNames a -> [RColumnRef a]

resolveStatement :: Dialect d => Statement d RawNames a -> Resolver (Statement d ResolvedNames) a

resolveQuery :: Query RawNames a -> Resolver (Query ResolvedNames) a

resolveQueryWithColumns :: Query RawNames a -> Resolver (WithColumns (Query ResolvedNames)) a

resolveSelectAndOrders :: Select RawNames a -> [Order RawNames a] -> Resolver (WithColumnsAndOrders (Select ResolvedNames)) a

resolveCTE :: CTE RawNames a -> Resolver (CTE ResolvedNames) a

resolveInsert :: Insert RawNames a -> Resolver (Insert ResolvedNames) a

resolveInsertValues :: InsertValues RawNames a -> Resolver (InsertValues ResolvedNames) a

resolveDefaultExpr :: DefaultExpr RawNames a -> Resolver (DefaultExpr ResolvedNames) a

resolveDelete :: forall a. Delete RawNames a -> Resolver (Delete ResolvedNames) a

resolveTruncate :: Truncate RawNames a -> Resolver (Truncate ResolvedNames) a

resolveCreateTable :: forall d a. Dialect d => CreateTable d RawNames a -> Resolver (CreateTable d ResolvedNames) a

resolveTableDefinition :: FQTableName a -> TableDefinition d RawNames a -> Resolver (WithColumns (TableDefinition d ResolvedNames)) a

resolveColumnOrConstraint :: ColumnOrConstraint d RawNames a -> Resolver (ColumnOrConstraint d ResolvedNames) a

resolveColumnDefinition :: ColumnDefinition d RawNames a -> Resolver (ColumnDefinition d ResolvedNames) a

resolveAlterTable :: AlterTable RawNames a -> Resolver (AlterTable ResolvedNames) a

resolveDropTable :: DropTable RawNames a -> Resolver (DropTable ResolvedNames) a

resolveSelectColumns :: ColumnSet a -> SelectColumns RawNames a -> Resolver (SelectColumns ResolvedNames) a

resolvedTableHasName :: QTableName f a -> RTableRef a -> Bool

resolvedTableHasSchema :: QSchemaName f a -> RTableRef a -> Bool

resolveSelection :: ColumnSet a -> Selection RawNames a -> Resolver (Selection ResolvedNames) a

resolveExpr :: Expr RawNames a -> Resolver (Expr ResolvedNames) a

resolveTableName :: OQTableName a -> Resolver RTableName a

resolveDropTableName :: DropTableName RawNames a -> Resolver (DropTableName ResolvedNames) a

resolveCreateSchemaName :: CreateSchemaName RawNames a -> Maybe a -> Resolver (CreateSchemaName ResolvedNames) a

resolveSchemaName :: SchemaName RawNames a -> Resolver (SchemaName ResolvedNames) a

resolveTableRef :: OQTableName a -> Resolver (WithColumns RTableRef) a

resolveColumnName :: forall a. OQColumnName a -> Resolver RColumnRef a

resolvePartition :: Partition RawNames a -> Resolver (Partition ResolvedNames) a

resolveSelectFrom :: SelectFrom RawNames a -> Resolver (WithColumns (SelectFrom ResolvedNames)) a

resolveTablish :: forall a. Tablish RawNames a -> Resolver (WithColumns (Tablish ResolvedNames)) a

resolveJoinCondition :: JoinCondition RawNames a -> ColumnSet a -> ColumnSet a -> Resolver (JoinCondition ResolvedNames) a

resolveSelectWhere :: SelectWhere RawNames a -> Resolver (SelectWhere ResolvedNames) a

resolveSelectTimeseries :: SelectTimeseries RawNames a -> Resolver (SelectTimeseries ResolvedNames) a

resolveSelectGroup :: [Expr ResolvedNames a] -> SelectGroup RawNames a -> Resolver (SelectGroup ResolvedNames) a

resolveSelectHaving :: SelectHaving RawNames a -> Resolver (SelectHaving ResolvedNames) a

resolveOrder :: [Expr ResolvedNames a] -> Order RawNames a -> Resolver (Order ResolvedNames) a

selectionNames :: Selection ResolvedNames a -> [RColumnRef a]

mkTableSchemaMember :: [UQColumnName ()] -> SchemaMember