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

data Expr a Source

Type of normal expressions, contains the untyped PrimExpr.

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

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.

data RecNil Source

The empty record.

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