| 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