relational-query-0.12.3.1: Typeful, Modular, Relational, algebraic query engine

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

Database.Relational.Table

Contents

Phantom typed table type
Table existence inference

Description

This module defines table type which has table metadatas.

Synopsis

data Table r
untype :: Table t -> Untyped
name :: Table r -> String
shortName :: Table r -> String
width :: Table r -> Int
columns :: Table r -> [StringSQL]
index :: Table r -> Int -> StringSQL
table :: String -> [String] -> Table r
toMaybe :: Table r -> Table (Maybe r)
recordWidth :: Table r -> PersistableRecordWidth r
toSubQuery :: Table r -> SubQuery
class PersistableWidth r => TableDerivable r where
- derivedTable :: Table r

Phantom typed table type

data Table r Source #

Phantom typed table type

Instances

Instances details

Show (Table r) Source #
Instance details Defined in Database.Relational.Table Methods showsPrec :: Int -> Table r -> ShowS # show :: Table r -> String # showList :: [Table r] -> ShowS #

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 -> [StringSQL] Source #

Column name strings in SQL

Arguments

:: Table r
-> Int	Column index
-> StringSQL	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.

recordWidth :: Table r -> PersistableRecordWidth r Source #

PersistableRecordWidth of table

toSubQuery Source #

Arguments

:: Table r	Typed `Table` metadata
-> SubQuery	Result `SubQuery`

SubQuery from Table.

Table existence inference

class PersistableWidth r => TableDerivable r where Source #

Inference rule of Table existence.

Methods

derivedTable :: Table r Source #