| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Database.Beam.Query.DataTypes
Contents
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
| Eq ( BeamSqlBackendCastTargetSyntax be) => Eq ( DataType be a) Source # | |
| Sql92DisplaySyntax ( BeamSqlBackendCastTargetSyntax be) => Show ( DataType be a) Source # | |
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
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
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
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
characterLargeObject :: BeamSql99DataTypeBackend be => DataType be Text Source #
SQL99
CLOB
data type
binaryLargeObject :: BeamSql99DataTypeBackend be => DataType be Text Source #
SQL99
BLOB
data type