|
Database.HsSqlPpp.TypeChecking.Scope |
|
|
Description |
This module contains the scope data type and a few helper functions,
not really ready for public consumption yet. It serves the following purposes:
- contains all the catalog information needed to type check against an existing database
- a copy of the catalog information from a default template1
database is included - defaultScope, at some point this will allow typechecking
sql code against this catalog without having an available
postgresql install .
- it is also used internally in the type checker to hold identifiers
valid and their types in a given context, and to build the
additional catalog information so that e.g. a sql file containing
a create table followed by a select from that table will type
check ok. (This isn't quite working yet but it's almost there.)
|
|
Synopsis |
|
|
|
Documentation |
|
|
Constructors | | Instances | |
|
|
|
|
|
scope containing nothing
|
|
|
:: Scope | base scope
| -> Scope | additional scope - this adds to and overrides items in the base scope
| -> Scope | | combine two scopes, e.g. this can be used to take the default scope and
add a few definitions to it before type checking an ast
|
|
|
|
:: String | name of the database to read
| -> IO Scope | | creates a scope value from the database given
|
|
|
|
Scope value representing the catalog from a default template1 database
|
|
Produced by Haddock version 2.6.0 |