haskelldb-0.12: SQL unwrapper for Haskell. Source code Contents Index

Database.HaskellDB.PrimQuery Portability non portable Stability experimental Maintainer [email protected]

Contents Type Declarations Types Data types Function declarations

Description

PrimQuery defines the datatype of relational expressions (PrimQuery) and some useful functions on PrimQuery's

Synopsis

type TableName = String type Attribute = String type Scheme = [Attribute] type Assoc = [(Attribute, PrimExpr)] data PrimQuery = BaseTable TableName Scheme | Project Assoc PrimQuery | Restrict PrimExpr PrimQuery | Group Assoc PrimQuery | Binary RelOp PrimQuery PrimQuery | Special SpecialOp PrimQuery | Empty data RelOp = Times | Union | Intersect | Divide | Difference data SpecialOp = Order [OrderExpr] | Top Int data PrimExpr = AttrExpr Attribute | BinExpr BinOp PrimExpr PrimExpr | UnExpr UnOp PrimExpr | AggrExpr AggrOp PrimExpr | ConstExpr Literal | CaseExpr [(PrimExpr, PrimExpr)] PrimExpr | ListExpr [PrimExpr] data OrderExpr = OrderExpr OrderOp PrimExpr data BinOp = OpEq | OpLt | OpLtEq | OpGt | OpGtEq | OpNotEq | OpAnd | OpOr | OpLike | OpIn | OpOther String | OpCat | OpPlus | OpMinus | OpMul | OpDiv | OpMod | OpBitNot | OpBitAnd | OpBitOr | OpBitXor | OpAsg data UnOp = OpNot | OpIsNull | OpIsNotNull | OpLength | UnOpOther String data OrderOp = OpAsc | OpDesc data AggrOp = AggrCount | AggrSum | AggrAvg | AggrMin | AggrMax | AggrStdDev | AggrStdDevP | AggrVar | AggrVarP | AggrOther String data Literal = NullLit | DefaultLit | BoolLit Bool | StringLit String | IntegerLit Integer | DoubleLit Double | DateLit CalendarTime | OtherLit String extend :: Assoc -> PrimQuery -> PrimQuery times :: PrimQuery -> PrimQuery -> PrimQuery attributes :: PrimQuery -> Scheme attrInExpr :: PrimExpr -> Scheme attrInOrder :: [OrderExpr] -> Scheme substAttr :: Assoc -> PrimExpr -> PrimExpr isAggregate :: PrimExpr -> Bool foldPrimQuery :: (t, TableName -> Scheme -> t, Assoc -> t -> t, PrimExpr -> t -> t, RelOp -> t -> t -> t, Assoc -> t -> t, SpecialOp -> t -> t) -> PrimQuery -> t foldPrimExpr :: (Attribute -> t, Literal -> t, BinOp -> t -> t -> t, UnOp -> t -> t, AggrOp -> t -> t, [(t, t)] -> t -> t, [t] -> t) -> PrimExpr -> t

Type Declarations

Types

type TableName = String Source

type Attribute = String Source

type Scheme = [Attribute] Source

type Assoc = [(Attribute, PrimExpr)] Source

Data types

data PrimQuery Source

Constructors BaseTable TableName Scheme Project Assoc PrimQuery Restrict PrimExpr PrimQuery Group Assoc PrimQuery Binary RelOp PrimQuery PrimQuery Special SpecialOp PrimQuery Empty Instances Show PrimQuery

data RelOp Source

Constructors Times Union Intersect Divide Difference Instances Show RelOp

data SpecialOp Source

Constructors Order [OrderExpr] Top Int Instances Show SpecialOp

data PrimExpr Source

Constructors AttrExpr Attribute BinExpr BinOp PrimExpr PrimExpr UnExpr UnOp PrimExpr AggrExpr AggrOp PrimExpr ConstExpr Literal CaseExpr [(PrimExpr, PrimExpr)] PrimExpr ListExpr [PrimExpr] Instances Read PrimExpr Show PrimExpr

data OrderExpr Source

Constructors OrderExpr OrderOp PrimExpr Instances Show OrderExpr

data BinOp Source

Constructors OpEq OpLt OpLtEq OpGt OpGtEq OpNotEq OpAnd OpOr OpLike OpIn OpOther String OpCat OpPlus OpMinus OpMul OpDiv OpMod OpBitNot OpBitAnd OpBitOr OpBitXor OpAsg Instances Read BinOp Show BinOp

data UnOp Source

Constructors OpNot OpIsNull OpIsNotNull OpLength UnOpOther String Instances Read UnOp Show UnOp

data OrderOp Source

Constructors OpAsc OpDesc Instances Show OrderOp

data AggrOp Source

Constructors AggrCount AggrSum AggrAvg AggrMin AggrMax AggrStdDev AggrStdDevP AggrVar AggrVarP AggrOther String Instances Read AggrOp Show AggrOp

data Literal Source

Constructors NullLit DefaultLit represents a default value BoolLit Bool StringLit String IntegerLit Integer DoubleLit Double DateLit CalendarTime OtherLit String used for hacking in custom SQL Instances Read Literal Show Literal

Function declarations

extend :: Assoc -> PrimQuery -> PrimQuery Source

Creates a projection of some attributes while keeping all other attributes in the relation visible too.

times :: PrimQuery -> PrimQuery -> PrimQuery Source

Takes the cartesian product of two queries.

attributes :: PrimQuery -> Scheme Source

Returns the schema (the attributes) of a query

attrInExpr :: PrimExpr -> Scheme Source

Returns all attributes in an expression.

attrInOrder :: [OrderExpr] -> Scheme Source

Returns all attributes in a list of ordering expressions.

substAttr :: Assoc -> PrimExpr -> PrimExpr Source

Substitute attribute names in an expression.

isAggregate :: PrimExpr -> Bool Source

foldPrimQuery :: (t, TableName -> Scheme -> t, Assoc -> t -> t, PrimExpr -> t -> t, RelOp -> t -> t -> t, Assoc -> t -> t, SpecialOp -> t -> t) -> PrimQuery -> t Source

Fold on PrimQuery

foldPrimExpr :: (Attribute -> t, Literal -> t, BinOp -> t -> t -> t, UnOp -> t -> t, AggrOp -> t -> t, [(t, t)] -> t -> t, [t] -> t) -> PrimExpr -> t Source

Fold on PrimExpr

Produced by Haddock version 2.6.0