Creates a compile-time field declaration. The name given will be used to create the type and the name of the field returned. It will also be used to create a field nameField function which can be used to place the field in a projection.

For example, mkField "fooBar" [t|Int|] produces the following declarations:

 data FooBar = FooBar
 instance FieldTag FooBar where fieldName _ = "fooBar"
 fooBarField :: Attr FooBar Int
 fooBarField = mkAttr FooBar

mkField "Bar_Foo" [t|Bool|] would produce:

 data Bar_Foo = Bar_Foo
 instance FieldTag Bar_Foo where fieldName _ = "bar_Foo"
 bar_fooField :: Attr Bar_Foo Bool
 bar_fooField = mkAttr Bar_Foo

Creates a compile time field declaration using the given arguments for the type and column name of the field. The typN argument is used to produce the field nameField function which can be used to add the field to a projection.

For example, mkFieldWithName "FooBar" "foo_bar" [t|Int|] gives:

 data FooBar = FooBar
 instance FieldTag FooBar where fieldName _ = "foo_bar"
 fooBarField :: Attr FooBar Int
 fooBarField = mkAttr FooBar

Note that an error will occur if typN is not a proper type/constructor name.

Creates a field definition in the style DBDirect uses. The colName argument is used to create the data definition, type synonym, and field function. The typeQ argument specifies the type of the field.

For example, mkDBDirectField "fooBar" [t|Bool|] will produce:

 data FooBar = FooBar
 instance FieldTag FooBar where fieldName _ = "fooBar"
 fooBar :: Attr FooBar Bool
 fooBar = mkAttr FooBar

Creates definitions for a table and all its fields in the style of DBDirect. Takes a table name and a list of fields (as types). Generates a table type and a function to construct the table. The function will be the tablename in lower case. The type alias will be the table name with the first character capitalized.

For example:

 mkDBDirectTable "Table1" [("Col1", [t|Int|])
                          , ("Col2", [t|Bool|])]

Will produce

 type Table1 = (RecCons Col1 (Expr Int)
                (RecCons Col2 (Expr Bool)))
 
 table1 :: Table Table1
 table1 = baseTable "Table1" $
          hdbMakeEntry Col1 #
          hdbMakeEntry Col2

 data Col1 = Col1
 instance FieldTag Col1 where fieldName _ = "col1"
 col1 :: Attr Col1 Int
 col1 = mkAttr Col1

 data Col2 = Col2
 instance FieldTag Col2 where fieldName _ = "col2"
 col2 :: Attr Col2 Int
 col2 = mkAttr Col2