| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Spark.Core.Internal.TypesGenerics
- buildType :: (HasCallStack, SQLTypeable a) => SQLType a
- class SQLTypeable a where
- class GenSQLTypeable f where
- _buildType :: forall a. (HasCallStack, SQLTypeable a) => SQLType a
- type GenericType = DataType
- _buildTupleStruct :: [GenericType] -> GenericType
Documentation
buildType :: (HasCallStack, SQLTypeable a) => SQLType a Source #
class SQLTypeable a where Source #
Methods
_genericTypeFromValue :: HasCallStack => a -> GenericType Source #
_genericTypeFromValue :: (HasCallStack, Generic a, GenSQLTypeable (Rep a)) => a -> GenericType Source #
Instances
| SQLTypeable Bool Source # | |
| SQLTypeable Double Source # | |
| SQLTypeable Int Source # | |
| SQLTypeable Text Source # | |
| SQLTypeable DataTypeRepr Source # | |
| SQLTypeable DataTypeElementRepr Source # | |
| SQLTypeable DataType Source # | |
| SQLTypeable a => SQLTypeable [a] Source # | |
| SQLTypeable a => SQLTypeable (Maybe a) Source # | |
| (SQLTypeable a2, SQLTypeable a1) => SQLTypeable (a1, a2) Source # | |
class GenSQLTypeable f where Source #
Minimal complete definition
Methods
genTypeFromProxy :: HasCallStack => f a -> GenericType Source #
Instances
| GenSQLTypeable * U1 Source # | |
| SQLTypeable a => GenSQLTypeable * (K1 R a) Source # | |
| (GenSQLTypeable * a, GenSQLTypeable * b) => GenSQLTypeable * ((:+:) a b) Source # | |
| (GenSQLTypeable * a, GenSQLTypeable * b) => GenSQLTypeable * ((:*:) a b) Source # | |
| GenSQLTypeable * f => GenSQLTypeable * (M1 D c f) Source # | |
| (GenSQLTypeable * f, Constructor Meta c) => GenSQLTypeable * (M1 C c f) Source # | |
| (GenSQLTypeable * f, Selector Meta c) => GenSQLTypeable * (M1 S c f) Source # | |
_buildType :: forall a. (HasCallStack, SQLTypeable a) => SQLType a Source #
The only function that should matter for users in this file. Given a type, returns the SQL representation of this type.
type GenericType = DataType Source #
_buildTupleStruct :: [GenericType] -> GenericType Source #