haskelldb-0.12: SQL unwrapper for Haskell.Source codeContentsIndex
Database.HaskellDB.DBLayout
Portabilitynon-portable
Stabilityexperimental
Maintainerhaskelldb-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 rSource
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 whereSource
Class for field labels.
Methods
fieldName :: f -> StringSource
Gets the name of the label.
hdbMakeEntrySource
:: FieldTag f
=> fField tag
-> Record (RecCons f (Expr a) RecNil)
Constructs a table entry from a field tag
mkAttrSource
:: FieldTag f
=> fField tag
-> Attr f a
Make an Attr for a field.
(#)Source
:: Record (RecCons f a RecNil)Field to add
-> b -> cRest of record
-> b -> RecCons f a cNew record
Adds the field from a one-field record to another record.
Produced by Haddock version 2.6.1