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

Database.HaskellDB.DBLayout Portability non-portable Stability experimental Maintainer haskelldb-users@lists.sourceforge.net

Description

Exports every function needed by DBDirect generated files

Synopsis

module Database.HaskellDB.BoundedString module Database.HaskellDB.DBSpec CalendarTime (CalendarTime, ctYear, ctMonth, ctDay, ctHour, ctMin, ctSec, ctPicosec, ctWDay, ctYDay, ctTZName, ctTZ, ctIsDST) data Expr a data Table r data Attr f a baseTable :: (ShowLabels r, ToPrimExprs r) => TableName -> Record r -> Table r data RecCons f a b data RecNil class FieldTag f where fieldName :: f -> String hdbMakeEntry :: FieldTag f => f -> Record (RecCons f (Expr a) RecNil) mkAttr :: FieldTag f => f -> Attr f a (#) :: Record (RecCons f a RecNil) -> (b -> c) -> b -> RecCons f a c

Documentation

module Database.HaskellDB.BoundedString

module Database.HaskellDB.DBSpec

CalendarTime (CalendarTime, ctYear, ctMonth, ctDay, ctHour, ctMin, ctSec, ctPicosec, ctWDay, ctYDay, ctTZName, ctTZ, ctIsDST)

data Expr a Source

Type of normal expressions, contains the untyped PrimExpr. Instances ProjectExpr Expr InsertExpr Expr ExprC Expr Read (Expr a) Show (Expr a) ExprType a => ExprType (Expr a) HasField f r => Select (Attr f a) (Rel r) (Expr a)

data Table r Source

Basic tables, contains table name and an association from attributes to attribute names in the real table.

data Attr f a Source

Typed attributes Instances HasField f r => Select (Attr f a) (Rel r) (Expr a)

baseTable :: (ShowLabels r, ToPrimExprs r) => TableName -> Record r -> Table r Source

data RecCons f a b Source

Constructor that adds a field to a record. f is the field tag, a is the field value and b is the rest of the record. Instances HasField f r => HasField f (RecCons g a r) HasField f (RecCons f a r) SetField f r a => SetField f (RecCons g b r) a SetField f (RecCons f a r) a SelectField f r a => SelectField f (RecCons g b r) a SelectField f (RecCons f a r) a (Eq a, Eq b) => Eq (RecCons f a b) (Ord a, Ord b) => Ord (RecCons f a b) (FieldTag a, Read b, ReadRecRow c) => Read (RecCons a b c) (FieldTag a, Show b, ShowRecRow c) => Show (RecCons a b c) (FieldTag a, Read b, ReadRecRow c) => ReadRecRow (RecCons a b c) (FieldTag a, Show b, ShowRecRow c) => ShowRecRow (RecCons a b c) (FieldTag f, ShowLabels r) => ShowLabels (RecCons f a r) (ExprC e, ToPrimExprs r) => ToPrimExprs (RecCons l (e a) r) (ExprType e, ExprTypes r) => ExprTypes (RecCons f e r) RecCat r1 r2 r3 => RecCat (RecCons f a r1) r2 (RecCons f a r3) (ShowConstant a, ConstantRecord r cr) => ConstantRecord (RecCons f a r) (RecCons f (Expr a) cr) (ProjectExpr e, ProjectRec r er) => ProjectRec (RecCons f (e a) r) (RecCons f (Expr a) er) (InsertExpr e, InsertRec r er) => InsertRec (RecCons f (e a) r) (RecCons f (Expr a) er) (GetValue a, GetRec er vr) => GetRec (RecCons f (Expr a) er) (RecCons f a vr)

data RecNil Source

The empty record. Instances Eq RecNil Ord RecNil Read RecNil Show RecNil ReadRecRow RecNil ShowRecRow RecNil ShowLabels RecNil ToPrimExprs RecNil ExprTypes RecNil ConstantRecord RecNil RecNil ProjectRec RecNil RecNil InsertRec RecNil RecNil GetRec RecNil RecNil RecCat RecNil r r

class FieldTag f where Source

Class for field labels. Methods fieldName :: f -> String Source Gets the name of the label.

hdbMakeEntry Source

:: FieldTag f => f Field tag -> Record (RecCons f (Expr a) RecNil) Constructs a table entry from a field tag

mkAttr Source

:: FieldTag f => f Field tag -> Attr f a Make an Attr for a field.

(#) Source

:: => Record (RecCons f a RecNil) Field to add -> b -> c Rest of record -> b -> RecCons f a c New record Adds the field from a one-field record to another record.

Produced by Haddock version 2.4.2