Database.Relational.Query.Table

This module defines table type which has table metadatas.

Untyped table type

type Untyped = Untyped

Deprecated: prepare to drop public interface. internally use Database.Relational.Query.Internal.UntypedTable.*

Untyped typed table type

name' :: Untyped -> String

Deprecated: prepare to drop public interface. internally use Database.Relational.Query.Internal.UntypedTable.*

Name string of table in SQL

width' :: Untyped -> Int

Deprecated: prepare to drop public interface. internally use Database.Relational.Query.Internal.UntypedTable.*

Width of table

columns' :: Untyped -> [ColumnSQL]

Deprecated: prepare to drop public interface. internally use Database.Relational.Query.Internal.UntypedTable.*

Column name strings in SQL

(!) :: Untyped -> Int -> ColumnSQL

Deprecated: prepare to drop public interface. internally use Database.Relational.Query.Internal.UntypedTable.*

Column name strings in SQL

Phantom typed table type

data Table r

Phantom typed table type

unType :: Table t -> Untyped

Untype table.

name :: Table r -> String

Name string of table in SQL

shortName :: Table r -> String

Not qualified name string of table in SQL

width :: Table r -> Int

Width of table

columns :: Table r -> [ColumnSQL]

Column name strings in SQL

index

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

Unsafely generate phantom typed table type.

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

Cast phantom type into Maybe type.

Table existence inference

class PersistableWidth r => TableDerivable r where

Inference rule of Table existence.

Minimal complete definition

derivedTable

Methods

derivedTable :: Table r