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
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.
show/hide Instances
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
show/hide Instances
HasField f r => Select (Attr f a) (Rel r) (Expr a)
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.
show/hide 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.
show/hide Instances
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.4.2