Moduleselda-0.5.2.1Haskell2010

Database.Selda.SqlType

Types representable as columns in Selda's subset of SQL.

7 types
2 classes
16 values

Packageselda-0.5.2.1
Exports25
LanguageHaskell2010
LicenceMIT
SourceSqlType.hs

classclass Typeable a => SqlType a where

Any datatype representable in (Selda's subset of) SQL.

Methods

mkLit :: a -> Lit a
Create a literal of this type.
sqlType :: Proxy a -> SqlTypeRep
The SQL representation for this type.
fromSql :: SqlValue -> a
Convert an SqlValue into this type.
defaultValue :: Lit a
Default value when using def at this type.

Instances19SqlType, …

SqlType ByteStringDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType ByteStringDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType Int32Defined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType Int64Defined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType BoolDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType DoubleDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType IntDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType OrderingDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType RowIDDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType TextDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType TextDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType DayDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType UTCTimeDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType TimeOfDayDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlType UUIDDefined in selda-0.5.2.1 · Database.Selda.SqlType
defaultValue for UUIDs is the all-zero RFC4122 nil UUID.
Typeable a => SqlType (ID a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
Typeable a => SqlType (UUID' a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
defaultValue for UUIDs is the all-zero RFC4122 nil UUID.
SqlType a => SqlType (Maybe a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
(TypeError ((('Text "'Only " ':<>: 'ShowType a) ':<>: 'Text "' is not a proper SQL type.") ':$$: 'Text "Use 'the' to access the value of the column."), Typeable a) => SqlType (Only a)Defined in selda-0.5.2.1 · Database.Selda

classclass (Typeable a, Bounded a, Enum a) => SqlEnum a where

Any type that's bounded, enumerable and has a text representation, and thus representable as a Selda enumerable.

While it would be more efficient to store enumerables as integers, this makes hand-rolled SQL touching the values inscrutable, and will break if the user a) derives Enum and b) changes the order of their constructors. Long-term, this should be implemented in PostgreSQL as a proper enum anyway, which mostly renders the performance argument moot.

Methods

toText :: a -> Text
fromText :: Text -> a

Instances1SqlEnum

(Typeable a, Bounded a, Enum a, Show a, Read a) => SqlEnum aDefined in selda-0.5.2.1 · Database.Selda.SqlType

datadata Lit a where

An SQL literal.

Constructors

LText :: !Text -> Lit Text
LInt32 :: !Int32 -> Lit Int32
LInt64 :: !Int64 -> Lit Int64
LDouble :: !Double -> Lit Double
LBool :: !Bool -> Lit Bool
LDateTime :: !UTCTime -> Lit UTCTime
LDate :: !Day -> Lit Day
LTime :: !TimeOfDay -> Lit TimeOfDay
LJust :: SqlType a1 => !Lit a1 -> Lit (Maybe a1)
LBlob :: !ByteString -> Lit ByteString
LNull :: SqlType a1 => Lit (Maybe a1)
LCustom :: SqlTypeRep -> Lit a1 -> Lit a
LUUID :: !UUID -> Lit UUID

Instances3Eq, Ord, Show

Eq (Lit a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
Ord (Lit a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
Show (Lit a)Defined in selda-0.5.2.1 · Database.Selda.SqlType

datadata UUID

Type representing Universally Unique Identifiers (UUID) as specified in RFC 4122.

Instances14Eq, Data, Ord, Read, Show, Storable, …

Eq UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal
Data UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal
Ord UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal
Read UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal
Show UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal
Pretty prints a UUID (without quotation marks). See also toString.
Example1 expression
```
>>> show nil"00000000-0000-0000-0000-000000000000"
```
Storable UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal
This Storable instance uses the memory layout as described in RFC 4122, but in contrast to the Binary instance, the fields are stored in host byte order.
NFData UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal
Random UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal
This Random instance produces insecure version 4 UUIDs as specified in RFC 4122.
Uniform UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal
Binary UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal
This Binary instance is compatible with RFC 4122, storing the fields in network order as 16 bytes.
Hashable UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal
IsUUID UUIDDefined in selda-0.5.2.1 · Database.Selda
SqlType UUIDDefined in selda-0.5.2.1 · Database.Selda.SqlType
defaultValue for UUIDs is the all-zero RFC4122 nil UUID.
Lift UUIDDefined in uuid-types-1.0.6 · Data.UUID.Types.Internal

newtypenewtype UUID' a

An UUID identifying a database row.

Instances7Eq, Ord, Show, Generic, IsUUID, SqlType, …

Eq (UUID' a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
Ord (UUID' a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
Show (UUID' a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
Generic (UUID' a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
IsUUID (UUID' a)Defined in selda-0.5.2.1 · Database.Selda
Typeable a => SqlType (UUID' a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
defaultValue for UUIDs is the all-zero RFC4122 nil UUID.
type Rep (UUID' a) = D1 ('MetaData "UUID'" "Database.Selda.SqlType" "selda-0.5.2.1-BXeKXoDkTgT20VcSie8JWe" 'True) (C1 ('MetaCons "UUID" 'PrefixI 'True) (S1 ('MetaSel ('Just "untypedUuid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID)))Defined in selda-0.5.2.1 · Database.Selda.SqlType

newtypenewtype RowID

A row identifier for some table. This is the type of auto-incrementing primary keys.

Instances7Eq, Ord, Show, Generic, SqlOrd, SqlType, …

Eq RowIDDefined in selda-0.5.2.1 · Database.Selda.SqlType
Ord RowIDDefined in selda-0.5.2.1 · Database.Selda.SqlType
Show RowIDDefined in selda-0.5.2.1 · Database.Selda.SqlType
Generic RowIDDefined in selda-0.5.2.1 · Database.Selda.SqlType
SqlOrd RowIDDefined in selda-0.5.2.1 · Database.Selda
SqlType RowIDDefined in selda-0.5.2.1 · Database.Selda.SqlType
type Rep RowID = D1 ('MetaData "RowID" "Database.Selda.SqlType" "selda-0.5.2.1-BXeKXoDkTgT20VcSie8JWe" 'True) (C1 ('MetaCons "RowID" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))Defined in selda-0.5.2.1 · Database.Selda.SqlType

newtypenewtype ID a

A typed row identifier. Generic tables should use this instead of RowID. Use untyped to erase the type of a row identifier, and cast from the Database.Selda.Unsafe module if you for some reason need to add a type to a row identifier.

Instances7Eq, Ord, Show, Generic, SqlOrd, SqlType, …

Eq (ID a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
Ord (ID a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
Show (ID a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
Generic (ID a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
Typeable a => SqlOrd (ID a)Defined in selda-0.5.2.1 · Database.Selda
Typeable a => SqlType (ID a)Defined in selda-0.5.2.1 · Database.Selda.SqlType
type Rep (ID a) = D1 ('MetaData "ID" "Database.Selda.SqlType" "selda-0.5.2.1-BXeKXoDkTgT20VcSie8JWe" 'True) (C1 ('MetaCons "ID" 'PrefixI 'True) (S1 ('MetaSel ('Just "untyped") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowID)))Defined in selda-0.5.2.1 · Database.Selda.SqlType

datadata SqlValue where

Some value that is representable in SQL.

Constructors

SqlInt32 :: !Int32 -> SqlValue
SqlInt64 :: !Int64 -> SqlValue
SqlFloat :: !Double -> SqlValue
SqlString :: !Text -> SqlValue
SqlBool :: !Bool -> SqlValue
SqlBlob :: !ByteString -> SqlValue
SqlUTCTime :: !UTCTime -> SqlValue
SqlTime :: !TimeOfDay -> SqlValue
SqlDate :: !Day -> SqlValue
SqlNull :: SqlValue

Instances1Show

Show SqlValueDefined in selda-0.5.2.1 · Database.Selda.SqlType

datadata SqlTypeRep

Representation of an SQL type.

TText TRowID TInt64 TInt32 TFloat TBool TDateTime TDate TTime TBlob TUUID TJSON

Instances3Eq, Ord, Show

Eq SqlTypeRepDefined in selda-0.5.2.1 · Database.Selda.SqlType
Ord SqlTypeRepDefined in selda-0.5.2.1 · Database.Selda.SqlType
Show SqlTypeRepDefined in selda-0.5.2.1 · Database.Selda.SqlType

valueinvalidRowId :: RowID

A row identifier which is guaranteed to not match any row in any table.

valueisInvalidRowId :: RowID -> Bool

Is the given row identifier invalid? I.e. is it guaranteed to not match any row in any table?

valuetoRowId :: Int64 -> RowID

Create a row identifier from an integer. Use with caution, preferably only when reading user input.

valuefromRowId :: RowID -> Int64

Inspect a row identifier.

valuefromId :: ID a -> Int64

Create a typed row identifier from an integer. Use with caution, preferably only when reading user input.

valuetoId :: Int64 -> ID a

Create a typed row identifier from an integer. Use with caution, preferably only when reading user input.

valueinvalidId :: ID a

A typed row identifier which is guaranteed to not match any row in any table.

valueisInvalidId :: ID a -> Bool

Is the given typed row identifier invalid? I.e. is it guaranteed to not match any row in any table?

valueuntyped :: ID a -> RowID

valuecompLit :: Lit a -> Lit b -> Ordering

Compare two literals of different type for equality.

valuelitType :: Lit a -> SqlTypeRep

The SQL type representation for the given literal.

valuesqlDateTimeFormat :: String

Format string used to represent date and time when representing timestamps as text. If at all possible, use SqlUTCTime instead.

valuesqlDateFormat :: String

Format string used to represent date when representing dates as text. If at all possible, use SqlDate instead.

valuesqlTimeFormat :: String

Format string used to represent time of day when representing time as text. If at all possible, use SqlTime instead.

valuetypedUuid :: UUID -> UUID' a

Convert an untyped UUID to a typed one. Use sparingly, preferably only during deserialization.

valueuntypedUuid :: UUID' a -> UUID