Copyright	2013 Kei Hibino
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	unknown
Safe Haskell	None
Language	Haskell2010

Database.Relational.Query.Table

Contents

Untyped table type
Phantom typed table type
Table existence inference

Description

This module defines table type which has table metadatas.

Synopsis

Untyped table type

data Untyped Source #

Untyped typed table type

Instances

Show Untyped Source #
Methods showsPrec :: Int -> Untyped -> ShowS # show :: Untyped -> String # showList :: [Untyped] -> ShowS #

name' :: Untyped -> String Source #

Name string of table in SQL

width' :: Untyped -> Int Source #

Width of table

columns' :: Untyped -> [ColumnSQL] Source #

Column name strings in SQL

(!) Source #

Arguments

:: Untyped
-> Int	Column index
-> ColumnSQL	Column name String in SQL

Column name string in SQL specified by index

Phantom typed table type

data Table r Source #

Phantom typed table type

unType :: Table t -> Untyped Source #

Untype table.

name :: Table r -> String Source #

Name string of table in SQL

shortName :: Table r -> String Source #

Not qualified name string of table in SQL

width :: Table r -> Int Source #

Width of table

columns :: Table r -> [ColumnSQL] Source #

Column name strings in SQL

index Source #

Arguments

:: Table r
-> Int	Column index
-> ColumnSQL	Column name String in SQL

Column name string in SQL specified by index

table :: String -> [String] -> Table r Source #

Unsafely generate phantom typed table type.

toMaybe :: Table r -> Table (Maybe r) Source #

Cast phantom type into Maybe type.

Table existence inference

class PersistableWidth r => TableDerivable r where Source #

Inference rule of Table existence.

Minimal complete definition

derivedTable

Methods

derivedTable :: Table r Source #