| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Spark.Core.Types
- data DataType
- data Nullable
- class TupleEquivalence to tup | to -> tup where
- data NameTuple to = NameTuple [String]
- data SQLType a
- columnType :: SQLType a -> DataType
- class SQLTypeable a
- buildType :: (HasCallStack, SQLTypeable a) => SQLType a
- data StructField
- data StructType
- catNodePath :: NodePath -> Text
Documentation
All the data types supported by the Spark engine. The data types can either be nullable (they may contain null values) or strict (all the values are present). There are a couple of differences with the algebraic data types in Haskell: Maybe (Maybe a) ~ Maybe a which implies that arbitrary nesting of values will be flattened to a top-level Nullable Similarly, [[]] ~ []
Represents the choice between a strict and a nullable field
class TupleEquivalence to tup | to -> tup where Source #
A class that expresses the fact that a certain type (that is well-formed) is equivalent to a tuple of points.
Useful for auto conversions between tuples of columns and data structures.
Minimal complete definition
Methods
tupleFieldNames :: NameTuple to Source #
Instances
| TupleEquivalence (a1, a2) (a1, a2) Source # | |
A tagged datatype that encodes the sql types This is the main type information that should be used by users.
columnType :: SQLType a -> DataType Source #
class SQLTypeable a Source #
Instances
| SQLTypeable Int Source # | |
| SQLTypeable Text Source # | |
| SQLTypeable String Source # | |
| SQLTypeable a => SQLTypeable [a] Source # | |
| SQLTypeable a => SQLTypeable (Maybe a) Source # | |
| (SQLTypeable a2, SQLTypeable a1) => SQLTypeable (a1, a2) Source # | |
buildType :: (HasCallStack, SQLTypeable a) => SQLType a Source #
catNodePath :: NodePath -> Text Source #
The concatenated path. This is the inverse function of fieldPath.