beam-core-0.10.0.0: Type-safe, feature-complete SQL query and manipulation interface for Haskell

Safe Haskell	Safe-Inferred
Language	Haskell2010

Database.Beam.Query.DataTypes

Contents

Data types

Synopsis

newtype DataType be a = DataType (BeamSqlBackendCastTargetSyntax be)
cast_ :: BeamSqlBackend be => QGenExpr ctxt be s a -> DataType be b -> QGenExpr ctxt be s b
int :: (BeamSqlBackend be, Integral a) => DataType be a
smallint :: (BeamSqlBackend be, Integral a) => DataType be a
bigint :: (BeamSqlBackend be, BeamSqlT071Backend be, Integral a) => DataType be a
binary :: (BeamSqlBackend be, BeamSqlT021Backend be) => Maybe Word -> DataType be Integer
varbinary :: (BeamSqlBackend be, BeamSqlT021Backend be) => Maybe Word -> DataType be Integer
date :: BeamSqlBackend be => DataType be Day
char :: BeamSqlBackend be => Maybe Word -> DataType be Text
varchar :: BeamSqlBackend be => Maybe Word -> DataType be Text
nationalVarchar :: BeamSqlBackend be => Maybe Word -> DataType be Text
nationalChar :: BeamSqlBackend be => Maybe Word -> DataType be Text
double :: BeamSqlBackend be => DataType be Double
numeric :: BeamSqlBackend be => Maybe (Word, Maybe Word) -> DataType be Scientific
timestamptz :: BeamSqlBackend be => DataType be LocalTime
timestamp :: BeamSqlBackend be => DataType be LocalTime
time :: BeamSqlBackend be => Maybe Word -> DataType be TimeOfDay
boolean :: BeamSql99DataTypeBackend be => DataType be Bool
characterLargeObject :: BeamSql99DataTypeBackend be => DataType be Text
binaryLargeObject :: BeamSql99DataTypeBackend be => DataType be Text
array :: (Typeable a, BeamSql99DataTypeBackend be) => DataType be a -> Int -> DataType be (Vector a)
maybeType :: DataType be a -> DataType be (Maybe a)

Documentation

newtype DataType be a Source #

A data type in a given IsSql92DataTypeSyntax which describes a SQL type mapping to the Haskell type a

Constructors

DataType (BeamSqlBackendCastTargetSyntax be)

Instances

Instances details

Sql92DisplaySyntax (BeamSqlBackendCastTargetSyntax be) => Show (DataType be a) Source #
Instance details Defined in Database.Beam.Query.DataTypes Methods showsPrec :: Int -> DataType be a -> ShowS # show :: DataType be a -> String # showList :: [DataType be a] -> ShowS #
Eq (BeamSqlBackendCastTargetSyntax be) => Eq (DataType be a) Source #
Instance details Defined in Database.Beam.Query.DataTypes Methods (==) :: DataType be a -> DataType be a -> Bool # (/=) :: DataType be a -> DataType be a -> Bool #

cast_ :: BeamSqlBackend be => QGenExpr ctxt be s a -> DataType be b -> QGenExpr ctxt be s b Source #

Cast a value to a specific data type, specified using DataType.

Note: this may fail at run-time if the cast is invalid for a particular value

Data types

int :: (BeamSqlBackend be, Integral a) => DataType be a Source #

SQL92 INTEGER data type

smallint :: (BeamSqlBackend be, Integral a) => DataType be a Source #

SQL92 SMALLINT data type

bigint :: (BeamSqlBackend be, BeamSqlT071Backend be, Integral a) => DataType be a Source #

SQL2008 Optional BIGINT data type

binary :: (BeamSqlBackend be, BeamSqlT021Backend be) => Maybe Word -> DataType be Integer Source #

SQL2003 Optional BINARY data type

varbinary :: (BeamSqlBackend be, BeamSqlT021Backend be) => Maybe Word -> DataType be Integer Source #

SQL2003 Optional VARBINARY data type

date :: BeamSqlBackend be => DataType be Day Source #

SQL92 DATE data type

char :: BeamSqlBackend be => Maybe Word -> DataType be Text Source #

SQL92 CHAR data type

varchar :: BeamSqlBackend be => Maybe Word -> DataType be Text Source #

SQL92 VARCHAR data type

nationalVarchar :: BeamSqlBackend be => Maybe Word -> DataType be Text Source #

SQL92 NATIONAL CHARACTER VARYING data type

nationalChar :: BeamSqlBackend be => Maybe Word -> DataType be Text Source #

SQL92 NATIONAL CHARACTER data type

double :: BeamSqlBackend be => DataType be Double Source #

SQL92 DOUBLE data type

numeric :: BeamSqlBackend be => Maybe (Word, Maybe Word) -> DataType be Scientific Source #

SQL92 NUMERIC data type

timestamptz :: BeamSqlBackend be => DataType be LocalTime Source #

SQL92 TIMESTAMP WITH TIME ZONE data type

timestamp :: BeamSqlBackend be => DataType be LocalTime Source #

SQL92 TIMESTAMP WITHOUT TIME ZONE data type

time :: BeamSqlBackend be => Maybe Word -> DataType be TimeOfDay Source #

SQL92 TIME data type

boolean :: BeamSql99DataTypeBackend be => DataType be Bool Source #

SQL99 BOOLEAN data type

characterLargeObject :: BeamSql99DataTypeBackend be => DataType be Text Source #

SQL99 CLOB data type

binaryLargeObject :: BeamSql99DataTypeBackend be => DataType be Text Source #

SQL99 BLOB data type

array :: (Typeable a, BeamSql99DataTypeBackend be) => DataType be a -> Int -> DataType be (Vector a) Source #

SQL99 array data types

maybeType :: DataType be a -> DataType be (Maybe a) Source #

Haskell requires DataTypes to match exactly. Use this function to convert a DataType that expects a concrete value to one expecting a Maybe