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

data CalendarTime

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

data CalendarTime

Source

CalendarTime is a user-readable and manipulable representation of the internal ClockTime type.

Instances

Typeable CalendarTime

ShowConstant CalendarTime

ExprType CalendarTime

GetValue CalendarTime

GetValue (Maybe CalendarTime)

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)

(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 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

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
-> Record (RecCons f (Expr a) RecNil)
Constructs a table entry from a field tag

mkAttr

Source

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

(#)

Source

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

Produced by Haddock version 2.6.0