Narc.SQL

Documentation

data Op

Constructors

Eq

Less

Plus

Minus

Times

Divide

Instances

Eq Op

Show Op

Arbitrary Op

Pretty Op

data UnOp

Constructors

Min

Max

Count

Sum

Average

Instances

Eq UnOp

Show UnOp

data Query

Query: the type of SQL queries (select R from Ts where B) (This is unpleasant; it should probably be organized into various syntactic classes.)

Constructors

Select

Fields

rslt :: Query

tabs :: [(Field, Field, Type)]

cond :: [Query]

QNum Integer

QBool Bool

QNot Query

QOp Query Op Query

QField String String

QRecord [(Field, Query)]

QUnion Query Query

QIf Query Query Query

QExists Query

Instances

Eq Query

Show Query

Pretty Query

sizeQueryExact :: Query -> Integer

sizeQuery approximates the size of a query by calling giving up | its node count past a certain limit (currently limit = 100, below).

sizeQuery :: Query -> Integer

sizeQuery approximates the size of a query by calling giving up | its node count past a certain limit (currently limit = 100, below).

groundQuery :: Query -> Bool

a groundQuery is a *real* SQL query--one without variables or appl'ns.

groundQueryExpr :: Query -> Bool

a groundQueryExpr is an atomic-type expression.

serialize :: Query -> String